Эти определения равносильны: (1) из (α) вытекает (β); (2) из (β) вытекает (α). Утверждения (1) и (2) легко доказываются от противного. Доказательство для (1) сейчас изложим; доказать (2) предоставляем читателю.

Итак, предположим, что в многоугольнике, обладающем свойством (α), нашлись две такие его точки P и Q, которые лежат по разные стороны от некоторой его стороны AB. Поскольку все точки отрезка AB принадлежат многоугольнику, ему будут принадлежать и все точки треугольников PAB и QAB. Таким образом, отрезок AB является общей стороной треугольников PAB и QAB, расположенных хотя и по разные стороны от этого отрезка, но целиком в пределах рассматриваемого многоугольника. Очевидно, что такого не может быть, коль скоро AB является одной из сторон этого многоугольника.

§ 7. Индукция

§ 7. Индукция

Доказательства методом математической индукции

Метод математической индукции применяется тогда, когда хотят доказать, что некоторое утверждение выполняется для всех натуральных чисел. Продемонстрируем метод математической индукции на простом примере.

Пример 21. Доказать, что всегда 1 + 2 + 3 + … + n = n (n + 1)/2. Рассуждаем так. Во-первых, для n = 1 это утверждение верно; действительно:

Пример 21. Доказать, что всегда 1 + 2 + 3 + … + n = n (n + 1)/2. Рассуждаем так. Во-первых, для n = 1 это утверждение верно; действительно: