5х+4=3х+10

5х=3х+10—4

5х—3х=10—4

…………… .

Анализируя решение, учитель может прийти к правилам решения уравнений 1-й степени с одним неизвестным. Обратим внимание на некоторые формальные пробелы этого изложения. Прежде всего, в таком рассказе не акцентируется внимание на том, что под действием преобразований уравнение преобразуется в некоторое новое уравнение. Ученики как бы имеют дело все время с тем же уравнением. Если бы упор делался непосредственно на переход от одного уравнения к другому, то это потребовало бы более внимательного анализа представлений, связанных с равносильностью, что как раз не характерно для первых этапов обучения алгебре.

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

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

Дедуктивное обоснование процесса решения уравнений без явного использования понятия равносильности

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

При наличии в курсе теоретико-множественных понятий дедуктивное обоснование решения уравнений проводится так: при переходе от рассмотрения уравнения ¦=g к уравнению ¦1==g1 обращается внимание на совпадение множеств корней этих уравнений и этот факт обосновывается при помощи свойств равенства числовых выражений. Например, с этой точки зрения переход от уравнения 3х+2у=5 к уравнению у=—1,5х+2,5 обосновывается с использованием свойства: если а=b—верное равенство, то а+с=b+с и ас=bс также верные равенства.

При отсутствии теоретико-множественных представлений тот же переход производится тем же, по существу, способом, но с использованием конкретного решения одного из этих двух уравнений. Рассуждения при этом проводятся так: «Пусть (х0, y0) — решение первого уравнения, т. е. 3x0+2y0=5. Пользуясь свойствами числовых

равенств, данное равенство можно записать в виде y0= — 1,5х0+2,5, значит, (х0, y0) — решение второго уравнения». Так же проверяется обратное заключение.

Внешне различие между двумя способами обоснования (помимо того, что в первом используется термин «множество») проявляется в том, что в первом из них пользуются свойствами равенств с переменными, а во втором — свойствами числовых равенств. Сложность обучения любому из этих способов примерно одинакова.

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

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

Введение для обоснования решения уравнений и их систем понятий равносильности и логического следования

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