对顶角相等是几何学中的基本定理，其证明基于平角定义和等量代换：两条直线相交形成的两对对顶角分别相等。设直线AB与CD相交于点O，则∠AOC和∠BOD是对顶角，∠AOD和∠BOC也是。由于∠AOC与∠AOD组成平角（180°），∠BOD与∠AOD也组成平角，因此∠AOC + ∠AOD = 180°，∠BOD + ∠AOD = 180°，从而∠AOC = ∠BOD。同理可证另一对对顶角相等。
【常见问题】
问题1：对顶角相等的证明需要哪些前提条件？
回答1：对顶角相等的证明只需要两条直线相交，且利用平角定义（180°）和等量减等量差相等的基本公理，无需额外假设。
问题2：对顶角相等在几何证明中有什么实际应用？
回答2：对顶角相等常用于证明三角形全等、平行线性质、角平分线定理等，是几何推理中频繁使用的核心性质。
问题3：如果两条直线不是严格相交，对顶角还相等吗？
回答3：对顶角相等仅适用于两条直线相交形成的角。若直线不相交或重合，则不存在对顶角概念，因此不适用。
问题4：如何用反证法证明对顶角相等？
回答4：假设对顶角不相等，则其中一个角大于另一个，那么它们与相邻角组成的平角之和会矛盾，因为平角恒为180°，从而推出假设不成立，证明对顶角相等。
问题5：对顶角相等的定理是否适用于空间几何？
回答5：在平面几何中成立，在空间几何中，两条异面直线没有对顶角；若为相交直线，则仍适用，因为空间中的平角定义与平面一致。
