.延长BI1,CI2可得内心J,P是J关于△AI1I2的等角共轭点,于是AP= p-a,即(b+c-a)/2,X,Q,Y分别是I1,J,I2在BC上的射影,易证XQ=DY,于是通过相似可得∠I1QI2=90°,进而PQDI1I2五点共圆,易得△PI1I2≌△QI1I2,于是I1I2垂直平分PQ,PQ中点设为M,取O,N分别是AQ,IM中点,则ON垂直平分IM于是,OI=OM=AP/2=(p-a)/2=(b+c-a)/4,这里Q是内切圆与BC的切点,O显然是定点。
故I在定圆○(O,(p-a)/2)上
