В любой теореме можно выделить две части – условие и заключение. Условие теоремы говорит о том, что дано или что известно. Заключение (называемое также утверждением) говорит, что можно вывести из условия или что требуется доказать. Особенно легко отделить условие теоремы от ее заключения тогда, когда теорема высказана в форме условного сложного предложения, первая часть которого начинается со слова если, а вторая – со слова то. Про такую теорему можно сказать, что она сформулирована в форме если -то (или условие – заключение).
![]() |
Теорема
если запись натурального числа оканчивается нулем, то это число делится на пять
сформулирована в форме если – то. Условием теоремы является высказывание
запись натурального числа оканчивается нулем.
Условие говорит о том, что известно о натуральном числе.
Заключением теоремы является утверждение
это число делится на пять.

Заключение говорит о том, что требуется доказать. Эту теорему можно высказать и в следующей форме: все оканчивающиеся нулем натуральные числа делятся на пять (см. рисунок).
Для краткости зачастую теоремы формулируют и в виде простых предложений.
![]() |
Рассмотрим теорему
сумма смежных углов равна 180°,
которая не высказана в форме если – то. Однако и эту теорему можно сформулировать в виде условного предложения:
если два угла являются смежными, то их сумма равна 180°.
Теперь легко увидеть, что условием теоремы является:
два угла являются смежными,
а заключением –
сумма углов равна 180°.
Если условие теоремы обозначить буквой р, а заключение – буквой q, то теорему можно в общем виде записать так: p ⇒ q (читают: если р, то q, или из утверждения p следует утверждение q).
Знак ⇒ является знаком следствия.
Упражнения A
![]() |
Пример. a : 5 = 2 ⇒ a = 10.
В словесной формулировке: если при делении числа a на 5 получаем число 2, то a равно десяти.
- 2x = 8 ⇒ x = 4
- a = –5 ⇒ a2 = 25
- x = –1 ⇒ |x| = 1
- a || b ⇒ b || a
- s ⟘ t ⇒ t ⟘ s
- 5x = 0 ⇒ x = 0
Упражнения Б
![]() |
- Один из множителей произведения равен нулю.
- Делимое и делитель имеют противоположные знаки.
- Делимое равно 0, а делитель отличен от нуля.
- Катеты одного прямоугольного треугольника соответственно равны катетам другого прямоугольного треугольника.
- Числитель и знаменатель дроби умножены на одно и то же отличное от нуля число.