HHH は垂心なので、高さ AHAHAH と外接円の第2交点 KKK は HD=DKHD=DKHD=DK を満たす。ED⊥INED\perp INED⊥IN かつ ED⊥HKED\perp HKED⊥HK より四角形 IHKNIHKNIHKN は二等辺台形で、IH=NKIH=NKIH=NK および対応角が等しい。