>>708
円周角BADと円周角CADが等しい（内心の定義よりAIは
∠BACを2等分する。またAIDは一直線に並ぶ）。

これからDが弧BCに対してどんな点になるか説明して
理屈をつけて終了。