Уравнения и логика
Два человека решают одно уравнение. Оба не сделали ни одной вычислительной ошибки. Один получил два корня, другой — один. Кто прав?
Правы оба — и это самое интересное. Один решал исходное уравнение, другой незаметно перешёл к другому уравнению, у которого корней больше. Такой переход называют переходом к следствию, и он законен: просто вместе с ответом он выдаёт мусор, который нужно вычистить.
В этой главе мы разберёмся, какие преобразования сохраняют множество корней, какие добавляют лишние, а какие теряют настоящие. А заодно выучим язык, на котором это удобно записывать: язык множеств, логических связок и кванторов.
Входная диагностика
Заголовок раздела «Входная диагностика»Ответь коротко, до подробных выкладок.
- Чему равен ? А сколько корней у уравнения ?
- Может ли значение быть отрицательным?
- Чему равно ? А ?
- Реши уравнение .
- Какие значения входят в промежуток ?
- Верно ли, что все простые числа нечётные?
- Из уравнения «сократили на » и получили . Что при этом произошло с корнем ?
- Как записать одним неравенством условие « больше и меньше »?
Ответы для самопроверки
- — ровно одно число. У уравнения два корня: и .
- Нет. Арифметический квадратный корень по определению неотрицателен.
- и .
- Знаменатель запрещает , а единственный кандидат — как раз . Корней нет.
- Все числа от до , причём входит, а — нет.
- Неверно: число простое и чётное. Это контрпример.
- Он потерян: делить обе части на выражение с переменной нельзя.
- .
Договорённости главы
Заголовок раздела «Договорённости главы»- Прежде чем преобразовывать уравнение, выписываем область допустимых значений — множество, на котором обе части имеют смысл.
- Каждое преобразование помечаем: равносильное () или переход к следствию ().
- После цепочки следствий проверка обязательна, и она часть решения, а не вежливость.
- Ответ записываем как множество: перечислением, промежутком или словами «корней нет».
- Утверждение считается доказанным, только если названы посылки и виден переход от них к выводу. «Проверил на трёх числах» — не доказательство.
Маршрут главы
Заголовок раздела «Маршрут главы»- Равносильность и следствие — откуда берутся посторонние корни и куда исчезают настоящие.
- Иррациональные уравнения — возведение в квадрат, отбор кандидатов и замена переменной.
- Уравнения с модулем — разбор случаев, переход к системе и сумма модулей.
- Множества и логика — связки, кванторы и три способа доказать утверждение.
- Практикум — смешанные задачи и разбор чужих решений.
Прогресс главы · хранится в браузере
Начни с первой идеи
0 из 5 уроков отмечено
Начни с равносильности и следствия.