命題を証明せよ
△ＡＢＣの∠ＡＢＣの二等分線とＡＣの交点をＸ、∠ＡＣＢの二等分線とＡＢの交点をＹとする。△ＡＢＣの外心をＯ、∠ＢＡＣ内の傍心をＩＡとする。このとき、ＯＩＡ⊥ＸＹが成り立つ。

上の命題に対するJKの証明
http://www.rimse.or.jp/research/past/pdf/1st/work05.pdf