Математика. Японская теорема о вписанном четырёхугольнике.

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

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

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

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