BM=MN
OM=MC, rezulta ca patrulaterul BCNO este paralelogram (patrulater in care diagonalele se injumatatesc) deci:
CN║BO, CN=BO
BC║ON, BC=ON
CN=BO ⇒ CN=CO ⇒CN=OD
CN║OB, OD⊥AC, ⇒ CN⊥OC
in concluzie patrulaterul OCND este patrat in care diagonalele ON⊥CD
deci ON⊥AB