三角形の内接円
僊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
証明
戻る