
книги из ГПНТБ / Шапиро С.И. От алгоритмов - к суждениям. Эксперименты по обучению элементам математического мышления
.pdfтом их индивидуальных особенностей. Например, н е равенство х2—6х+10>0 решается искусственным мето дом, устно: (х—3)2+1>0; х — любое действительное число и т. д. Если на более низких ступенях действия, обозначенные операторами, создают определенные со стояния выбора (в модели — логические условия), то теперь процесс оборачивается — при возникновении неко торого комплекса условий, благодаря наличию состоя ния «готовности», срабатывает соответствующая после довательность действий. Вызванная определенными дей ствиями, логика словно стала над этими действиями. От процесса управления логикой к логике управления процессом — такова формула познания.
Отмеченные этапы в механизме формирования свер нутых умозаключений характерны, в основном, для ис пытуемых с более или менее ограниченными математи ческими способностями. У способных они как бы сли ваются, и иногда «с места» возникает сокращенная форма. Учащиеся с ограниченными математическими способностями часто пытаются преодолеть трудности образования логической формы (соответствующей моде ли знаний) и далее — логических координат путем сня тия проблемы, запоминания готовых логических обра зований, вне или при минимальной связи с действиями (операторами), вызывающими их. Этому способствует постановка нашего математического образования, при которой в понятиях, правилах часто изначально исклю чаются оперативные элементы, и предложения пред стают учащимся в завершенной логической форме.
Опасность тем более велика, что образовавшаяся та ким образом квазилогическая форма маскируется под истинную логическую форму, ничем не отличаясь от нее внешне. Более того, она вполне пригодна для решения несложных, шаблонных задач. Однако в нестандартных задачах, когда необходима опора на ведущие логиче ские координаты для развертки сложной системы дей ствий,— квази-логическая форма уже не работает. Этот факт часто открывается учителю неожиданно («Вот ведь! — ученик до 6-го класса был отличником и вдруг как-то перестал понимать математику».) Сказанное, конечно, не означает, что обучение всегда начинается с раскрытия операторной структуры. Напротив, управ ление мышлением предполагает, что обучение должно опережать, вести за собой. Поэтому на некотором уров
не обученности мыслительный процесс организовывается по сокращенной схеме, имеющей в математической мо дели следующий вид: логическая форма — логические координаты. Теперь начинают с правил, теорем, опреде лений, формул и т. д. — учащиеся самостоятельно раз вертывают логическую форму в соответствующую си стему действий. (Такая ситуация экспериментально исследована в приложении 3.) Однако к такому уровню еще надо прийти, а не исходить в обучении из молча ливого допущения, что одно только навязывание логи ческой формы автоматически обеспечивает ее развертку в соответствующую операторную структуру при решении задач.
2. Ввиду важности вопроса, приведем еще один при мер, позволяющий изучить в мышлении динамику пере
хода |
от операторной формы к логической и от |
нее — |
||
к соответствующим координатам. |
|
|
||
Распознавание медианы, биссектрисы и высоты тре |
||||
угольника (табл. 25). |
|
|
||
Операторная форма алгоритма |
|
|
||
|
Аа } ВЪ \ Ce I Т.{ f*). |
|
(2.1) |
|
Логическая форма |
|
(2.2) |
||
|
|
и=аЪс. |
|
|
Назовем признаки, выраженныелогическими усло |
||||
виями а, Ь, с, — существенными. Наряду |
с ними в |
(2.2) |
||
могут |
содержаться |
и несущественные |
(фоновые) |
при |
знаки. |
Например, |
отрезок расположен |
«сверху |
вниз» |
и др. Обозначив совокупность несущественных призна
ков а, получаем: |
(2.3) |
|
|
u = abca. |
|
Формула |
(2.3) содержит условия трех типов: 1) а — |
|
случайные |
признаки, не являющиеся |
необходимыми. |
2) а и b — родовые признаки, находящиеся на пересече нии трех понятий: медианы, биссектрисы, высоты. 3) с характеризует индивидуальные особенности понятий.
При правильно сформированных понятиях на неко тором, достаточно высоком уровне модель знания, соот ветствующая логической структуре abc, срабатывает как нерасчлененный «символ». Логическая форма математи ческой модели выступает как целостная единица, и ее
*) В этом алгоритме 3 основные линии треугольника даются нерасчлененно.
сопоставление со стимулом может происходить симультанно — по всем признакам. На следующем уровне (раз личий) актуализируется лишь ассоциативная координа та с, содержащая основные опознавательные ориентиры. Все, что одинаково, опускается, словно само собой разу меется. Появляются «свернутые» определения: «высо-
Таблаца 25
Операторы, логические Содержание
условия
А Проверка, является ли один из концов отрезка верши ной треугольника
а_ ( 1, если является
10 —в противном случае
вПроверка принадлежности второго конца отрезка про тиволежащей стороне
Q |
( |
1, |
если принадлежит |
|
1 |
0 |
—в противном случае |
||
С |
||||
Проверка, делит ли отрезок противолежащую сторону |
||||
|
пополам (делит ли угол при вершине пополам; перпенди |
|||
|
кулярен ли к направлению противолежащей стороны). |
|||
С |
_( |
1, |
если выполняется хотя бы одно из условий |
|
) |
0 |
—в противном случае |
||
|
||||
и |
( |
1, |
если данный отрезок—медиана (биссектриса, |
|
и= I |
|
высота) |
т |
1 0 —в противном случае. |
медианой (биссектри- |
Утверждение: отрезок является |
||
т |
сой, высотой), |
|
Утверждение: отрезок не является медианой (биссек |
||
|
трисой, высотой). |
|
та — перпендикуляр к основанию», |
«медиана — делит |
противоположную сторону пополам» и т. д. Ясно, что это — ведущие логические координаты понятий. У школь ников с ограниченными математическими способностями неотъемлемым компонентом логической формы часто
являются |
условия а. Далее, условия, |
обозначенные |
а, |
Ь, с, воспринимаются мышлением как |
равнозначные, |
и |
|
потеря одного из них, как показывает эксперимент, гро |
|||
зит распадом всей структуры. |
|
|
|
3. |
Приводим протокольную запись «мышления вслух» |
студента, повторяющего основные понятия за несколько часов до экзамена по математическому анализу. «...П ре
дел функции в точке — эпсилен, дельта |
... |
Предел по |
||
следовательности— g, N |
... Непрерывность |
в точке А = |
||
= f{a) ... Равномерная |
непрерывность функции на мно |
|||
жестве— ô общее |
для |
всех точек ... |
и т. д.». Чтобы |
|
оценить значение |
этих сокращений, приводим -статисти- |
172
ческие данные о наиболее частых ошибках, допущенных на экзаменах по рассматриваемым вопросам. Из каждых 100 неверных ответов студентов стационара и заочного
отделения физмата (Курск, |
1956—68 годы) на |
опреде |
||
ление предела |
функции или |
последовательности |
около |
|
70 связано с |
непониманием |
различия между |
N |
и б. |
Из 70 человек, допустивших ошибки и получивших ука зание об определении предела последовательности на «языке в—N» (или функции — «на языке е—ô»), -—45 от вечали (правильно. Из 100 ошибок ів понятии равномер ной непрерывности функции — 90 приходится на переста новку кванторов: вместо существует б для всех х упо требляют— для каждого х существует б и т. д.
Таким образом, в рассмотренном протоколе из соот ветствующих определений намечены лишь связи, пере ключения, специфические условия, отличающие одно понятие от другого; воспроизведены фрагменты, играю щие роль характерных «узловых точек» (непрерывного мыслительного процесса), с помощью которых можно, при необходимости, восстановить понятия. Они создают экономную организацию памяти — все, что привязано к ним, выражается через них, опущено, подразумевает ся. Ясно, что речь «дет о логических координатах. Таким образом, логическая форма алгоритма, в соот ветствии с отражаемой ею моделью знаний, является лишь переходной ступенью математической модели обу чения. Она деформируется, следуя перегруппировке сложившихся в памяти ассоциативных связей, с учетом индивидуально-психологических особенностей учащегося, то в «уплотненные» логические координаты, схватываю щие основу модели знаний, то в наборы логических условий, отражающие, в большой степени, фоновые при знаки ситуации.
На вопрос, поставленный в конце предыдущего пара графа, мы, следовательно, можем ответить, что логиче ские координаты могут возникнуть как высший этап развития логической модели знаний.
3.Логические координаты и интуитивные представления в процессе решения
математических задач
I.Ниже сделана попытка, с позиций операторно-ло гической модели, подойти к важнейшему вопросу мате матического мышления — механизму так называемой
догадки, или, как иногда говорят, озарения (инсайта, Einfall). Кроме наблюдений, полученных в ходе много летнего обучающего и формирующего эксперимента, нами использована специальная серия задач, содержа щих условия для проявления математического твор чества учащихся.
Задачи невозможно решить без обобщений, и реше ние открывает пути к неочевидным заключениям. На хождение наиболее рационального (простого, изящного) решения связано с отказом от стереотипных методов или применением известных методов в необычной си туации. Задачи вызывают интерес у учащихся. Они, как правило, не требуют специальных знаний, и трудность решения соответствует возможностям испытуемых.
Приводим 20 использованных задач, которые, на наш взгляд, характеризуются нешаблонностью ситуации, не обходимостью догадки, основанной то на геометрических представлениях, то на абстрактно-логическом, разверну том или сокращенном, анализе. Эти задачи можно услов но назвать «одноходовками». В основе их решения одна, обычно — простая идея. Если она обнаружена, решение «открывается» сразу, почти без преобразований. Многие задачи решаются устно.
1. В треугольнике 2 высоты не меньше сторон, на которые они опущены. Определить вид треугольника.
О т в е т : прямоугольный, равнобедренный.
Решение. В треугольнике АВС — высоты AD и BE. A D ^ B C ^
^B E ^ A C ^ A D . Следовательно, AD = BC=BE=AC.
2.Дан круг с диаметром AB и точка вне круга. Опустить из точки М перпендикуляр на диаметр AB, пользуясь только линейкой. (Точка М расположена так, что перпендикуляр существует.) Решение
видно из рис. 23. |
выпуклого четырехугольника — тупые, то диа |
3. Если 2 угла |
|
гональ, соединяющая |
их вершины, короче диагонали, соединяющей |
вершины двух других углов. Доказать.
Решение. Опишем окружность на второй диагонали. Вершины данных тупых углов лежат внутри круга. Следовательно, соединяю
М |
щая их диагональ меньше диаметра. |
|||||
|
4. |
Плоскость |
покрыта |
сеткой квадра |
||
|
тов. Можно ли построить |
равносторонний |
||||
|
треугольник с вершинами в вершинах квад |
|||||
|
ратов |
сети? |
|
|
|
|
|
|
О т в е т : нельзя. Решение. Рис. 24. Для |
||||
|
нахождения SAuc из площади прямоуголь |
|||||
|
ника вычитают площади трех прямоуголь |
|||||
|
ных треугольников. Тогда S A B C |
рациональ |
||||
|
но |
(алгебраическая |
сумма |
рациональных |
||
|
чисел). С другой стороны, S ABc = a2К 3/4 — |
иррационально (а 2 — рациональное число).
5. |
Можно лй одной прямой разбить разносторонний треугольник |
|||
На 2 равных треугольника? |
|
|||
О т в е т : |
нельзя. Решение. В противном случае, отмеченные от |
|||
резки |
были |
бы равны, |
и АС=АВ + ВС, что невозможно. |
Рис. 25. |
6. |
Найти |
ООі, если |
г —1 и заштрихованные фигуры |
равнове |
лики. |
|
|
|
|
Решение. В четверти круга ОВС заменяем заштрихованную часть на равновеликую (ABD). Прямоугольник равновелик полу кругу. 0 0 і = я/2 (рис. 26).
7. Может ли сечение параллелепипеда плоскостью быть пра
вильным пятиугольником? |
|
в |
Ъ |
О т в е т : нет. Решение. Плоскость должна пересечь 5 граней параллелепипеда, среди них 2 пары параллельных граней — по парал лельным прямым. Но в правильном пятиугольнике нет параллель ных сторон.
8. Не |
существует многогранника |
с |
нечетным |
числом |
граней, |
все грани |
которого — многоугольники |
с |
нечетным |
числом |
сторон. |
Доказать. |
|
|
любого |
многогранника — |
|
Решение. Всех сторон у всех граней |
четное число (удвоенное количество ребер: каждое ребро принад
лежит двум граням). Здесь же |
В |
||||||
получается нечетное число. |
А |
||||||
9. Доказать, |
что |
произ |
|
||||
вольное |
число |
прямых |
разби |
|
|||
вает плоскость на области, для |
|
||||||
раскраски которых |
достаточно |
|
|||||
двух красок. |
|
(При раскраши |
|
||||
вании любые 2 смежные обла |
|
||||||
сти — имеющие хотя бы на не |
|
||||||
большом |
протяжении |
общую |
|
||||
границу |
— |
раскрашиваются |
в |
|
|||
разные цвета. |
Области, |
имею |
|
||||
щие только |
несколько |
общих |
|
||||
точек, смежными не считаются). |
решена для |
||||||
Решение. Для |
одной прямой — верно. Пусть задача |
||||||
п прямых. Проведя |
(п+1)-ю |
прямую, все прежние области и их ча |
сти, расположенные по одну сторону от этой прямой, сохраним прежних цветов. В тех же, что расположены по другую сторону, цве та областей переменим на противоположные. Задача решена мето дом полной математической индукции.
10. Плывя в лодке против течения, человек бросил палку в воду и, не останавливаясь, продолжал движение в том же направлении.
Через 15 минут он повернул лодку и догнал палку в 1 км от того места, где выбросил ее. Найти скорость течения (рис. 27).
Решение. За 15 минут лодка проходит AD против течения или
DC — по течению. ЛС=1 |
км, и палка проплывает это расстояние за |
30 минут (пока лодка проходит путь AD+DC). ѵ?0ч= 2 км/час. |
|
11. Самолет вылетел |
из пункта А со скоростью иь и одновре |
менно ему навстречу из пункта В вышел мотоциклист со скоростью
у2; Aß-—s. После |
встречи мотоциклист продолжает свой путь, а са- |
|||
С |
В |
А |
... |
ß |
—"■О1 |
■- о» о |
о—------------- |
||
О n i — I Q i |
.1 ■Q i |
I и |
Q |
|
15 |
15 |
15 м и н |
|
Рис. 27.
Молет возвращается в А, затем вновь поворачивает навстречу мо тоциклисту и т. д., пока мотоциклист не прибудет в В. Какой путь пролетит самолет?
О т в е т : SVJ VÏ.
Решение. (Алгебраическое решение с помощью уравнений очень сложно. Приводим изящное устное решение.) Время самолета в пути равно времени, за которое мотоциклист прошел из В в А, т. е. s/v2,
тогда путь самолета — s v jv 2. |
|
|
|||
|
12. Доказать: И 10—1 кратно 100. |
|
|||
|
Решение. |
(10+1)10—1 = 1010 + 10 • 109 + С2юЮ8+ ... +1010+ |
|||
+ |
1- 1. |
a -+ Ь |
|
|
|
|
|
ô~> 0). |
|
||
|
13. Найти x:cosx = — |
—.■- ■- la, |
|
||
|
|
2V a-b |
|
|
|
r ' |
Решение, a A - b ^ z V a - b |
(зависимость между |
средним арифмети |
||
ческим и средним |
геометрическим.) |
Но cosx=<l. |
Значит, cos х = 1, |
и%= 2пп.
14.В зале я ^ 2 человек. Доказать, что среди них найдутся 2 че ловека, имеющие одинаковое число знакомых (никто не считается знакомым самому себе. Если А знаком с В, то В знаком с А).
Решение. Из п присутствующих в зале каждый знаком не более, чем с (я—1) человеком. Тогда, по крайней мере, двое имеют
одинаковое число знакомых. |
|
|
|
|
|
|
|
|||
15. |
Даны целые числа: ри р2.......р п, (я ^ 2 ) . |
р ^, |
|
р |
||||||
Доказать, |
что среди них |
найдутся |
числа |
.... |
||||||
)1 |
< £ ■ > < . . . < |
л), |
что |
|
р\^ + ... + р\ |
кратно п. |
||||
Решение. |
Составим |
я сумм: |
рр-\ |
Рі2+Рг2; |
Рі2+Рі2+Рз2\ |
Рі2 + |
||||
+ Р2 2+ . . . Р п 2. |
Если ни |
одна |
из |
них |
не |
кратна |
я, |
то, по крайней |
мере, две суммы имеют одинаковые остатки от деления на п, и тогда их разность кратна я.
Замечание. Задачи 14 и 15, несмотря на внешнее различие, имеют внутреннее сходство, что выражено в общей идее решения. Задачи объединены в одном эксперименте и решаются испытуемыми
впорядке следования — от простой к сложной.
16.Доказать: log tg 1° • log tg 2°.., log tg 98° • log tg 99°=0.
Р е ш е н и е . |
С р е д и м н о ж и т е л е й |
есть |
l o g |
t g 4 5 6= 0 . |
|
17. Уравнение lgcos x=cos л; не |
имеет корней. Доказать. |
||||
Решение |
eosx>0 |
(иначе |
lg cos х |
не существует). Тогда |
|
log cosxX ), и cosx>l, |
что невозможно. |
|
|||
18. В каждом из 10 кошельков — 10 одинаковых по виду монет. |
В одном кошельке все монеты фальшивые. Нефальшивая монета
весит 5 г, фальшивая — на 0,1 г больше. |
Как, |
имея рычажные весы |
И неограниченное количество разновесок |
по 5 |
г и 0,1 г, определять |
одним взвешиванием, в Жаком кошельке фальшивые монеты? Решение. Раскладываем кошельки. Из первого кошелька берем
одну монету, из второго — 2 монеты, из третьего—3 и т. д. Ото бранные монеты кладем на весы. Количество раз-новесок по 0,1 г, которое потребуется для уравновешивания (сверх 55 пятиграммовых
монет), равно номеру кошелька с |
фальшивыми монетами. |
которые |
|
19. а) Среди людей, имеющих |
телевизоры, |
есть такие, |
|
не ходят в кино, б) Люди, которые ходят на |
стадион, но |
не ходят |
|
в кино, не имеют телевизоров. |
|
|
|
Можно ли утверждать, что не все владельцы телевизоров ходят на стадион?
О т в е т : можно.
Решение. Если бы все владельцы телевизоров ходили на стадион, то они (по б)) обязательно должны ходить в кино, что противоре чит а). Ответ поддается уточнению: на стадион не ходят люди, имеющие телевизоры и не посещающие кино.
20. Требуется перенести п круглых пластинок различных разме ров со столбика А на столбик В (детская пирамида), используя вспомогательный столбик С. За один ход переносится только одна пластинка, с любого столбика па любой, но запрещается при этом класть большую пластинку выше меньшей.
Решение. При п — 2 перенести легко. Пусть известно, как осуще ствить перенос «k» пластин. Перенесем их с Л на С. Затем, пере ложив (&+1)-ю пластинку с А на В, перенесем «k» пластин с С на В, используя А как вспомогательный столбик. Идея решения: снятие пластинки с А целесообразно только при свободном С. Значит, упорядочение пластинок на В необходимо для снятия следующего кольца с А.
II. Не претендуя .на полноту анализа, приведем не которые соображения, возникшие в связи с исследова нием специфики решения испытуемыми эксперименталь ных задач. Прежде всего, расширим понятие логической координаты. Понятие логической координаты приобре тает объективный смысл, когда задача нешаблонна и для ее решения неизвестен алгоритм. Под логическими координатами мы до сих пор понимали логические условия (признаки) и их сочетания, а также фрагменты структур, которые способствуют решению математиче ских задач. Ясно, что условия, помогающие или уско ряющие решение одних задач, могут оказаться непри годными для других. Поэтому нельзя говорить об абсо лютных логических координатах алгоритма, независимо от решаемых задач.
Логическая модель знания как бы поворачивается своими признаками к задаче и, в зависимости от содер жания задачи, те или иные признаки или их группы вычленяются как логические координаты. Однако в бо лее сложных случаях приходится опираться также на признаки, свойства, логические связи и их сочетания другого типа: они специфичны только для данной за дачи, не являются элементами известных алгоритмов, т. е. общих методов решения многих задач.
Поскольку признаки обоих типов встречаются в за дачах одновременно и их часто трудно разграничить, то и во втором случае будем говорить о логических координатах — второго типа. Таким образом, в широком понимании, логическими координатами задачи являются опорные логико-математические элементы, синтезирова нием которых образуется решение задачи.
Для пояснения сформулируем наиболее важные ло гические координаты некоторых из вышеприведенных экспериментальных задач, указав в скобках тип коор динат.
Задача 2. а) Вписанный угол, опирающийся на диа метр,— прямой (1). б) Три высоты треугольника пере секаются в одной точке (1).
Задача 6. а) Если необходимо найти площадь фигу ры, то стоит посмотреть, нельзя ли ее представить как
сумму (разность) |
фигур, площади |
которых известны |
|
или легко находятся |
(1). |
|
|
Задача 7. а) Пятиугольное сечение параллелепипеда |
|||
имеет параллельные стороны (1). |
б) В |
правильном |
|
пятиугольнике нет параллельных сторон (1). |
|||
Задача 8. а) Число сторон у всех граней |
многогран |
ника четно (1). б) Сумма нечетного числа нечетных чисел — нечетна (1).
Задача 9. а) Если требуется доказать закономер ность для п элементов, то стоит попытаться применить принцип математической индукции (1). б) Когда задача решена для некоторого числа прямых, то после про ведения дополнительной прямой одинаково раскрашен ными могут оказаться лишь смежные области, прилежа щие к этой прямой (2).
Задача 10. а) Лодка за 15 минут по течению прой дет больше, чем за те же 15 минут против течения, на путь, пройденный палкой за 30 минут (2).
Задача 11. а) Если 2 тела начали и закончили дви
жение одновременно, то они были в пути одинаковое
время (1). |
12. |
а) |
11 = 10+1 |
|
(1). |
б) |
Возведение |
в сте |
Задача |
|
|||||||
пень по формуле бинома Ньютона |
(1). |
|
|
|||||
Задача 15. а) |
Составление сумм: |
|
|
|||||
|
2 |
2 |
. 2 |
2 |
1 |
2 г |
1 2 |
,т>\ |
а |
\ > |
а \ ~ \ ~ а 2 > > а |
\ |
~^Г а 2 '~Ь ••• ~b an> |
(2) |
б) Разность между последующей и какой-либо преды
дущей суммой типа |
(а) есть сумма |
вида, |
о котором |
речь идет в условии |
задачи (2). в) Число |
различных |
|
остатков от деления чисел на п не больше |
(п—1) (1). |
||
г) Если 2 числа дают |
при делении на |
п один и тот же |
остаток, то их разность кратна п {1).
(Возможно на пути вычленения логических коорди нат удастся получить оценку трудности задания, в за висимости от количества и соотношения содержащихся
вее решении координат первого и второго типов. Опи санный процесс, по-видимому, может быть использован при так называемом программированном обучении.)
Теперь перейдем к экспериментам. Эксперимент по казал, что логическая модель понятия или математиче ской зависимости не обязательно развертывается именно
вту структуру действий, которой она обязана своим происхождением. Имеется в виду в ту систему умствен
ных |
действий, которая сообщает |
зависимости целе |
вую |
направленность.) Так, в одном |
из наших экспери |
ментов обнаружилось, что некоторые учащиеся, в соот ветствии с первоначальной задачей, понимают тождество sin2a + cos2«= 1 только как возможность вычисления синуса или косинуса аргумента по данному его косинусу (или синусу). Другие учащиеся, более способные к ма
тематике, |
указывали и на |
ряд -других моментов: синус |
и косинус |
по абсолютной |
величине не превосходят еди |
ницы; если сумма |
квадратов двух чисел — единица, то |
одно из них можно |
принять за синус, другое — за коси |
нус того же аргумента и т. д. Вероятно, в связи с такой разносторонностью «развертки» формулы, задаче «Дано: a2+b2=\\ с2+<22=1. Доказать: |ac + bd|< ;l» ряд уча щихся дал «тригонометрическую» интерпретацию, при ведшую к оригинальному решению:
a = sinx; b—cosx; с= sin г/; d = cosy,
\ac+bd \ = I cos (*—у) | < 1.