･三角形の傍心を求める

∠Ｂ、∠Ｃの外角の二等分線の交点をＩとし、Ｉから辺ＢＣに下ろした垂線をＩＤ、
またＩから辺ＡＣ、ＡＢの延長に下ろした垂線をＩＥ、ＩＦとすると、
△ＩＢＦ≡△ＩＢＤ、△ＩＣＤ≡△ＩＣＥ
ゆえにＩＦ＝ＩＤ、ＩＤ＝ＩＥ
したがってＩＥ＝ＩＦ

｢これより△ＩＡＥ≡△ＩＡＦ｣
↑この括弧内の部分が意味不明。なぜ合同条件を満たすのかがわからない。