Анализ и синтез
Логические методы познания особенно необходимы при отыскании решения задач. Рассмотрим, например, следующую задачу: "Определить площадь четырехугольника, диагонали которого взаимно перпендикулярны и равны 6 и 8 см". Поиск ее решения целесообразно начать, пользуясь методами анализа и синтеза. В процессе анализа задачи выделяются все ее утверждения: 1) необходимо вычислить площадь четырехугольника; 2) четырехугольник имеет взаимно перпендикулярные диагонали; 3) диагонали четырехугольника равны 6 и 8 см. Выделение этих утверждений из "целого" (задачи) - результат проведения анализа. Анализ направляется вопросами: "Что дано в задаче?", "Что еще дано в задаче?", "О чем еще говорится в задаче?", "Что в задаче требуется найти?". Важно иметь в виду, что при решении задачи анализ проводится не один раз: возможен повторный анализ, анализ с новой целью, с иной точки зрения и т. п. Так, для выполнения чертежа необходим дополнительный анализ, устанавливающий порядок использования данных задачи для построения чертежа. Выполнение чертежа предполагает уже другой метод познания - метод синтеза. Ошибки в выполнении чертежа являются поводом для проведения анализа с более конкретной целью, т. е. более углубленного анализа. Например, при решении рассматриваемой задачи учащиеся иногда четырехугольник изображают в виде параллелограмма. Избежать ошибки в выполнении чертежа можно, если начать построения не с четырехугольника, а с его диагоналей, изображая их произвольными взаимно перпендикулярными отрезками. В итоге дополнительного анализа на первый план выдвигается условие перпендикулярности диагоналей, которое является основным в отыскании общей идеи решения задачи, необходимых вычислений. Возможны различные решения задачи (в зависимости от того, в каком направлении будет вестись анализ, на какие треугольники будет разбит данный четырехугольник). Например, нетрудно заметить, что данный четырехугольник состоит из четырех (или двух) треугольников и задача тем самым сводится к нахождению суммы площадей этих треугольников.
Анализ - логический прием, метод исследования, состоящий в том, что изучаемый объект мысленно (или практически ) расчленяется на составные элементы (признаки, свойства, отношения), каждый из которых исследуется в отдельности как часть расчлененного целого.
Синтез - логический прием, с помощью которого отдельные элементы соединяются в целое.
Очень часто умение мыслить связывают с умением анализировать. Это вполне правомерно, так как вывод следствий, выражающих новые свойства изучаемого объекта, очень часто требует анализа того, что уже известно о нем. В математике, чаще всего, под анализом понимают рассуждение в "обратном направлении", т. е. от неизвестного, от того, что необходимо найти, к известному, к тому, что уже найдено или дано, от того, что необходимо доказать, к тому, что уже доказано или принято за истинное. В таком понимании, наиболее важном для обучения, анализ является средством поиска решения, доказательства, хотя в большинстве случаев сам по себе решением, доказательством еще не является.
Синтез, опираясь на данные, полученные в ходе анализа, дает решение задачи или доказательство теоремы. Анализ лежит в основе весьма общего подхода к решению задач (имеется в виду нестандартных задач, для которых нет соответствующего алгоритма), известного под названием сведения (редукции) задачи к совокупности подзадач. Идея такого подхода состоит именно в свойственном для анализа "размышлении в обратном направлении" от задачи, которую предстоит решить, к подзадачам, затем от этих подзадач к подподзадачам и т. д., пока исходная задача не будет сведена к набору элементарных задач. Что же понимают под "элементарными задачами"? Это, во-первых, задачи, решаемые за один шаг поиска, во-вторых, более сложные задачи (т. е. не решаемые за один шаг поиска), решение которых уже известно из имеющегося опыта решения задач.
Из такого понимания элементарной задачи следует, что чем больший опыт решения задач, тем больше задач становятся для нас "элементарными" в упомянутом выше смысле, а следовательно, тем меньше объем поиска при решении новых задач, их сведения к элементарным, так как цель поиска состоит в получении элементарных задач, останавливающих процесс поиска.
Подход к решению задач, состоящий в сведении задач к совокупности подзадач, находит широкое применение в практике решения не только задач на доказательство.
Приведем в качестве примера арифметическую задачу для IV класса: "В двух бригадах совхоза участки под зерновые составляли 2000 га и 3000 га соответственно. Первая бригада собрала по 30 ц, вторая по 26 ц с гектара. Продано государству 5500 т с первого участка и 7000 т со второго. Остальное зерно засыпано в семенной фонд. Сколько зерна засыпал совхоз в семенной фонд?"
Обычно анализ задачи по существу представляет собой процесс сведения данной задачи к совокупности подзадач, доведенный до элементарных задач. Здесь элементарной считается задача, решаемая с помощью не более одного действия над данными задачи (т. е. элементарной считается и задача, решение которой находится среди данных, например: "Сколько зерна продано государству с первого участка?").
Возможен и иной путь поиска. Построение самого процесса решения (синтез) осуществляется последовательным решением подзадач в обратном порядке.
Наряду с анализом и синтезом в обучении математике часто используются аналогия, обобщение и конкретизация.
Принцип сознательности обучения ориентирует учащихся на осознание путей получения новых знаний. Это осознание формируется на основе практики целенаправленного применения методов научного познания. Полезным является также краткий методологический комментарий процесса поиска решения математических задач.
Сравнение и аналогия
Сравнение и аналогия-логические приемы мышления, используемые как в научных исследованиях, так и в обучении.
С помощью сравнения выявляется сходство и различие сравниваемых предметов, т. е. наличие у них общих и необщих (различных) свойств.
Например, сравнение треугольника и четырехугольника раскрывает их общие свойства: наличие сторон, вершин, углов, столько же вершин и углов, сколько сторон, а также различие: у треугольника три вершины (стороны), у четырехугольника - четыре. Сравнение параллелограмма и трапеции позволяет выявить их общие свойства: они оба четырехугольники, оба имеют параллельные стороны, - и различие: в одном - две пары параллельных сторон, в другом - одна. Сравнение обыкновенных и алгебраических дробей выявляет их сходство: наличие числителя и знаменателя, отсутствие значения, когда знаменатель обращается в нуль, и т.д., - и различие: в одном случае числитель и знаменатель - числа, в другом - алгебраические выражения.
Сравнение приводит к правильному выводу, если выполняются следующие условия:
1) сравниваемые понятия однородны и 2) сравнение осуществляется по таким признакам, которые имеют существенное значение.
Эти два условия выполняются в приведенных выше сравнениях: треугольник и четырехугольник - однородные понятия (многоугольники), параллелограмм и трапеция - четырехугольники, обыкновенные и алгебраические дроби - выражения. Во всех трех случаях сравнение осуществлено по существенным признакам (если, например, включили бы в общие свойства параллелограмма и трапеции тот факт, что они оба обозначены одними и теми же буквами АВСД, или считали бы различием обозначение их различными буквами, то это было бы ошибочным подходом к сравнению). Сравнение подготавливает почву для применения аналогии. С помощью аналогии сходство предметов, выявленное в результате их сравнения, распространяется на новое свойство (или новые свойства).
Рассуждение по аналогии имеет следующую общую схему:
А обладает свойствами А, В, С, Д,
В обладает свойствами А, В, С,
Вероятно (возможно) В обладает и свойством Д.
Как видим, заключение по аналогии является лишь вероятным (правдоподобным), а не достоверным. Поэтому аналогия, как правило, не является доказательным рассуждением, т. е. рассуждением, которое может служить доказательством. ("Как правило" потому, что имеется исключение, связанное с особым видом аналогии, о котором речь пойдет дальше.) Однако в обучении, как, впрочем, и в науке, аналогия часто полезна тем, что она наводит нас на догадки, т. е. служит эвристическим методом. В обучении же математике не менее важно, чем учить доказывать, это учить догадываться, что именно подлежит доказательству и как найти это доказательство.
В приведенном выше разъяснении того, что такое аналогия, используется понятие "сходство", которое само нуждается в разъяснении. Когда говорят, например, о сходстве между людьми, между человеком и его изображением на фотоснимке или картине и т. п., интуитивно понимают, что означает сходство. Но можно ли в таком же смысле говорить, например, о сходстве между множеством учащихся класса и множеством А = {1,2,3, ..., 30}, или между множеством точек прямой и множеством действительных чисел, или между множеством объектов на некотором участке и планом этого участка? Применение же аналогии в математическом исследовании, а поэтому и в обучении математике, часто характеризуется именно тем, что оно основано на глубоком, внутреннем "сходстве", а по существу на одинаковости структуры множеств предметов различной природы с отношениями, имеющими совершенно различный смысл, при отсутствии всякого внешнего "сходства" (в обычном смысле) между этими множествами. Это "структурное сходство", получившее точное математическое описание с помощью понятия изоморфизма, лежит в основе особого вида аналогии, приводящей в отличие от обычной аналогии к достоверным заключениям.
Например, в основе координатного метода лежит идея взаимно однозначного соответствия между множеством точек прямой (плоскости или пространства) и множеством действительных чисел (пар или троек чисел), переводящего некоторые отношения между точками в отношения между числами (парами или тройками чисел). Это взаимно однозначное соответствие является изоморфизмом, позволяющим осуществить однозначный перевод свойств с языка, описывающего структуру множества точек прямой (плоскости или пространства), на язык, описывающий структуру множества Я (^ или ^), и обратно.
Возможность применения аналогии, казалось бы, к совершенно различным объектам основана на совпадении математических моделей этих объектов или принадлежности этих моделей к одному классу.
Вспомним слова В. И. Ленина: "Единство природы обнаруживается в "поразительной аналогичности" дифференциальных уравнений, относящихся к разным областям явлений". Простейшее дифференциальное уравнение
y' = -ky (1)
и его решение
y = yoe-kt(2)
могут описать процесс распада радия (в этом случае формула (2) дает массу у радия в момент х, если y - масса радия в момент времени x ), и процесс изменения атмосферного давления в зависимости от высоты х над уровнем океана (в этом случае (2) - барометрическая формула), и процесс изменения народонаселения (если прирост населения в данный момент пропорционален численности населения в этот момент), и процесс охлаждения тела при постоянной температуре окружающей среды (поскольку скорость остывания тела пропорциональна разности температур тела и окружающей среды), и, вообще, всякий процесс показательного роста или спада (при k < 0 или k > 0), характеризующийся тем, что скорость изменения величины пропорциональна самой изменяющейся величине в данный момент, что и выражено в дифференциальном уравнении (1).
Все перечисленные явления и процессы обладают глубоким сходством при всем внешнем различии, выражающемся тем, что их математические модели принадлежат одному классу моделей (1). Это и позволяет переносить по аналогии свойства одного из этих процессов на другой (если только эти свойства выводимы из построенной модели).
Часто та или иная последовательность в изучении учебного материала обосновывается возможностью использования аналогии в обучении. Например, изучение десятичных дробей раньше обыкновенных объясняется не только тем, что именно десятичные дроби широко применяются в практике, но и возможностью использования при изучении арифметики десятичных дробей аналогии с арифметикой натуральных чисел. При изучении свойств алгебраических дробей можно использовать аналогию с обыкновенными дробями. Аналогия может служить базой для одновременного изучения арифметической и геометрической прогрессий.
Однако в установившейся практике обучения математике аналогия используется недостаточно. Иногда высказываются опасения, что с помощью аналогии мы можем прийти к ложным заключениям. Например, исходя из того, что предложение
а || b и ас bс(1)
верно (является теоремой) и на плоскости и в пространстве, а обратное предложение
а || c и bс aс(2)
верно на плоскости (является теоремой планиметрии), по аналогии утверждают, что предложение (2) верно и в пространстве, и приходят, таким образом, к ложному заключению.
Надо, однако, помнить, что в этом случае заключение по аналогии лишь правдоподобия и поэтому подлежит еще доказательству (или опровержению).
Следует отметить как недостаток, что (в практике обучения) опровержению мы почти не учим. Это является и серьезным упущением в общеобразовательном и воспитательном отношении, так как в жизни нередко возникает необходимость опровергать.
Исходя из истинности предложения (2) на плоскости, необходимо выяснить, имеет ли место аналогичное свойство в пространстве. Так как это предложение является общим (кванторы общности "для любых а, b, c подразумеваются), то для его опровержения достаточно найти такие прямые а, b, с, чтобы условие (аc и bс) выполнялось, а заключение {а || b) не выполнялось.
Мы не должны опасаться возникновения ложных заключений по аналогии. Необходимо лишь считать их гипотезами (предположениями). Ошибки, допускаемые в процессе поиска, исследования, вполне правомерны, так как чаще всего поиск ведется способом "проб и ошибок". В установившейся практике обучения, как правило, мы не даем учащимся, отвечающим на вопросы учителя, ошибаться. В этом отражается тот факт, что учебная деятельность учащихся является в основном лишь репродуктивной, а в такой деятельности ошибки недопустимы. Воспроизводить необходимо безошибочно. В продуктивной же, творческой деятельности ошибки неизбежны. Такого рода ошибками являются и те, которые появляются в результате применения аналогии в процессе поиска. Они являются составной частью метода проб и ошибок. Важно, чтобы учащиеся в поиске правильных ответов сами могли находить ошибочность возникающих в этом процессе предположений. Этому, разумеется, надо их учить.
Находить сходство, которое могло бы служить источником плодотворных рассуждений по аналогии, бывает нелегко даже в том случае, когда природа сравниваемых объектов одинакова.
Возьмем для примера две геометрические фигуры: треугольник и тетраэдр. В чем состоит сходство между этими фигурами? Треугольник - плоская фигура, тетраэдр - пространственная. Может быть, сходство в том, что грани тетраэдра - треугольники? Если даже принять, что в этом есть какое-то сходство (а пока не уточнено, что такое "сходство": можно понимать под этим что угодно), то вряд ли оно может быть источником для рассуждений по аналогии. Более глубокое исследование этих двух объектов позволяет обнаружить такое структурное сходство, которое является источником аналогии, ведущей к открытиям. Действительно, треугольник и тетраэдр - ограниченные выпуклые множества точек. .Первое образовано минимальным числом прямых на плоскости (нет многоугольника с меньшим, чем три, числом сторон), второе - минимальным числом плоскостей в пространстве. Отсюда, разумеется, не следует, что все свойства этих фигур одинаковы. Но если мы уже изучили свойства треугольника и приступаем к изучению свойств тетраэдра, то установленное сходство в одних свойствах дает нам право предполагать (только предполагать), что и некоторые другие свойства треугольника "переводятся" аналогичным образом в свойства тетраэдра. Так, например, исходя из установленного сходства и из того, что "в треугольнике биссектрисы углов пересекаются в одной точке и эта точка - центр вписанной окружности", мы приходим к предположению, что "в тетраэдре биссекторные плоскости двугранных углов пересекаются в одной точке и эта точка - центр вписанной сферы", и т. д. Мы открываем новые свойства тетраэдра, рассуждая по аналогии. Эти свойства, разумеется, подлежат доказательству.
Другой пример. Параллелепипед - пространственный аналог параллелограмма: в параллелограмме противоположные стороны параллельны, в параллелепипеде противоположные грани параллельны. Рассуждая по аналогии, можно прийти к гипотезе, что в параллелепипеде, так же как и в параллелограмме, диагонали, пересекаясь, делятся точкой пересечения пополам. Но если видеть только сходство и не замечать различия, в частности, что в параллелограмме всего две диагонали, а в параллелепипеде - четыре, то мы упустим важное свойство, подлежащее доказательству, а именно, что все диагонали параллелепипеда пересекаются в одной точке. Как видим,. применению аналогии должно предшествовать сравнение, с помощью которого выявляется как сходство, так и различие.
Сфера - пространственный аналог окружности. Эти две фигуры определяются как множества точек плоскости и пространства соответственно, характеризуемые одним и тем же свойством:
{X || OX| = r}
(множество всех точек плоскости (пространства), расстояние которых от данной точки О равно данному числу r).
Это наводит на догадку, что сфера обладает некоторыми свойствами, аналогичными свойствам окружности. Например, что свойства взаимного расположения прямой и окружности переводятся в свойства взаимного расположения плоскости и сферы: 1) Если расстояние от центра сферы до плоскости больше радиуса сферы, то плоскость и сфера не имеют общих точек. 2) Если расстояние от центра сферы до плоскости равно радиусу сферы, то плоскость и сфера имеют одну и только одну общую точку. 3) Если расстояние от центра сферы до плоскости меньше радиуса сферы, то плоскость и сфера пересекаются по окружности (т. е. имеют бесконечное множество общих точек, лежащих на окружности). Как видно, лишь в третьем случае проявляется различие между окружностью и сферой, которое должно учитываться при формулировке аналогичных свойств. Свойство касательной плоскости тоже может быть найдено с помощью аналогии.
Обобщение, абстрагирование и конкретизация
Обобщение и абстрагирование - два логических приема, применяемые почти всегда совместно в процессе познания.
Обобщение - это мысленное выделение, фиксирование каких-ни-будь общих существенных свойств, принадлежащих только данному классу предметов или отношений. Абстрагирование -
10-09-2015, 20:58