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

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

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

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