Explicație pas cu pas:
O este mijlocul segmentului BC => BO ≡ OC
BE ⊥ AO => ∢BEO = 90°
CF ⊥ AO => ∢CFO = 90°
a)
∢BOE ≡ ∢COF (opuse la vârf)
=> ΔBOE ≡ ΔCOF
=> BE ≡ CF
b) din a) => EO ≡ OF
=> BECF este paralelogram (patrulater în care diagonalele se înjumătățesc)
=> EC ≡ BF
q.e.d.