I là tâm đường tròn nội tiếp tam giác và E là tiếp điểm
nên IE⊥AC, mà A^=90o suy ra IE//AB
⇒ANEI=AMEM
⇒AN=AM.EIEM=AC.EI2(AM−AE) (1)
Tứ giác AEIF là hình vuông nên AE=EI;
D, E, F là các tiếp điểm
⇒AE+CD+BD=12(BC+CA+AB)⇒AE=AC+AB−BC2,
thay vào (1) ta được ...