प्रमेय
ए. लंबवत विपरीत कोण प्रमेय:
जब दो सीधी रेखाएं $AB$ और $CD$ एक उभयनिष्ठ बिंदु $O$ पर प्रतिच्छेद करती हैं, तो वे चार कोण बनाती हैं। विपरीत गैर-आसन्न कोणों के जोड़े को ऊर्ध्वाधर विपरीत कोण:
कहा जाता है
$$\mathbf{\angle AOC = \angle BOD} \quad \text{and} \quad \mathbf{\angle AOD = \angle BOC}$$
बी. औपचारिक ज्यामितीय प्रमाण:
रे $OA$ सीधी रेखा $CD$ पर खड़ा है। रैखिक युग्म अभिगृहीत द्वारा:
$$\angle AOC + \angle AOD = 180^\circ \quad \text{--- (1)}$$
रे $OD$ सीधी रेखा $AB$ पर खड़ा है। रैखिक युग्म अभिगृहीत द्वारा:
$$\angle AOD + \angle BOD = 180^\circ \quad \text{--- (2)}$$
(1) और (2) को बराबर करना:
$$\angle AOC + \angle AOD = \angle AOD + \angle BOD$$
दोनों तरफ से $\angle AOD$ घटाने पर:
$$\mathbf{\angle AOC = \angle BOD} \quad \text{(Hence Proved!)}$$