В связи с рассматриваемым вопросом в изучении материала линии уравнений и неравенств можно выделить три основных этапа. Первый этап охватывает начальный курс школьной математики и начало курса алгебры. Здесь происходит ознакомление с различными способами решения отдельных, наиболее простых классов уравнений. Используемые при этом преобразования получают индуктивное обоснование при рассмотрении конкретных примеров. По мере накопления опыта индуктивные рассуждения все чаще заменяются такими, где равносильность фактически используется, но сам термин не употребляется. Длительность этого этапа может быть различной; она зависит от методических установок, принятых в данном учебном пособии.
На втором этапе происходит выделение понятия равносильности и сопоставление его теоретического содержания с правилами преобразований, которые выводятся на его основе. Длительность этого этапа незначительна, поскольку на нем происходит только выделение этого понятия и его использование на нескольких теоретических примерах.
На третьем этапе на основе общего понятия равносильности происходит развертывание и общей теории, и теории отдельных классов уравнений. Такой стиль характерен для курса алгебры и начал анализа, изучаемого в старших классах средней школы. Он применяется и в некоторых пособиях по алгебре для неполной средней школы.
Помимо равносильных, к изучению материала линии уравнений применяются и другие, вообще говоря, не равносильные преобразования. Большая часть из них в школьном курсе не выявляется, хотя они более или менее существенно используются, в частности, при изучении уравнений. Единственным исключением служит понятие логического следования, которое в ряде учебных пособий является предметом изучения. Методика работы с понятием логического следования (а также с представлением о нем в случае, если понятие не вводится) имеет много общих черт с методикой изучения равносильности и равносильных преобразований.
Логическое следование начинает применяться значительно позже равносильности и осваивается в качестве некоторого дополнения к нему. При решении уравнений при прочих равных условиях предпочтение отдается равносильному преобразованию; логическое следование применяется лишь тогда, когда соответствующего равносильного преобразования найти не удается. Это, однако, не означает, что использование логического следования — вынужденная мера. Нередко в практике работы учителей логическое следование применяется как прием, упрощающий процесс решения, если сохранение равносильности может быть достигнуто сравнительно дорогой ценой.
Среди неравносильных преобразований есть преобразования, не являющиеся логическим следованием. Например, переход к рассмотрению частного случая (пример: переход от уравнения а -b= 0к рассмотрению уравнения а=0). Такие переходы можно рассматривать как практические приемы, позволяющие сосредоточить внимание на отдельных шагах процесса решения уравнения.
3. О классификации преобразований уравнений и их систем.
Можно выделить три основных типа таких преобразований:
1) Преобразование одной из частей уравнения.
2) Согласованное преобразование обеих частей уравнения.
3) Преобразование логической структуры.
Поясним эту классификацию.
Преобразования первого типа используются при необходимости упрощения выражения, входящего в запись решаемого уравнения. Например, решая уравнение cos x-tg x=l, можно пытаться заменить выражение в левой части более простым. В данном случае соответствующее преобразование приводит к уравнению sin x= 1, неравносильному исходному за счет изменения области определения. Возможность получения при такой замене уравнения, неравносильного данному, приходится учитывать при изучении некоторых типов уравнений, например тригонометрических или логарифмических. В классе дробно-рациональных уравнений с этим явлением приходится сталкиваться гораздо реже. (Здесь это связано с возможностью потери корней при сокращении дроби.) Наконец, в классе целых алгебраических уравнений рассматриваемый тип преобразований всегда приводит к уравнениям, равносильным данным.
Преобразование одной из частей уравнения используют раньше всех других преобразований уравнений, это происходит еще в начальном курсе математики. Прочность владения навыком преобразований этого типа. имеет большое значение для успешности изучения других видов преобразований, поскольку они применяются очень часто.
Основой преобразований данного типа являются тождественные преобразования. Поэтому классифицировать их можно в соответствии с классификацией тождественных преобразований, например раскрытие скобок, приведение подобных членов и т. д.
Преобразования второго типа состоят в согласованном изменении обеих частей уравнения в результате применения к ним арифметических действий или элементарных функций. Общей основой всех преобразований этого типа является логический принцип, выражающий характеристическое свойство равенства выражений: если выражения а и b равны и в выраженииF (х) выделена переменная х, которая может принимать значение а, то выражения F (а) и F {b) равны:a = b =>F {a)=F (b).
Преобразования второго типа сравнительно многочисленны. Они составляют ядро материала, изучаемого в линии уравнений.
Приведем примеры преобразований этого типа.
1)-Прибавление к обеим частям уравнения одного и того же выражения.
2) Умножение (деление) обеих частей уравнения на одно и то же выражение.
3) Переход от уравнения a=b к уравнению ¦ (a)=¦(b), где ¦ - некоторая функция, или обратный переход.
К третьему типу преобразований относятся преобразования уравнений, и их систем, изменяющие логическую структуру заданий. Поясним использованный термин «логическая структура». В каждом задании можно выделить элементарные предикаты — отдельные уравнения. Под логической структурой задания мы понимаем способ связи этих элементарных предикатов посредством логических связок конъюнкции или дизъюнкции.
В зависимости от средств, которые используются при преобразованиях, в этом типе можно выделить два подтипа: преобразования, осуществляемые при помощи арифметических операций и при помощи логических операций. Первые можно назвать арифметическими преобразованиями логической структуры, вторые — логическими преобразованиями логической структуры.
Наиболее важными для школьного курса математики арифметическими преобразованиями логической структуры являются:
а) Переход от уравненияa * b=0 к совокупности уравнений а=0, b=0.
Сюда же относятсясходные преобразования для уравнений вида ,
б) Переход от системы уравнений к одному уравнению посредством почленного сложения, вычитания, умножения или деления уравнений, входящих в систему.
Приведем примеры логических преобразований логической структуры:
а) Выделение из системы уравнений одного из компонентов. Например,
при решении системы уравненийспособом подстановки можно
в качестве первогошага рассмотреть первое из уравнений (это и будет преобразование данного типа, условно его, можно изобразить так:АÙВ——>А). Смысл такого преобразования в том, что выделенное уравнение можно подвергать дальнейшим преобразованиям независимо от той системы, в которую оно входит.
б) Замена переменных. В простейшем случае замена переменных состоит
в переходе от уравненияF (f (x))=0 к системеСвязь этой системы
и данного уравнения такова: число Х0 — решение уравнения F (f (х))=0 тогда и только тогда, когда пара (х0, f (х0)) — решение системы. Это преобразование позволяет одно «сложное» уравнение заменить системой более простых уравнений. Так решаются биквадратные уравнения, многие типы иррациональных и трансцендентных уравнений (например, при их сведении к алгебраическим уравнениям).
в) Преобразование, противоположное замене переменных, т. е.переход от
системы видак уравнениюF (х, f (х))=0.
Корни этого уравнения и решения данной системы связаны так же, как при замене переменной. Это преобразование назовем подстановкой.
На основе подстановки в процессе обучения алгебре вводится стандартный метод решения системы уравнений с двумя неизвестными: в одном из уравнений одно из неизвестных выражается через другое, полученную при этом систему решают методом подстановки. Этот метод превращается в дальнейшем в курсе школьной алгебры в универсальный метод уменьшения количества неизвестных в системе.
г) Укажем еще на преобразования, основанные на тождественно истинных формулах алгебры логики, имеющих вид равносильности или логического следования. Преобразования эти весьма многочисленны, но в практике школьного обучения используются редко. Приведем пример такого преобразования. При решении уравнения 2x+3|x|=l можно в соответствии с определением модуля рассмотреть случаи х³ 0 или х<0, т. е. решить систему
В процессе решения логическая структура этой системы преобразуется к виду совокупности двух систем:
или
Таким образом, происходит изменение логической структуры, осуществляемое по схеме A /\(В\/ С)—> (A /\В)\/(А /\С}.