書記が数学やるだけ#835 複比の不変性によるデザルグの定理
射影幾何における複比の不変性を示し,これをデザルグの定理の証明に用いる。
問題
説明複比とは,4つの共線上の点特に射影直線上の点の集合に関連付けられた数値であり,4つの同一線上の点の唯一の射影不変量である。
解答複比について,a3とa4がa1とa2で決定される場合の補題を示しておく。
これを用いて複比は射影変換により不変であることが示せる。
4つの線束についても複比の不変性が成り立つ。
このことを用いてデザルグの定理(P1,P2が直線mにあるなら,P3も直線mにあ