立体射影の等角性

球面(1点を除く)から平面への立体射影の等角性は次の定理から導かれる.

円の中心 O を通る直線 L と円上の点 N に対し,ON⊥L とする.
円上の点 P に対し,直線 NP と直線 L の交点を Q とし,P における円の接線と直線 L の交点を R とする.
このとき,∠RPQ = ∠RQP.