射影幾何を競技問題へ使うときは、長さや角度を直接追うのではなく、射影変換で保たれる複比・調和性へ翻訳します。複比の定義と一般的な不変性は 複比とその射影不変性 で確認できます。
1 調和四点
同一直線上の4点に対して、複比を
で定めます(有限座標を使い、分母はかつとします)。この値がのとき、はに関して調和共役です。点の順序を変えると値も変わるため、記号の順序を省略しません。
2 実戦の流れ
- 問題の4点・2本の割線を見つける。
- 有向比を複比へまとめる。
- 射影変換で計算しやすい配置へ送る。
- 不変な複比の等式だけを元の配置へ戻す。
「図が同じに見える」と言うだけでは不十分です。どの量が不変かを式で書き、座標変換後の数値を元の長さと取り違えないようにします。
3 例:調和共役の座標計算
に対してが調和共役なら
したがって、です。この計算は、任意の配置でも複比が同じであることを使うための基準になります。
3.1 実戦問題と解答
直線上の相異なる点がを満たすとします。射影変換でとしても複比は変わらないので、上の計算から、元の配置でもはに関するの調和共役です。戻すのは座標値ではなく、複比の等式である点に注意します。
4 演習
- に対する調和共役点の座標を求めよ。
- 4点の順序を2つ入れ替えたとき、複比がどの値へ変わるか確認せよ。
- ある幾何条件を有向比で記述し、複比不変性で簡単な配置へ送る方法を設計せよ。