§ 1. Искусство математических рассуждений

Определения и обозначения

Математическое утверждение — высказывание, о котором можно сказать, истинно оно или ложно. Например, фраза «Сумма двух чётных чисел чётна» имеет смысл и допускает проверку, а вопрос или команда не сообщают факта, который можно оценить таким образом. Это понятие помогает отделить то, что нужно доказывать или опровергать, от просьб и указаний.

Доказательство — цепочка рассуждений, которая обосновывает истинность утверждения с помощью известных фактов и логических выводов. Каждый следующий шаг должен опираться на условие, определение, свойство или уже установленный результат. Доказательство нужно, чтобы убедиться в верности вывода не только для нескольких примеров, но во всех подходящих случаях.

Теорема — математическое утверждение, истинность которого устанавливают доказательством. В ней различают условие — то, что известно, — и заключение — то, что требуется обосновать. Такое разделение помогает понять, с чего начинать рассуждение и к какому результату вести его.

Контрпример — пример, показывающий, что общее утверждение неверно. Он должен подходить под условие, но нарушать заключение утверждения. Контрпример нужен для опровержения: если найден хотя бы один такой случай, общее правило уже не может быть верным.

Как это устроено

Чтобы понять, является ли фраза математическим утверждением, сначала проверяют, имеет ли она определённый смысл. Затем спрашивают, можно ли установить её истинность или ложность при заданных условиях. Например, фраза «число 8 чётное» — утверждение, потому что число конкретно и его свойство можно проверить. А выражение «найди чётное число» — команда, у которой нет значения «истинно» или «ложно».

Проверка частных случаев помогает заметить закономерность и предположить, что она верна всегда. Например, можно сложить несколько пар чётных чисел и увидеть, что суммы чётные. Но в этих проверках участвуют лишь отдельные числа, а вариантов может быть бесконечно много. Поэтому примеры подсказывают направление рассуждений, но общее утверждение требует доказательства.

Теорема устроена как связь между условием и заключением: если выполнено условие, то должно следовать заключение. Условие отвечает на вопрос «что нам известно?», а заключение — «что нужно доказать?». Например, в утверждении о сумме двух нечётных целых чисел условием служит то, что оба числа нечётные, а заключением — что их сумма чётна. Если перепутать эти части, можно рассуждать о другом свойстве и не решить задачу.

Доказательство начинают с условия теоремы и уже известных фактов, а затем переходят к заключению. Каждый переход нужно объяснить: сослаться на определение, свойство чисел или результат предыдущего шага. Если пропустить обоснование, читатель не сможет проверить, почему вывод следует из предыдущих рассуждений. Поэтому хорошее доказательство — не просто правильный ответ, а понятный путь к нему.

Чтобы опровергнуть общее утверждение, ищут объект, который удовлетворяет его условию, но не его заключению. Такой объект называется контрпримером. Например, число 6 делится на 2, но не делится на 4, поэтому оно опровергает фразу «Если число делится на 2, то оно делится на 4». Одного случая достаточно, потому что утверждение обещало верный результат для всех объектов, подходящих под условие.

Способы обосновать или опровергнуть утверждение

Пользуйся таблицей в зависимости от задачи: примеры подходят для поиска закономерности, доказательство — для подтверждения общего правила, а контрпример — для его опровержения. Проверка частных случаев сама по себе не позволяет выбрать вывод «утверждение доказано». Перед тем как назвать пример контрпримером, обязательно проверь и условие, и заключение.

Разбор задач

1. Сумма двух чётных чисел

Условие. Определите, является ли фраза «Сумма двух чётных чисел чётна» математическим утверждением и истинно ли оно. Нужно отдельно проверить, можно ли оценить фразу на истинность, и обосновать, верна ли она для любых чётных чисел.

1. Фраза сообщает свойство суммы и имеет определённый смысл, поэтому это математическое утверждение.
2. Проверим примеры: 2 + 4 = 6, 8 + 10 = 18. Суммы чётные, но эти случаи пока только поддерживают предположение.
3. Обоснуем утверждение для любых чётных целых чисел. Их можно записать как 2k и 2m, где k и m — целые числа; тогда 2k + 2m = 2(k + m), а значит, сумма делится на 2.

Ответ. Это математическое утверждение, и оно истинно: сумма любых двух чётных целых чисел чётна. Примеры помогли заметить результат, а запись через целые k и m дала обоснование для всех случаев.

2. Сумма двух нечётных целых чисел

Условие. Докажите, что сумма двух нечётных целых чисел чётна. Здесь недостаточно проверить несколько пар чисел: нужно представить произвольные нечётные числа и вывести нужный результат.

1. Обозначим нечётные целые числа через 2k + 1 и 2m + 1, где k и m — целые числа. Такая запись следует из определения нечётного числа.
2. Сложим числа и сгруппируем слагаемые: (2k + 1) + (2m + 1) = 2k + 2m + 2 = 2(k + m + 1).
3. Так как k и m целые, выражение k + m + 1 тоже целое. Значит, сумма представлена как удвоенное целое число и поэтому делится на 2.

Ответ. Сумма двух нечётных целых чисел чётна. Доказательство подходит для любой пары таких чисел, потому что k и m обозначают произвольные целые числа.

3. Утверждение о делимости на 2 и на 4

Условие. Опровергните утверждение «Если число делится на 2, то оно делится на 4». Чтобы опровержение было убедительным, требуется найти число, которое выполняет условие, но не выполняет заключение.

1. Возьмём число 6 и проверим условие: 6 делится на 2, поскольку 6 = 2 · 3.
2. Проверим заключение: 6 не делится на 4, так как между 4 и 8 нет целого числа, на которое нужно умножить 4, чтобы получить 6.
3. Число 6 удовлетворяет условию утверждения, но не его заключению. Следовательно, это контрпример.

Ответ. Утверждение неверно; его опровергает число 6. Достаточно одного такого числа, потому что правило заявлено для всех чисел, делящихся на 2.

Типичные ошибки

Считать несколько примеров доказательством общего утверждения. Так поступают, потому что повторяющийся результат кажется правилом; однако ещё не проверены все возможные значения. Проверь себя: если утверждение относится к любым числам, подумай, обосновывает ли рассуждение произвольное число или только выбранные примеры.

Повторять заключение вместо доказательства. Например, сказать «сумма чётная, потому что она чётное число» — значит повторить вывод, а не объяснить его. Такая ошибка появляется, когда ответ подменяет рассуждение. Проверь себя вопросом: из какого известного факта следует каждый шаг?

Путать условие теоремы с заключением. Из-за этого можно доказывать известную часть задачи или рассуждать не в том направлении. Раздели фразу на «что дано» и «что требуется доказать», прежде чем писать решение. Проверь, что в конце получено именно заключение, а не просто повторено условие.

Выбирать пример, который не удовлетворяет условию. Такой пример не может опровергнуть утверждение, даже если заключение для него неверно. Ошибка возникает, когда проверяют только результат и забывают о начальном условии. Проверь оба пункта: контрпример обязан подходить под условие и нарушать заключение.

Связь с другими темами

Для рассуждений об утверждениях нужны свойства целых чисел и умение выполнять буквенные преобразования. Например, запись чётного числа как 2k позволяет перейти от отдельных примеров к общему доказательству. Буквы помогают обозначить произвольные числа, а преобразования показывают, почему вывод верен.

Навык доказательства пригодится при изучении теорем по геометрии и алгебре. Он нужен и в задачах, где важно не только получить ответ, но и обосновать его. Умение находить контрпример помогает быстро проверить, действительно ли правило работает во всех случаях.

Что запомнить

• Математическое утверждение может быть истинным или ложным.
• Проверка примеров помогает заметить закономерность, но не заменяет доказательство.
• У теоремы различают условие и заключение.
• В доказательстве каждый переход должен быть обоснован.
• Одного подходящего контрпримера достаточно, чтобы опровергнуть общее утверждение.