![見出し画像](https://assets.st-note.com/production/uploads/images/135576981/rectangle_large_type_2_f5cc266f6f3aa400e62aa304e5c14114.png?width=1200)
書記が数学やるだけ#835 複比の不変性によるデザルグの定理
射影幾何における複比の不変性を示し,これをデザルグの定理の証明に用いる。
問題
![](https://assets.st-note.com/img/1711775244625-J5puFP3cie.png?width=1200)
説明
複比とは,4つの共線上の点特に射影直線上の点の集合に関連付けられた数値であり,4つの同一線上の点の唯一の射影不変量である。
![](https://assets.st-note.com/img/1711775270798-sdhhk0iMSv.png?width=1200)
解答
複比について,a3とa4がa1とa2で決定される場合の補題を示しておく。
![](https://assets.st-note.com/img/1711775960165-b9kXT7G64J.jpg?width=1200)
これを用いて複比は射影変換により不変であることが示せる。
![](https://assets.st-note.com/img/1711776003789-PYVHVXnvRx.jpg?width=1200)
4つの線束についても複比の不変性が成り立つ。
![](https://assets.st-note.com/img/1711776035762-7KRAhryrVk.jpg?width=1200)
このことを用いてデザルグの定理(P1,P2が直線mにあるなら,P3も直線mにある)を証明する。
![](https://assets.st-note.com/img/1711776470475-DTcTCHQg4v.png?width=1200)
以下の青線を線束とおくと,赤線・紫線との交点について複比の不変性が成り立つ。
![](https://assets.st-note.com/img/1711776147056-HlL2fOe9ER.png?width=1200)
別の取り方により,2つ目の等式が導出できる。
![](https://assets.st-note.com/img/1711776557137-Fb4tbGcqIh.png?width=1200)
よってP3はmにあることがわかる。
![](https://assets.st-note.com/img/1711776698995-URmwEG41WX.png?width=1200)
![](https://assets.st-note.com/img/1711776640963-C9w6D9i0Z3.png?width=1200)
本記事のもくじはこちら:
学習に必要な本を買います。一覧→ https://www.amazon.co.jp/hz/wishlist/ls/1XI8RCAQIKR94?ref_=wl_share