Đặt AB=BC=AC=a, AM=x, AN=y,MN=z.KẺ NH vuông góc AB. Ta thấy AH=y2;NH=y√32;HM=x−y2.
Theo định lý Pytago MN2=NH2+HM2=(y√32)2+(x−y2)2=x2+y2−xy
Dễ thấy x+y+z=2AD=a. Ta có:
AMBM+ANNC=1
⇔xa−x+ya−y=1
⇔xy+z+yx+z=1
⇔...........
⇔x2+y2−xy=z2 (đã chứng minh)
==> ahihi