互为对顶角。或者说，其中的一个角是另一个的对顶角。对顶角满足下列定理：两直线相交，对顶角相等。用数学语言描述就是（如右图）：
历史.泰勒斯生于希腊，是一位擅长于几何学的数学家及哲学家。他一生发现了多个几何学定理，包括等腰三角形中的“等边对等角”定理，也包括对顶角定理。
对顶角定理的证明.设直线AD、BC交于点O，那么，∠AOB和∠AOC 互为邻补角。根据邻补角的性质，其中formula_2是一个平角的弧度数。类似地，∠COD和∠AOC 互为邻