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

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

Дедуктивное обоснование процесса решения уравнений без явного использования понятия равносильности. Разобранное обоснование процесса решения не всегда может быть эффективно использовано при изучении других классов уравнений. Тем или иным способом к изучению материала линии уравнений нужно привлекать различные приемы дедуктивного обоснования. Это связано с возрастанием сложности предлагаемых заданий по сравнению с исходным классом (уравнения 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) — решение второго уравнения». Так же проверяется обратное заключение.

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

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

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

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

Обратимся к разобранному уравнению 5х+4=3x+10. С использованием равносильности его решение проводится так: «Поскольку перенос членов уравнения из одной части в другую с изменением знака — равносильное преобразование, то, осуществив его, приходим к уравнению, равносильному данному: 5х—3х=10—4. Упрощая выражения в левой и правой частях уравнения, получим 2х=6, откуда х=3».

Отметим особенности приведенного решения по сравнению с изложенным ранее. Прежде всего, оно более свернуто, предполагает намного более высокий уровень владения материалом курса алгебры. Поэтому применению такого способа решения уравнений и их систем должна предшествовать большая подготовительная работа. Объем предварительного материала зависит от общих методических установок, используемых в учебных пособиях. Например, в учебниках алгебры для VI—VIII классов под редакцией А. И. Маркушевича понятие о равносильности вводится спустя полтора года после начала изучения систематического курса алгебры. В других курсах оно вводится гораздо позже, в старших классах.

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

Использование логической терминологии при описании решений позволяет параллельно с нахождением корней получать также и логическое обоснование.» Особенно велика роль логических понятий при итоговом обобщающем повторении курса алгебры и всего курса математики средней школы. Поскольку при этом необходимо выявить структуру крупных частей изученного материала, отсутствует возможность вновь пройти весь путь нахождения приемов решений различных классов уравнений, неравенств и их систем. Логические понятия позволяют не только быстро восстановить путь нахождения таких приемов, но и одновременно обосновать их корректность. Тем самым происходит развитие средств логического мышления учащихся. Учитывая это, на этапах обобщающего повторения целесообразно формулировать свойства равносильности и логического следования в общем виде и иллюстрировать их заданиями, относящимися к различным классам уравнений и их систем.

§ 4. Обобщенные приемы решения уравнении с одной переменной в школьном курсе алгебры

Выделение приемов решения уравнений

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

Таким образом, решение каждого уравнения складывается из двух основных частей: 1) преобразования данного уравнения к простейшим; 2) решения простейших уравнений по известным правилам, формулам или алгоритмам. При этом если вторая часть решения является алгоритмической, то первая — в значительной степени (и тем большей, чем сложнее уравнение) — эвристической. Именно правильный выбор необходимых тождественных и равносильных преобразований, как и всякий поиск решения задачи, представляет наибольшую трудность для учащихся.