記事 では, 点列
,
,
,
が調和点列であることを示すのに, メネラウスの定理とチェバの定理を使ったが, ここでは他のやり方で示すことを考える.
直線上に
点
,
を定め, 線分
を内分または外分する点
の分割比
と線分
を内分または外分する点
の分割比
についての比
を
の「複比」といい
という記号であらわすことにする.
※ 本当は線分を有向線分と考え正負の記号をつけてあらわすのが普通だが, ここではそれをしない.
いま一つの直線上にある点 ,
,
,
と別の直線上にある
,
,
,
の間に,
という関係があるとき, この二つの点列の対応を「射影的変換」と呼ぶことにする.
射影点列変換の重要な性質をいくつかあげる.
ならば,
である.
[証明] 定義から,
であるが,
である. 他も同様.//
次の性質は射影的変換でとりわけ重要である.
同一の点 を通る四つの定直線
,
,
,
を任意の一直線で切り, その交点を
,
,
,
とすれば
の値は, 切線の位置によらず一定である.
を通る,
に平行な直線と
,
の交点を
,
とする. 三角形の相似から,
したがって,
である. ところが, は常に
と平行だから
は定値である. したがって
も定値である.//
※ 切線 が
,
,
,
の延長線で交わっても成立する.
つの直線が
で交わるとき, この
直線上にそれぞれ
点
,
,
と
,
,
をとり,
だとすれば,
,
,
は同一点を通るか平行である. (★)
,
が交わる場合, その交点を
とする.
と
を結び
と
の交点を
とすれば, 前に証明したことから,
で, 仮設から,
となり, と
は一致する.
次に, ,
が平行な場合, 相似から
だから, 仮設より,
となるので, ,
,
は平行になる.//
を通る
直線
,
,
,
の切線と
を通る
直線
,
,
,
の切線の複比をそれぞれ
,
とあらわすことにする. いま,
と
が同一直線であって, かつ
であるならば,
,
の交点
,
,
の交点
,
,
の交点
は同一直線上にある.(★★)
点
,
を通る直線を引き, この直線が
と
と交わる点を
とし, さらにこの直線が
と交わる点を
,
と交わる点を
とすると,
であるが, 仮設から,
である. したがって前の事実から,
と
は一致して交点
となる.//
以上で基本事項は終わったので, 最初の問題を考える.
たとえば, を通る
直線の任意の切線の複比を
とあらわすことにすれば,
すなわち
つまり,
よって,
負の比はここではとらないことにしたので,
ゆえに,
よって ,
,
,
は調和点列である.//
有名なデザルグの定理. と
の対応する頂点を結ぶ直線
,
,
が
点
を通るときは, 辺
,
の交点
, 辺
,
の交点
, 辺
,
の交点
は同一直線上にある.
また,
したがって,
と
は同一直線上にあるので, ★ ★から
,
,
は同一直線上にある.//
円周上の任意の 点
,
と円周上の
定点
,
,
,
をそれぞれ結んだ線束の複比は等しい.
円周角の性質から からと
からの線束は合同である.//
※ 円周上の点をつなぐ複比も記号を流用して と書くことにする.
次も有名なパスカルの定理. ,
,
,
,
,
を同一円周上の
点とし, これらの点をこの順序で結んでいくと線分の交点
,
,
は同一直線上にある.
以上から,
よって, ,
,
は同
点
で交わる.//
の
辺
,
とそれぞれ
,
で接し, その外接円の弧
と
で接する円を描き,
を結べば,
は
の内心を通る.
円 の中心
は,
上にある.
は二等辺三角形で
と相似だから
と
は平行. したがって
と
は直交している. したがって
は弧
の中点. 同様に
は二等辺三角形で
と相似であることを確認して,
は弧
の中点であることがわかる. したがって円周角から角
,
をそれぞれ
,
が二等分しているので, 交点
は
の内心である. あとは直前のパスカルの定理から,
,
,
は一直線上にあるので, 題意は成立する.//
パップスの定理. 直線 上の
点を
,
,
, 直線
上の三点を
,
,
とすれば, 直線
,
の交点
, 直線
,
の交点
, 直線
,
の交点
の三点は同一直線上にある.
したがって,
また, 直線 と
は
で交わる. 直線
と直線
は点
で交わるので, ★から
も
で交わる.//