Японская теорема для циклических многоугольников - Japanese theorem for cyclic polygons
В геометрия, то Японская теорема заявляет, что как бы ни триангулирует а циклический многоугольник, то сумма из inradii из треугольники является постоянный.[1]:п. 193
сумма радиусов зеленых кругов = сумма радиусов красных кругов |
И наоборот, если сумма радиусов не зависит от триангуляции, то многоугольник является циклическим. Японская теорема следует из Теорема Карно; это Проблема сангаку.
Доказательство
Эту теорему можно доказать, предварительно доказав частный случай: независимо от того, как триангулировать циклический четырехугольник, сумма радиусов треугольников постоянна.
После доказательства четырехугольника сразу же следует общий случай теоремы о циклическом многоугольнике. Правило четырехугольника может быть применено к четырехугольным компонентам общего разбиения циклического многоугольника, а повторное применение правила, которое «переворачивает» одну диагональ, сгенерирует все возможные разбиения из любого данного разбиения, причем каждый «переворот» сохраняет сумма inradii.
Четырехугольник следует из простого расширения Японская теорема для циклических четырехугольников, который показывает, что прямоугольник образован двумя парами центровок, соответствующих двум возможным триангуляциям четырехугольника. Шаги этой теоремы не требуют ничего, кроме базовой конструктивной евклидовой геометрии.[2]
При дополнительном построении параллелограмма, имеющего стороны, параллельные диагоналям, и касательные к углам прямоугольника центров, четырехугольник теоремы о циклическом многоугольнике может быть доказан за несколько шагов. Равенство сумм радиусов двух пар равносильно условию, что построенный параллелограмм является ромбом, и это легко показать при построении.
Другое доказательство четырехугольника было получено Уилфредом Рейесом (2002).[3] В доказательстве оба Японская теорема для циклических четырехугольников и четырехугольник теоремы о циклическом многоугольнике доказаны как следствие Проблема Тебо III.
Смотрите также
- Теорема Карно, который используется в доказательстве теоремы выше
- Теорема о равных вписанных окружностях
- Касательные линии к окружностям
Примечания
- ^ Джонсон, Роджер А., Продвинутая евклидова геометрия, Dover Publ., 2007 (ориг. 1929 г.).
- ^ Фукагава, Хидетоси; Педое, Д. (1989). Геометрия японского храма. Манитоба, Канада: Исследовательский центр Чарльза Бэббиджа. С. 125–128. ISBN 0919611214.
- ^ Рейес, Уилфред (2002). «Применение теоремы Тебо» (PDF). Форум Geometricorum. 2: 183–185. Получено 2 сентября 2015.
Рекомендации
- Клауди Альсина, Роджер Б. Нельсен: Иконы математики: исследование двадцати ключевых образов. МАА, 2011 г., ISBN 9780883853528, стр. 121-125
- Уилфред Рейес: Применение теоремы Тибо. Forum Geometricorum, Том 2, 2002, стр. 183–185
внешняя ссылка
- Мангхо Ахуджа, Ватару Уэгаки, Кайо Мацусита: В поисках японской теоремы
- Японская теорема в Mathworld
- Японская теорема интерактивная демонстрация на Машина. интернет сайт
- Ватару Уэгаки: «Японская теорема の 起源 と 歴 史» (О происхождении и истории японской теоремы) http://hdl.handle.net/10076/4917