Теорема — це математичне твердження, справедливість якого встановлюється за допомогою міркувань. Такі міркування називають доведенням теореми. На основі аксіом за допомогою логічних міркувань ми отримуємо нові геометричні факти. Для доведення теорем використовують означення, аксіоми, доведені раніше теореми. Кожна теорема містить умову (що дано) і висновок (що необхідно довести). Твердження, які випливають безпосередньо з аксіом чи теорем, називають наслідками. Теорема
Доведення Кути AOK і BOK суміжні за умовою, тоді промені OA і OB — доповняльні (за означенням суміжних кутів), і кут AOB розгорнутий (за означенням розгорнутого кута), тобто ∠АОВ =180°. Оскільки промінь OK проходить між сторонами кута AOB (за означенням), то ∠АОК +∠ВОК =∠АОВ , отже, ∠АОК +∠ВОК =180° (за аксіомою вимірювання), що й треба було довести.
Наслідок 4. Кут, суміжний із гострим кутом,— тупий; кут, суміжний із тупим кутом, — гострий. Це випливає з теореми про суміжні кути, оскільки, якщо два нерівні кути у сумі становлять 180°, то один з них більший за 90°, тобто тупий, а інший — менший від 90°, тобто гострий, що й треба було довести. Наслідки