Я думал, что напишу короткий текст-набросок, но как обычно накатал гигантскую простыню. Здесь фактически объединено три темы: примерная программа по математике для среднего школьника (гуманитария или инженера, но не математика), методические рекомендации по тому как выбирать книги и темы для чтения, как относиться к задачам и доказательствам, а так же набор задач для самостоятельной проверки собственных знаний. Если вам интересны лишь отдельные эти темы, то вы можете проматывать до соответствующего параграфа, поскольку я отлично понимаю, что осилить весь текст целиком — сложно и большинству скучно. В то же время я убеждён, что именно отдельные фрагменты текста могут быть полезны многим читателям.
Мне постоянно, практически каждый день, присылают один и тот же вопрос: «Как изучить математику с самого начала?». Проблема обычно у всех одна и та же: в школе не учил, в институте не понял, наверстать не получается. Либо в институте даже нормально учился, был уверен, что его хорошо и правильно учат мудрые профессора в каком-нибудь МИФИ или Бауманке, решал интегралы и пределы, но как только после института столкнулся с реальной математикой в какой-то не совсем тривиальной задаче, понял наконец, что учили не тому и не так.
Я много писал о том, что у нас математике правильно почти нигде не учат, многие воодушевились, и решили математику таки изучать, попутно задавая мне вопросы. И тут выясняется, что как её учить не понятно: есть много хороших университетских учебников, но нет ничего хорошего по начальному курсу. Я эту проблему многократно обозначал, но не наметил никаких ориентиров как её преодолеть желающим. Начал писать свой учебник, но он получился слишком сложным и теоретическим (вплоть до того, что за сотню с лишним страниц я даже не успел ввести понятие натурального числа).
В этой заметке я постараюсь дать максимально подробное изложение того, как изучать математику с нуля так, чтобы потом можно было браться за университетские учебники, а заодно изложу в каких направлениях вообще стоит двигаться и в каких случаях.
Свой план изучения математики я разбиваю на подпункты, к каждому из которых прилагается три задачи, которые вы должны уметь решать. Это не совсем простые задачи, но если вы понимаете материал, то вы должны справиться. Это так же может быть хорошим тестом для обучающихся в технических ВУЗах — если вы успешно учитесь, но не можете решить хотя бы половины приведенных задач, значит вы однозначно учитесь не тому.
Источники
По школьному курсу я не знаю ни одной хорошей книги. Есть отдельные хорошие брошюры МЦНМО, ориентированные главным образом для 57-ой школы и подобных заведений, но они часто либо совсем узконаправленные, либо сложные для неподготовленного. Почитать их может быть интересно, они все составляются очень хорошими грамотными людьми, но надо понимать, что ориентированы они на тех, из кого есть шанс вырастить математика-теоретика, и у кого есть на это время. Если вы студент престижного инженерного ВУЗа и вынуждены каждый день решать интегралы, пределы, дифуры и урматы, либо вообще работаете по 8 часов в день, у вас скорее всего не будет времени в них углубляться. То есть путь чтения МЦНМО-шных книг хоть и правилен с методической точки зрения, но скорее всего не подойдёт большинству читателей.
Наверное самый быстрый и правильный путь наверстать школьную программу — это иметь перед глазами ориентировочную адекватную программу того что надо учить и какие области необходимо затронуть. Придерживаясь такой программы, необходимо искать информацию по каждой отдельной теме в Интернете. Часто хорошим источником становится Википедия, но далеко не всегда. Тогда может помочь Гугл, какие-то учебники либо ресурсы типа math.stackexchange.com. Такую примерно программу я сейчас и предлагаю читателю. Ниже излагается краткий перечень того, что необходимо изучить, в каком порядке и в каком виде, а так же что из чего выводится. По замыслу это должно стать хорошим ориентиром для тех, кто хочет самостоятельно наверстать математику, которую он плохо понимает.
Обозначу сразу, что моя программа ориентирована на прикладников, а не на теоретиков. Это накладывает очень большой отпечаток на спектр тем, определения и рассматриваемые теоремы, включая их общность. Какие-то понятия могут профессиональным математикам показаться определенными не правильно, но я осознанно стараюсь в этой программе идти по пути наименьшего сопротивления. Так же я тут не составляю идеальной математической программы — то что я пишу ниже сильно отражает существующий школьный курс, который сам по себе можно раскритиковать. Я это делаю осознанно, чтобы учащемуся было легче ориентироваться и он мог быстрее усваивать материал. Из отклонений от школьной программы я допускаю лишь минимальные нововведения (то что совсем уж стыдно не знать) и выкидываю ненужное главным образом в виде геометрии.
Не смотря на прикладную ориентированность, впрочем, возможно что даже интересующемуся теорией окажется вначале полезно пойти по пути изучения именно этой программы, а потом переходить к более абстрактным темам.
1. Английский
Один из самых важных навыков, которым должен владеть человек, изучающий математику (да и почти что угодно) — это английский язык. Как только вы становитесь способны читать на английском, множество источников для изучения материала у вас расширяется многократно. При том, что есть много хороших книг на русском, на английском их несравнимо больше даже по школьной программе. Многие теоретические темы, даже самые базовые, на русском языке вообще никогда и никем не излагались, либо излагались крайне неудачно. В той же Википедии аналогичные статьи зачастую оказывается куда лучше на английском языке, нежели на русском. Бывают и обратные примеры, но редко. Даже многие очень адекватные российские ученые пишут свои учебные материалы сразу на английском, русский язык полностью игнорируя, поскольку в России для этих материалов будет крайне малая аудитория.
Так что первым делом, как только вы прочитаете этот текст — начинайте изучать английский язык. Потратив пару лет на то, чтобы уметь бегло и без напряжения читать английский текст и общаться на английском, вы потом сэкономите себе кучу времени, пользуясь куда более качественными источниками при изучении любой другой области, в том числе и математики.
Стоит так же отметить в целом гораздо более хороший научный уровень англоязычной аудитории. В России вам очень мало людей смогут дать адекватный совет по той или иной области, в отличие от англоязычных форумов. На русском языке вы так же не сможете адекватно оценить современное положение вещей в науке, 99% инженеров и кандидатов наук вас скорее всего будут пичкать рекомендациями считать больше интегралов по задачнику Демидовича и читать про то как считаются определители матриц. Это самые бредовые рекомендации, которые можно дать, но понимают это единицы.
Для изучения английского лучше идти на групповые занятия на курсы. Так же полезно читать на английском (есть много адаптированных книг), пытаться переводить интересные вам тексты, искать собеседников-иностранцев для переписки (тут помогут сайты типа livemocha.com и специализированные форумы), могут помочь самоучители типа Мерфи (English Grammar in Use, Eglish Phrasal Verbs in Use и подобные), полезны бесплатные онлайн-курсы типа study.ru.
Даже если вам очень тяжело даётся иностранный язык, вы всё равно должны учить английский. Это действительно самая важная рекомендация, которую в принципе можно дать для изучения любой околотехнической науки и математики в том числе.
Начинайте изучать английский прямо сегодня.
2. Натуральные числа
Начать именно математику логично с арифметики натуральных чисел (это числа 0, 1, 2, 3 и так далее). Вы должны знать основные операции над натуральными числами и их взаимосвязь: сравнение чисел на больше-меньше, сложение, вычитание, умножение, деление с остатком, возведение в степень.
При изучении всех этих тем желательно иметь в голове три интерпретации натурального числа (здесь в порядке убывания важности):
Комбинаторная интерпретация. Число обозначает количество неких объектов в каком-то наборе. Если x>y, то это значит, что в наборе x больше объектов. Сложение чисел — это объединение двух наборов объектов (у одного человека 100 рублей, у другого 200 — сумма, это когда они скинулись). Умножение чисел — это способы составить пары. Например, у нас x мужиков и y баб. Умножение xy — это количество способов выбрать из них одну пару мужик-баба. Возведение в степень xy — это количество способов составить из алфавита, содержащего x символов, слова длины y. Именно комбинаторная интерпретация наиболее часто используется в приложениях математики, она же наиболее удобна при доказательстве арифметических свойств, она же наиболее близка к современному теоретико-множественному определению натуральных чисел.
Геометрическая интерпретация. Натуральное число — это отрезок на линейке. Сравнение чисел — сравнение отрезков по длине. Сложение чисел — склеивание двух отрезков. Умножение — площадь квадрата с заданными сторонами. Возведение в степень элементарной геометрической интерпретации не имеет (имеет интерпретацию в многомерной геометрии, но на начальном этапе об этом не стоит думать).
Индуктивная интерпретация. Натуральные числа получаются одно из другого, то есть есть выделенное число «ноль», и так же есть куча чисел, которые получаются прибавлением единицы. Другими словами для каждого числа определено число, следующее за данным. Эта интерпретация наиболее близка к тому, что рассказывают в начальной школе о том, что чтобы умножить x на y нужно посчитать сумму $latex x +\ldots + x$, где сложение происходит y раз. Аналогично возведение в степень — это многократное умножение.
В каких-то ситуациях полезна одна интерпретация, в каких-то другая. Например, свойства степени довольно легко выводятся из индуктивной интерпретации, однако в ней совершенно непонятно почему $latex xy = yx$, однако это же свойство элементарно видно в интерпретации геометрической или комбинаторной.
Весьма полезно, хотя и опционально, на начальном этапе изучить подробно алгоритмы операций в столбик (самое важное — деление в столбик), свойств делимости, алгоритм Евклида для нахождения наибольших общих делителей и вытекающую из него основную теорему арифметики. В прикладной математике эти вещи нужны довольно редко (если только вы не занимаетесь криптографией), хотя иногда встречаются. Алгоритм деления в столбик важен для понимания аналогичного алгоритма деления в столбик полиномов, который в свою очередь может быть полезен при решении уравнений и интегралов, хотя сами эти вещи тоже весьма необязательны — подавляющее большинство студентов оканчивают технические ВУЗы и решают интегралы не умея делить полиномы.
Если вы тяготеете не к прикладной математике, а к теоретической, то изложенное в прошлом параграфе для вас обязательно. Если математика вам нужна только с прикладной точки зрения, то вам достаточно знать формулировку основной теоремы арифметики, чтобы хотя бы на базовом уровне понимать важную роль простых чисел как строительных кирпичиков натуральных чисел. После основной теоремы арифметики совершенно обязательным для всех является доказательство теоремы Евклида — она отвечает на вопрос о том, сколько всего существует простых чисел. Это одно из самых простых и одновременно с тем сильных доказательств. Пропустить его никак нельзя.
Для людей, занимающихся информационными технологиями, равно как и для математиков-теоретиков, будет полезно изучить каким образом строится позиционная система счисления с произвольным основанием.
В качестве проверки того, насколько вы хорошо знаете арифметику натуральных чисел, попробуйте самостоятельно выполнить следующие не сложные упражнения:
а) Докажите лемму Евклида: если p — простое число, которое делит xy, то оно делит хотя бы одно из x и y (считайте эти числа взаимопростыми). Докажите это не пользуясь основной теоремой арифметики (поскольку она сама вытекает из леммы Евклида; при доказательстве полезно использовать следствие из алгоритма Евклида).
б) Докажите, что для того, чтобы число делилось на 3, надо чтобы сумма его цифр в десятичной системе счисления делилась на 3. Аналогично объясните как проверить делимость на 9.
в) Объясните, каким образом можно возвести число 123 в 64-ю степень, используя только 6 операций умножения.
3. Целые, рациональные, вещественные, комплексные числа
Их следует изучать именно в этом порядке. Возведение в соответствующие степени пока следует отложить.
Опять же, важно рассмотреть несколько интерпретаций. Для целых чисел вы можете рассматривать отрицательные числа как отрицательный денежный баланс (долги, недостаток средств), геометрически как продолжение линейки натуральных чисел в обратную сторону (сложение и умножение будет определяться как движение по этой линейке), либо как чисто формальную конструкцию: целые числа — это расширение натуральных чисел такое, что для каждого натурального x найдется новое число -x, обладающее свойством $latex x + (-x) = 0$. С этой точки зрения целые числа — это такое расширение натуральных чисел, чтобы всегда было возможно произвести операцию вычитания (для натуральных чисел $latex x-y$ имеет смысл лишь тогда, когда $latex x \ge y$).
При рассмотрении целых чисел хорошо обратить внимание на операцию модуля числа, он же абсолютное значение (чуть позже, после знакомства с тригонометрией и геометрией, проделать то же самое для модуля комплексного числа). Вы должны понимать откуда берутся формулы типа $latex ||x|-|y||\le |x-y|$.
Рациональные числа опять же можно рассматривать геометрически (доля целого отрезка), количественно (куски целого) и формально: как числа получающиеся из целых добавлением чисел вида 1/x для каждого ненулевого целого x, а так же всех их возможных произведений (из обычных свойств произведения будет легко вывести правила сложения дробей). Последний способ наиболее удобен для определения арифметических свойств. В этом случае рациональные числа — это такое расширение целых чисел, чтобы всегда было возможно выполнить операцию деления без остатка.
Отсюда полезно понять каким образом устроены десятичные дроби, затем вывести такую простую теорему: десятичное представление любого рационального числа либо конечно, либо периодично.
Для перехода к вещественным числам можно рассмотреть функцию квадратного корня и понять как его можно вычислить последовательным перебором. Затем показать, что корень из двойки не может быть рациональным, хотя вы можете его сколь угодно точно приближать поразрядно. Это даст основания для рассмотрения бесконечных непериодических десятичных дробей, которые и называются иррациональными числами. С точки зрения современной математики это самое неказистое и сложное определение, но оно позволяет понять что такое вещественное число не обладая никакой специальной подготовкой. Подробно доказывать арифметические свойства тут уже совершенно не нужно — знание как проводятся операции в столбик даст вам хорошую интуицию, а строгие формальные выкладки вы сможете понять позже, если будете копать в сторону теоретической математики.
С вещественными числами очень важен вычислительный аспект. Дело в том, что никакие счетные устройства, калькуляторы-компьютеры и прочие, не умеют работать с вещественными числами — только с рациональными, в силу того, что вещественное число требует для своего определения бесконечное число цифр. Таким образом всегда при вычислениях вы будете иметь некоторую погрешность. Будет полезно разобраться с тем, как увеличивается погрешность при выполнении простейших арифметических операций.
Про комплексные числа важно лишь знать, что $latex i^2 = -1$ и вывести отсюда формулы сложения, умножения и деления (в учебниках можно встретить много разных определений, чаще всего как пары вещественных чисел, но на начальном этапе самым корректным будет именно определение через формальную мнимую единицу). Это чисто формальная конструкция, которая должна стать понятнее, если вы справитесь с формальным определением отрицательных и рациональных чисел. Не пытайтесь найти комплексным числам физической или геометрической интерпретации — на данном этапе это совершенно ненужно и даже вредно.
Бытует мнение, что комплексные числа нужны только математикам, а простым инженерам они нужны не очень-то. Я спешу вас расстроить: без комплексных чисел не очень понятно как решать многие виды интегралов, рядов, дифференциальных уравнений. В теории вероятностей (крайне важная наука для анализа данных, а соответственно и для всяких там менеджеров, социологов и маркетологов) комплексные числа используются при определении характеристической функции, которая делает элементарными многие факты и вычисления в теории вероятностей. В современной геометрии комплексные векторные пространства позволяют эффективно исследовать свойства вещественной евклидовой геометрии и т. п. Можно было бы обойтись и без комплексных чисел, но тогда всё было бы намного сложнее. Тот факт, что комплексная арифметика не проходится ни в школах, ни почти в институтах, не делает её не нужной. Если вы хотите действительно стать нормальным инженером, вам строго необходимо понимание комплексных чисел.
Факультативно можно посмотреть в сторону кватернионов (там три разных мнимых единицы), октав (там их семь разных) и седенионов (там мнимых единиц пятнадцать). Это уже не является необходимым, но вероятно поможет понять формальность процедуры, которая даёт нам комплексные числа.
Для проверки того, насколько хорошо вы владеете арифметикой в этом пункте, попробуйте решить следующие упражнения:
а) Объясните, почему между любыми двумя вещественными числами найдётся сколь угодно много различных чисел, как рациональных, так и вещественных (здесь не требуется совершенно строгого формального доказательства, просто приведите рассуждения, убедительные лично для вас).
б) Объясните, почему не существует адекватного способа сравнивать комплексные числа на больше-меньше. (Подсказка: попробуйте определить является ли мнимая единица положительным или отрицательным числом).
в) Пусть рациональное число имеет вид a/bc, где b и c взаимопросты. Покажите каким образом отсюда можно получить его представление в виде $latex {a_1\over b} + {a_2\over c}$. Здесь, вероятно, вам будет полезно прочитать в общем виде об элементарных дробях (а для тех, кто интересуется теорией это вообще совершенно обязательно).
4. Начальная комбинаторика, матиндукция и суммы
Основы комбинаторики вы должны знать уже из изучения натуральных чисел. После того, как вам понятен комбинаторный смысл умножения и возведения в степень, надо идти дальше и понять что такое факториал, расстановки и сочетания. При изучении этого материала избегайте неинтуитивных рассуждений путём вывода формул одной из другой, а так же метода индукции. У каждой комбинаторной формулы есть простая интерпретация, которую и нужно понять, а вовсе не формальные выкладки.
Узнав про сочетания, которые называются так же биномиальным коэффициентом, изучите мультиномиальный коэффициент. Отсюда изучите Бином Ньютона (опять же не по индукции, а интуитивно комбинаторно — если вы хорошо понимаете биномиальный коэффициент, то сможете вывести формулу бинома как упражнение), а так же обобщение на случай суммы нескольких переменных (в этой ситуации биномиальный коэффициент заменяется на мультиномиальный).
Так же выведите $latex \sum_{k=0}^n {n\choose k} = 2^n$ и дайте комбинаторную интерпретацию этому результату.
Выведите по аналогии $latex \sum_{k=0}^n (-1)^k{n\choose k} = 0$.
Данные результаты очень просты, желательно, чтобы вы вывели их самостоятельно.
Следующая формула к комбинаторике имеет уже мало отношения, но имеет интуитивную связь с биномом Ньютона, если рассматривать его как «формулу сокращенного умножения» и доказывается во многом так же: $latex x^n-y^n = (x-y)(x^{n-1} + x^{n-2}y + \ldots + y^{n-1})$ — её нужно знать, особенно в частном случае для $latex n=2, 3$.
Полезно так же почитать про приём двойного счета, принцип Дирихле и правило включения-исключения, а так же рассмотреть примеры применения этих приёмов.
Обязательно поймите принцип математической индукции. В самой комбинаторике гигантское количество утверждений может быть доказано методом математической индукции (хотя лучше её именно в комбинаторике и избегать из-за неинтуитивности), полно доказательств есть из теории чисел. Полезно найти формулу и доказать её по индукции для сумм $latex \sum_{k = 1}^{N} k^p$ для значений p равных 1, 2 и 3. (Это не сложно сделать самостоятельно). Для теоретиков можно найти и разобраться в формуле Фаулхабера (позволяет считать такую сумму в общем виде) и числах Бернулли, но это уже только для теоретиков.
Так же изучите арифметические и геометрические прогрессии.
Для того, чтобы понимать как хорошо вы ориентируетесь в этой области, решите следующие упражнения:
а) Если в формуле разложения $latex x^n-y^n$ заменить y на -y, то можно понять каким образом записать аналогичную формулу для суммы $latex x^n+y^n$, однако это сработает лишь в случае нечетного n. Тем не менее, иногда может помочь замена y на мнимое значение iy. Покажите для каких n будет возможно подобное разложение суммы степеней n и запишите его.
б) Любое натуральное число можно записать в виде суммы других натуральных чисел. Например, $latex 10=2+7+1$. Таких разложений, естественно, очень много разных. Сколько именно? (Разложения следует рассматривать с точностью до порядка слагаемых).
в) Функция Эйлера $latex \phi(n)$ — это количество чисел, меньших чем n и взаимопростых с ним. Используя приём включения-исключения, выведите формулу для неё: $latex \phi(n) = n-{n\over p_1}-\dots-{n\over p_k}+{n\over p_1p_2}+\dots + (-1)^k{n\over p_1\dots p_k}$, где $latex p_i$ — простые множители числа n.
5. Графики функций
Прежде чем строить графики функций, необходимо сделать небольшую подготовку: научиться решать квадратные уравнения и делить полиномы в столбик. Квадратные уравнения необходимо уметь решать через дополнение до полного квадрата — именно этот подход даёт логичное обоснование формулы с дискриминантом. Сам приём дополнения до полного квадрата крайне часто употребляется в самых разных математических выкладках.
Необходимо знать как выглядят основные виды графиков: линейный $latex y = kx + b$, степенной $latex y = x^n$, график квадратичной функции $latex y = ax^2 + bx + c$ и дробно-линейный $latex y = {ax + b \over cx + d}$. График квадратичной функции поможет строить умение решать квадратные уравнения, график дробно-линеной функции как раз умение делить полиномы.
Если вам уже известен график некоторой функции $latex f(x)$, необходимо уметь построить так же график функций $latex |f(x)|$, $latex f(|x|)$, $latex f(x + a)$, $latex f(x) + a$, $latex f(ax)$, $latex af(x)$. Важно уметь строить график обратной функции.
Так же на этом этапе полезно иметь хотя бы общее представление о том как устроены графики функций комплексного переменного как отображение кривых комплексной плоскости.
Несколько простейших вопросов, которые напрямую не связаны с графиками, но имеют графическую интерпретацию:
а) Функция называется четной, если $latex f(-x)=f(x)$ и нечётной, если $latex f(-x)=-f(x)$. Охарактеризуйте четность и нечетность с точки зрения графика функции. Может ли функция быть одновременно и четной и нечетной? Перечислите все такие функции.
б) Функция называется периодической, если существует такое T, отличное от нуля, что $latex f(x + nT) = f(x)$ для любого $latex n$. Охарактеризуйте это определение с точки зрения графика функции. Существует ли такая периодичная функция, что любое значение T будет её периодом?
в) Пусть даны две функции. Как найти точки пересечения их графиков?
5. Уравнения, неравенства, системы уравнений
К этому моменту вы уже должны уметь решать квадратные уравнения и понимать принцип дополнения до полных квадратов. В качестве факультатива можете посмотреть как решаются уравнения третьей и четвертой степеней. Это не особо важно, но занятно. Тут надо сказать, что наиболее часто встречающийся подход — это использование формул Кардано и метод Феррари, которые могут показаться сложными. Есть однако и довольно элементарные подходы к решению уравнений третьей и четвертой степеней через обычные подстановки переменных и введение дополнительных неизвестных, чтобы подогнать формулу под вид квадрата. Такие подходы имеют ряд недостатков и не раскрывают свойств многочленов, но они довольно элементарны для понимания на школьном уровне. Разбор этих методов моет быть полезным упражнением.
Надо уметь решать основные виды частных случаев уравнений более высоких степеней. Например, уравнения вида $latex ax^{2n}+bc^n + c = 0$ или уравнения с симметричными коэффициентами.
Сразу стоит оговориться, что аналитически уравнения старше четвертой степени в общем виде не решаются — это утверждение составляет выдающуюся теорему Абеля. Среднему читателю нет смысла углубляться в доказательство, но интересующимся теоретической математикой я настоятельно рекомендую ознакомиться с книжкой «Теорема Абеля в задачах и решениях» Алексеева А.Б.
Нужно знать основную теорему алгебры. Она заключается в том, что любой полином имеет комплексный корень. На данном этапе понять строгое доказательство этой теоремы вам не удастся, но элементарная интуиция о графиках комплексных функций может подсказать почему теорема верна. Для этого можно рассмотреть образ произвольной окружности в комплексной плоскости для произвольного полинома. Этим образом будет некая замкнутая линия. Начало координат окажется либо внутри этой линии, либо снаружи. В первом случае можно уменьшать радиус начальной окружности пока линия не пересечет начало координат (точка пересечения и будет корнем), во втором наоборот увеличивать радиус до пересечения образа с началом координат. В этом доказательстве очень много дыр, но пока вы вряд ли сможете сформулировать что-то более строгое. Однако такая иллюстрация даёт неплохую интуицию и понимание, строгость же придёт позже.
Из возможности делимости полиномов (с остатком и без) и из основной теоремы алгебры должен стать очевидным тот факт, что любой полином n-ой степени представим в виде $latex a\prod_{i=0}^n (x-x_i)$, где $latex x_i$ — комплексные корни данного полинома. Отсюда элементарно выводятся формулы Виета в общем виде (если вы вывели сами Бином Ньютона, то и формулы Виета отсюда выведете). Если мы знаем, что все корни многочлена рациональны, то из формул Виета следует очевидный способ нахождения их перебором.
Если известно, что комплексное $latex x_0$ является корнем многочлена $latex f$ с вещественными коэффициентами, то подставив в него сопряженное $latex \bar{x_0}$, мы убедимся, что оно так же является корнем. Отсюда можно получить аналогичное данному выше представление вещественного многочлена в виде $latex a\prod_{i=0}^n (x-x_i) \prod_{j=0}^m (x^2+p_jx+q_j)$, где используются уже только вещественные корни и коэффициенты. Теперь очевидно, что любой вещественный многочлен нечетной степени имеет вещественный корень.
В качестве дополнения, но очень важного и интересного, я рекомендую на этом этапе узнать про производящие функции. Их почти нигде не проходят в России на инженерных специальностях, но однако они крайне важны в современной науке и имеют широчайшие применения. В комбинаторных задачах средней сложности и некоторых смежных областях (анализ последовательностей, теория вероятностей) это сейчас один из самых широкоупотребимых математических инструментов.
С неравенствами всё довольно просто — достаточно понять как решаются базовые случаи на уровне задачников к ЕГЭ. Там нет ничего сложного. Аналогично с системами уравнений. Важно понять общий принцип решения систем уравнений через выражение вначале одной из n переменных через $latex n-1$ других, затем подстановкой этого значения в систему, выражения одной из оставшихся через остальные и т. д.
Можно посмотреть так же в сторону метода Гаусса решения систем линейных уравнений, но на самом деле это пока не обязательно — мотивация для решения таких систем и их важность станут понятны несколько позже.
Упражнения:
а) Решите уравнение $latex x^5 + 5x^4 + 10x^3 + 10x^2 + 5x +1 = 0$ меньше чем за две минуты.
б) Используя формулы Виета, получите представление для дискриминанта квадратного уравнения в виде $latex D = a^2(x_1-x_2)^2$, где $latex x_i$ — корни многочлена. В отличие от привычной школьной формулы, это определение обобщается на случай многочленов произвольного порядка: $latex D = a_0^{2n-2}\prod_{i<j} (x_i-x_j)^2$. Пользуясь этим определением и формулами Виета найдите дискриминант для многочлена $latex x^3 + px + q$.
в) При каких параметрах a уравнение $latex \sum_{i=1}^x {1\over i(i+1)} = a$ имеет решение и какое? (Стоит рассматривать только целые $latex x\ge 1$).
6. Показательная и логарифмическая функции
Определить строго эти функции в школьном курсе весьма сложно, поэтому придётся опираться не на строгость, а на интуицию.
Начать следует с показательной функции $latex a^x$. Как строить такую функцию для целых $latex x$ понятно (из индуктивного определения легко следует как считать отрицательные целые степени). Степень вида $latex a^{1/x}$ можно определить как корень степени $latex x$ и использовав приём поразрядного подбора. Это следует из свойства $latex (a^b)^c=a^{bc}$. Воспользовавшись этим же свойством еще раз, можно определить возведение в любую рациональную степень.
Теперь встает вопрос как определять значения для иррациональных показателей степеней. Поскольку каждое иррациональное число сколь угодно точно может быть приближено рациональным числом, то и иррациональные показатели степени могут быть приближены рациональными степенями. Опять же строгое проведение этих рассуждений требует базовых сведений о пределах и топологии, поэтому на среднешкольном уровне оно невозможно. Однако можно найти много неформальных рассуждений в этом ключе, дающих хорошее понимание и интуицию.
Когда определена показательная функция, можно определить логарифм как функцию, обратную к показательной.
Следующими шагами является изучение максимума свойств логарифмов и показательных функций, включая неравенства и вид их графиков. Полезно почитать про выпуклость логарифма и показательной функции и следующих из этого неравенств.
Упражнения:
а) Пусть дано произвольное натуральное число x. Сколько разрядов потребуется для его записи в позиционной системе счисления с основанием k? (Для тех, кто пропустил системы счисления, рассмотрите только случай $latex k=10$).
б) Используя выпуклость логарифма докажите неравенство Юнга: $latex ab \le {a^p\over p} + {b^q \over q}$ при $latex {1\over p} + {1\over q} = 1$, $latex p,q\ge 1$ и $latex a,b\ge 0$. Факультативно можете посмотреть в учебниках как из него выводятся неравенства Гёльдера и затем Минковского (сейчас это не необходимо, но позже они сыграют важную роль).
в) Используя неравенство $latex a^x \ge x + 1$ докажите, что среднее геометрическое всегда меньше либо равно среднему арифметическому.
7. Геометрия
Если курс школьной алгебры составлен хоть как-то более-менее нормально, то школьная геометрия представляет собой полностью провалившуюся концепцию. Геометрия Евклида в том виде как он её излагал крайне не строга (даже самую первую теорему в своих «Началах» сам Евклид доказывает некорректно), а доказываются в ней зачастую совершенно интуитивные вещи, которые можно было бы и не доказывать. О самой сути и назначении доказательств я скажу немного в конце, пока же обозначу то, что требуется знать.
Во-первых, надо узнать про сумму углов n-угольников. Это очень простая теорема. Употребляется она не часто, но не знать её стыдно.
Затем надо принять число 2π как длину окружности единичного радиуса. Никакой строгости тут быть не может — школьник (да и студент технического ВУЗа) чисто физически не сможет определить понятие длины, а уж тем более доказать, что окружность этой самой длинной в принципе обладает. Это действительно не простые всё вопросы, требующие значительной подготовки, поэтому просто примите большую часть очевидных фактов как должное.
Затем полезно (но не обязательно) доказать (не слишком строго опять же) формулы площади и периметра для окружностей произвольного радиуса, в предположении, что радиус единичной окружности равен 2π, что мы пока условились принимать как аксиому.
Изучите измерение углов в радианах и как считать длину дуги окружности (можно пока только единичной).
Покажите, что если из одной точки A исходит два луча, пересекающих линию L в точках B и C, и линию L’, параллельную L, в точках D и E, то $latex {AB\over AC} = {AD \over AE}$. Это и подобные соотношения дают основания для введения тригонометрических функций: синуса, косинуса, тангенса, котангенса, секанса и косеканса. Определяемые изначально как отношения между сторонами прямоугольного треугольника, тригонометрические формулы оказываются зависимыми в действительности не от сторон этого треугольника, а только от угла, что и должно быть видно из выведенного выше соотношения.
Используя тригонометрические функции научитесь определять площади и высоты простейших геометрических фигур.
Докажите теорему Пифагора и из неё установите основное тригонометрическое тождество $latex \sin^2 x + \cos^2 x = 1$ и его следствия.
Докажите теорему синусов (для этого вам предварительно придется немного покопать свойства вписанных в окружность углов).
Изучите основы векторного исчисления в случае плоскости. Из многих подходов к изучению векторов следует выбирать те источники, где вектор представляется парой вещественных чисел, а арифметические операции над ним как покоординатные операции. Вы должны усвоить сложение векторов (правило параллелограмма), умножение на скаляр, понятие о сонаправленности и параллельности векторов, скалярное произведение и его связь с углами, проекции.
Из векторного исчисления выведите теорему косинусов. Из теоремы косинусов и основного тригонометрического тождества — формулу Герона.
Докажите теперь теорему Пифагора в чисто векторном смысле: определив ортогональность (перпендикулярность) векторов как $latex (x, y) = 0$ установите равенство $latex \|x+y\|^2 = \|x\|^2 + \|y\|^2$ для ортогональных векторов.
Рассмотрите уравнения прямой и окружности на плоскости. Если в дальнейшем вы хотите изучать теоретическую математику — изучить так же свойства инверсии.
Полезно изучить так же золотое сечение.
Упражнения:
а) Докажите неравенство Коши-Шварца (его еще называют неравенством Коши-Буняковского): $latex |(x, y)| \le \|x\| \|y\|$.
б) Дана единичная окружность с центром в начале координат. Найдите все уравнения прямых, проходящих через заданную точку $latex (x_0, y_0)$ и касающихся этой окружности.
в) Каждая точка плоскости может быть представлена парой координат $latex (x, y)$. Существует ли такая прямая, которая проходит в точности через одну точку, у которой обе координаты рациональны? (Более сложный вариант: установить существует ли прямая, которая вообще не проходит через точки с двумя рациональными координатами).
8. Тригонометрия
Рассматривая единичную окружность определите значения тригонометрических функций для произвольных аргументов углов. Отсюда установите периодичность тригонометрических функций, четность, нечетность, свойства типа $latex \sin(x+\pi/2) = \cos x$. Докажите неравенство $latex \sin x \le x \le \tan x$.
Самые сложные формулы, которые надо изучить в самом начале, это формулы синуса и косинуса суммы: $latex \sin(x+ y) = \sin x \cos y + \cos x \sin y$ и $latex \cos (x + y) = \cos x \cos y-\sin x\sin y$. Их доказательство обязательно надо найти.
Затем надо научиться выводить кучу тригонометрических тождеств. Главные тут это тригонометрические формулы двойных углов, половинных углов и суммы и произведения тригонометрических функций. Выясните как они получаются. Время от времени они нужны, но довольно глупо пытаться их запомнить — правильнее помнить как они выводятся, это куда практичнее и проще.
Научитесь строить графики тригонометрических функций. Изучите обратные тригонометрические функции. Научитесь решать тригонометрические уравнения и неравенства.
Изучите геометрическую интерпретацию комплексных чисел и их тригонометрическое представление. Разберите формулу Муавра и вычисление комплексных корней. Применяя формулу Муавра и Бином Ньютона получите формулу n-кратного угла для синуса и косинуса.
В общем-то главная суть тригонометрии на данном этапе — усвоить всевозможные манипуляции с тригонометрическими тождествами и ряд стандартных трюков при решении уравнений. Здесь опять же можно почитать материалы для подготовки к ЕГЭ — какой-то специальной теории на данном этапе не удастся рассмотреть.
Уражнения:
а) Преобразуйте выражение $latex \sin\arctan x$ так, чтобы оно не содержало арктангенса (и любой другой обратной тригонометрической функции).
б) Пусть $latex \epsilon_n^k$ — k-ый комплексный корень n-ой степени из единицы. Докажите, что $latex \sum_{k=1}^n \epsilon_n^k = 0$.
в) Придумайте формулу разложения для произвольной суммы $latex x^n+y^n$.
9. К начальному институтскому курсу
Изложенного выше достаточно для того, чтобы начинать читать университетские учебники. Области математики, которые необходимо изучать, очень зависят от того, чем вы планируете заниматься. Я дам краткий ориентир что и как читать по самым основам в самом начале — все это вам пригодится 100%.
Одномерный анализ: это пределы, производные, интегралы и ряды. На начальном этапе я бы посоветовал избегать вникания в формализм. Запись $latex \lim_{x\to a} f(x) = b$ означает, что при приближении аргумента x к a, значение функции приближается к b. Довольно очевидно, что функция $latex 2f(x)$ при этом будет приближаться к значению $latex 2b$ даже без строгих доказательств. Если вы начнете зарываться в эпсилон-дельта формализм, который преподаётся в ВУЗах, то потратите уйму времени и ничего не поймёте. Причины ненужности этого формализма я подробнее поясню ниже.
По пределам вы должны усвоить два золотых предела, теорему Штольца (её возможно отложить на время, пока не займётесь формализмом), изучить о-нотацию и свойства бесконечно малых и бесконечно больших.
При изучении производных вы должны уметь выводить все формулы дифференцирования. Изучение дифференциала и производной композиции и обратной функции скорее всего получится весьма неформальным.
При изучении производных важно понять геометрический смысл и как он помогает определять экстремумы и области выпуклости функции, теорему Ролля, теорему Лагранжа, теорему Коши о среднем значении, правило Лопиталя, изучить ряды Тейлора, изучить взаимосвязь корней полинома с корнями его производной. Опять же, в большинстве случаев подойдут неформальные рассуждения.
Про интегралы важно узнать основную теорему анализа, правило интегрирования по частям и как производить замену переменных. Опять же важно узнать как интегрируются все стандартные функции, включая рациональные дроби (интересно посмотреть прием интегрирования Остроградского).
Про ряды особо ничего знать не надо. На практике вам мало что из теории рядов пригодится, кроме как самих рядов. То есть сама теория ставит много вопросов о сходимости, равномерной сходимости и подобном, однако все реальные ряды, которые встретятся на вашем жизненном пути, будут обладать весьма хорошими свойствами сходимости и не потребуют какого-либо специального анализа. Про это я опять же напишу ниже подробнее. Из прикладных аспектов хорошо посмотреть арифметические операции над рядами, как с помощью рядов решаются дифференциальные уравнения и как выводятся ряды для основных школьных функций. Посмотрите так же на аппроксимацию Стирлинга (в общем виде вы пока её не сумеете понять, но простейшее приближение $latex n! \sim \sqrt{2\pi n}(n/e)^n$ вы уже должны быть способны получить из Гамма-функции, пусть и не совсем формально).
Читать по анализу рекомендую учебники Зорича и Лорана Шварца. Если решите брать другой учебник и копать теорию, то критерием выбора книги должно быть использование языка топологии и векторных пространств в книге, а не эпсилоны и кучи неравенств.
Основы теории множеств. В теории множеств на начальном этапе надо понять операции над множествами и общее определение функции (как подмножество декартова произведения), такие свойства как инъективность, сюръективность и подобные, а так же ассоциативность композиции функций. В детали залезать с самого начала нет смысла, но ассоциативность композиции важно уметь доказывать. Читать можно что угодно, в том числе мой учебник (если хотите хардкора).
Основы линейной алгебры. Обозначить наиболее важные темы в линейной алгебре довольно сложно — там в принципе неважного нет. Поначалу можно опустить изучение тензоров, но это в принципе всё. При изучении линейной алгебры следует обращать внимание на следующие аспекты:
1) Материалы, которые вы будете читать, должны по минимуму использовать матрицы и по максимуму линейные операторы. В идеале вы не должны закладываться вообще на существование какого-либо базиса в линейном пространстве. Вы вначале должны узнать что такое линейный оператор, и лишь потом что такое матрица. Никак иначе.
2) Ваши учебники должны по минимуму опираться на определители и по максимуму на собственные вектора. Если учебник постоянно навязывает вам вычисление всяких там миноров и алгебраических дополнений с доказательствами по индукции, вместо того, чтобы применять формулу Гаусса или приводить матрицу к диагональному виду, вы такой учебник должны разорвать, выкинуть и сжечь.
3) Сам определитель должен быть определен как кососимметрическая форма либо как направленный объём. Если вам изначально предлагается формула с разложением по строке или столбцу, либо же здоровая сумма с перестановками коэффициентов — такой учебник так же никуда не годится (исключение составляет учебник Кострикина).
Именно с точки зрения линейной алгебры нужно подходить к евклидовой геометрии, вы должны постоянно держать в голове как проходимый вами материал может быть применен к геометрии и пытаться решать геометрические задачи методами алгебры.
Из конкретных учебников советую учебник Винберга, Кострикина и совместный учебник Кострикина и Манина. Говорят, что хороший учебник Шелдона Акслера «Linear Algebra Done Right», но сам я его не читал.
Многомерный анализ. Здесь на начальном этапе важны лишь производные и интегрирование. Производные хорошо изучать как аппроксимации произвольных функций линейными операторами. Здесь уже получится корректно и понятно ввести понятие дифференциала и изучить в общем виде свойства производных, которые ранее изучались неформально (типа производной композиции и обратных функций). Изучите обязательно как решаются оптимизационные задачи и условия для экстремумов (тут же посмотрите в сторону градиентной оптимизации).
В интегрировании опять же не стоит углубляться в теорию — просто посмотрите как считаются стандартные примеры интегралов. Например, обратите внимание на вычисление интеграла Гаусса и вычисление объема n-мерной сферы. Из теоретически важного можно выделить теорему Грина и интегрирование потенциальных векторных полей. Учебники все те же Зорича и Шварца.
Теория вероятностей и основы статистики. Эти темы сейчас являются очень важными практически во всех областях. Вообще очень сложно представить себе область знаний, которая не требовала бы понимания этих дисциплин. По теории вероятностей нужно знать аскиомы и свойства случайных событий, случайные величины и их характеристики (вы должны понимать, например, как связано скалярное произведение и СКО, а так же почему именно ковариационная матрица является положительно-определенной), иметь представление о характеристической и производящей функции. Полезно залезть в основы теории информации.
По статистике надо знать основы оценивания (включая информацию Фишера и информационное неравенство), проверки гипотез, понимать чем отличаются частотный и байесов подход, знать какие-нибудь алгоритмы анализа независимых компонент. Область эта сейчас очень динамично развивающаяся и полезно посмотреть просто современные статьи — они редко являются сложными, но содержат часто интересные и продуктивные идеи.
Комплексный анализ. Курсы комплексного анализа все довольно стандартны, можете брать любой, хотя комплексный анализ нужен уже только тем, кто собрался двигаться дальше. Хорошим критерием того, что вы неплохо разобрались в теме, является понимание как интегрировать и суммировать с помощью вычетов (вы должны быть способны посчитать сумму $latex \sum_{k=1}^{+\infty} {1\over k^2}$), умение доказывать основную теорему алгебры в одну строчку и понимание почему голоморфность эквивалентна аналитичности. С точки зрения комплексного анализа удобно рассмотреть анализ Фурье (хотя, если углубляться в теорию, еще лучше рассматривать эти темы с точки зрения функционального анализа).
10. Что дальше
Дальнейшее изучение зависит от того что вам надо. Приведенной мной выше список понадобится практически любому человеку, кто хотя бы косвенно связан с математикой. Естественно, что в конкретных областях знаний требуется отдельные разделы математики, которые надо изучать независимо. Например, если вы занимаетесь криптографией, вам потребуется серьезная подготовка по теории чисел и алгебре. Если в каких-то инженерных или физических задачах вам нужна теория поля (та что про ротор и дивергенцию), то вам будет полезно изучить основы топологии и дифференциальные формы с общей формулировкой теоремы Стокса. Если вам нужна вычислительная математика и анализ данных, то вам надо читать про численные методы, методы оптимизации и подобное. Если вы финансовый аналитик, вам потребуются случайные процессы и анализ Ито, а если экономист, то теория игр. Инженерам и физикам очень нужны дифуры и вариационное исчисление, а физикам-теоретикам вообще очень много чего надо из того, что я в этой подборке даже издали не касался.
По этой причине дать какие-то общие рекомендаций тут уже невозможно, после изучения того, что я изложил выше, надо смотреть нужное именно вам лично. Если вы хотите закрыть дырки в доказательствах, которые возникли при изучении, то вам уже следует изучать теоретическую математику — вначале теорию множеств (в части про бесконечные множества, аксиому выбора и ординалы), общую топологию и алгебру, затем функциональный анализ. Этого будет достаточно для того, что доказать и понять правильно как идейно, так и формально абсолютно всё, что могло вам встретиться в школьном и университетском курсе. Многие вещи вы определите при этом уже совершенно по-иному: так, вы поймёте, что самым корректным определением тригонометрических функций являются ряды, узнаете про интеграл Лебега, многообразия, из функционального анализа вы по-другому взгляните на вопросы сходимости, ну и так далее. После перечисленного уже можно ориентироваться на широкоизвестные списки типа списка Вербицкого или списка для студентов НМУ. Это собственно самое адекватное что есть.
Задачи
Надо сделать немного замечаний о том, как вообще изучать материал, потому что привычная схема изучения, которую навязывает школа и институт, очень глупа и не правильна в корне.
Институт и школа приучают решать кучу однотипных примеров на одни и те же темы. В школе вначале решается куча уравнений, потом куча неравенств, потом куча систем уравнений. В институте вначале куча пределов, потом куча производных, потом куча интегралов, потом куча дифуров. Причем чем больше и сложнее задачи, тем лучше, как считается, учат. Надо быть очень глупым человеком, чтобы правда верить в то, что это зачем-то может вообще пригодиться.
Задачи имеет смысл решать преследуя лишь одну цель: чтобы лучше понять материал. В этом плане вам могут пригодиться либо совсем простые задачи на несколько минут раздумий, которые помогают, если вы начинаете путаться в материале и теряете нить рассуждений, либо же сложные задачи, которые займут у вас уйму времени и вы вообще не факт что с ними справитесь, однако во время раздумий над задачей вы выполните определенное самостоятельное исследование темы. Даже если вы ничего нового в ходе этого не узнаете, вы пощупаете материал и уже будете в нем увереннее себя чувствовать.
Вообще в задачах не важно смогли вы ее решить или не смогли — важно лишь то, вынесли вы из процесса решения что-либо или нет. Ситуация, когда задачи решаются на время у доски под надзором учителя или в листке с контрольной работой призваны лишь проконтролировать, что ученик выполнил приказ учительницы и зазубрил нужную формулу. Есть определенный статистический интерес в контрольных с простыми быстрыми вопросами, чтобы учитель понимал догоняет ли вообще класс в целом что происходит на доске и какие темы требуют дополнительной проработки, но это именно статистическая мера, а не оценка понимая конкретного студента. О понимании конкретным студентом материала тут речи идти не может вообще никакой.
Часто учителя на этот аргумент возражают, что, мол, у доски отрабатываются основные техники решения. Однако и это является не правдой: никаких основных техник решения задач не существует. Посмотрите на доказательства теорем — в них нет ничего общего с теми тысячами однотипных задач нарешиваемых у доски. Если вы посмотрите в какие-то прикладные области науки, то убедитесь, что вообще все задачи даже на те же пределы или интегралы, которые в принципе способны попасться на практике, либо решаются совсем тривиально, либо наоборот очень сложно с помощью какого-либо хитрого трюка, который все равно в институте не изучался, либо вообще не решаются напрямую и там требуются численные решения.
Мой личный подход к задачам — не решать их вообще. Я за них берусь лишь когда чувствую, что начинаю плавать в изучаемом, и тогда прорешиваю простые задачки. Вместо же сложных задач я пытаюсь самостоятельно доказывать теоремы (прежде чем я читаю доказательство, я пытаюсь придумать его сам). Сложные задачи иногда я тоже решаю, но я их как правило сам себе ставлю, те же задачи, что ставит мне кто-то в учебнике у меня обычно нет мотивации решать, хотя это зависит от темы и от учебника.
Человеку, изучающему математику, есть смысл следовать именно этому принципу: решать лишь несколько задач на каждую тему и стараться во время решения оценить насколько вы понимаете саму тему, а не ориентироваться на вашу способность или неспособность решать задачу. Это важно так же и поскольку разные учебные пособия подразумевают совершенно разный уровень подготовки по смежным дисциплинам и различное планируемое время, которое требуется затратить на решение. Если у вас не получается решать задачи, то скорее всего это от того, что составитель учебника лично на вас не ориентировался, а не потому что вы тупой. Аналогично если вы легко решаете задачи, то скорее всего вы и не выносите из решения ничего для себя, и это так же плохо подобранный материал.
Доказательства
К доказательствам отношение в школе и в институте так же формируется некорректное. Надо понимать три вещи:
1) Целью доказательства является логически корректное убеждение спорящего оппонента, а не достоверное установление истины.
2) Достоверно корректных доказательств вообще почти не существует.
3) Доказательств каждого отдельного факта чаще всего существует довольно много и нет никакого единого доказательства, которое надо знать.
Я поясню что я имею ввиду.
Во-первых, вы должны знать, что вы скорее всего не видели ни одного действительно полноценного и строгого доказательства в своей жизни (это не относится к математикам-теоретикам и логикам). Большая часть доказательств в математике в том виде, как она представлена в учебниках, совершенно не формальна и содержит огромное количество дырок, и это не недостаток учебников, а суть нашего мышления.
Возьмём аксиомы Евклида и его книгу «Начала». Как я уже упоминал, в ней первая же теорема доказана некорректно. Некорректность заключается в том, что Евклид полагал очевидным тот факт, что две достаточно близко располагающиеся друг к другу окружности обязательно пересекутся (в его случае когда радиус равен расстоянию между центрами окружностей). Это действительно кажется очевидным, но, оказывается, из аксиом Евклида это невозможно доказать, и причина кроется в том, что его аксиомы не раскрывают сути непрерывности линии — вполне может быть, что окружности содержат большое количество «щелей», говоря неформально, в своей внутренней структуре, и если пересечение придется на такие «щели», то никакого пересечения по сути и не будет — у окружностей не найдется в этом случае общих точек.
Это очень тонкий момент, но для полноты строгости его необходимо рассматривать. Это приводит к тому, что вместо пяти аксиом Евклида приходится рассматривать двадцать аксиом Гильберта, которые закрывают дырки Евклидовой геометрии. Но возникает резонный вопрос: а нужна ли нам вообще такая строгость? Что реально получает студент-инженер или школьник, рассматривая вместо пяти аксиом двадцать аксиом? Ведь скорее всего эти щели в окружностях ему будут совершенно непонятны и будут казаться надуманными — чтобы вполне осознать их возможность, надо предварительно изучить понятие полноты метрических пространств, а это уже довольно продвинутый теоретический материал. Изучение же метрических пространств без предварительной геометрической интуиции так же будет бессмысленным.
Здесь как раз возникает вопрос убедительности. Аксиомы Евклида были сформулированы в третьем веке до нашей эры, а их неполнота стала понятна лишь во второй половине XIX-го века. Во весь этот промежуток времени ни у кого не было никаких сомнений в верности доказательств Евклида. В школе до сих пор используются аксиомы и доказательства Евклида — они некорректны, что очевидно любому математику, но они в то же время убедительны, и никого в школе они не смущают. Но тогда возникает вопрос, стоит ли тратить время вообще на эту формулировку неполноценных аксиом и неполноценные доказательства? Так факт, что вертикальные углы равны между собой очевиден на глаз, и никакой школьник никогда не поймёт зачем это надо доказывать. Так не логично ли выкинуть это доказательство вообще из курса школьной геометрии, наряду с другими? Моя программа по геометрии, данная выше, как раз предполагает именно подход доказательств, беря за основу не аксиомы и строгие выводы, а очевидные соображения.
Аналогичная ситуация наблюдается в матанализе. Исторически производные, пределы, интегралы и ряды появились гораздо раньше, нежели они были формально обоснованы с точки зрения эпсилон-дельта формализма. Такой выдающийся математик как Эйлер доказал огромное количество теорем, но за эти доказательства в современном российском ВУЗе ему поставили бы твёрдый кол: Эйлер просто не знал о том, что надо еще доказывать всякие там сходимости, произнося слова типа «для любого эпсилон больше нуля, существует такое эн, что…» Тем не менее, доказательства Эйлера казались совершенно строгими и убедительными его современникам — в то время никто не занимался поиском контрпримеров и тонким анализом сходимости.
Что здесь важно заметить: при всей нестрогости доказательств Эйлера, результаты, которые он получил (даже самые невероятные), оказались верны. Почему так произошло? Как я уже упоминал выше, вам очень маловероятно что попадутся примеры функций, обладающих какими-то неприятными свойствами, а если они и будут, то эти неприятные свойства чаще всего будут совершенно очевидны. Чтобы сконструировать какой-то контрпример, в котором будет важно тонко анализировать свойства сходимости, надо очень здорово попотеть. Посмотрите, к примеру, книгу Гелбаума и Олмстеда «Контрпримеры в анализе». Вы очень быстро поймёте, что такие функции вам никогда не понадобятся на практике.
На самом деле даже при всем желании провести корректное полноценное доказательство и построение математики, вам этого не удастся. Институтский эпсилон-формализм преподаватели обычно позиционируют как полноценное доказательство, хотя на самом деле это очень далеко от истины: студентам инженерных специальностей не доказывают, что вещественная прямая полна, а стало быть может случиться такое, что последовательность хоть и сходится по признаку Коши (является фундаментальной), но не имеет предела, ведь вещественные числа как пополнение рациональных на инженерных специальностях не вводятся — вещественные числа подразумеваются там чем-то очевидным, хотя это далеко не так.
Даже если определить вещественные числа как пополнение рациональной прямой, остаётся вопрос как ввести рациональные числа. Положим, с ними проблемы большой нет, в предположении того, что мы владеем теорией натуральных чисел. А как определить натуральное число? Очень непонятный и неочевидный (без дополнительной подготовки и подробного изучения вопроса) способ предоставляет теория множеств, которую лишь на базовом уровне преподают лишь на некоторых специальностях.
Тут возникает проблема аксиоматизации теории множеств, поскольку наивные представления о множествах тут же приводят к чудовищным противоречиями. Возникает потребность в строгой аксиоматике на языке формальной логики. Здесь уже сразу возникает вопрос о том, что аксиоматизаций теории множеств существует много разных и хорошо бы обсудить со студентами их различия, а так же следующие из некоторых из них парадоксы. Но даже если рассматривать лишь одну какую-нибудь аксиоматику, возникает вопрос строгого обоснования используемой логики, на которой мы формулируем аксиомы. Логических парадоксов ведь тоже довольно много, да и самих разновидностей логики существует изрядное количество: какое-то время назад многие математики активно выступали против классической логики в пользу интуиционистской, но даже в рамках привычной всем логики возникают вопросы использования логики более высокого порядка нежели первого, или необходимости рассматривать модальную логику, или же нашей правомочности в принципе рассматривать объекты бесконечной природы. Во Вселенной ведь судя по всему лишь конечное число частиц, так имеем ли мы право мыслить о всяких там континуумах и счетных множествах в математических рассуждениях? Не является ли это всё одним большим заблуждением? Эти вопросы не стоят сейчас на полном серьезе в математике, но тем не менее они показывают, что корректность математического доказательства — вещь очень относительная.
Конечно, какого-то уровня строгости рассуждения надо придерживаться, но непонятно кто имеет эксклюзивное право устанавливать эту границу формальности, которой должен следовать учащийся. Кто вообще придумал, что ровно эпсилон-формализм (или любой другой) является необходимым формализмом для любого студента? Почему в институте не принимают графические «доказательства», но принимают рассуждения никак не обозначающие свойства полноты вещественной оси и измеримости множеств, как данное?
Способен ли этот формализм, преподающийся на инженерных специальностях, убедить глубоко мыслящего, понимающего и дотошного человека? Очевидно, нет. Делает ли этот формализм материал проще и интуитивнее? Тоже, очевидно, нет. Является ли сам этот подход широко применимым и полезным? Да он вообще устарел, чрезвычайно сложен и громоздок. Сам Коши, используя эпсилоны и дельты, очень часто лепил ошибки и после публикации какой-нибудь «теоремы», тут же выпускал вторую публикацию вдогонку в духе «ой, извините, я ошибся, на самом деле там вот так должно быть». В современной математике этот формализм заменен более общими и простыми концепциями. Так логично ли требовать от студентов знать и изучать это? Существует ли вообще какой-либо формализм и доказательства, которые необходимо знать?
Поэтому я и утверждаю, что цель доказательства — убедить. В научном сообществе задачей является убеждение рецензентов. Это довольно хороший подход: если большое количество профессионалов за какое-то время, подробно изучая ваше рассуждение, не нашло в нем никаких недочетов и контрпримеров, мы можем утверждать, что это доказательство, видимо, хорошее. С точки зрения абсолютности философской истины это конечно же не так, но для научной практики этого достаточно.
Для студента задачей доказательства так же является убеждение, но в данном случае уже самого себя. Когда вы убедили себя в верности какого-либо утверждения и оно не вызывает у вас сомнений, вы можете считать, что вы это понимаете. Только когда у вас нет сомнений в истинности теоремы, вы можете её смело применять.
Предположим, вы начали изучать натуральные числа и хотите понять, почему $latex xy=yx$. Предположим, что вы перебрали очень много пар чисел (скажем, сто разных пар), и убедились, что во всех этих случаях данное свойство выполняется. Допустим, вы сочли, что этот перебор является замечательным доказательством требуемого утверждения, настолько замечательным, что вы сами вполне убеждены в верности теоремы и не мыслите себе иного. Учитель в институте скажет вам на такое доказательство, что вы идиот и отправит служить в армию. Я же вам скажу, что вы молодец, вы действительно доказали этот факт для себя и можете переходить к следующей теме. Через какое-то время, может быть при изучении графиков функций, может быть при изучении производных, вы всё же поймёте, что ваше доказательство никуда не годится — тогда вы вернетесь в самое начало и докажете это же самое свойство чисел уже по-другому. И будет наивно думать, что это станет окончательным вашим доказательством.
Идеальная ситуация — это когда у вас есть учитель, который показывает вам в чем ваше доказательство не верно. Если вы считаете какой-то шаг очевидным, учитель должен вам показать ситуацию, в которой такой шаг является явно некорректным. В некоторых книжках для некоторых доказательств отдельно рассматриваются тонкие моменты самих доказательств, но это лишь частные случаи. По большому счету у самоучки нет никакого способа достоверно проверить является ли его понимание доказательства полноценным или нет — единственный критерием здесь является лишь ваша личная убежденность в правильности доказанного утверждения. Чаще всего и у студента технического ВУЗа тоже нет такого учителя, который способен показать неверность доказательства — там требуется лишь ответ в соответствии с программой и не более того. Понимания от вас не требуют, дать вам это понимание там никто не способен.
Сказанное имеет важное методическое следствие. Во-первых, вы должны принять за правило не изучать строгие формальные доказательства на более глубоком уровне, чем это требуется лично вам. Если вам очевидно, что $latex xy=yx$ из геометрических построений, не стоит лезть в теорию множеств. Если вам очевидно, что предел суммы равен сумме пределов, потому что это довольно логично (если $latex x_n$ приближается к $latex a$, а $latex y_n$ приближается к $latex b$, то было бы странно, если бы $latex x_n+y_n$ приближался к чему-то иному, нежели к $latex a+b$), то наплюйте на строгое доказательство. Именно сам эпсилон-формализм вам нигде кроме этого и парочки подобных очевидных доказательств не пригодится. Так не тратьте время.
Второй методический момент связан с тем, как вообще человек мыслит при доказательстве чего-либо. Я очень сильно сомневаюсь, что какой-либо математик начиная думать о теореме, начинает с того, что произносит в голове фразу: «Пусть функция f равномерно непрерывна на замкнутом интервале $latex [a;b]$ и дифференцируема по крайней мере десять раз в некоторых окресностях точек x, y и z; выберем для каждой из этих точек такое положительное эпсилон и натуральное эн-большое, что…». Люди просто не умеют так думать, хотя это именно то, что требуют отвечать в институте.
Можно рассмотреть набросок доказательства основной теоремы алгебры, который я привёл выше. Данное «доказательство» совершенно неформально и не строго, но это хорошая идея, которая подсказывает, каким путем идти дальше. Попытки формализовать это доказательство и заполнить пробелы, которые имеются, приводят уже к доказательству в том виде, как оно публикуется в учебниках и научных статьях. Со всякими эпсилонами и эн-большими. Но изучать математику именно в таком формализованном виде, не пытаясь обратить внимания на неформальную интуицию, скрывающуюся за определениями — не правильно. Первоначальна в рассуждениях почти всегда интуиция и неформальные построения, а лишь затем добавляется строгость.
Таким образом получается, что ваша личная интерпретация доказательства, пусть даже и неформальная и где-то что-то упускающая, оказывается гораздо более ценна, нежели целиком точное и формальное изложение. Гораздо ценнее, если вы понимаете интуитивно теорему, нежели чем если вы зазубрили доказательство и умеете его выдать у доски. Формальное же доказательство в учебнике дается не для того, чтобы вы разобрались именно в нем и знали именно его в том виде как оно дано, а для того, чтобы подсказать вам идею, которая стоит за утверждением и объяснить почему теорема имеет вообще место быть.
Через какое-то время самостоятельного изучения математики вы научитесь читать формальные выкладки очень быстро и бегло, и на лету выхватывать стоящую за ними идею. Понимание необходимости таких выкладок по идее должно придти при рассмотрении более-менее продвинутых тем вещественного и комплексного анализа, где появляется уже много совершенно не очевидных теорем, далеко не каждая их которых имеет хоть какую-то интуитивную трактовку. Набивание руки на изучении таких доказательств приучит вас легко их интерпретировать. Поэтому если на начальном этапе вам вдруг покажется, что какой-то факт и так понятен и не требует доказательства — пропускайте это доказательство. Если вы видите очевидное рассуждение, устанавливающее справедливость какой-то формулы, и не понимаете зачем в учебнике даны тонны непонятных выкладок — ориентируйтесь на своё рассуждение и плюйте на выкладки в учебнике.
Ваша личная интерпретация и понимание математики на порядок важнее того, что вам навязывают.
Помочь в развитии навыков доказательства могут два таких совета:
1) Иногда, не слишком часто, внимательно просматривайте все условия теоремы, и по каждому из условий задайте сами себе вопрос: «Где используется это условие? Что было бы, если бы это условие не присутствовало, каким именно образом доказательство развалилось бы?» Такие размышления со временем научат вас строгому мышлению и понимаю математического формализма.
2) Для каждой теоремы с не очень простым доказательством, спрашивайте сами себя: «Каким именно образом автор доказательства до него додумался? Какая у него была первоначальная неформальная идея?» Это научит вас понимать интуицию, которая кроется за формальными выкладками.
Последовательность изучения
Еще она важная ошибка современного образования заключается в попытке излагать материал последовательно и аксиоматично. Вначале без какой-либо мотивации вас пичкают анализом, затем, лишь через пару-тройку лет, когда вы всё забудете, вы вдруг обнаруживаете, что оказывается дифференциалы действительно нужны в методах оптимизации, которые правда сами не понятно где используются (не все же диеты для американской армии составлять).
В идеале прежде чем браться за изучение какого-то материала, вам нужно увидеть проблему, которую вам интересно решать. Это даёт мотивацию и понимание чего вы собираетесь получить от изучаемой дисциплины.
У разных людей мотивация может быть различной. Теоретику может оказаться интересно разрешить противоречия и неполноту доказательств в какой-то теории, либо же просто попробовать построить какие-то рассуждения в каких-то нестандартных условиях, и тогда он станет читать про теорию множеств и формальную логику. Финансист, попытавшись анализировать цены на рынке, неминуемо придет к необходимости изучать стохастические процессы и необходимые для них области математики. Программист, изучающий алгоритмы, может заинтересоваться комбинаторикой и теорией вероятностей.
В институтах почти никогда такой мотивации не дают. Можно услышать общие фразы типа «это имеет широчайшие применения в различных отраслях народного хозяйства и при анализе финансовых рынков», но это бессмысленный набор слов. Чтобы у вас была реальная мотивация и понимание того, что вы изучаете, вы должны на конкретном примере знать где изучаемая вами теория пригодится, в каких конкретных задачах.
У совсем начальных областей математики, программу по которым я набросал выше, есть лишь одна мотивация для изучения — использование этих материалов далее в каких-то областях уже более продвинутых или прикладных, но именно в рамках самой математики. На практике все перечисленные мной выше вещи действительно чаще всего не встречаются (кроме натуральных чисел при подсчете сдачи в магазине), но они необходимы как строительные кирпичики для других областей науки. Например, ни формулировка, ни ответ дифференциального уравнения не содержит никаких комплексных чисел, но без них невозможно развить и понять теорию. Ни формулировка, ни ответ задачи линейного программирования не содержит упоминания многомерной геометрии, но без нее невозможно понять симплекс-метода, используемого для решения этой задачи.
Поэтому довольно полезным может оказаться вначале беглый поверхностный просмотр сразу многих учебников и как можно более частое забегание вперед. Возьмите за правило читать параллельно много книг, ставя критерием на начальном этапе скорость прочтения. Если вы вдруг не понимаете какую-то теорему, то у вас есть два пути: либо засесть с ней на пару недель и не факт, что корректно её истрактовать в итоге, либо пропустить её и изучать этот или другой материал дальше. Последний подход намного лучше, так как в девяти из десяти случаев окажется, что либо вам просто попался учебник с не самой удачной формулировкой или доказательством (даже если автор — очень крутой мужик, он мог запросто написать что-то неудачно), либо вам эта теорема не нужна вовсе, либо ваша трудность возникла из-за того, что вы не видите её применения, либо учебник ориентирован на людей с другим уровнем либо другими целями. Часто абстрактная формулировка не даёт вычленить в теореме важность её как инструмента — именно поэтому забегание вперед и пропуск непонятного часто оказывается очень плодотворным, поскольку вы сможете увидеть, где именно и как эта теорема найдет своё применение.
Правда, с забеганием вперед и поверхностным знакомством надо тоже знать меру. Вы все же должны понимать, что вы читаете, и поддерживать в голове баланс из общих знаний что откуда берется и строгих доказательств. Я насмотрелся в своей жизни на кучу финансовых аналитиков, портфельных и риск менеджеров и подобных, которые умеют очень долго вести разговор на математическую тему, сыпать терминами и фамилиями, они знают названия кучи теорем, областей математики и что откуда берется, но при малейшей попытке как-то конкретизировать разговор, выясняется, что они вообще не понимают даже в общих чертах о чем они балаболят. Такому, как я понимаю, учат в разных там экономических ВУЗах. Это стыдно.
Что касается самого материала, то тоже нужно понимать, что в общем-то что действительно важно и нужно тоже нет никакой достоверности. Инженеры будут вас уверять, что обязательно надо изучать интеграл Римана со всеми строгими выкладками и читать про равномерную сходимость, однако студенты и преподаватели НМУ вам расскажут о том, что интеграл Римана не нужен, а нужен интеграл Лебега, а вместо равномерной сходимости надо изучать банаховы пространства в самом общем виде. Правильный ответ как учить скорее всего может дать лишь каждый отдельно взятый учащийся, и этот ответ будет правильным исключительно для него, в зависимости от его личных целей и того, как ему проще понимать материал. При всей абсурдности такого курса как «аналитическая геометрия» в институтах, если вам просто надо быстро понять свойства эллипса для прикладной цели, то вероятно будет эффективнее действительно почитать книгу по «аналитической геометрии», а не копаться в свойствах квадрик, хотя конечно последнее даст вам куда лучшее понимание вопроса.
То же самое касается и учебников и самого набора тем для изучения. Приведенный мной выше набросок того что надо изучать сам по себе весьма относителен. 99% инженеров живут не зная ни мультиномиального коэффициента, ни производящих функций, ни даже теоремы Евклида. Им это не не мешает изучать свою область, хотя я считаю, что эти темы были бы пусть даже и не полезны непосредственно всем, но интересны. Но вероятно в их ситуации действительно полезнее читать о чем-то другом. Мой набросок, к примеру, лишь поверхностно рассматривает геометрию Евклида на плоскости, рассчитывая на то, что поняв основы алгебры и анализа, школьные теоремы читатель сможет выводить сам, и совсем не рассматривает проективную или риманову геометрии, которые так же могут быть крайне полезны прикладникам, но лишь в частных случаях. Возможно, что многим прикладникам придутся более по душе простые книжки по проективным плоскостям и геометрии на сфере, а не абстрактные конструкции через векторные пространства и многообразия, и такой подход может оказаться продуктивнее, если вас интересуют только несколько основных результатов.
На этом я закончу. Меня только что (несколько минут назад) бросила девушка и я не могу собраться с мыслями, чтобы как-то осмысленно подвести черту под этим текстом.