1: góc ECF=góc EAB=1/2(góc ABC+góc ACB)
AB<AC
=>góc ACB<góc ABC
=>(góc ABC+góc ACB)/2>(góc ACB+góc ACB)/2=góc ACB=góc ECA
=>góc ECF>góc ECA
=>A nằm giữa E và F
2: Xét ΔAEB và ΔCEF có
góc E chung
'góc EAB=góc ECF
=>ΔAEB đồng dạng với ΔCEF
=>EA/EC=EB/EF
=>EA*EF=EB*EC