Gọi M là tiếp điểm của AC vs đg tròn nội tiếp ΔABCKhi đó ta có : AM=p−a, IM=r
Theo CT Hê-rông thì S=√p(p−a)(p−b)(p−c)
A/d đ/l Pitagore trong ΔAIM ta đc:
IA2=AM2+MI2=(p−a)2+r2=(p−a)2+(Sp)2=(p−a)2+(p−a)(p−b)(p−c)p=(p−a)bcp
⇒IA2bc=p−ap
Tg tự:IB2ca=......;IC2ba=.....
rồi cộng lại suy ra đpcm!