証明 　�僥AI と �僞AI において 　　∠IFA = 90°= ∠IEA 　　IF = IE 　　IA は共通 であるからこの二つの三角形は合同である。 よって 　　∠IAF = ∠IAE である。 つまり 　　AI は ∠BAC の二等分線である。 戻る