Основные понятия анализа в школьном курсе математики. Некоторые методические подходы Текст научной статьи по специальности «Математика»

В. Ф. Чаплыгин

ОСНОВНЫЕ ПОНЯТИЯ АНАЛИЗА В ШКОЛЬНОМ КУРСЕ МАТЕМАТИКИ. НЕКОТОРЫЕ МЕТОДИЧЕСКИЕ ПОДХОДЫ

Дискуссия о том, быть или не быть элементам математического анализа в школьной программе, длится уже более тридцати лет. Сторонников и противников «быть» предостаточно. В лагере противников большинство составляют вузовские преподаватели. Их основные возражения: во-первых, в школе невозможно изложить основные понятия математического анализа достаточно строго; во-вторых, основная масса учителей не в состоянии это грамотно сделать; в-третьих, математический анализ изучается в высшей школе. Но если учесть, что далеко не все выпускники средней школы будут изучать высшую математику в вузе, а общекультурная составляющая является одной из главных в школьном образовании, то описанная выше концепция нуждается в пересмотре. На наш взгляд, право на существование имеет компромиссная точка зрения. Излагать анализ в школе так, как это делается сейчас, нельзя. Исходя из общекультурной значимости математики, во главу угла необходимо поставить идейную, понятийную ее сторону, следуя при этом исторической схеме развития понятий развития понятий, их генезису (подробнее см. [1]). До сих пор преподавание анализа сводилось к чистому формализму. Кое-как давались определения, которые усваивались формально, приводились факты без их доказательства, зачастую искажалась суть понятия, одно утверждение подменялось другим, все это сопровождалось грубыми ошибками учителей; это приводило к весьма поверхностным, а зачастую и к ложным знаниям, что абсолютно недопустимо. Если нет возможности провести строгое доказательство, об этом надо просто сказать учащимся, намечая дальнейшую

перспективу. Таким образом, проблема перемещается из области «что?» в область «как?». Автор предлагает свое видение методики введения основных понятий математического анализа в школе, к которым относятся понятия действительного числа, предела, непрерывности, дифференцируемости, первообразной, интеграла. Эти заметки ни в коем случае нельзя рассматривать как методическую разработку соответствующей темы, а лишь как методические советы или рекомендации, часть из которых исторически доказала право на существование; некоторые соображения принадлежат автору. Авторская точка зрения на формирование понятия действительного числа изложена в [2]. Предлагается использовать в основном наглядно-интуитивный уровень строгости. Под действительным числом предлагается понимать бесконечную десятичную дробь (при этом исключаются из рассмотрения периодические дроби с периодом, состоящим только из нулей). Уместно привести учащимся определение числа, данного И. Ньютоном в 1707 году во «Всеобщей арифметике»: «Под числом мы понимаем не столько множество единиц, сколько отвлеченное отношение какой-нибудь величины к другой величине того же рода, принимаемой нами за единицу». Это определение исторически оправдано и позволяет интерпретировать множество действительных чисел R как множество точек числовой оси, сводя дело к измерению отрезков, т.е. их отношению. Это, в свою очередь, может быть связано с алгоритмом Евклида и проблемой соизмеримости отрезков. Как известно, соизмеримость отрезков приводит к рациональному, а несоизмеримость - к иррациональному числу. Тем самым

устанавливается изоморфизм между множеством Я как совокупности бесконечных десятичных дробей и множеством точек числовой прямой, что дает возможность показать учащимся одно из важнейших свойств множества Я — непрерывность, которым множество рациональных чисел Q не обладает. Только после того, как идея непрерывности множества действительных чисел будет воспринята учащимися хотя бы на наглядно-интуитивном уровне, можно перейти к понятию предела числовой последовательности. Как ни излагать теорию предела последовательностей (начинать с бесконечно малых последовательностей, а потом переходить к общей теории или сделать это сразу), следует начинать не с формального определения, а проделать работу, которая формирует так называемое предпонятие (по Л. С. Выготскому).

Учащимся предлагается рассмотреть поведение конкретных последовательностей, например,

_ п + 1 _ (-1)п +1 _ 2

*п _ — > Уп _ П ' ^ _ П ,

ип _ (-1)п + —. Вместе с ними следует

разобрать, как ведут себя эти последовательности. Члены последовательности хп с неограниченным ростом п, монотонно убывая, приближаются сколь угодно близко к 1, члены последовательности _уп приближаются к 0, при этом все ее нечетные члены у2к+1 равны нулю. Что касается последовательностей гп и ип, то не существует числа, к которому приближались бы их члены. При этом следует обратить внимание учащихся на неограниченность 2п и колеблемость ип, приближение четных ее членов и2к к 1, а нечетных и2к+1 к -1. После проделанной работы можно дать определение предела числовой последовательности на языке в-Ж, разъяснить смысл и роль каждого квантора, участвующего в нем, показать,

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

Изучение предела функции в точке также лучше начать с формирования предпонятия, для чего можно рассмотреть поведение функций

_ 1

Хх^И, ф)=(х-1)2, ^х)=2_(_)\

X — 1

^ 1 х(х)= 2 х-1 , ^(х)=5Ш-- т(х)= х-1 при

X _ 1

хЛ, т(1)=2 при х—>1. Обратить внимание учащихся на несовпадение односторонних пределов для функций Х(х) и х(х), на равенство односторонних пределов для функций (р(х), и т(х), а также на тот факт, что функции ср(х) и т(х) определены в точке х= 1, а ц(х) - не

определена. Что касается функции rj(x), то она в сколь угодно малой окрестности точки х=1 принимает любое значение из промежутка [-1; 1]. После этого можно дать определение функции в точке и показать, что функции <(x), i^(x) и т(х) имеют предел в точке х= 1, а остальные -нет. Лучше начинать с определения Гейне, то есть идти от определения числовой последовательности, только ни в коем случае не допускать ошибки, состоящей в том, что на двух различных конкретных последовательностях xn и xn , сходящихся к а, доказывается совпадение пределов lim f (xn ) = lim f (xn ) и отсюда делается

n—x n—x

вывод, что предел функции в точке а существует. Безусловно необходимо брать произвольную последовательность хп (неконкретную), сходящуюся к а, и доказывать, что последовательность fxn) имеет предел, не зависящий от выбора хп. А вот в случае, когда функция предела в точке а не имеет, достаточно выбрать

две конкретные последовательности xn

и xn , сходящиеся к а, для которых не имеет места равенство lim f (xn ) = lim f (xn ). Определение

n—^x n—^x

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

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

• 1 /1 1 1П— или ,/1 + —

п V п

последовательностей sin — или ,/1 +

n V n

произносятся слова: при п^х-->0, но

sin 0=0, следовательно, lim sin — =0.

n^x n

Примерно такие же рассуждения приводят к значению lim Jl+— =1. Этот

n^x V n

момент крайне нежелателен. Он смазывает все дальнейшие рассуждения о непрерывности, и учащиеся будут считать непрерывность само собой разумеющимся фактом. Поэтому лучше сначала ввести определение непрерывности функции в точке и аккуратно доказать непрерывность элементарных функций хп, nx , sin x, cos x, arcsin x и др. Доказательство непрерывности функций Чх и arcsin x можно провести, опираясь на монотонность и непрерывность функций хп и sin x, к которым они обратны. В школьном курсе явно или неявно используются свойства функций, непрерывных на отрезке (имеются в виду теоремы Вейерштрасса и Больцано-Коши). Весьма поучительным, на наш взгляд, является следующий пример, взятый из [3]. Рассмотрим функцию

fx)= 1

x 2 - 2

на множестве В

рациональных точек отрезка [1; 2], т. е. В= [1; 2]г\Q. Функция_Дх) непрерывна на множестве В, так как для любой последовательности точек гпе В, сходящейся к г0еВ, следует_Дгп) ^.Дг0). Но ожидаемыми свойствами функция _Дх) не обладает. Она не ограничена на множестве В. Легко видеть, что на последовательности |гп'} 1; 1,4; 1,41; 1,414... (рациональные приближения 42

с недостатком)Х(гп') ——ю, а на последовательности [гп") 2; 1,5; 1,42; 1,415... (рациональные приближения 42 с избытком) Х(гп") —Множество ее значений состоит из рациональных чисел, но не совпадает с Q. Например, 1 1 1

числа 1, —, 5 не являются ее

значениями. Рассматривая теоремы о непрерывности суммы, разности, произведения и частного непрерывных функций, не лишне обратить внимание учащихся на тот факт, что непрерывной может оказаться сумма, разность, произведение, частное и композиция функцийХ(х) и g(x) не только в случае их непрерывности. Так, если Х(х)=1 для рациональных х и Х(х)=0 для иррациональных х, а g(x)=—1 для рациональных х и ^х)=0 для иррациональных х, то функция Х(х)+ g(x) тождественно равна нулю и, следовательно, непрерывна. Если функция Х(х)=1 в рациональных точках х и Х(х)=—1 в иррациональны, а функция g(x)=х2, то g(f(x))=1 для всех х и поэтому непрерывна. И еще одно небольшое, но важное замечание. Автору неоднократно приходилось слышать от учащихся и читать в их письменных работах слова: «функция Х(х) непрерывна, так как она дифференцируема (имеет производную)». Само по себе это утверждение истинно, но ведь функция может быть непрерывной в точке, не имея в ней производной, и более того, быть непрерывной на всей действительной оси и не иметь производной ни в одной точке (см., например, [3]).Да и вообще факт непрерывности устанавливается, как правило, проще, чем дифференцируемости. Перейдем к понятию производной и дифференцируемости — одному из основных понятий математического анализа. Мы считаем, что перед тем, как ввести это понятие, имеет смысл рассмотреть задачи, к нему приводящие. Можно привести задачи о касательной к

графику функции и мгновенной скорости материальной точки. Это оправдано тем, что в таком случае становится ясным генезис понятия и дальнейшие его приложения. Следует заметить, что две различные задачи приводят к одной и той же математической модели. И, наконец, в задаче о касательной хорошо просматривается основная сущность дифференцируемости, которая состоит в возможности локального приближения функции, имеющей производную в точке, линейной функцией. Выскажем собственную точку зрения о введении определения касательной. Спросите выпускника школы, что такое касательная к кривой? Многие ответят, что это прямая, имеющая с кривой одну общую точку, что, конечно, неверно, но тем не менее объяснимо, ибо опыт учащихся располагает лишь определением касательной к окружности. Опровергнуть ошибочность определения не составляет труда, достаточно взять параболу >=х2 и прямую х=а. Как же подвести учащихся к определению касательной к графику функции? Предлагается следующая схема. Во-первых, устанавливается равносильность двух определений касательной к окружности: 1) это - прямая, имеющая с окружностью одну общую точку; 2) это -прямая, проходящая через точку окружности, перпендикулярно радиусу, проведенному в эту точку. И, наконец, вводится третье определение касательной к окружности в точке М0: 3) это -предельное положение (предельная прямая) секущих М0М при стремлении точки М по окружности к точке М0. Действительно, легко показать учащимся

(рис.1), что угол ZОМ0М=a—-2 при М —М0, так как в—0, а а= -2 --2-

и,

в

следовательно, угол ZMM0T= -2, который

образует секущая с прямой M0T, перпендикулярной ОМ0, становится сколь угодно малым. Это и означает, что MoT - предельная прямая для секущих

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

Рис. 1

После этого третье определение переносится на случай касательной к графику функции у=f(x) в точке M0(x0, fx0)). Предположим, что касательная в точке М0 существует. Исходя из геометрических соображений и учитывая непрерывность функции tg x, получаем, что угловой коэффициент касательной

1 г + .• МК

k= lim tg a= lim M K =

x—x0 x—x0 M 0 K

— lim

x—^ x0

f ( X) — f (x o)

X — Xo

Задача о мгновенной скорости приводит к соотношению v(t0)— lim -—, где

t—to t — 10

s(t) - путь, пройденный материальной точкой к моменту времени t, а v(t0) -скорость в момент времени t= t0. После рассмотрения этих двух задач можно дать формальное определение производной функции в точке. Из предельного соотношения, определяющего производную

f (x) — f (x o)— f, (xo), следует, что fx)-

lim

x — xn

Ахо) = Дхо)(х-хо)+а(х)(х-хо), где а(х) =

/(х) - /(хо) -у(хо)^о при х^хо. х — х о

Выражение /(хо)Ах представляет собой дифференциал функции /х) в точке хо для Ах= х-хо. Здесь же уместно дать геометрическую и механическую интерпретацию дифференциала. Полезно

привести примеры функций, не имеющих производной в одной, нескольких или даже бесконечном множестве точек: | х2-3х+2|, | х3-4х|, |б1п х|, которые не имеют производных соответственно в точках {1; 2}, {о; 2; -2}, {пп}, где п е2. Проиллюстрировав это на графиках функций, можно предложить учащимся самим привести примеры функций, не имеющих производной в одной, двух, трех, пяти точках, причем точки можно не задавать конкретно или задать. Следует обратить внимание учащихся на случаи, когда односторонние производные обращаются в ±го, отметить особенности поведения функций в соответствующих точках, например,

функции 4х , Чх2 . Это необходимо для отыскания экстремумов и построения графиков функций. Изучая теоремы о производной суммы, разности, произведения функций, имеет смысл обратить внимание учащихся на достаточный характер их условий. Легко показать, пользуясь определением, что функции |х|2, х|х|, |х|б1п х имеют производные в нуле, хотя | х| этим свойством не обладает. Очень важно поработать с геометрическим смыслом производной. Учащиеся должны понять, что в случае, когда /(х)>о на некотором промежутке (а;Ь), то линейная функция у =/хо) + /(хо)(х-хо) для любого хое(а;Ь) возрастает на этом промежутке а, следовательно, и сама функция у = /х) возрастает. Можно объяснить, исходя из определения производной, что в случае возрастания дифференцируемой функции /х) на промежутке ее производная/(х) > о. Можно пойти чуть дальше и показать, что в случае, когда на интервале (а; Ь) существует вторая производная и график функции является выпуклым (вниз) для хе(а;Ь), то /"(х) > о, а в случае, когда он является вогнутым (выпуклым вверх), то /\х) < о. Это легко увидеть из графических соображений и геометрического смысла производной: так, в первом из указанных случаев / (х) возрастает, а во втором - убывает. И

последнее: есть смысл найти по определению производные конкретных композиций функций прежде, чем переходить к общему утверждению. Приведем два примера. Пусть fx)=sin2x, тогда

гг ч ,. sin2 x - sin2 x0 f (xo) = lim -- =

x ^ x0 x - x 0

lim —Sinx0 (sinx+sinx0)= =2cosx0sinx0.

x ^ x0 x - x 0

Мы воспользовались известной учащимся производной функции sinx и теоремами о пределе суммы и произведения двух функций. Если <(х)= 3sin x , то для x0 т^тт, п eZ,

„ ^ ,. 3sinx -3sinx0 < (x0) = lim ---— =

x ^ x0 x - x0

sin x - sin x0 = lim -.

x ^ x0 x - x 0

_1_ =

3sin2 x + 3sin x sin x0 + 3sin2 x0 = cos x

3 3sin2 x0 Причем перед тем, как будут рассмотрены эти примеры, можно задать учащимся вопросы, чему равняются производные функций sin2x и 3sinx . Довольно часто для первой из производных дают ответы 2 sinx или cos2x, и в этом нет ничего удивительного. После разбора примеров все станет на свои места и можно сформулировать теорему о производной сложной функции.

Перейдем к понятиям определенного интеграла как семейства первообразных и определенного интеграла. С неопределенным интегралом в школе особых проблем не возникает, не считая доказательства того факта, что две первообразные для функции fx) на интервале (a; b) отличаются на постоянную, или иначе: для любых двух первообразных F(x) и Ф(x) найдется константа С такая, что Ф^)= F(x)+C для всех х из интервала (a; b). Строгое доказательство этого утверждения опирается, как известно, на теорему Лагранжа, или точнее, следствие из нее:

функция (рх) постоянна на интервале (а; Ь) тогда и только тогда, когда р (х)=0 для всех хе (а; Ь). Но теорема Лагранжа не может быть строго доказана в школе, хотя можно привести ее формулировку и истолковать ее геометрически, а затем, опираясь на формулу конечных приращений, получить нужное следствие. Сам по себе факт представления любой первообразной на интервале (а;Ь) для функции _Дх) в виде ¥(х)+С, где ¥(х) - одна из первообразных, а С - произвольное действительное число, чрезвычайно важен с методологической точки зрения, что явно недооценивается преподавателями. Обычно учащиеся доказывают упомянутый выше факт следующим рассуждением: (¥(х)+С) '= ¥ (х) +С=Х(х). Но ведь это доказывает лишь, что любая функция вида ¥(х)+С является первообразной, не не доказывает того, что все первообразные объединены выражением ¥(х)+С. А ведь с аналогичными ситуациями им приходится встречаться не раз, например, при построении общего решения системы линейных алгебраических уравнений, линейных дифференциальных уравнений, линейных систем с периодическими коэффициентами, линейных интегральных уравнений и т. д. Кстати, если предложить учащимся записать общее решение системы

^ (х + у _ 2, уравнений {2х + 2у _ 4 то возникнет

проблема. И еще одно замечание по поводу первообразной. Для функций ха, где а <—1, не определена первообразная

х а+1

при х=0: -, если а <—1, и 1п х, если а

а +1

=—1. Их можно рассматривать на интервалах (—ю; 0) и (0; ю). Несколько лет назад на Соросовской олимпиаде была предложена задача: найти такую первообразную для функции

Х(х)= —-—, график которой имеет с

х 3

графиком функции _у=|х| ровно три общие точки. Задача смутила многих учителей,

так как первообразные имеют вид

F(x)= —(хтО), и создается

2 х 2

впечатление, что графики двух четных функций должны иметь четное количество общих точек, если хтО. На самом деле первообразные могут быть заданы на интервалах (-да; о) и (о; да)

разными функциями: ^(х)= —-2+а для

2 х 2

х>о, и F(x)=--+Ь для х<о, где а и Ь

2х2

не обязаны совпадать, и потому их можно подобрать так, чтобы одна из ветвей графика первообразной дважды пересекала график функцииу=|х|, а вторая - коснулась его, например,

F(x)= —+ —, если х> о, и F(x)= —— +

2 х2 2 ' ' 2 х2

, если х<о ( подробнее см.[4]).

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

п

пределов сумм вида ^ /(£к) Ахк. После

к=1

чего следует дать определение интеграла, разъяснить, как понимается предел в этом случае, получить свойства интеграла. Вводить интеграл как приращение первообразной, на наш

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

экзамене в школе предлагалось

2

вычислить интеграл | ,§'(х)бх, где g(x)=3х

о

для о<х<1 и g(x)=5х для 1<х<2. Задача повергла многих учителей в шок, ведь функция g(x) разрывна в точке х=1. Нам кажется, что можно больше опираться на геометрический смысл интеграла при выводе его свойств, в том числе и основного свойства интеграла с переменным верхним пределом

| /(1=/х) для случая непрерывной

функции /(х), откуда до формулы Ньютона-Лейбница рукой подать. Но, конечно, необходимо объяснить учащимся, что изменится, если подынтегральная функция /(х), будучи непрерывной, меняет знак на отрезке [а; Ь], или как трактовать интеграл в случае, когда функция /(х) имеет на отрезке [а; Ь] конечное число точек разрыва первого рода.

Библиографический список

1. Чаплыгин В. Ф. Общекультурные и гносеологические аспекты курса "История и методология математики" // Ярославский педагогический вестник. 2ооо. №3. С. 137-141.

2. Чаплыгин В. Ф. Задачи в формировании понятия действительного числа // Математика в школе. 1997. №1 С. 26-27.

3. Гелбаум Б.,Олмстед Дж. Контрпримеры в анализе. М.: Мир, 1967.

4. Чаплыгин В. Ф., Чаплыгина Н. Б. Задачи с параметрами по алгебре и анализу. Ярославль, 1998.

5. Смирнов Е. И. Технология наглядно-модельного обучения математике. Ярославль, 1997. 323 с.