<定理−9>反転変換で複比は保たれる。
<証明>点 A、B、C、D が反転変換によって、点 A'、B、'C'、D' に移るとする。
複比の定義から、
(A'B'C'D')=(|A'C'|/|B'C'|)÷(|A'D'|/|B'D'|)
定理ー3 から、
|AC|:|A'C'|=|OA||OC|:k2
|A'C'|=k2|AC|/|OA||OC|
同様に、 |B'C'|=k2|BC|/|OB||OC|
|A'D'|=k2|AD|/|OA||OD|
|B'D'|=k2|BD|/|OB||OD|
上の式から、
(A'B'C'D')={k2|AC|/|OA||OC|÷k2|BC|/|OB||OC|}
÷{k2|AD|/|OA||OD÷k2|BD|/|OB||OD|}
=[{|AC|/|OA||OC|}/{|BC|/|OB||OC|}]
÷[{|AD|/|OA||OD}/{|BD|/|OB||OD|}]
=[{|AC|/|OA|}/{|BC|/|OB|}]
÷[{|AD|/|OA|}÷{|BD|/|OB|}]
=(|AC|/|BC|)÷(|AD|/|BD|)
=(ABCD)
∴ 反転変換で複比は保たれる。
|