§ 2. Основы построения математической теории

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

Определение — точное объяснение значения математического понятия. Оно указывает, по каким признакам объект относят к этому понятию и чем он отличается от других объектов. Например, чётным называют целое число, которое делится на 2. Определение нужно, чтобы все одинаково понимали термин и могли точно рассуждать об объектах.

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

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

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

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

Математическую теорию строят не как коллекцию отдельных фактов. Сначала договариваются о точном смысле понятий, затем принимают исходные утверждения, а из них выводят новые результаты. Благодаря этому рассуждения можно проверять: становится понятно, откуда взялось каждое свойство и на что оно опирается. Без общей основы похожие слова или факты могли бы пониматься по-разному, и выводы нельзя было бы надёжно связать друг с другом.

В теореме важно различать условие и заключение, потому что они отвечают на разные вопросы. Условие сообщает, какие сведения разрешено использовать; заключение называет то, что требуется получить. Например, в утверждении «если натуральное число оканчивается цифрой 0, то оно делится на 5» дано, что последняя цифра равна нулю. Доказывать нужно делимость на 5, а не повторять исходное условие другими словами.

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

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

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

Роль основных элементов математической теории

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

Разбор задач

Задача 1. Определить, что из трёх записей является определением, аксиомой или теоремой: «Чётное число делится на 2»; «Через две точки проходит единственная прямая»; «Если число делится на 10, то оно делится на 5».

1. Первая запись объясняет, какое свойство называют чётностью числа. Значит, в рамках этой формулировки это определение понятия.
2. Вторая запись сообщает исходное свойство геометрических объектов, на которое можно опираться без доказательства. Это аксиома.
3. Третья запись связывает условие с заключением и утверждает, что одно следует из другого. Это теорема: её нужно обосновать.

Ответ: первая запись — определение, вторая — аксиома, третья — теорема. Здесь важно смотреть не только на вид предложения, но и на его роль в рассуждении.

Задача 2. В утверждении «Если натуральное число оканчивается цифрой 0, то оно делится на 5» выделить условие и заключение.

1. Найдём часть, стоящую после слова «если»: число оканчивается цифрой 0. Это условие, то есть сведения, которые даны.
2. Найдём часть после слова «то»: число делится на 5. Это заключение, которое утверждение обещает получить из условия.
3. Проверим, не поменяли ли части местами: делимость на 5 здесь не предполагается заранее, а выводится из последней цифры числа.

Ответ: условие — натуральное число оканчивается цифрой 0; заключение — оно делится на 5. Такое выделение заранее показывает, что именно придётся обосновать.

Задача 3. Докажите, что сумма двух чётных натуральных чисел чётна.

1. Обозначим чётные натуральные числа через a и b. По определению чётного числа существуют натуральные k и m, для которых a = 2k, b = 2m.
2. Сложим числа: a + b = 2k + 2m. Вынесем общий множитель 2: a + b = 2(k + m).
3. Сумма k + m — натуральное число, поэтому полученная запись показывает, что a + b делится на 2. По определению это означает, что сумма чётная.

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

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

Считать аксиому и теорему одним и тем же. Их путают, потому что обе записаны как утверждения. Но аксиому принимают без доказательства, а теорему необходимо доказать. Проверь себя вопросом: доказано ли это утверждение или оно служит исходным основанием?

Принимать пример или рисунок за доказательство. На рисунке или в вычислении можно увидеть, что утверждение верно в одном случае, и принять этот случай за правило. Но общий вывод должен работать для всех объектов, подходящих под условие. Проверь себя: доказал ли ты все случаи или только показал один?

Подменять доказательство повторением условия или заключения. Иногда ученик переписывает данное и объявляет нужный вывод, не показывая связи между ними. Такое рассуждение не объясняет, почему заключение следует из исходных данных. Проверь каждый переход вопросом «почему это верно?» и назови основание.

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

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

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

Определения и доказательства пригодятся при исследовании свойств чисел и решении задач по геометрии. В задачах о числах определение помогает представить объект в удобном виде, например чётное число — как 2k. В геометрии доказательство позволяет обосновывать свойства фигур, не полагаясь только на внешний вид чертежа. Умение указывать основание каждого шага делает решение понятным и проверяемым.

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

• Определение раскрывает смысл понятия.
• Аксиому принимают без доказательства.
• Теорему доказывают.
• У теоремы различают условие и заключение.
• Каждый шаг доказательства требует основания.
• Пример сам по себе не доказывает общее утверждение.