ducem AE⊥BC
tr. AMN este isoscel deoarece AM=AN ⇔ ∡AMN=∡ANM
∡BAC este exterior tr. AMN ⇒ ∡BAC=∡AMN+∡ANM=60° rezulta ca:
∡AMN=30°=∡BAE ⇔ (corespondente concgruente) ⇔ MD║AE ⇒ MD⊥BC
∡ANM=∡DNC=30° opuse la varf
in tr. CDN aplicam T∡30° pentru ∡DNC ⇒ DC=NC/2=AN
prin urmare:
BD=BC-DC=BC-AN=AC-AN=NC cctd