對頂角相等是公理還是定理

對頂角相等是定理。在幾何學中，對頂角是兩個角之間的一種位置關系。兩條直線相交時會產生一個交點，并產生以這個交點為頂點的四個角。稱其中不相鄰的兩個角互為對頂角。對頂角滿足下列定理：兩直線相交，對頂角相等。

在數學里，定理是指在既有命題的基礎上證明出來的命題，這些既有命題可以是別的定理，或者廣為接受的陳述，比如公理。數學定理的證明即是在形式系統下就該定理命題而作的一個推論過程。定理的證明通常被詮釋為對其真實性的驗證。由此可見，定理的概念基本上是演繹的，有別于其他需要用實驗證據來支持的科學理論。

公理是指依據人類理性的不證自明的基本事實，經過人類長期反復實踐的考驗，不需要再加證明的基本命題。在數學中，公理都是用來推導其他命題的起點。公理和定理不同，一個公理(除非有冗余的)不能被其他公理推導出來，否則它就不是起點本身，而是能夠從起點得出的某種結果—可以干脆被歸為定理了。