内心 I をもつ三角形 XYZ において、∠YXZ の内角二等分線が三角形 XYZ の外接円と再び交わる点を D(すなわち X を含まない弧 YZ の中点)とする。∠DIY は三角形 IXY の I における外角なので ∠DIY=∠IXY+∠IYX=21∠X+21∠Y。また ∠DYZ=∠DXZ=21∠X(弧 DZ が同じ)、∠ZYI=21∠Y なので ∠DYI=∠DYZ+∠ZYI=21∠X+21∠Y=∠DIY。よって三角形 DIY は二等辺三角形で DI=DY、対称な議論で DI=DZ も成り立つ。後で三角形 MHN に D=F、I=J として適用する。