<例題>△ABC の内心を I とする。直線 AI と△ABC の外接円との交点を D とする
と、|IB|=|BD|=|DC| となることを示せ。
<解答>∠A=2α、∠B=2β と表す。
条件より、∠DBI=arg(BI/BD)
=arg(BI/BC×BC/BD)
=arg(BI/BC)+arg(BC/BD)
=β+α
=α+β
∠DIB=arg(ID÷IB)
=arg(AI÷IB)
=arg(−IA÷IB)
=π+arg(IA÷IB)
=π−arg(IB÷IA)
=π−(π−α−β)
=π−π+α+β
=α+β
上の式より、∠DBI=∠DIB
△BDIは2等辺三角形
|BI|=|BD|・・・・・・・・・・・・・・・・・・・・・・(1)
条件より、 ∠DCB=∠DAB ∵ 同一円周角
=∠DAC ∵ I が内心
=∠DBC ∵ 同一円周角
∠DCB=∠DBC
△DBC は2等辺三角形
|DB|=|DC|・・・・・・・・・・・・・・・・・・・・・・(2)
(1)、(2) より、|BI|=|BD|=|DC|
|