三角形の内接円

僊BC の内心を I として
僊BC の内接円と BC, CA, AB との接点を
それぞれ、D, E, F とする。このとき

(1) AI は ∠BAI を二等分する。

(2) AE = AF, BF = BD, CD = CE である

(3) AE = (AB + AC - BC)/2  
証明   戻る