MathVisualProofs: доказательства без слов

Что это

TikTok автора YouTube-канала Mathematical Visual Proofs. Он анимирует так называемые «доказательства без слов» — классические математические рисунки, из которых теорема становится очевидной без выкладок. Анимации делаются в Manim — библиотеке, которую создал автор канала 3Blue1Brown. Подписчиков в TikTok около 12 тысяч, ролики выходят несколько раз в неделю. Аккаунт англоязычный, но во многих роликах слов почти нет — только чертёж, движение и музыка.

Почему мы это выбрали

Потому что это математика, которую можно смотреть, как фокус. Восемь идеальных тасовок врезкой (riffle shuffle) возвращают колоду из 52 карт в исходный порядок — и тут же следующий ролик показывает схему перестановки, из которой это видно. «58 равно 60?» — рисунок, который как будто доказывает абсурд, а потом аккуратно показывает, где чертёж обманывает. «Квадратура катящегося круга» — изящный способ получить квадрат той же площади, если кругу разрешено катиться, с честной оговоркой, что это не решение античной задачи, где можно пользоваться только циркулем и линейкой.

Нам нравится, что автор, по его словам, старается указывать первоисточники каждого визуального доказательства, а не выдаёт чужие находки за свои. Между роликами встречается упоминание магазина с принтами и футболками — это единственная реклама, и она не мешает.

С чего начать

• «Eight Perfect Riffle Shuffles» — колода возвращается на место.
• «Eight Perfect Shuffles Permutation Diagram» — почему это работает.
• «Does 58 = 60??» — геометрический парадокс и его разгадка.
• «Square a Circle By Rolling!» — квадрат из катящегося круга.

Кому подойдёт

Школьникам, которым алгебра кажется набором правил, — здесь видно, откуда они берутся. Учителям математики как материал для урока. Всем, кто любит головоломки и красивые чертежи.

Коротко о главном

Нужно знать английский? Не обязательно: многие ролики построены на анимации и музыке. Подписи и заголовки — на английском.

Сложно ли это? Большинство сюжетов понятны со школьной математикой; иногда нужен второй просмотр.

Где длинные версии? На YouTube-канале Mathematical Visual Proofs.