Vì IA=IB=IC nên chia cả 2 vế cho IA=r thì thấy nó là hệ quả định lý con nhím
DL con nhím cho tam giác: tổng các vecto, mỗi vecto có độ dài bằng các cạnh của tam giác, hướng ra ngoài và vuông góc với cạnh đó bằng vecto 0
- pp chiếu: chiều lên 2 trục Ox;Oy lần lượt vuông góc với IM,IN khi đó các giá trị đại số của IM,IN sẽ bằng 0, việc còn lại là tìm giá trị đ/s của 2 vecto kia và chứng minh nó bằng 0
- pp SD ĐL cos: bình phương 2 vế ta có a^2+b^2+c^2-2abcosC-2bccosA-2cacosB=0 (hiển nhiên theo đl cos)
- PP quay: quay vô tâm tất cả các cạnh theo góc 90 độ sẽ cần chứng minh vtAB+vtBC+vtCA=0 cái này hiển nhiên