Японская теорема о вписанном четырёхугольнике (Xhkuvtgx mykjybg k fhnvguukb cymdj~]rikl,unty)

Японская теорема о вписанном четырёхугольнике утверждает, что центры окружностей, вписанных в определённые треугольники внутри вписанного в окружность четырёхугольника, являются вершинами прямоугольника.

Разбиение произвольного вписанного четырёхугольника диагоналями даёт четыре перекрывающих друг друга треугольника каждая диагональ создаёт два треугольника). Центры вписанных в эти треугольники окружностей образуют прямоугольник.

В частности, пусть □ABCD — произвольный вписанный четырёхугольник и пусть M₁, M₂, M₃, M₄ — центры вписанных в треугольники △ABD, △ABC, △BCD, △ACD окружностей. Тогда четырёхугольник, образованный центрами M₁, M₂, M₃, M₄, является прямоугольником.

Доказательство^[1]

$\angle {AM_{2}B}=180^{\circ }-\angle {BAC}/2-\angle {ABC}/2=90^{\circ }+\angle {ACB}/2$ (поскольку $AM_{2}$ является биссектрисой угла $\angle {BAC}$ , а $BM_{2}$ является биссектрисой угла $\angle {ABC}$ )

Аналогично получаем $\angle {AM_{1}B}=180^{\circ }-\angle {ABD}/2-\angle {BAD}/2=90^{\circ }+\angle {BDA}/2$

Поскольку четырёхугольник $ABCD$ вписанный, имеем $\angle {ADB}=\angle {ACB}$ , откуда следует, что четырёхугольник $\angle {AM_{1}M_{2}B}$ тоже вписан в окружность, так что получаем $\angle {M_{1}M_{2}B}=180^{\circ }-\angle {BAM_{1}}=180^{\circ }-\angle {A}/2$

Аналогично получаем $\angle {BM_{2}M_{3}}=180^{\circ }-\angle {C}/2$

А следовательно, $\angle {M_{1}M_{2}M_{3}}=360^{\circ }-(\angle {M_{1}M_{2}B}+\angle {BM_{2}M_{3}})=(\angle {A}+\angle {C})/2=180^{\circ }/2=90^{\circ }$

Тем же самым способом доказываем для других углов. Получаем, что все четыре угла четырёхугольника прямые. Теорема доказана

Заметим, что доказательство этой теоремы легко обобщается до доказательства японской теоремы о вписанных многоугольниках (Japanese theorem for cyclic polygons).

Из случая четырёхугольника немедленно вытекает доказательство для общего вписанного многоугольника (по индукции по числу треугольников в разбиении многоугольника).

Замечание 1

Для вписанного четырёхугольника японская теорема о вписанном четырёхугольнике является составной частью более сложного утверждения:

Во вписанном четырёхугольнике ABCD центры вписанных окружностей треугольников ABC, BCD, CDA и DAB являются вершинами прямоугольника, ортоцентры тех же четырёх треугольников являются вершинами четырёхугольника, равного ABCD, центроиды этих четырёх треугольников являются вершинами другого вписанного четырёхугольника^[2].

См. также

Литература

Mangho Ahuja, Wataru Uegaki, Kayo Matsushita: In Search of the Japanese Theorem (postscript file)
Theorem at Cut-the-Knot
Wataru Uegaki: "Japanese Theoremの起源と歴史" (On the Origin and History of the Japanese Theorem). Departmental Bulletin Paper, Mie University Scholarly E-Collections, 2001-03-01
Wilfred Reyes: An Application of Thebault’s Theorem. Forum Geometricorum, Volume 2, 2002, pp. 183–185
Titu Andreescu, Bogdan Enescu. Mathematical Olympiad Treasures. — Springer, 2004. — ISBN 978-0-8176-4305-8.

Ссылки

Japanese theorem, interactive proof with animation

↑ Andreescu, Enescu, 2004, с. 45.
↑ Andreescu, Enescu, 2004, с. 2.3 Cyclic quads.

[_ec4853c34fd0050f-1] Andreescu, Enescu, 2004, с. 45.

[_4d73049ce097edfa-2] Andreescu, Enescu, 2004, с. 2.3 Cyclic quads.

[1]

[2]