Математические байки – Telegram
Математические байки
4.3K subscribers
1.44K photos
15 videos
27 files
914 links
Рассказы про разную математику.

Архив: http://dev.mccme.ru/~merzon/mirror/mathtabletalks/
Download Telegram
Назовём такую траекторию цветком (точнее, объединение всех траекторий слоения, проходящих через данную вершину: мы не можем говорить о траектории после входа в вершину).
Так вот — оказывается, что часть теоретически возможных вариантов поведения для цветка запрещена:
После чего можно запускать индукцию, сжимая и сжимая траекторию дальше (выкидывая вершину цветка) — мешали этому только запрещённые варианты.
Правда, доказано по модулю того, почему именно для цветов запрещено то, что запрещено — а это как раз важная и смысловая часть.
Две вещи, которые используются в её доказательстве (и тут я начинаю говорить уже совсем пунктиром):
- Радиальное слоение. Можно на плоскости после складывания взять не нарезку на параллельные прямые, а нарезку на прямые, проходящие через вершину треугольника. И, опять-таки, взять у них прообраз:
Всё ещё получается (особое) слоение — раз на плоскости после складывания они, кроме как в вершине, не пересекались, то и про прообразы то же самое можно сказать.
Инструмент второй — символическая динамика: можно записывать/кодировать буквами a,b,c, какие именно стороны треугольников пересекает траектория:
(А вот — картинка даже для случая четырёхугольника, там уже a,b,c,d)
Ну вот с их помощью (уже не буду говорить, как) теорему о запрещённых цветках — а через неё и теорему о дереве — Ольга и доказывает.