Explicație pas cu pas:
notăm OM și ON mediatoarele laturilor AB și AC, M ∈ AB, N ∈ AC
O este centrul cercului circumscris => intersecția mediatoarelor => OA mediatoare și OM ≡ ON
AM ≡ MB = ½•AB și AN ≡ NC = ½•AC
ΔABC este isoscel: AB ≡ AC și ∢ABC ≡ ∢ACB
=> MB ≡ NC
ΔOBM ≡ ΔOCN (cazul I.C.)
=> OB ≡ OC, ∢MOB ≡ ∢NOC și ∢MBO ≡ ∢NCO
∢OBE = ∢MBO - ∢ABC
∢OC F = ∢NCO - ∢ACB
=> ∢OBE ≡ ∢OC F
din ∢MOB ≡ ∢NOC => ∢EOB ≡ ∢FOC
=> ΔBEO ≡ ΔC FO (cazul U.L.U.)
