`a,` `\Delta ABE ~ \Delta ACF(g-g)` vì đây là hai `\Delta` vuông và có một `\hat(A)` nhọn là góc chung.
`=>(AB)/(AC)=(AE)/(AF)=>AB.AF=AC.AE`
`b,` Có `\Delta AEF ~ \Delta ACB(c-g-c)` do có góc `A` chung và tỉ số `(AB)/(AC)=(AE)/(AF)`
`=>hat(AFE)=hat(ACB)`