Xét ΔvEBM và ΔvFCN, ta có:
BM = CN (gt)
∠EBM = ∠FCN ( = ∠ACB )
=> ΔEBM = ΔFCN (ch-gn)
=> EM = FN ( cctứ )
Xét ΔvIEM và ΔvIFN, ta có:
EM = FN (cmt)
∠EMI = ∠FNI ( ∠EMI = 90° - ∠EIM = 90° - ∠FIN = ∠FNI )
=> ΔIEM = ΔIFN (cgv-gn)
=> IE = IF ( cctứ ) ( đpcm)