証明 　�僥BI と �僖BI において 　　∠IFB = 90°= ∠IDB 　　∠IBF = ∠IBD 　　IB は共通 であるからこの二つの三角形は合同である。 よって 　　IF = ID である。 同様にして 　　ID = IE を得る。 戻る