a: Xét ΔABE vuông tại E và ΔACF vuông tại F có
góc BAE chung
=>ΔABE đồng dạng với ΔACF
=>AB/AC=AE/AF
=>AE/AB=AF/AC và AE*AC=AB*AF
b: Xét ΔAEF và ΔABC có
AE/AB=AF/AC
góc A chung
=>ΔAEF đồng dạng với ΔABC
=>góc AEF=góc ACB
c; góc AFH=góc AEH=90 độ
=>AFHE nội tiếp (I)
=>IF=IE
góc BFC=góc BEC=90 độ
=>BFEC nội tiếp (M)
=>MF=ME
=>MI là trung trực của EF
=>MI vuông góc EF