дано: тр. АBC=тр. DEF.
AC=FD, CB=EF
По условию теоремы две пары отрезков этих треугольников равны между собой (АС = FD и СВ = EF). Углы между отрезками также равны (т.е. ∠АСВ = ∠EFD).
Доказать, что треугольник ABC равен треугольнику DEF.
Доказательство :Поскольку имеется равенство углов (∠АСВ = ∠EFD), треугольники можно наложить друг на друга, так чтобы вершина С совпадала с вершиной F. При этом отрезки СА и СВ наложатся на отрезки FE и FD. А поскольку отрезки двух треугольников равны между собой (АС = FD и СВ = EF по условию), то отрезок АВ также совпадёт со стороной ED. Это в свою очередь даст совмещение вершин А и D, В и Е. Следовательно, треугольники полностью совместятся, а значит, они равны.
Аналогично, треугольники APC и BPD совместятся поворотом вокруг точки Р, т.е., ∠MPN между их медианами РМ и РN тоже равен углу между диагоналями четырехугольника. В любом случае, получаем либо ∠MPN=∠MQN, либо ∠MPN+∠MQN=180°, что и означает, что точки PQМN лежат на одной окружности.