Текст
                    Кемеровский государственный университет
Кафедра математического анализа
Н. А. Чуешева
(методическое пособие)
Кемерово 2002


2 Содержание Введение § 1. Аналогия § 2. Равенства § 3. Раскраска карт § 4. Неравенства § 5. Гипотеза и её доказательство § 6. Треугольник Паскаля § 7. Формула бинома Ньютона § 8. Делимость натуральных чисел § 9. Различные задачи §10. Примеры для самостоятельного решения Литература
3 Введение. Методическое пособие предназначено для школьников, желающих углубить и расширить свои знания по математике перед вступительными экзаменами в высшее учебное заведение. Оно может оказаться полезным для учителей средней школы, для студентов первого курса очного и заочного отделений математического и физического факультетов университетов и пединститутов, для лиц самостоятельно изучающих метод математической индукции. В школах без углубленного изучения математики этот метод не входит в школьную программу. Однако на вступительных экзаменах в ведущие вузы страны попадаются задачи, при решении которых нужен метод математической индукции. В данном методическом пособии приведены подробные решения задач, которые предлагались на вступительных экзаменах в вузы, в заочных физ. мат. школах, на школьных олимпиадах, на занятиях по математическому анализу в университетах. В университете на этот метод отводится всего одно занятие. Конечно, этого не достаточно. Однако при доказательстве многих теорем в математическом анализе на первом курсе в университете используется метод математической индукции. И студентам, у которых в школе не было факультативного курса по этому методу, приходится изучать его самостоятельно. Обозначения. N множество натуральных чисел.  каждый или любой.  принадлежит.  следует.  сумма.  равносильно. N n  для любого натурального n.
4 § 1. Аналогия Сначала разберемся в том, что такое аналогия. Символом аналогия у древних греков первоначально обозначалась пропорция чисел. Например, 10  5 =14  7 . Позднее слово аналогия распространилось и на фигуры, и явления и прочее и прочее. Рассмотрим пример. Даны четыре фигуры а) б) в) г) требуется найти пары аналогичных фигур. Возникает вопрос, по каким признакам подбирать эти пары? Эту задачу поставили перед вычислительной машиной. Она сопоставила рисунки и выдала следующий результат: нарисовала на листе бумаги это и написала равенство AB=ab. Аналогия здесь осуществляется по формуле: объемлющая фигура в A(a) относится к тому же виду, что и объемлющая фигура в B(b). Однако не столь просты по составу умозаключения, возникающие в человеческом мозгу. А в настоящее время аналогия обслуживает буквально все науки. Химия. Д. И. Менделеев открыл периодическую систему элементов и предсказал свойства новых элементов по аналогии. Биология. Чарльз Дарвин ввел в употребление понятие “естественный отбор” исходя из аналогичного явления – искусственного отбора.
5 Физика. Закономерность распространения звука в воздухе была установлена на основе сравнения этого явления с распространением волн на поверхности воды. Геология. До открытия алмазных месторождений в Якутии было известно, что геологическая структура Южно - Африканского плоскогорья имеет много общего с геологической структурой Восточно-Сибирской платформы. Случайно в устье одной из рек Якутии обнаружили голубоватый минерал, который находили в алмазных жилах Южной Африки. После этого начали искать в Якутии алмазы. И действительно их там нашли, а позднее наладили добычу алмазов. Но в то же время в математике есть немало примеров, когда некоторые предположения, прошедшие “конечную” проверку, впоследствии оказались неверными. В 1640 году родился один из крупнейших математиков Пьер Ферма. В одном из своих писем П. Ферма писал: “ Можно было бы предложить такой вопрос и взять такое правило для его решения, которое подходило бы для многих частных случаев, и все же было бы на самом деле ложным и не всеобщим ”. Таких примеров “ложных” доказательств немало в истории математики. Любопытно отметить, что один из таких примеров относится к самому П. Ферма. Он предположил, что все натуральные числа вида 1 22   n n f являются простыми после того, как проверил этот факт при n = 0, 1, 2, 3, 4. Но в 1732 году Л. Эйлер опроверг предположение П. Ферма. Для этого он доказал, что число 1 2 52 5   f делится на 641. Почему же ошибся П. Ферма? Ошибка его заключалась в том, что он вычислил несколько частных значений 1 22   n n f (это частные утверждения) и
6 сделал общий вывод, что значения 1 22   n n f при любом натуральном числе n являются простыми числами. Л. Эйлер подверг испытанию трёхчлен 41 )(2    n n n f . Этот трёхчлен давал простые числа при всех значениях n от 1 до 39. Но при n = 40 формула 41 )(2   n n n f уже даёт составное число: 2 2 41 1681 41 40 40 )40 (      f . Г. В. Лейбниц думал, что n n k  1 2 делится на 2 k + 1, проверив это при k=1,2,3.Ноприk=4этоуженетак. Новый пример может быть более убедительным, чем три предшествующих. Дано число вида N n n n f    , 1 991 )( 2 . Подставляя вместо n числа натурального ряда, начиная с 1, мы не получим числа, которое является квадратом какого-либо другого числа даже, если посвятим этим вычислениям много лет. Только лишь при n = 12 055 735 790 331 359 447 442 538 767 число 1 991 )( 2   n n f будет полным квадратом. Л. Эйлер был прав – простая индукция может привести к ошибке. Отсюда следует, что в математике, когда высказывание делается о бесконечной совокупности, проверка любого конечного набора случаев не может заменить доказательства. Дедукция и индукция Таким образом, нужно уметь различать два понятия: 1) частное утверждение; 2) общее утверждение. Пример. Какое из следующих утверждений частное, а какое общее: 1) Числа, оканчивающиеся нулем, делятся на 5? 2) 140 делится на 5?
7 Переход от общих утверждений к частным называется дедукцией. Пример. Так как числа, оканчивающиеся нулем, делятся на 5, то число 140 делится на 5. Переход от частных утверждений к общим называется индукцией. Индукция может привести как к верным, так и к неверным результатам. Интересно, а что использовал П. Ферма: дедукцию или индукцию? Индукция широко применяется в математике, но применять ее надо правильно. Утверждение: Трехзначные числа 140, 150, 250 делятся на 5. Вывод: 1) все числа, заканчивающиеся нулем, делятся на 5 (верный), 2) все трехзначные числа делятся на 5 (неверный). Возникают вопросы. Как в математике пользоваться индукцией, чтобы получать только верные выводы? Какими способами осуществлять проверку бесконечного числа случаев? Такой способ предложили Б. Паскаль и Я. Бернулли. Теперь он носит название метода математической индукции. Принципом математической индукции фактически пользовались еще некоторые древнегреческие ученые. Однако впервые этот метод был явно выражен Герсонидом в 1321 год. И до второй половины 19 века этот метод был основным методом доказательства. Со второй половины 19 века после трудов О. Больцано, О.Л . Коши, К. Ф. Гаусса, Н.Х. Абеля чисто индуктивные методы доказательства теряют значение в математике. Метод математической индукции поясним на примере. Дано. На книжной полке стоят книги: 1) самая левая из них - в красном переплете. 2) Правее каждой книги в красном переплете стоит книга в красном переплете. Вывод. Все книги, стоящие на полке, будут в красном переплете. Очевидно, что вывод “на полке все книги - в красном переплете ” верный. Но, если известно только, что самая левая книга в красном
8 переплете, то этого не достаточно, чтобы сделать вывод: “на полке все книги в красном переплете”. Не достаточно для сделанного вывода и того, что правее каждой книги в красном переплете стоит книга в красном переплете (так как первая слева книга может быть, например, в зеленом переплете). Поэтому, чтобы вывод был верным, нужно выполнение обоих условий. Откроем математическую энциклопедию на странице 563 [5]. Прочитаем, что Математическая индукция – метод доказательства математических утверждений, основанный на принципе математической индукции: утверждение )(x A , зависящее от натурального параметра x, считается доказанным, если доказано A (1) и для любого натурального n из предположения, что верно A (n), выведено, что верно также A (n+1). Доказательство утверждения A (1) составляет первый шаг (или базис) индукции, а доказательство A (n+1) в предположении, что верно A (n), называется индукционным переходом. При этом x называется параметром индукции, а предположение A (n) при доказательстве A (n+1) называется индуктивным предположением. Иначе, метод математической индукции состоит в следующем: Если имеется последовательность утверждений, из которых первое утверждение верно и за каждым верным утверждением следует верное, то все утверждения в последовательности верны. Таким образом, доказательство при помощи метода математической индукции состоит из доказательства двух теорем. Теорема 1. Утверждение верно при n = 1. Теорема 2. Пусть утверждение верно для какого - либо произвольного натурального n = k. Тогда утверждение будет справедливо для следующего натурального числа n = k + 1.
9 Если обе эти теоремы доказаны, то на основании принципа математической индукции заключаем, что утверждение верно для любого натурального n. Замечание. Часто приходится доказывать по индукции утверждение, справедливое не для всех натуральных n, а для n больших или равных m > 1. В этом случае доказательство проводится так. Теорема 1. Утверждение верно при n = m. Теорема 2. Дано, что утверждение верно при n = k, k  m. Нужно доказать, чтооновернопри n=k+1.
10 § 2. Равенства. Пример 2.1. Доказать равенство N n n n n        , 2 )1 ( ... 2 1 . (2.1) Решение. Обозначим через n Sn     ... 2 1 . Теорема 1. При n = 1 имеем S1 = 1. Подставим n = 1 в правую часть равенства (2.1): 1 2 )1 1(1   . Получили, что при n = 1, левая и правая части равенства (2.1) равны 1. Теорема 1 доказана. Теорема 2. Пусть дано, что равенство (2.1) выполняется при n = k: 2 )1 ( ... 2 1       k k k Sk . Н ужно доказать, что верно равенство (2.1) приn=k: 2 )2 ()1 ( )1 ( ... 2 1 1           k k k k Sk . Действительно: 2 )2 ()1 ( )1 ( 2 )1 ( )1 ( ... 2 1 1                k k k k k k k S kS k      . Теорема 2 доказана. Из доказанной теоремы 1 и теоремы 2 следует, что равенство (2.1) выполняется для любого натурального n. Пример 2.2. Доказать, что сумма квадратов n первых чисел натурального ряда равна 6 )1 2()1 (   n n n для любого натурального n. Доказательство. Нужно доказать равенство N n n n n n Sn          , 6 )1 2()1 ( ... 2 1 2 2 2 . (2.2) Теорема 1. Проверим выполнение равенства (2.2) при n = 1: Для левой части (2.2) имеем: 1 12 ; Для правой части (2.2) имеем: 1 6 )1 1 2()1 1(1     .
11 Так как левая и правая части равенства (2.2) равны, то теорема 1 доказана. Теорема 2. Пусть дано, что равенство (2.2) выполняется при n = k: 6 )1 2()1 ( ... 2 1 2 2 2        k k k k Sk . Нужно доказать, что оно выполняется при n = k +1: 6 )3 2()2 ()1 ( 2)1 ( 2 ... 2 2 21 1            k k k k k kS . Действительно:               2)1 ( 6 )1 2()1 ( 2)1 ( 2 ... 22 21 1 k k k k k k S k kS                    6 6 7 2 )1 ( 6 )1 (6 )1 2( )1 ( 2 k k k k k k k 0 6 7 22   k k ; 4 1 7 4 48 49 7 2,1        k ; 2 3 , 22 1     k k . 6 )3 2()2 ()1 ( 6 2 3 )2 (2)1 (               k k k k k k . Теорема 2 доказана. Из доказанной теоремы 1 и теоремы 2 следует, что равенство (2.2) выполняется для любого натурального n. Пример 2.3. Доказать, что сумма квадратов (2 n – 1) первых нечётных чисел натурального ряда равна 3 )1 2()1 2(   n n n для любого натурального n. Доказательство. Нужно доказать равенство N n n n n n Sn            , 3 )1 2()1 2( )1 2( ... 5 3 1 2 2 2 2 . (2.3)
12 Теорема 1 Проверим выполнение равенства (2.3) при n = 1: Для левой части (2.3) имеем: 1 12 ; Для правой части (2.3) имеем: 1 3 )1 1 2()1 1 2(1      . Так как левая и правая части равенства (2.3) равны, то теорема 1 доказана. Теорема 2. Пусть дано, что равенство (2.3) выполняется при n = k: 3 )1 2()1 2( )1 2( ... 5 3 1 2 2 2 2          k k k k Sk . Нужно доказать, что оно выполняется при n = k +1: 3 )3 2()1 2()1 ( )1 2( )1 2( ... 5 3 1 2 2 2 2 2 1              k k k k k Sk . Действительно:            2 2 2 2 2 )1 2( )1 2( ... 5 3 1 1 k kS k kS                               3 3 5 2 )1 2( )1 2( 3 )1 2()1 2( 2 2 k k k k k k k 3 )3 2()1 2()1 (     k k k . Теорема 2 доказана. Из доказанной теоремы 1 и теоремы 2 следует, что равенство (2.3) выполняется для любого натурального n. Пример 2.4. Доказать, что сумма пятых степеней n первых чисел натурального ряда равна 12 )1 2 2( )1 ( 2 2 2    n n n n . Доказательство. Нужно доказать равенство N n n n n n n Sn            , 12 )1 2 2( )1 ( ... 3 2 1 2 2 2 5 5 5 5 . (2.4) Теорема 1. Проверим выполнение равенства (2.4) при n = 1: Для левой части (2.4) имеем: 1 15 ;
13 Для правой части (2.4) имеем: 1 12 )1 1 2 1 2( )1 1( 1 2 2 2       . Так как левая и правая части равенства (2.4) равны, то теорема 1 доказана. Теорема 2. Пусть дано, что равенство (2.4) выполняется при n = k: 12 )1 2 2( )1 ( ... 3 2 1 2 2 2 5 5 5 5          k k k k k Sk . Нужно доказать, что оно выполняется при n = k +1: 12 )1 )1 (2 )1 (2( )2 ( )1 ( )1 ( ... 3 2 1 2 2 2 5 5 5 5 1               k k k k k Sk . Действительно:                 5 2 2 2 5 5 5 5 5 )1 ( 12 )1 2 2( )1 ( )1 ( ... 3 2 1 1 k k k k k k kS k kS                   12 36 35 14 2 12 )1 ( 2 3 4 2 k k k k k Разделим многочлен четвёртой степени 12 36 35 14 2 2 3 4     k k k k на многочлен второй степени 4 4 )2 ( 2 2     k k k 12 36 35 14 2 2 3 4     k k k k 4 4 2  k k 2 3 4 8 8 2 k k k   3 6 22  k k 12 36 27 6 2 3    k k k k k k 24 24 6 2 3   12 12 32  k k
14 12 12 32  k k 0        3 6 2 )2 ( 12 )1 ( 2 2 2 k k k k            3 )1 1 (6 )1 1 (2 )2 ( 12 )1 ( 2 2 2 k k k k  1 )1 (2 )1 (2 )2 ( 12 )1 ( 2 2 2        k k k k . Теорема 2 доказана. Из доказанной теоремы 1 и теоремы 2 следует, что равенство (2.4) выполняется для любого натурального n. Пример 2.5. Доказать равенство для любого натурального n )3 ()2 ()1 ( 4 1 )2 ()1 ( ... 4 3 2 3 2 1                n n n n n n n . (2.5) Решение. Обозначим через )2 ()1 ( ... 4 3 2 3 2 1             n n n Sn . Теорема 1. При n = 1 имеем 3 2 1 1    S . Подставим n = 1 в правую часть равенства (2.5): 3 2 1 )3 1( )2 1( )1 1( 1 4 1          . Получили, что при n = 1 левая и правая части равенства (2.5) равны. Теорема 1 доказана. Теорема 2. Пусть дано, что равенство (2.5) выполняется при n = k: )3 ()2 ()1 ( 4 1 )2 ()1 ( ... 4 3 2 3 2 1                    k k k k k k k Sk . Н ужно доказать, что верно равенство )4 )(3 )(2 )(1 ( 4 1 )3 )(2 )(1 ( ... 4 3 2 3 2 1 1                  k k k k k k k Sk . Действительно:                      )3 ()2 ()1 ( )2 ()1 ( ... 4 3 2 3 2 1 1 k k k k k k S kS k                                )3 ()2 ()1 ( )3 ()2 ()1 ( 4 1 k k k k k k k
15 )4 ()3 ()2 ()1 ( 4 1 1 4 1 )3 ()2 ()1 (                k k k k k k k k . Теорема 2 доказана. Из доказанной теоремы 1 и теоремы 2 следует, что равенство (2.5) выполняется для любого натурального n. Пример 2.6. Доказать равенство N n n n n n n n               , )1 2( 2 )1 ( )1 2( )1 2( ... 5 3 2 3 1 1 2 2 2 . (2.6) Решение. Обозначим через  n S )1 2( )1 2( ... 5 3 2 3 1 1 2 2 2         n n n . Теорема 1. При n = 1 имеем  1 S 3 1 3 1 12   . Подставим n = 1 в правую часть равенства (2.6): 3 1 )1 1 2( 2 )1 1(1      . Получили, что при n = 1 левая и правая части равенства (2.6) равны. Теорема 1 доказана. Теорема 2. Пусть дано, что равенство (2.6) выполняется при n = k, т. е . верно: )1 2( 2 )1 ( )1 2( )1 2( ... 5 3 2 3 1 1 2 2 2              k k k k k k Sk . Н ужно доказать, что верно равенство )3 2( 2 )2 ()1 ( )3 2( )1 2( )1 ( ... 5 3 2 3 1 1 2 2 2 1                 k k k k k k Sk . Действительно:                  )3 2( )1 2( )1 ( )1 2( )1 2( ... 5 3 2 3 1 1 2 2 2 2 1 k k k k k k S kS k                                   )3 2( )1 2( 2 )2 5 2( )1 ( )3 2( )1 2( )1 ( )1 2( 2 )1 ( 2 2 k k k k k k k k k k k )3 2( 2 )2 ()1 ( )3 2( )1 2( 2 2 1 )2 ( 2 )1 (                     k k k k k k k k . Теорема 2 доказана.
16 Из доказанной теоремы 1 и теоремы 2 следует, что равенство (2.6) выполняется для любого натурального n. Пример 2.7. Доказать равенство 1 2 2 ... 2 2 2 1 1 3 2         n n . (2.7) Решение. Обозначим через 1 3 2 2 ... 2 2 2 1        n n S . Теорема 1. При n = 1 имеем: 1 1 S . Подставим n = 1 в правую часть равенства (2.7): 1 1 21   . Получили, что при n = 1 левая и правая части равенства (2.7) равны 1. Теорема 1 доказана. Теорема 2. Пусть дано, что равенство (2.7) выполняется при n = k, т. е . верно: 1 2 2 ... 2 2 2 1 1 3 2          k k k S . Нужно доказать, что верно равенство: 1 2 2 2 ... 2 2 2 1 1 1 3 2 1             k k k k S . Действительно: 1 2 2 2 ... 2 2 2 1 1 1 2 1 3 2 1                k k k kS k k S            . Теорема 2 доказана. Из доказанной теоремы 1 и теоремы 2 следует, что равенство (2.7) выполняется для любого натурального n. Пример 2.8. Доказать равенство 2 : , 2 1 1 1 ... 16 1 1 9 1 1 4 1 1 2                            n N n n n n . (2.8) Решение. Обозначим через                        2 1 1 ... 16 1 1 9 1 1 4 1 1 n Sn .
17 Теорема 1. При n = 2 имеем: 4 3 4 1 1 2       S . Подставим n = 2 в правую часть равенства (2.8): 4 3 2 2 )1 2(    . Получили, что при n = 2, левая и правая части равенства (2.8) равны. Теорема 1 доказана. Теорема 2. Пусть дано, что равенство (2.8) выполняется при n = k, т. е . верно: k k k Sk 2 1 1 1 ... 16 1 1 9 1 1 4 1 1 2                          . Нужно доказать, что верно равенство )1 (2 2 )1 ( 1 1 1 1 ... 16 1 1 9 1 1 4 1 1 2 2 1                                     k k k k Sk . Действительно:                                    2 2 1 )1 ( 1 1 1 1 ... 16 1 1 9 1 1 4 1 1 k k S kS k                  )1 (2 2 )1 ( 2 2 1 )1 ( 1 1 2 1 2 2 2                    k k k k k k k k k k . Теорема 2 доказана. Из доказанной теоремы 1 и теоремы 2 следует, что равенство (2.8) выполняется для любого натурального 2  n . Пример 2.9. Доказать равенство n n n n n n 2 1 1 2 1 ... 2 1 1 1 2 1 1 2 1 ... 4 1 3 1 2 1 1                , N n  . (2.9) Решение. Обозначим через n n Sn 2 1 1 2 1 ... 4 1 3 1 2 1 1         . Теорема 1. При n = 1 имеем: 1 1 1 2 1 1 1     S . Теорема 1 доказана.
18 Теорема 2. Пусть дано, что равенство (2.9) выполняется при n = k, т. е . верно: k k k k k k Sk 2 1 1 2 1 ... 2 1 1 1 2 1 1 2 1 ... 4 1 3 1 2 1 1                 . Нужно доказать, что верно равенство (2.9) при n = k+1: 2 2 1 1 2 1 ... 3 1 2 1 2 2 1 1 2 1 ... 4 1 3 1 2 1 1 1                    k k k k k k Sk . Действительно:                2 2 1 1 2 1 2 1 1 2 1 ... 4 1 3 1 2 1 1 1 k k k k S kS k                           2 2 1 1 2 1 2 1 1 2 1 ... 2 1 1 1 k k k k k k 2 2 1 1 2 1 ... 3 1 2 1          k k k k . Теорема 2 доказана. Из доказанной теоремы 1 и теоремы 2 следует, что равенство (2.9) выполняется для любого натурального n. Пример 2.10. Доказать равенство N n n корней n        , 2 cos 2 2 ... 2 2 1           . (2.10) Решение. Обозначим через          корней n n S 2 ... 2 2     . Теорема 1. При n = 1 имеем: 1 1 1 2 cos 2 2     S . Теорема 1 доказана.
19 Теорема 2. Пусть дано, что равенство (2.10) выполняется при n = k т. е . верно: 1 2 cos 2 2 ... 2 2       k корней k k S           . Нужно доказать, что верно равенство приn=k+1: 2 1 1 2 cos 2 2 ... 2 2         k корней k k S           . Действительно:           1 1 1 2 cos 2 2 2 ... 2 2 k корней k k S           2 1 2 1 2 cos 2 2 2 cos 2 2 2 cos 1 2         k k k    . Последнее равенство верно потому, что 2 2 0 2      k . Теорема 2 доказана. Из доказанной теоремы 1 и теоремы 2 следует, что равенство (2.10) выполняется для любого натурального n. Пример 2.11. Доказать равенство 2 : , 2 ln 1 1 1 2 ln 2 ln 1 ... 8 ln 4 ln 1 4 ln 2 ln 1 2 1                n N n n n n . (2.11) Решение. Обозначим через n n n S 2 ln 2 ln 1 ... 8 ln 4 ln 1 4 ln 2 ln 1 1         .
20 Теорема 1. При n = 2 левая часть (2.11): 2 ln 1 2 1 2 ln 2 ln 1 4 ln 2 ln 1 2 2      . Подставим n = 2 в правую часть равенства (2.11): 2 ln 1 2 1 2 ln 1 2 1 1 2 2      . Получили, что при n = 2 левая и правая части равенства (2.11) равны. Теорема 1 доказана. Теорема 2. Пусть дано, что равенство (2.11) выполняется при n = k, т. е . верно: 2 ln 1 1 1 2 ln 2 ln 1 ... 8 ln 4 ln 1 4 ln 2 ln 1 2 1              k S k k k . Нужно доказать, что верно равенство 2 ln 1 1 1 1 2 ln 2 ln 1 ... 8 ln 4 ln 1 4 ln 2 ln 1 2 1 1                 k S k k k . Действительно:               1 1 1 2 ln 2 ln 1 2 ln 2 ln 1 ... 8 ln 4 ln 1 4 ln 2 ln 1 k k kS k k k S                                    2 ln )1 ( 1 2 ln 1 1 1 2 ln 2 ln 1 2 ln 1 1 1 2 2 1 2 k k k k k k           2 ln 1 1 1 1 1 1 2 k k k 2 ln 1 1 1 1 2       k . Теорема 2 доказана. Из доказанной теоремы 1 и теоремы 2 следует, что равенство (2.11) выполняется для любого натурального 2  n . Пример 2.12. Доказать равенство
21 N n k n x x n x n x n x x          , 2 , 2 1 sin 2 sin 2 1 sin sin ... 2 sin sin  . (2.12) Решение. Обозначим через x n x x Sn sin ... 2 sin sin     . Теорема 1. При n = 1 имеем: x x x x S 2 1 sin 2 1 sin 2 1 1 sin sin 1     . Теорема 1 доказана. Теорема 2. Пусть дано, что равенство (2.12) выполняется при n = k, т. е . верно: x x k x k x k x x Sk 2 1 sin 2 sin 2 1 sin sin ... 2 sin sin        . Нужно доказать, что верно равенство x x k x k x k x x Sk 2 1 sin 2 1 sin 2 2 sin )1 sin( ... 2 sin sin 1           . Действительно:          x k kx x x S kS k )1 sin( sin ... 2 sin sin 1                         x k x k x x k x k x k x x k x k 2 1 cos 2 1 sin 2 2 1 sin 2 sin 2 1 sin 2 )1 (2 sin 2 1 sin 2 sin 2 1 sin
22                 x x x k x k x x k 2 1 sin 2 1 2 cos 2 2 sin 2 1 sin 2 1 sin                    x x x k x x k x k x x k 2 1 sin 2 1 sin 2 sin 2 1 cos 2 cos 2 2 sin 2 1 sin 2 1 sin              ) 2 1 sin 2 1 cos 2 2 cos ) 2 1 sin 2 1( 2 sin ( 2 1 sin 2 1 sin sin 2 cos 1 2             x x x x x k x x k x x k x x k x k x x k x x k x x k 2 1 sin 2 2 sin 2 1 sin sin 2 cos cos 2 sin 2 1 sin 2 1 sin              . Теорема 2 доказана. Из доказанной теоремы 1 и теоремы 2 следует, что равенство (2.12) выполняется для любого натурального n. Пример 2.13. Доказать формулу Муавра   N n n i n r i r n n      ), sin (cos ) sin (cos     . (2.13) Теорема 1. При n = 1 имеем:   ) sin (cos ) sin (cos 1 1     i r i r    . Теорема 1 доказана. Теорема 2. Пусть дано, что равенство (2.13) выполняется при n = k, т. е . верно:   ) sin (cos ) sin (cos     k i k r i r k k    . Н ужно доказать, что верно равенство   ) )1 ( sin )1 ( (cos ) sin (cos 1 1            k i k r i r k k .
23 Действительно:           ) sin (cos ) sin (cos ) sin (cos 1       i r i r i r k k      ) sin (cos ) sin (cos     i r k i k r k 1 2   i            ) cos sin sin (cos sin sin cos cos 1         k k i k k r k ) )1 sin( )1 (cos( 1        k i k r k . Теорема 2 доказана. Из доказанной теоремы 1 и теоремы 2 следует, что равенство (2.13) выполняется для любого натурального n.
24 §3. Раскраска карт Интересны задачи о раскраске карт. Пусть на плоскости задана некоторая географическая карта. Определение. Будем говорить, что карта правильно раскрашена, если любая ее страна раскрашена определенной краской, причем любые ее две страны, имеющие между собой общую границу, закрашены в разные цвета. Примером правильно раскрашенной карты может служить любая географическая карта. Любую карту можно раскрасить, например, закрасив каждую страну в особый цвет, но такая раскраска неэкономна. Поэтому возникает вопрос, каково то наименьшее число красок, которыми можно правильно раскрасить заданную карту. Пример 3.1. Для раскраски следующих карт нужно: 2 цвета 3 цвета 4 цвета До сих пор не найдено ни одной карты, которую не удалось бы правильно раскрасить четырьмя красками. Впервые на это обстоятельство обратил внимание немецкий математик Мебиус более ста лет назад. С тех пор многие крупные ученые пытались решить эту проблему четырех красок. То есть пытались либо доказать, что четырех красок достаточно для раскраски любой карты, либо найти пример карты, которую нельзя раскрасить четырьмя красками. Однако до сих пор этого никому не удалось сделать. Установлено, что для правильной раскраски любой карты достаточно пяти красок. Любопытно, что для некоторых поверхностей, устроенных, казалось бы, более сложно, чем плоскость, проблема раскраски карт решена полностью. Так, например, доказано, что на поверхности тора (“баранки”) для правильной раскраски любой карты достаточно семи красок. Причем существуют карты, которые нельзя правильно раскрасить 6 красками.
25 Пример 3.2. Пусть прямоугольник разбит на части n прямыми. Тогда его можно так закрасить черной и белой красками, что каждые две части, имеющие общую сторону, будут окрашены в разные цвета. Доказательство. При n = 1 имеем: Теорема 2. Пусть дано, что утверждение верно при n=k. Тогда оно верно при n=k+1. При n = k + 1 нужно раскрасить конфигурацию, образованную k прямыми из данных k + 1 прямых следующим образом: (k+1) прямая Затем перекрасить всё, что лежит с одной из сторон оставшейся (k+1) прямой в противоположный цвет. (k+1) прямая Теорема 2 доказана. Из доказанной теоремы 1 и теоремы 2 следует, что утверждение верно при любом натуральном n . Пример 3.3. На плоскости дано n  2 окружностей. Доказать, что при любом расположении этих окружностей образуемую ими карту можно правильно раскрасить двумя красками. Доказательство. При n = 2 имеем при всевозможных положениях окружностей следующие рисунки:
26 Теорема 2. Пусть дано, что утверждение верно при n = k  2. Тогда это утверждение верно при n = k +1. Пусть на плоскости заданы k + 1 окружностей. Теорема 2 доказана. Из доказанной теоремы 1 и теоремы 2 следует справедливость утверждения при любом натуральном n  2 .
27 § 4. Неравенства Пример 4.1. Пусть a, b - длины катетов, c – длина гипотенузы прямоугольного треугольника. Тогда для всех натуральных чисел n  2 имеет место неравенство . n n n c b a   (4.1) Теорема 1. Из теоремы Пифагора следует равенство a 2 + b 2 =c 2 . Теорема 1 доказана. Теорема 2. Пусть дано, что неравенство (4.1) выполняется при n = k, 2  k, т. е. верно k k k c b a   . Тогда неравенство (4.1) выполняется при n = k +1: 1 1 1      k k k c b a . Действительно:             c b c a b b a a b a k k k k k k 1 1 1 ) (        k k k k c c c b a c . Теорема 2 доказана. Из доказанной теоремы 1 и теоремы 2 следует, что неравенство (4.1) выполняется для любого натурального n  2. Пример 4.2. Доказать, что, если 1   a ,то N n a n a n      , 1 ) 1( . (4.2) Теорема 1. При n = 1 имеем: Левая часть неравенства (4.2): ) 1( ) 1( 1 a a    ; Правая часть неравенства (4.2): a a     1 ) 1 1( . Теорема 1 доказана. Теорема 2. Пусть дано, что неравенство (4.2) выполнено при n = k: a k a k    1 ) 1( . Тогдаоновернодля n= k+1: a k a k )1 ( 1 ) 1( 1      . Действительно, так как 0 ) 1(  a ,то
28 ) 1() 1( ) 1( ) 1( ) 1( 1 a a k a a a k k          a k a k a k )1 ( 1 )1 ( 1 0 2         . Теорема 2 доказана. Из доказанных теорем 1 и 2 следует, что неравенство (4.2) выполняется для любого натурального n. Замечание 1. Из курса математического анализа известно, что последовательность             1 1 1 n n n имеет конечный предел, который называют числом e: ... 718 , 2 1 1 lim         e n n n . Из свойств числовой последовательности следует: e n n n n n n n n n n n                               1 1 lim 1 1 lim 1 1 lim 1 1 lim 1 1      . (4.2.1) Доказать, что последовательность ...) , 2,1 ( 1 1       n n x n n монотонно возрастает, а последовательность .. .) , 2,1 ( 1 1 1        n n y n n монотонно убывает. Доказательство. Последовательность   n x монотонно возрастает, если 1 , 1 1     n n n n x x у неравенств о равносильн это x x . То есть нам нужно
29 доказать неравенство: ... ) , 2,1 ( 1 1 1 1 1 1 1 1                n n n x x n n n n . (4.2.2) Последовательность   n y монотонно убывает, если 1 , 1 1     n n n n y y у неравенств о равносильн это y y . То есть нам нужно доказать неравенство .. .) , 2,1 ( 1 1 1 1 1 1 1 1                n n n y y n n n n . (4.2.3) Докажем неравенство (4.2.2) :                                     n n n n n n n n n n n n n n n x x n n n n n n n n n n )1 ( 1 ) 2 ( )1 ( )1 ( 1 1 2 1 1 1 1 1 )1 (2 1 1 1 1 1                              n n n n n n n n у неравенств по n n )1 ( 1 1 1 )1 ( 1 1 1 2 )2.4( 1 2 1 2 2         1 )1 ( 1 1 1             n n n . 1 1    n n x x .
30 Аналогично можно доказать неравенство (4.2.3):                                n n n n n n n n n n y y у неравенств по n n n n n n n n 1 1 1 1 1 1 )1 1 ( )1 ( )1 ( 1 1 1 1 1 )2.4( 2 2 1 1      1 1 1 1 1 1 2 3 2 3 2             n n n n n n n n n n . 1 1    n n y y . Так как последовательность ...) , 2,1 ( 1 1       n n x n n строго монотонно возрастает, а последовательность .. .) , 2,1 ( 1 1 1        n n y n n строго монотонно убывает, то, учитывая равенства (4.2.1), получим следующее неравенство: 1 1 1 1 1            n n n e n . (4.2.4) Замечание 2. Докажем неравенство (4.2 .2) методом математической индукции. Прежде заметим, что это неравенство равносильно такому неравенству 1 1 1 1 1 1             n n n n . (4.2 .2.1)
31 Теорема 1. При 1  n имеем: 1 1 1 1 1 1 1 25 , 2 2 1 1 1               . Теорема 2. Дано. Неравенство (4.2 .2.1) выполняется при n = k: 1 1 1 1 1 1             k k k k . Нужно доказать выполнение неравенства (4.2.2.1) при n=k+1: 2 1 2 1 1 1 1 1                k k k k . Доказательство.                               2 2 1 1 2 1 1 2 1 1 1 1 1 1 1 1 k k k k k k k k                                 )3 ( ))3 )(1 (( )2 ( ))2 (( 2 1 1 )3 ( )1 ( )2 ( )2 ( 2 1 1 1 1 2 2 2 1 2 1 2 k k k k k k k k k k k k k k k k k k k                        3 2 3 4 4 4 2 1 1 1 2 2 2 k k k k k k k k k                     1 2 2 )2 ( 1 1 3 1 1 2 1 1 k k k k k 2 )2.4( 1 2 )2 ( 1 1 )2 ( 1 1              k k k у неравенств по k       
32                               )3 3 )(3 ( )2 ( 2 1 1 )2 ( 1 1 3 1 1 2 1 1 2 3 2 2 2 k k k k k k k k k k k 2 1 2 3 2 3 2 2 1 1 9 12 6 8 12 6 2 1 1                        k k k k k k k k k k          . Теорема 2 доказана. Из доказанных теорем 1 и 2 следует, что неравенство (4.2.2.1) выполняется для любого натурального n. Пример 4.3. Доказать неравенство , , ... 1 ) 1( ... ) 1( ) 1( 2 1 2 1 N n x x x x x x n n              (4.3) где n i xi ,..., 1 ,  , - числа одного и того же знака, большие -1. Теорема 1. При 1  n имеем: . 1 1 1 1 x x    Теорема 1 доказана. Теорема 2. Дано. Неравенство (4.3) выполняется при n = k: k k x x x x x x            ... 1 ) 1( ... ) 1( ) 1( 2 1 2 1 . Нужно доказать выполнение неравенства (4.3) при n = k + 1: 1 2 1 1 2 1 ... 1 ) 1( ) 1( ... ) 1( ) 1(                 k k k k x x x x x x x x . Доказательство.                        ) 1( ) ... 1( ) 1( ... 1 ) 1( ... ) 1( ) 1( 1 2 1 1 2 1 2 1 k k k k k x x x x x x x x x x x            1 1 1 1 1 1 1 ... 1 0 ... ... 1                   k k k k k k k x x x x x x x x x x          .
33 Теорема 2 доказана. Из доказанных теорем 1 и 2 следует, что неравенство (4.3) выполняется для любого натурального n. Пример 4.4. Доказать неравенство N n n n n         , 1 2 1 2 1 2 ... 4 3 2 1 . (4.4) Теорема 1. При n = 1: 1 1 2 1 3 1 4 1 2 1 2 1 2       . Теорема 1 доказана. Теорема 2. Дано. При n = k: . 1 2 1 2 1 2 ... 4 3 2 1       k k k Нужно доказать: . 3 2 1 1 )1 (2 1 )1 (2 1 )1 (2 2 1 2 ... 4 3 2 1              k k k k k k Доказательство.                   3 2 3 2 )1 (2 1 2 1 2 1 )1 (2 1 )1 (2 1 2 1 2 1 2 ... 4 3 2 1 k k k k k k k k k k        . 3 2 1 1 4 8 2 4 3 8 2 4 3 2 1 2)2 2( 3 2 1 2 3 2 1                  k k k k k k k k k k          Теорема 2 доказана. Из доказанных теорем 1 и 2 следует, что неравенство (4.4) выполняется для любого натурального n. Пример 4.5. Доказать неравенства: 2 : , 1 ... 3 1 2 1 1         n N n n n ; (4.5.1)
34 2 : , 2 1 ... 3 1 2 1 1         n N n n n . (4.5.2) Докажем неравенство (4.5.1). Теорема 1. При n = 2: . 2 2 1 1 2 1 2 2 1 1       Теорема 1 доказана. Теорема 2. Дано. При n = k: . 1 ... 3 1 2 1 1 k k      Нужно доказать . 1 1 1 1 ... 3 1 2 1 1         k k k Доказательство.           1 1 1 1 1 ... 3 1 2 1 1 k k k k . 1 1 1 1 1 2 2          k k k k k k Теорема 2 доказана. Из доказанных теорем 1 и 2 следует, что неравенство (4.5.1) выполняется для любого натурального 2  n . Докажем неравенство (4.5.2). Теорема 1. При n = 2: . 2 2 2 2 2 2 1 2 2 1 1       Теорема 1 доказана. Теорема 2. Дано. Неравенство (4.5.2) выполняется при n = k: . 2 , 2 1 ... 3 1 2 1 1       k k k Нужно доказать, что оно выполняется при n=k+1: . 1 2 1 1 1 ... 3 1 2 1 1         k k k Доказательство.         1 1 1 ... 3 1 2 1 1 2 k k k         
35 1 1 1 1 2           k k k k               1 1 2 1 2 k k k k . Остаётся доказать неравенство 2 1 1 22     k k k , которое равносильно: 1 2 4 2 4 2 2 1 4 2 4         k k k k k k . Последнее неравенство следует из неравенства и равенства N k k k k k k         , 1 2 1 4 2 4 4 2 4 . Теорема 2 доказана. Из доказанных теорем 1 и 2 следует, что неравенство (4.5.2) выполняется для любого натурального 2  n . Заметим, что n n n n n n n слагаемых n                    1 ... 1 1 1 ... 3 1 2 1 1 . Пример 4.6. Доказать неравенство 3 : , )1 ( 1       n N n n n n n . (4.6) Теорема 1. При n = 3: . 4 64 81 3 3 4    Теорема 1 доказана. Теорема 2. Дано, что при n = k выполняется неравенство k k k k )1 ( 1    . Нужно доказать выполнение неравенства 1 2 )2 ( )1 (      k k k k . Доказательство. Так как k k k k )1 ( 1    ,то 1 )1 ( 1   k k k k . Умножая последнее неравенство на положительное число 2 )1 (   k k , получим следующую цепочку равенств и неравенств:                        1 2 1 1 2 1 2 2 1 2 ))1 (( )1 ( )1 ( )1 ( k k k k k k k k k k k k k k k k
36 1 1 )2 ( 0 1 1 2             k k k k k k . Теорема 2 доказана. Из доказанных теорем 1 и 2 следует, что неравенство (4.6) выполняется для любого натурального n большего или равного 3. Пример 4.7. Доказать неравенства: N n n n n       , 3 ! ; (4.7 .1) 2 : , 2 1 !         n N n n n n ; (4.7.2) 3 : , 2 !     n N n n n n ; (4.7.3) 3 : , 1 2 !      n N n n n ; (4.7.4) N n n n e n n e n                 , 2 ! . (4.7.5) Докажем неравенство (4.7.1). Теорема 1. При n = 1 имеем: 1 3 1 !1    . Теорема 1 доказана. Теорема 2. Дано, что неравенство (4.7 .1) справедливо при n = k: k k k    3 ! . Докажем, что это неравенство выполняется при n = k+1: )1 ( 3 )1 ( !)1 (         k k k . Доказательство.          )1 ( 3 )1 (! !)1 ( k k k k k k
37 Умножим и разделим на число )1 ( 3 1      k k                         k k k k k k k k k k k k k 1 1 3 3 1 3 )1 ( )1 ( 3 3 1 1 )1 ( )1 ( 1 Промежуточные вычисления:                   k k k k k k k k k k k k k k 1 ! )1 ( ... )1 ( ... 1 !2 )1 ( 1 1 1 2                                                            1 1 1 1 ... 2 1 1 1 ! 1 ... 1 1 !2 1 1 1 k k k k k k                         1 2 1 2 2 1 ... 2 1 2 1 1 1 ! 1 ... !3 1 !2 1 1 1 2 1 ... 3 2 1 1 2 1 3 2 1 k k k k                ... 2 1 2 1 ... 2 1 2 1 1 1 1 2 k k 1 1 1 3 3 1 1 3 2 1 1 1 1                 k k k k .
38 1 3 1       k k . Теорема 2 доказана. Из доказанных теорем 1 и 2 следует, что неравенство (4.7.1) выполняется для любого натурального n. Докажем неравенство (4.7.2). Теорема 1. При n = 2: Левая часть неравенства (4.7 .2): 2 !2 ; Правая часть неравенства (4.7.2): 25 , 2 4 9 2 2 3 2 2 1 2            . Так как 2 < 2,25, то теорема 1 доказана. Теорема 2. Дано, что неравенство (4.7 .2) выполняется при n = k: 2 , 2 1 !       k k k k . Нужно доказать, что оно выполняется при n = k+1: 2 , 2 2 !)1 ( 1         k k k k . Доказательство.             )1 ( 2 1 )1 (! !)1 ( k k k k k k Умножим и разделим на число 1 2 2      k k                             1 1 1 1 1 1 )2 ( )1 ( 2 2 2 )2 ( 2 2 )1 ( )1 ( 2 2 k k k k k k k k k k k k k k k Докажем, что выполняется неравенство 1 )2 ( )1 ( 2 1 1       k k k k .
39 1 1 1 1 1 1 1 1 2 1 2 2 )2 ( )1 ( 2                       k k k k k k k k k . 2 1 1 1 .... 2)1 ( 1 !2 )1 ( 1 1 1 1 1 1 1 0                                                  k k k k k k k k k . 1 2 1 2 2 1 2 2 1 1 1 1 1 1 1                      k k k k k . 1 1 2 2 1 2 2              k k k k . Теорема 2 доказана. Из доказанных теорем 1 и 2 следует, что неравенство (4.7.2) выполняется для любого натурального n большего или равного 2. Докажем неравенство (4.7.3). Теорема 1. При n = 3: Левая часть неравенства (4.7.3): 36 6 !3  . Правая часть неравенства (4.7.3): 27 32 3  . Так как 27 36 , то теорема 1 доказана. Теорема 2. Дано, что неравенство (4.7.3) выполняется при n = k: 3 , !2   k k k k . Нужно доказать, что оно выполняется при n = k+1: 3 , )1 ( !)1 ( 2 1      k k k k . Доказательство.
40                       2 1 2 2 1 2 1 2 2 1 2 1 2 1 2 )1 ( )1 ( )1 ( )1 ( )1 ( )1 ( )1 (! !)1 ( k k k k k k k k k k k k k k k k k k k В примере (4.6) доказано неравенство . 3 , )1 ( 1      n n n n n Из этого неравенства следует: . 3 , )1 (2 2 1      n n n n n Тогда при n = k имеем: 2 1 2 1 2 1 2 1 2 2 1 2 2 1 )1 ( 1 1 )1 ( )1 ( )1 ( )1 ( )1 ( 1                      k k k k k k k k k k k k k      . Теорема 2 доказана. Из доказанных теорем 1 и 2 следует, что неравенство (4.7.3) выполняется для любого натурального n большего или равного 3. Докажем неравенство (4.7.4). Теорема 1. При n = 3: Левая часть неравенства (4.7.4): 6 !3; Правая часть неравенства (4.7.4): 4 21 3   . Так как 6 > 4, то теорема 1 доказана. Теорема 2. Дано, что неравенство (4.7.4) выполняется при n = k: 3 , 2 ! 1     k kk . Нужно доказать, что оно выполняется при n = k+1: 3 , 2 !)1 ( 1 1      k k k . Доказательство.  3 , 2 2 1 2 )1 ( 2 )1 (! !)1 ( 1 1               k при k k k k k k k k . Теорема 2 доказана. Из доказанных теорем 1 и 2 следует, что неравенство (4.7.4) выполняется для любого натурального n большего или равного 3. Докажем неравенство (4.7.5).
41 Теорема 1. При n = 1 имеем: 1 1 2 1 !1 1          e e . Теорема 1 доказана. Теорема 2. Дано, что неравенство (4.7 .5) справедливо при n = k: k k k e k e k           2 ! . Нужно доказать, что оно выполняется при n = k+1: 1 1 2 1 !)1 ( 1              k k k e k e k . Доказательство. Докажем левую часть этого неравенства.                            1 1 1 )1 ( 1 )1 ( ! )1 ( !)1 ( k k k k e k e k k e k e k k k k k 1 )4.2 . 4( 1 1 1 1 1 1 1 1 )1 ( )1 ( 1                                k по e k k k k k k k e k k e e k e k e k k e k      . Докажем правую часть неравенства (4.7.5).                          1 1 2 1 2 2 1 2 ! )1 ( !)1 ( k k k k k k k e k e k k k 1 1 1 1 2 1 1 )1 ( 2 2 1                       k k k k e k k k k e         . Теорема 2 доказана.
42 Из доказанных теорем 1 и 2 следует, что неравенство (4.7.5) выполняется для любого натурального n. Заметим, что, используя неравенство (4.7.2) и неравенство e n n      1 1 при n>1, получим: n n e e n n n n e n n e n n n n e n n n                                   2 1 1 2 2 2 1 2 2 1 ! . Пример 4.8. Доказать неравенства: N n x корней n n          , 1 2 2 . ... 2 2 1          ; (4.8.1) N n x корней n n        , 3 4 .... 4 4          . (4.8.2) Докажем неравенство (4.8.1). Теорема 1. При n = 1 имеем: 1 2 )1 2 ( 1 2 2 2 2 2 2 1          x . Теорема 1 доказана. Теорема 2. Дано, что неравенство (4.8 .1) справедливо при n = k: 1 2 2 ... 2 2 1                 корней k kx . Нужно доказать, что оно выполняется при n = k+1: 1 2 2 ... 2 2 2 1                  корней k kx . Доказательство.
43 Теорема 2 доказана. Из доказанных теорем 1 и 2 следует, что неравенство (4.8.1) выполняется для любого натурального n. Докажем неравенство (4.8.2). Теорема 1. При n = 1 имеем: 3 9 4 1    x . Теорема 1 доказана. Теорема 2. Дано, что неравенство (4.8 .1) справедливо при n = k: 3 4 .... 4 4               корней k kx . Нужно доказать, что оно выполняется при n = k+1: 3 4 .... 4 4 1 1                 корней k kx . Теорема 2 доказана. Из доказанных теорем 1 и 2 следует, что неравенство (4.8.2) выполняется для любого натурального n. Пример 4.9. Доказать неравенство . 6 : , 6 5 !5 5 ! 5 5 5          n N n n n n (4.9) Теорема 1. При n = 6: . 6 5 !5 5 !6 5 5 6 5 6       Теорема 1 доказана. Теорема 2. Дано, что выполняется неравенство 6 , 6 5 !5 5 ! 5 5 5        k k k k . Нужно доказать выполнение неравенства
44 5 1 5 1 6 5 !5 5 !)1 ( 5          k k k . Доказательство. При 6  k n имеем:   5 1 5 5 5 6 5 5 6 5 !5 55 1 6 5 !5 5 6 5 6 5 !5 5 1 5 ! 5 !)1 ( 5                          k k k k k k k k . Теорема 2 доказана. Из доказанных теорем 1 и 2 следует, что неравенство (4.2) выполняется для любого натурального 6  n . Пример 4.10. Доказать, что при любом натуральном n имеет место неравенство: x n x n sin sin  . (4.10) Теорема 1. При n = 1: x x sin 1 1 sin   Теорема 1 доказана. Теорема 2. Дано, что при n = k выполняется неравенство x k x k sin sin  . Нужно доказать выполнение неравенства x k x k sin )1 ( )1 ( sin    . Доказательство.     x k x x x k x k cos sin cos sin )1 ( sin x k x k x x x k x k sin )1 ( cos sin cos sin 1 1 sin                       . Теорема 2 доказана. Из доказанных теорем 1 и 2 следует, что неравенство (4.10) выполняется для любого натурального n. Пример 4.11. Доказать, что при любом натуральном n имеет место неравенство 1 1 3 1 ... 2 1 1 1        n n n . (4.11)
45 Обозначим через 1 3 1 ... 2 1 1 1        k k k Sk . Теорема 1. При n = 1: 1 12 13 1 1 3 1 2 1 1 1 1 1 1          S . Теорема 1 доказана. Теорема 2. Дано, что при n = k выполняется неравенство 1 1 3 1 ... 2 1 1 1         k k k Sk . Н ужно доказать выполнение неравенства 1 4 3 1 3 3 1 2 3 1 1 3 1 ... 3 1 2 1 1                k k k k k k Sk . Доказательство.                        1 1 1 1 4 3 1 3 3 1 2 3 1 1 3 1 ... 3 1 2 1 1 k k k k k k k k Sk 1 1 1 4 3 1 3 3 1 2 3 1 1 3 1 ... 3 1 2 1 1 1 0 1                                                  k k k k k k k k kS . Неравенство “ > 0 ” следует из того, что               3 3 2 4 3 1 2 3 1 1 1 4 3 1 3 3 1 2 3 1 k k k k k k k              )4 3 )(3 3()2 3( )4 3()4 6( )3 3()2 3( )3 3()4 3( k k k k k k k k k 0 )4 3 )(3 3()2 3( 2      k k k . Теорема 2 доказана. Из доказанных теорем 1 и 2 следует, что неравенство (4.11) выполняется для любого натурального n.
46 § 5. Гипотеза и её доказательство В математике о фактах сначала догадываются, а затем их доказывают В предыдущих задачах проверялась кем-то высказанная гипотеза, которая всегда оказывалась верной. Но во многих задачах труднее всего высказать эту правильную гипотезу. Построить гипотезу, т. е . просто нужно постараться угадать ответ. Для этого придают n последовательно значения 1, 2, 3, ... до тех пор, пока у не накопится достаточно материала. Теперь все зависит от наблюдательности человека решающего поставленную задачу и от его способности по частным результатам угадать общий результат, то есть, построить более или менее надежную гипотезу. После этого останется только проверить эту гипотезу методом математической индукции. А метод математической индукции позволяет в поисках общего закона испытывать возникающие при этом гипотезы, отбрасывать ложные и утверждать истинные. Пример 5.1. Пусть )1 ( 1 ... 3 2 1 2 1 1         n n Sn . Допустим, что, изучая n S , мы высказали гипотезу 1 3 1    n n Sn ,т.е. N n n n n n Sn              , 1 3 1 )1 ( 1 ... 3 2 1 2 1 1 . (5.1) Проверим эту гипотезу. Теорема 1. При n = 1 имеем: Левая часть (5.1): 2 1 )1 1( 1 1    ; Правая часть (5.1): 2 1 1 1 3 1 1     . Теорема 1 доказана.
47 Теорема 2. Пусть дано, что формула (5.1) верна при n = k. Проверим, будет лионавернапри n=k+1. Предположим, что формула (5.1) верна при n = k + 1. Тогда имеем:             )2 ()1 ( 1 1 3 1 )2 ()1 ( 1 1 k k k k k k S S k k                 2 3 3 8 4 )1 3( 1 )1 3()2 ()1 ( 3 8 4 2 2 3 2 3 k k k k k k k k k k k k k3+4k2+8k+3 k2+3k+2 k3+3k2+2k k+1 k2+6k+3 k2+3k+2 3k+1 )1 3( 1 2 3 1 3 1 )1 3( 1 2                  k k k k k k k , то есть результат получился иной (получили противоречие). Это противоречие показывает, что формула (5.1) не верна. Попытаемся высказать верную гипотезу. Для этого вычислим несколько n S, n = 1,2,3.... , и попробуем заметить некоторую закономерность: 1 1 1 2 1 2 1 1 2 1 1 1        S ; 1 2 2 3 2 3 1 1 3 1 2 1 2 1 1 3 2 1 2 1 1 2              S ; 1 3 3 4 3 4 1 1 4 1 3 1 3 1 2 1 2 1 1 4 3 1 3 2 1 2 1 1 3                  S ;
48 Внимательно рассматривая эти равенства можно высказать гипотезу, что равенство 1   n n Sn выполняется для любого натурального n. Методом математической индукции проверим эту гипотезу, т.е . проверим справедливость равенства N n n n n n            , )1 ( )1 ( 1 ... 3 2 1 2 1 1 . (5.1.1) Теорема 1. При n = 1 имеем, что левая часть равенства (5.1.1): 2 1 2 1 1   ; правая часть равенства (5.1.1): 2 1 1 1 1   . Теорема 1 доказана. Теорема 2. Пусть дано, что формула (5.1.1) верна при n = k. Тогда она верна при n=k+1. Действительно: )2 ( 1 )2 ()1 ( 1 2 )2 ()1 ( 1 1 )2 ()1 ( 1 2 1                   k k k k k k k k k k k k S S k k . Теорема 2 доказана. Из доказанных теорем 1 и 2 следует, что равенство (5.1.1) верно для любого натурального n. Пример 5.2. Найти сумму N n a n a n a a a a a Sn              , 0 , ) ()1 ( 1 ... )2 ()1 ( 1 )1 ( 1 . Найдем несколько значений nS при n = 1, 2, 3:
49 )1 ( 1 1   a a S ; )1 ( n )2 ( 2 )2 ( )1 ( 2 2 2 1 1 )1 ( 1 2               a a a a a a a a a S ; )2 ( n )3 ( 3 )3 ( )3 (2 2 1 )3 ()2 ( 1 )2 ( 2 3              a a a a a a a a a a a S . )3 ( n Выскажем такую гипотезу. Для N n a   ,0 верно равенство ) ( ) ()1 ( 1 ... )2 ()1 ( 1 )1 ( 1 n a a n n a n a a a a a            . (5.2) Проверим эту гипотезу методом математической индукции. Теорема 1. При n = 1 левая и правая части равенства (5.2) равны: )1 ( 1 )1 ( 1    a a a a ,. Теорема 2. Дано. При n = k: ) (k a a k Sk   . Нужно доказать: )1 ( 1 1      k a a k Sk . Доказательство.                )1 () ( 1 ) ()1 ( 1 ... )2 ()1 ( 1 )1 ( 1 k a k a k a k a a a a a kS                           )1 () ( 1 ) ( k a k a k a a k
50 1 2 )1 ( 1 )1 () ( ) ( ) ( )1 () (                     k S k a a k k a k a a a k k a k k a k a a a k k a k . Теорема 2 доказана. Из доказанных теорем 1 и 2 следует, что равенство (5.2) верно для любого натурального n. Пример 5.3. Вывести формулу для нахождения суммы N n n n Sn             , )1 4()3 4( 1 ... 13 9 1 9 5 1 5 1 1 . Решение. Распишем каждую дробь в данной сумме на разность следующим образом                            4 1 1 4 1 3 4 1 ... 4 1 13 1 9 1 4 1 9 1 5 1 4 1 5 1 1 n n Sn                                 1 4 1 3 4 1 3 4 1 7 4 1 ... 13 1 9 1 9 1 5 1 5 1 1 4 1 0 0 0 0 n n n n                           1 4 1 4 1 1 4 4 1 1 4 1 1 4 1                 n n n n n . Остаётся методом математической индукции доказать равенство . , 1 4 )1 4()3 4( 1 ... 13 9 1 9 5 1 5 1 1 N n n n n n Sn               Пример 5.4. 1. Вычислить сумму первых n нечетных чисел: )1 2( ... 5 3 1      n . 2. Вычислить сумму первых n членов числовой последовательности  1 3 n n . То есть найти: ... , 2,1 , ... 3 2 1 3 3 3 3       n n Sn . Решение 1. Обозначим искомую сумму через n S,т.е. )1 2( ... 5 3 1       n Sn .
51 Придаем n последовательно значения 1, 2, 3, 4. 5, 6: S1=1, S2=4, S3=9, S4=16, S5=25, S6= 36. В данном случае легко заметить, что S1=12, S2=22, S3=32, S4=42, S5=52, S6= 62. На основе этого выскажем гипотезу: 2 )1 2( ... 5 3 1 n n Sn        , для любого n  N. (5.4.1) Проверим эту гипотезу методом математической индукции. Теорема 1. При n = 1 имеем: 2 1 1 1  S . Теорема 1 доказана. Теорема 2. Пусть дано, что равенство (5.4 .1) выполняется при n = k. Тогда оно выполняется при n = k +1. Действительно: 2 2 1 )1 ( 1 2 )1 )1 (2( )1 2( ... 5 3 1                 k k k k k S kS k          . Теорема 2 доказана. Из доказанных теорем 1 и 2 следует, что равенство (5.4.1) выполняется при любом натуральном n. Решение 2. Найдём сумму 3 3 3 3 ... 3 2 1 n Sn      при n=1,2,3,4: 1 13 1   S ;
52 2 2 3 3 2 )2 1( 3 9 2 1       S ; 2 2 3 3 3 3 )3 2 1( 6 36 3 2 1         S ; 2 2 3 3 3 3 4 )4 3 2 1( 10 100 4 3 2 1           S . Выскажем следующую гипотезу: N n n n Sn             , ) ... 3 2 1( ... 3 2 1 2 3 3 3 3 . Так как N n n n n          , 2 )1 ( ... 3 2 1 ,то N n n n n Sn           , 4 )1 ( ... 3 2 1 2 2 3 3 3 3 . (5.4 .2) Методом математической индукции докажем равенство (5.4.2). Теорема 1. При n = 1 имеем, что левая часть равенства (5.4.2): 1 13 1   S ; правая часть равенства (5.4 .2): 1 4 2 1 2 )1 1(    . Теорема 1 доказана. Теорема 2. Пусть дано, что равенство (5.4.2) выполняется при n = k. Тогда оно выполняется при n = k + 1. Действительно: . 4 )2 ( )1 ( )1 ( 4 )1 ( )1 ( ... 3 2 1 2 2 3 2 2 3 3 3 3 3 1                   k k k k k k k S kS k          Теорема 2 доказана. Из доказанных теорем 1 и 2 следует, что равенство (5.4.2) выполняется при любом натуральном n. Пример 5.5. Найти сумму N n n arctg arctg arctg Sn       , 2 1 ... 8 1 2 1 2 .
53 Решение. Найдем сумму при n = 1, 2, 3: 1 1 1 2 1 1    arctg arctg S ; 1 2 2 3 2 8 1 2 1 1 8 1 2 1 8 1 2 1 2          arctg arctg arctg arctg arctg S ; 1 3 3 4 3 18 1 3 2 1 18 1 3 2 18 1 3 2 3          arctg arctg arctg arctg arctg S . Выскажем следующую гипотезу: 2 2 1 ... 8 1 2 1 n arctg arctg arctg Sn     N n n n arctg     , 1 . (5.5) Методом математической индукции докажем эту формулу. Теорема 1 доказана выше при вычислении 1 S. Теорема 2. Дано, что равенство (5.5) выполняется при n = k. Докажем, что это равенство выполняется при n = k+1: 1 1 1 1      k k arctg Sk . Доказательство.          2 2 1 )1 (2 1 2 1 .. 8 1 2 1 k arctg k arctg arctg arctg S kS k                        2 2 )1 (2 1 1 )1 (2 1 k arctg k k arctg k arctg Sk
54 2 1 )1 (2 1 1 1 )1 (2 1 1 2 2            k k arctg k k k k k k arctg . Здесь                     )2 5 6 2( )1 ( 2 )1 ( 2 )1 2 2( )1 (2 1 1 1 )1 (2 1 1 2 3 2 3 2 2 2 k k k k k k k k k k k k k .          )2 5 6 2( )1 ()1 2 2( 2 3 2 k k k k k k 2 1   k k . Последнее равенство следует из: 2k3+6k2+5k+2 2k2+2k+1 2k3+2k2+k k+2 4k2+4k+2 4k2+4k+2 0 Теорема 2 доказана. Из доказанных теорем 1 и 2 следует, что равенство (5.5) верно для любого натурального n. Пример 5.6. При каких натуральных n выполняются неравенства: 2 2n n ; (5.6 .1) 3 3n n ; (5.6.2) 3 5 2  n n . (5.6 .3) Проверим выполнение неравенства (5.6.1) при следующих значениях n: приn=1: 2 1 1 2; при n=2: 2 2 2 2; приn=3: 2 3 3 9 8 2    ; приn=4: 2 4 4 16 2   ;
55 приn=5: 2 5 5 25 32 2    . Из полученных выше неравенств, следует, что неравенство (5.6.1) выполняется при n = 1. Но это неравенство не выполняется при n = 2, 3, 4. Однако оно снова выполняется при n=5. Предположим, что неравенство (5.6.1) выполняется при любом 5  n . Докажем это предположение методом математической индукции. Теорема 1. При n = 5 имеем: 2 5 25 32 5 2    . Терема 1 доказана. Теорема 2. Дано, что неравенство верно при n = k: 5 , 2 2   k k k . Нужно доказать, что оно верно при n = k+1: 5 , )1 ( 2 2 1     k k k . Доказательство.         2 2 2 1 2 2 2 2 k k k k k k k k k k k k 2 15 16 1 2 16 )1 ( 4 1 5 2 2 2               2 2 2 )1 ( 1 2 15 2         k k k k k . Теорема 2 доказана. Из доказанных теорем 1 и 2 следует, что равенство (5.6.1) верно для любого натурального 5  n . Проверим выполнение неравенства (5.6.2) при следующих значениях n: приn=1: 3 1 1 3; приn=2: 3 2 2 8 9 3    ; приn=3: 3 3 3 27 3   ; приn=4: 3 4 4 64 81 3    . приn=5: 3 5 5 125 243 3    .
56 Из полученных выше неравенств, следует, что неравенство (5.6) выполняется при n = 1 и при n = 2. Но это неравенство не выполняется при n = 3. Однако оно снова выполняется при n = 4, 5. Предположим, что неравенство (5.6.1) выполняется при любом 4  n . Докажем это предположение методом математической индукции. Теорема 1. При n = 4 имеем: 3 4 4 64 81 3    . Теорема 1 доказана. Теорема 2. Дано, что неравенство верно при n = k: 4 , 3 3   k k k . Нужно доказать, что оно верно при n = k+1: 4 , )1 ( 3 3 1     k k k . Доказательство.         3 3 3 1 2 3 3 3 3 k k k k k 28 3 3 27 1 3 3 27 )1 ( 3 1 4 2 3 2 3 3                 k k k k k k k k k ) 28 3 3( 22 3      k k k 3 0 2 2 3 )1 ( 55 9 3 1 3 3           k k k k k k      . Неравенство “ > 0 ” следует из того, что 0 )3 ( 3 9 32     k k k k при 4  k. Теорема 2 доказана. Из доказанных теорем 1 и 2 следует, что равенство (5.6.2) верно для любого натурального 4  n . Проверим выполнение неравенства (5.6.3) при следующих значениях n: приn=1: 2 3 1 5 21     ; при n=2: 7 3 2 5 4 22      ; приn=3: 12 3 3 5 8 23      ; приn=4: 17 3 4 5 16 24      ; приn=5: 22 3 5 5 32 25      .
57 Из полученных выше неравенств, следует, что неравенство (5.6.3) не выполняется при n=1,2,3,4.Нооновыполняетсяпри n=5. Предположим, что неравенство (5.6.3) выполняется при любом 5  n . Докажем это предположение методом математической индукции. Теорема 1. При n = 5 имеем: 22 3 5 5 32 25      . Теорема 1 доказана. Теорема 2. Дано, что неравенство верно при n = k: 3 5 2  k k 5 ,  k. Нужно доказать, что оно верно при n = k+1: 3 )1 (5 21     k k 5 ,  k. Доказательство.              5 3 5 3 5 5 2 )3 5( 2 2 21 k k k k k . 3 )1 (5 8 5 3 )1 (5 0          k k k    Теорема 2 доказана. Из доказанных теорем 1 и 2 следует, что равенство (5.6 .3) верно для любого натурального 5  n . Пример 7. Выразить произведение x x x x n 2 cos ... 4 cos 2 cos cos     через x x n1 2 sin , sin  . Установим гипотезу. При n = 1: x x x x x x sin 2 2 sin sin 2 cos sin 2 cos    ;приn= 2: x x x x x x x x x x x sin 2 2 sin sin 2 2 4 sin 2 sin 2 2 cos 2 sin 2 sin 2 2 sin 2 cos cos 2 2        . (5.7.0) Сопоставляя два полученных результата, выскажем гипотезу: N n x x x x x x n n n          , sin 2 2 sin 2 cos ... 4 cos 2 cos cos 1 1 . (5.7) Теорема 1. Доказательство этого равенства при n=1 следует из равенства (5.7.0). Теорема 2. Предположим, что выдвинутая гипотеза справедлива при n = k:
58 x x x x x x k k k sin 2 2 sin 2 cos ... 4 cos 2 cos cos 1 1        . Докажем, что это равенство выполняется при n = k+1. Доказательство.        x x x x x k k 1 2 cos 2 cos ... 4 cos 2 cos cos x x x x x k k k k k sin 2 2 sin 2 2 cos 2 sin 2 2 sin 2 2 1 1 1          . Теорема 1 доказана. Из доказанных теорем 1 и 2 следует, что равенство (5.6 .3) верно для любого натурального n.
59 § 6. Треугольник Паскаля. Пусть a и b – некоторые действительные числа. Рассмотрим выражение n b a ) ( при различных натуральных n. Приn=0: 0 ) (b a =1. Приn=1: 1 ) (b a =(1a+1b). Приn=2: 2 ) (b a = 2 2 b 1 b a 2 a 1   . Приn=3: 3 ) (b a = 3 2 2 3 b 1 b a 3 b a 3 a 1    . Приn=4: 4 ) (b a = 4 3 2 2 3 4 b 1 b a 4 b a 6 b a 4 a 1     . Если выписать коэффициенты при степенях n k b a k k n ,..., 2,1 , 0 ,   и сравнить их с числами в следующем треугольнике при n = 1, 2, 3, 4 то получим, что эти числа совпадают. На этом рисунке числовой треугольник образован по следующему правилу: по краям каждой строки стоят единицы, а каждое следующее число равно сумме двух стоящих над ним чисел предыдущей строки:
60 По этому правилу легко выписывать одну за другой новые строки этого треугольника. В такой формулировке он приведён в “Трактате об арифметическом треугольнике” французского математика Б. Паскаля, опубликованном в 1665 г., уже после его смерти. Однако иные варианты этого треугольника встречались у итальянского математика Н. Тартальи, а за несколько веков до этого у среднеазиатского учёного и поэта Омара Хайяма. Этот числовой треугольник называется треугольником Б. Паскаля. Одной из ветвей науки является комбинаторика, одной из основных задач которой является: Сколько подмножеств, содержащих m элементов и отличающихся одно от другого хотя бы одним элементом, можно извлечь из множества А, содержащего n элементов. Такие подмножества называют сочетаниями из n элементов по m элементов, их число обозначают m n Си вычисляют по формуле !) (! ! m n m n Сm n   , 1 !0 n, ... 2 1 ! m, ... 2 1 m!          n . (6.1) Эти числа тесно связаны с числами в треугольнике Паскаля. Действительно, приn=0имеем: 1 0 0 С - верхняя строка (нулевая) треугольника состоит из одного числа. Следующая строка – из двух чисел: 1 1 1 0 1  С С . Четвёртая
61 строка состоит из 5 чисел: 6 , 4 , 1 2 4 3 4 1 4 4 4 0 4      С С С С С .
62 § 7. Формула бинома Ньютона. Пример 7.1. Доказать формулу бинома Ньютона , ) ( 0 m m n n m m n n b a C b a      (7.1) где число сочетаний из n элементов по m вычисляется по формуле (6.1). Теорема 1. При n = 1: левая часть равенства (7.1) равна 1 ) (b a; правая часть этого равенства: . !0!1 !1 !1!0 !1 1 0 1 1 b a b a b a C m m m m        Теорема 2. Дано, что неравенство (7.1) верно при n = k: m m k k m m k k b a C b a      0 ) ( . Докажем, что это равенство верно при n = k+1: m m k k m m k k b a C b a          1 1 0 1 1 ) ( . Действительно:              m m k k m m k k k b a C b a b a b a b a 0 1 ) ( ) ( ) ( ) (            1 0 1 0 m m k k m m k m m k k m m k b a C b a C Во второй сумме суммирование начнем с m = 1. Тогда во втором слагаемом вместо m нужно взять m-1.                1 1 )1 ( 1 1 1 1 0 m m k k m m k m m k k m m k b a C b a C              m m k k m m k m m k k m m k b a C b a C 1 1 1 1 1 0 В первой сумме отдельно выпишем первое слагаемое, а во второй сумме – последнее слагаемое. Тогда суммирование в обеих суммах будет с m = 1 по m = k . И под знаками этих сумм степени у чисел a, b совпадают.             1 1 1 1 1 0 ) ( k k k m m k k m m k m k k k b C b a C C a C
63 1 1 1 0 1 0        k k k k k k C C C C .          !))1 ( (!)1 ( ! !) (! ! 1 m k m k m k m k C C m k m k          !) () 1 (!)1 ( ! !) (!)1 ( ! m k m k m k m k m m k m k C m k m k m k m m m k k 1 !) )1 ((! !)1 ( !) 1 (! ) 1 (!             . m m k k m m k b a C        1 1 0 1 . Теорема 2 доказана. Из доказанных теорем 1 и 2 следует, что равенство (7.1) верно для любого натурального n. Пример 7.2. Формула Лейбница. Пусть Функции )( ), (x v x u имеют на множестве E непрерывные производные до порядка n включительно. Тогда для производной порядка n от произведения этих функций справедлива формула Лейбница: N n x v x u C x v x u m m n n m m n n        , )) ( ( )) (( )) ( )(( ) ( ) ( 0 )( . (7.2) Доказательство. Введём обозначение: v x v u x u   )(, )( . Теорема 1. При n = 1: левая часть равенства (7.2) равна: )1( )1( )1() ( v u v u v u      ; правая часть этого равенства:         )1( )1 1( )0( )0 1( 1 0 ) ( ) 1( 1 !0!1 !1 !1!0 !1 v u v u v u C m m m m )1( )1( v u v u    . Теорема 2. Дано, что неравенство (7.2) верно при n = k: ) ( ) ( 0 )() ( m m k k m m k k v u C v u       . Докажем, что это равенство верно при n = k+1:
64 ) ( ) 1 ( 1 0 1 )1 () ( m m k k m m k k v u C v u           . Действительно:                )1( ) ( ) ( 0 )1()( )1 ( ) ( ) ( m m k k m m k k k v u C v u v u Производная линейной комбинации равна линейной комбинации производных        )1() ( ) ( 0 m m k v u k m m k C По правилу дифференцирования произведения двух функций имеем              )1 ( ) ( 0 ) ( ) 1 ( 0 m m k k m m k m m k k m m k v u C v u C В первой сумме выпишем отдельно первое слагаемое, а во второй сумме – последнее слагаемое.            )0( )0 1 ( 0 ) ( ) 1 ( 1 v u C v u C k k m m k k m m k             )1 ( ) ( )1 ( ) ( 1 0 k k k k k m m k k m m k v u C v u C Во второй сумме суммирование начнем с m = 1. В этом случае вместо m нужно взять m-1, то есть имеем: )1 1 ( ))1 ( ( 1 1 )1 ( ) ( 1 0                m m k k m m k m m k k m m k v u C v u C .              v u C v u C C k k m m k k m m k m k )1 ( 0 ) ( ) 1 ( 1 1   )1 (k k kv u C Аналогично, как в примере (7.1): 1 1 1 0 1 0        k k k k k k C C C C ; m k m k m k C C C 1 1     . ) ( ) 1 ( 1 1 1 m m k k m m k v u C         .
65 Теорема 2 доказана. Из доказанных теорем 1 и 2 следует, что равенство (7.2) верно для любого натурального n.
66 § 8. Делимость натуральных чисел Пример 8.1. Доказать, что при N n  : 1. 2 1 2 2 3    n n делится на 7; 2. n n 5 3  делится на 6; 1. Теорема 1. При n = 1 имеем: , 35 8 27 2 33 3     делится на 7. Теорема 2. Дано, что 2 1 2 2 3    k k делится на 7. Нужно доказать что 3 3 2 2 3    k k делится на 7. Доказательство.                   2 2 2 1 2 2 1 1 )1 (2 2 9 2 9 2 2 9 3 2 3 k k k k k k   )9 2( 2 2 3 9 2 2 1 2         k k k . Каждое из этих двух слагаемых делится на 7.Теорема 2 доказана. 2. Теорема 1. При n = 1 имеем: . 6 1 5 13    6 делится на 6. Теорема 2. Дано, что k k5 3  делится на 6. Нужно доказать что )1 (5 )1 (3    k k делится на 6. Доказательство. 6 )1 ( 3 5 )1 (5 )1 ( 3 3         k k k k k k . Сумма k k5 3  делится на 6 по предположению. Так как произведение k (k+1) при любом натуральном k делится на 2, то )1 ( 3 k k делится на 6. Пример 8.2. Доказать, что при N n  : 1. 6 15 n делится на 7; 2. n n 3 делится на 3; 1. Теорема 1. При n = 1 имеем: 21 6 151   . 21 делится на 7. Теорема 2. Дано, что 6 15 k делится на 7. Нужно доказать что 6 151   k делится на 7. Доказательство.       6 15 15 6 151 k k 6 15  =           7 7 6 1 15 15 6 15 6 6 15 15 6 15 на делится на делится k k             . Теорема 2 доказана. 2. Теорема 1. При n = 1 имеем: 0 1 13   . 0 делится на 3.
67 Теорема 2. Дано, что k k 3 делится на 3. Нужно доказать что )1 ( )1 (3    k k делится на 3. Доказательство.           1 1 3 3 )1 ( )1 ( 2 3 3 k k k k k k          3 3 3 2 3 на делится на делится k k k k      . Теорема 2 доказана. Пример 8.3. Доказать, что для каждого натурального n n n 7 кратно 7. Теорема 1. При n = 1 имеем 0 1 17   - кратно 7. Теорема 2. Дано, что при n = k число k k 7 делится на 7. Доказать, что при n = k+1 число )1 ( )1 (7    k k делится на 7. Доказательство. Используя при n = 7 строку в треугольнике Паскаля для седьмой степени от суммы (k+1), получим               1 1 7 21 35 35 21 7 )1 ( )1 ( 2 3 4 5 6 7 7 k k k k k k k k k k                     7 2 3 4 5 6 7 7 7 21 35 35 21 7 на делится на делится k k k k k k k k         . Теорема 2 доказана. Пример 8.4. Доказать, что для каждого натурального n n n 15 4 делится на 9 с остатком 1. Доказательство. Условие задачи равносильно условию: число 1 15 4  n n кратно 9. Теорема 1. При n = 1 имеем 18 1 1 15 41     - кратно 9. Теорема 1 доказана. Теорема 2. Дано, что при n = k число 1 15 4  k k делится на 9. Доказать, что при n = k+1 число 1 )1 ( 15 41     k k делится на 9.
68 Доказательство.                1 )1 ( 15 1 15 1 15 4 4 1 )1 ( 15 41 k k k k k k           9 9 ) 18 45 ( 1 15 4 4 1 15 15 4 60 1 15 4 4 на делится на делится k k k k k k k              .
69 § 9. Различные задачи Пример 9. 1. Доказать неравенство 2 , , 1 ln 1 ... 3 1 2 1 1 )1 ( ln            n N n n n n . (9.1) Доказательство. Прежде докажем неравенство 2 , , 1 1 ... 3 1 2 1 1 ln 1 ... 3 1 2 1 1                n N n n n x x d n n . Интеграл n x x d n ln 1   равен площади под кривой x x f1 )( на отрезке [1, n]. Эта площадь больше площади, которая является объединением площадей прямоугольников . 2 , ln 1 ... 3 1 2 1        n N n n n (9.1.1) Но эта площадь меньше объединения площадей прямоугольников
70 2 , , ln 1 1 ... 3 1 2 1 1          n N n n n . (9.1.2) Методом математической индукции докажем неравенства (9.1.1) и (9.1.2). Теорема 1. Из этих трёх рисунков и из свойств интеграла, определённого на отрезке [0, 1] следует неравенство 1 1 2 ln 1 2 12 1      x dx . Отсюда - при n = 2 неравенства (9.1.1) и (9.1.2) верны. Теорема 1 доказана. Теорема 2. Дано, что при n = k выполняется неравенство 2 , 1 1 ... 3 1 2 1 1 ln 1 ... 3 1 2 1            k k k k . Нужно доказать выполнение этого неравенства при n = k+1: 2 , 1 1 1 ... 3 1 2 1 1 )1 ( ln 1 1 1 ... 3 1 2 1                k k k k k k . (9.1.3) Доказательство. Сравним площади 3 2 1 , , S S S следующих трёх фигур Докажем левое неравенство (9.1.3).              1 ln 1 1 1 ln 1 1 1 ... 3 1 2 1 k kx x d k k k k k 2 ),1 ( ln ln )1 ( ln ln        k k k k k .
71 Докажем правое неравенство (9.1.3).       k k k k ln )1 ( ln ln )1 ( ln    k k kx dx k 1 1 ln      2 , 1 1 1 ... 3 1 2 1 1         k k k . Теорема 2 доказана. Из доказанных теорем 1 и 2 следует, что утверждение верно для любого натурального 2  n . Пример 9. 2. Как далеко распространяется эта закономерность: 1 1 1 1   ; 1 2 1 22 22 121     1 2 3 2 1 333 333 12321       ; 1 2 3 4 3 2 1 4444 4444 1234321         ? Выскажем гипотезу. Для каждого натурального n верно равенство: 1 2 ... )1 ( )1 ( ... 2 1 ... 21 )... 1 ()1 ... ( 12 2              n n n n n n n n n квадрате в штук n    . (9.2) Докажем эту гипотезу методом математической индукции. Теорема 1. При n = 1 имеем: 1 1 1 1   . Теорема 1 доказана. Найдём сумму знаменателя правой части равенства (9.2):               1 2 ... )1 ( )1 ( )1 ( ... 2 1 n n n n n 2 2 )1 ( 2 )1 ( n n n n n n         . Тогда                  2 ... ... 1 2 ... )1 ( )1 ( )1 ( ... 2 1 ... ... n n n n n n n n n n n n n n n n n n штук n штук n штук n штук n               штук n штук n штук n штук n n n n n n n n n 1 ... 11 1 ... 11 ... ...           . Следовательно, нужно доказать равенство:   штук n штук n n n n 1 ... 11 1 ... 11 12 ... )1 ( )1 (... 21     (9.2.1) Теорема 2. Дано, что равенство (9.2.1) выполняется при n = k:   штук k штук k k k k 1 ... 11 1 ... 11 12 ... )1 ( )1 (... 21     . Нужно доказать, что равенство (9.2.1) выполняется при n = k+1:
72   цифра k цифра k k k k 1 1 1 ... 11 1 ... 11 12 ... )1 ( ... 21      . Доказательство.              1 10 )1 ... 11( 2 ) 10 )1 ... 11(( )1 10 )1 ... 11(( )1 ... 11( )1 ... 11( 2 2 1 1                цифр k цифр k цифр k цифра k цифра k         1 02 ... 22 0012 ... )1 ( )1 (... 21 1 1           цифра k цифра k k k k k 12 ... )1 ( )1 ( )1 (... 21     k k k k k . Теорема 2 доказана. Пример 9.3. Для любого чётного натурального n доказать неравенство: 2 0, !)1 2( ... !3 sin !)1 2( ... !3 1 2 3 1 2 3                x n x x x x n x x x n n . (9.3) Доказательство. При доказательстве потребуются следующие сведения: На отрезке     2 , 0  функции x x cos , sin удовлетворяют условиям: а). Интегралы с переменным верхним пределом от этих функций      x x x dt t x dt t 0 0 sin cos , cos sin ; (9.3.1) б). 1 cos 0,1 sin 0     x x . (9.3.2) Теорема 1. Докажем, что неравенство (9.3) верно при n = 2: 2 0, !5 !3 sin !3 5 3 3         x x x x x x x При     2 , 0  x имеем x dt dt t x x x      0 0 1 cos sin . То есть x x sin . Заменяя x на t и интегрируя это неравенство по t от 0 до     2 , 0  x , получим x dt t x dt t dt t x x x cos 1 sin , 2 sin 0 2 0 0        . Тогда выполняется неравенство 2 cos 1 2 x x  , которое равносильно неравенству 2 1 cos 2 x x   при
73     2 , 0  x . Повторим процедуру замены переменной x на t и интегрирования этого неравенства по t от 0 до     2 , 0  x : x dt t x x dt t dt t x x x sin cos , 2 3 2 1 cos 0 3 0 2 0               . Поэтому x x x sin !3 3   ,     2 , 0  x . (9.3.4) Ещё раз проделаем тоже самое. !4 2 !3 , cos 1 sin !3 4 2 0 3 0 0 3 x x dt t t x dt t dt t t x x x                     . Аналогично предыдущему, имеем !4 2 1 cos !4 2 cos 1 4 2 4 2 x x x x x x        ,     2 , 0  x . Четвёртый раз, заменяя x на t и интегрируя это неравенство по t от 0 до     2 , 0  x , будем иметь: !5 !3 sin 5 3 x x x x    . (9.3.5) Из неравенств (9.3.4) и (9.3.5) следует неравенство x x x sin !3 3   !5 !3 5 3 x x x    . Теорема 1 доказана. Теорема 2. Дано, что неравенство (9.3) выполняется при n = k (k - чётное): 2 0, !)1 2( ... !3 sin !)1 2( ... !3 1 2 3 1 2 3                x k x x x x k x x x k k . (9.3.6) Нужно доказать, что это неравенство выполняется при n = k+2: 2 0, !)5 2( ... !3 sin !)3 2( ... !3 5 2 3 3 2 3                x k x x x x k x x x k k . (9.3.7) Доказательство. Аналогично как при доказательстве теоремы 1 четыре раза нужно проделать процедуру замены x на t и интегрирования соответствующего
74 неравенства по t от 0 до     2 , 0  x . Выпишем правое неравенство (9.3.6) . Заменяя x на t и интегрируя это неравенство по t от 0 до     2 , 0  x , имеем: )2 2( ... !4 2 !)1 2( ... !3 sin cos 1 2 2 4 2 0 1 2 3 0                       k x x x dt k t t t dt t x k x k x . )2 2( ... !4 2 1 cos 2 2 4 2         k x x x x k . Второй раз, заменяя x на t и интегрируя это неравенство по t от 0 до     2 , 0  x , будем иметь: !)3 2( ... !3 !)2 2( ... 2 1 cos sin 3 2 3 0 2 2 2 0                      k t x x dt k t t dt t x k x k x . Это равносильно !)3 2( ... !3 sin 3 2 3       k t x x x k ,     2 , 0  x . (9.3.8) Левая часть неравенства (9.3.6) доказана. В третий раз в неравенстве (9.3.8), заменяя x на t и интегрируя это неравенство по t от 0 до     2 , 0  x , будем иметь:                  dt k t t t dt t x x k x 0 3 2 3 0 !)3 2( ... !3 sin cos 1 !)4 2( ... !4 2 4 2 4 2      k x x x k . Отсюда !)4 2( ... !4 2 1 cos 4 2 4 2        k x x x x k . В четвёртый раз, заменяя x на t и интегрируя это неравенство по t от 0 до     2 , 0  x , будем иметь: !)5 2( ... !3 !)4 2( ... 2 1 cos sin 5 2 3 0 4 2 2 0                      k x x x dt k t t dt t x k t k x . То есть выполняется неравенство !)5 2( ... !3 sin 5 2 3       k x x x x k - правая часть
75 неравенства (9.3.6). Из этого неравенства и неравенства (9.3.8) получается неравенство (9.3.7). Теорема 2 доказана. Пример 9.4. Доказать, что для каждого натурального n > 1 число 1 22  n оканчивается цифрой 7. Теорема 1. При n=2 имеем: число 17 1 2 22   оканчивается цифрой 7. Теорема 2. Дано, что число 1 22  k оканчивается цифрой 7. Нужно доказать, что число 1 2 1 2   k оканчивается цифрой 7. Доказательство. Так как число 1 22  k оканчивается цифрой 7, то число k2 2 оканчивается цифрой 6. Если некоторое число оканчивается цифрой 6, то его квадрат тоже оканчивается цифрой 6. Следовательно, число k k k k 2 2 2 2 1 2 2 2 2 2      оканчивается цифрой 6. Теорема 2 доказана. Пример 9.5. Доказать, что для любого натурального n число   1 5 10 1 ... 10 10 1 1         n n n есть полный квадрат. Доказательство. Если применять метод математической индукции, то в теореме 2 будут большие выкладки. Но при решении этой задачи можно обойтись без метода математической индукции. Заметим, что 1 ... 10 10 1     n n - сумма n+1 членов геометрической прогрессии со знаменателем прогрессии q = 10. Тогда                          1 5 10 1 10 1 10 1 5 10 1 ... 10 10 1 1 1 1 n n n n n   2 1 2 1 2 1 1 1 2 1 3 2 10 9 2 2 10 2 10 9 9 5 10 5 10 10                         n n n n n n для любого натурального n. Теорема 2 доказана.
76 Замечание. Рассмотренные выше примеры показывают, что методом математической индукции можно решать очень большой класс самых различных задач. Но силу этого метода не следует преувеличивать. Есть много задач, для которых просто напрашивается этот метод. Например. Доказать неравенство 2 : , 2 1 2 1 1 2 1 ... 2 1 1 1            n N n n n n n . Теорема 2. Дано, что это неравенство выполняется при n = k. Нужно доказать выполнение этого неравенства при n = k+1. Обозначим n n n n Sn 2 1 1 2 1 ... 2 1 1 1         . Тогда 2 2 1 1 2 1 2 1 2 2 1 1 2 1 2 1 1 2 1 ... 2 1 1 1 1                    k k k k k k k k S kS k              . Ясно, что из полученного неравенства нельзя вывести, что его левая часть меньше 0.5. Доказательство зашло в тупик. То есть попытка, применить метод математической индукции, наталкивается на непреодолимые трудности. Однако, это неравенство очень просто можно доказать другим способом. Для любого 2  n выполняются следующие n - 1 неравенства и равенство n n n n n n n n 2 1 2 1 , 2 1 1 2 1 ... , 2 1 2 1 , 2 1 1 1        . Суммируя все эти неравенства и равенство, получим требуемое неравенство 2 1 2 1 2 1 1 2 1 ... 2 1 1 1            n n n n n n Sn . § 10. Примеры для самостоятельного решения. 1. Доказать, что n член арифметической прогрессии вычисляется по формуле an= a1+d(n–1),где a1–первыйчлен,d –разностьпрогрессии. 2. Доказать, что n член геометрической прогрессии вычисляется по формуле
77 an=a1q n–1 , где a1 – первый член , q - знаменатель прогрессии. Доказать, что 1. , , )2 ( )1 ( 3 3 3 N n n n n       делится на 9. 2. N n n n n     , 2 3 . 3. N n n n n n n           , 1 1 2 2 . 4. N n n n n n n              , 2 )1 ( )1 ( )1 ( ... 4 3 2 1 1 2 1 2 2 2 2 . 5. N n n n n n n                 , 3 )2 ()1 ( )1 ( ... 4 3 3 2 2 1 . 6. N n n n n n                , )4 ( 4 )4 ()3 ( 1 ... 7 6 1 6 5 1 5 4 1 . 7. N n n n n n               , )1 3( )1 3( )2 3( 1 ... 10 7 1 7 4 1 4 1 1 . 8. N n n n n n                , 1 1 1 1 1 2 1 . 9. N n n n n n               , 1 1 1 1 1 1 . 10. N n n n n              , 1 !)1 ( ! ... !3 3 !2 2 !1 1 . 11. N n n n n n          , 3 )1 2()1 2( 4 )2 4( ... 6 2 2 2 2 . 12. N n n n n                , )1 7( 1 1 )1 7( )6 7( 7 ... 22 15 7 15 8 7 8 1 7 . 13. N n n n n                , )1 ( 16 1 16 1 )4 4( 4 1 ... 16 12 1 12 8 1 8 4 1 . 14. N n n n n n          , ! 6 !)1 5( ! !) 5( ... !1 !6 !0 !5 . 15. 0 , 3 : , 2 )1 ( 1 ) 1( 2          a n N n a n n a n a n .
78 16. 2 : , !)1 2( 1 2       n N n n n n . 17. N n n n n          ),1 2( )1 2( ... 5 3 1 2 2 3 3 3 3 . 18. 3 ln 1 1 1 3 ln 3 ln 1 ... 27 ln 9 ln 1 9 ln 3 ln 1 2 1             n n n , 2 :   n N n . 19. Доказать, что для любого натурального n число 1 2 2 12 11    n n кратно 133. 20. Доказать, что число N n n n n        , 3 3 6 1 1 2 2 делится на 11. 21. Доказать, что число N n n     , 2 101 делится на 3. 22. Доказать, что любую сумму денег, большую 7 копеек, можно уплатить без сдачи только трёх и пятикопеечными монетами. 23. Пусть последовательность задана следующим образом: 3 : , 2 3 ;3 ;2 1 2 1         n N n x x x x x n n n . Доказать, что справедлива формула N n x n n      , 1 21 . 24. Доказать неравенства: a). n k x N n x x k n k k n k k ,..., 1 ], , 0[ , , sin sin 1 1          . b). ) , ( , , sin sin        x N n x x n . с). N n x x n n     , 1 cos sin 2 2 . 25. Доказать неравенство N n x корней n n         , 2 21 1 5 . ... 5 5          . 26. Доказать равенство N n n n n         , 3 )1 ( sin 6 sin 2 3 sin ... 3 2 sin 3 sin      .
79 27. N n k n x x n x n x x          , 2 , 2 1 sin 2 2 1 2 sin cos ... 2 cos cos 2 1  . 28. Дана последовательность ... , 1 4 1 , ... , 35 1 , 15 1 , 3 1 2  n . Найти сумму n первых её членов. 29. Доказать, что для каждого натурального n n n 5 кратно 5. Проверить, выполняется ли утверждение: для каждого натурального n n n k  кратноk приk=2,4. 30.Доказать, что при любом натуральном n  N: a). Число 1 1 2 2 3 3 6      n n n делится на 11. b). Число 1 3 2 3 3 2 5     n n кратно 19. 31.Доказать, что при любом натуральном n  N справедливы неравенства: a). 1 3 1 1 2 1 ... 2 1 1 2        n n n . b). Если ) 1( 0 n i xi    и 2 1 ... 2 1     n x x x ,то 2 1 ) 1( ... ) 1( ) 1( 2 1        n x x x . с). Если ) 1( 0 n i xi    и 10 ... 2 1     n x x x ,то n n n x x x        10 ... 2 1 . d). 2 )!( !) 2( 1 4 n n n n   . 32.Доказать, что при любом натуральном n  N справедливы неравенства:
80 а) 0 , ... ... 2 1 2 1         i n n x n x x x x x x ; в)  n i x n x x x x x x i n n ..., , 2,1 , 0 , 1 ... 1 1 ... 2 2 1 2 1                 ; с) 0 , , 2 2 2 1 2 1 2 1          x x x x x x n n n ; d) 1 1 1 1 ... 2 4 4 2             n x x x x x x n n n n n n . 33.Доказать, что при любом натуральном n  N справедливо неравенство n n n lg ... 2 lg 1 lg )1 ( lg      .
81 Литература. 1. И. С. Соминский. Метод математической индукции. - М., 1952 . 2. Л . А. Басова, М. А. Шубин, А. А. Энштейн. Лекции и задачи по математике. М., 1981. 3. А. А. Колосов. Книга для внеклассного чтения по математике. М., 1963. 4. Методика факультативных занятий в 9 – 10 классах. М., 1983. 5. Математическая энциклопедия, т. 3, Москва, 1982. 6. Н. Я. Виленкин, Г. С. Сурвилло, А. С. Симонов, А.И. Кудрявцев. Алгебра для 9 класса: Учебн. пособие для учащихся шк. и кл. с углубл. изуч. математики. – М.: Просвещение, 1999. – 384 с. 7. Ляшко И. И., Боярчук А. К., Гай Я. Г ., Головач Г.П. Справочное пособие по математическому анализу, ч. 1 . Введение в анализ, производная, интеграл. - Киев: Высшая школа, 1978. - 696 с. 8. Гельфанд С.И., Гервер М. Л ., Кириллов А. А., Константинов Н. Н., Кушниренко А. Г . Задачи по элементарной математике. - М.: Наука, 1965. 9. Дорофеев Г. В., Потапов М. К., Розов Н. Х. . Пособие по математике для поступающих в вузы. М.: Наука, 1968 .- 6 07 с. 10. Цыпкин А. Г ., Пинский А. И. . Справочник по методам решения задач по математике. М.: Наука, 1989. - 574 с. 11.Кудрявцев Л. Д ., Кутасов А. Д ., Чехлов В. И., Шабунин М. И. Сборник задач по математическому анализу. М.: Наука, 1984. – 592 с. 12. Сивашинский И. Х. Неравенства в задачах. М.: Наука, 1967. – 303 с. 13.Глейзер Г. И. История математики в школе. М.: Просвещение, 1983.
82