由于 MFNHMFNHMFNH 共圆且 FM=FNFM=FNFM=FN,FFF 位于不含 HHH 的弧上,故 FFF 是不含 HHH 的弧 MNMNMN 的中点,因此直线 HFHFHF 平分 ∠MHN\angle MHN∠MHN;又 JJJ 为三角形 MHNMHNMHN 的内心,位于此平分线上,故 H,J,FH,J,FH,J,F 共线。将第1步的引理应用于三角形 MHNMHNMHN,取 X=HX=HX=H、D=FD=FD=F、I=JI=JI=J,得 FJ=FM=FNFJ=FM=FNFJ=FM=FN。