+) Xét tam giác vuông AEI và tam giác vuông CFI có:
AI = CI (gt)
\(\widehat{AIE}=\widehat{CIF}\) (Hai góc đối đỉnh)
\(\Rightarrow\Delta AEI=\Delta CFI\) (Cạnh huyền - góc nhọn)
+) Theo quan hệ giữa đường xiên và đường vuông góc ta có:
\(AI>EI;IC>IF\Rightarrow AC>EF\) (đpcm)