Както винаги много добра задача с автор Емил Стоянов

. Ето моето решение:
Означаваме
[tex]\angle CAN=\angle OAN=\angle NDO=\angle NDB=\psi(*)[/tex] и
[tex]\angle NCO=\angle NCA= \angle OBN = \angle DBN=\varphi(**)[/tex].
Лесно се вижда,че [tex]\angle AND=\angle BNC(=\angle AOD=\angle BOC)[/tex].Тогава [tex]\angle ANC = \angle AND + \angle DNC=\angle DNC + \angle CNB=\angle DNB(***)[/tex]
Сега от триъгълниците [tex]DBN, ACN[/tex] по синусова теорема имаме съответно:
[tex]DN=\frac{BD}{sin(\angle DNB)}sin(\varphi)=\frac{AC}{sin(\angle ANC)}sin(\varphi)[/tex] и от [tex](***)[/tex] и условието получаваме [tex]AN=DN[/tex]. Аналогично получаваме [tex]CN=BN[/tex]. Сега лесно следва, че [tex]ON,OM[/tex] са ъглополовящи съответно на ъглите [tex]AOB, AOD[/tex] защото например:
[tex]\angle AON=\angle NBC=\angle NCB(NC=NB)=\angle NOB[/tex].
Аналогично за [tex]MO[/tex]. Окончателно [tex]MO,NO[/tex] - ъглополовящи на два съседни ъгъла следователно
[tex]\angle MON=90 ^\circ[/tex], което и трябваше да се докаже.