Рассмотрим треугольники ΔMPO и ΔKPO.
Из равенства треугольников следует, что соответствующие углы и стороны равны.
Значит, ∠MOP = ∠KOP.
Углы ∠MOP и ∠KOP — смежные с углами ∠MNO и ∠KNO соответственно, так как все четыре угла вместе составляют развёрнутый угол ∠MNK (или ∠MKN, если считать, что O лежит на MN и KN). Однако, из рисунка видно, что O является точкой пересечения диагоналей. Углы ∠MOP и ∠KOP являются смежными только если M, O, K лежат на одной прямой, что не всегда так.
Вернёмся к равным треугольникам ΔMPO = ΔKPO. Из их равенства следует, что ∠MON = ∠KON (так как ∠MON является смежным с ∠MOP, а ∠KON — смежным с ∠KOP).
Теперь рассмотрим треугольники ΔMNO и ΔKNO.
Что и требовалось доказать.