Задача
GEO-B1-M02-P024 Разбиение на равнобедренные треугольники
Выпуклый многоугольник разрезан непересекающимися диагоналями на треугольники, каждый из которых равнобедренный. Докажите, что у исходного многоугольника найдутся две равные стороны.
C. Подсказка 1. Попробуйте рассуждать по числу сторон многоугольника.
D. Подсказка 2. Возьмите одну проведённую диагональ и примените утверждение к двум меньшим многоугольникам.
E. Подробное решение.
Докажем утверждение индукцией по числу сторон. Для треугольника оно очевидно, потому что сам треугольник равнобедренный.
Пусть утверждение доказано для всех многоугольников с меньшим числом сторон. Рассмотрим выпуклый многоугольник \(P\) и одну из проведённых диагоналей \(d\). Она делит \(P\) на два меньших выпуклых многоугольника \(P_1\) и \(P_2\). Каждый из них тоже разрезан на равнобедренные треугольники.
По предположению индукции в \(P_1\) есть две равные стороны. Если обе они являются сторонами исходного многоугольника, всё доказано. Если одна из них — диагональ \(d\), то в \(P_1\) есть сторона исходного многоугольника, равная \(d\).
Точно так же, применяя индукцию к \(P_2\), либо сразу получаем две равные стороны исходного многоугольника, либо получаем сторону исходного многоугольника, равную \(d\). В последнем случае две найденные стороны лежат по разные стороны от диагонали и обе равны \(d\), значит, они равны между собой.
A. Анализ источника. Основные объекты: выпуклый многоугольник, диагональная триангуляция, равнобедренные треугольники. Очевидный подход — искать равные стороны локально в одном треугольнике, но такая сторона может оказаться внутренней диагональю. Скрытое наблюдение: если равная сторона «упирается» в диагональ, нужно посмотреть по другую сторону этой же диагонали. Ключевых идей: 3.
F. Обоснование сложности. Это уровень 7: региональная задача с индукцией и аккуратной обработкой случая, когда равная сторона является внутренней диагональю.
G. Проверка. Это не одношаговое упражнение: локальное равенство в одном треугольнике недостаточно, требуется индукционный переход через диагональ.