【問】 の辺
の中点を
とし,
を直径とする円と辺
の交点をそれぞれ
とする.
においてこの円にひいた接線の交点を
とすれば,
である.
【証明】
下図のように を延長し, 極線
との交点を
, 円周とのもう一つの交点を
とする. すでに前の記事で証明したように
は調和点列である.
円周角と接弦定理を使って
である. したがって, 線束 ,
,
,
は調和線束である. ところが
は線分
の中点であることから
であることがいえる.
は円の直径であるので
である. したがって,
である.//
