Jlonij рныс лекции
п м т м тике
[О]
. о

Ь -6
книги
'4
\
Г,
1

ПОПУЛЯРНЫЕ ЛЕКЦИИ ПО МАТЕМАТИКЕ
ВЫПУСК 3
И. С. СОМИНСКИЙ
МЕТОД
МАТЕМАТИЧЕСКОЙ
ИНДУКЦИИ
ИЗДАНИЕ СЕДЬМОЕ
ИЗДАТЕЛЬСТВО «НАУКА»
ГЛАВНАЯ РЕДАКЦИЯ
ФИЗИКО-МАТЕМАТИЧЕСКОЙ ЛИТЕРАТУРЫ
МОСКВА 1965

512
С 61
УДК 517. 11@23)
Илья Самойлович Соминский
Метод математической индукции
М. , 1965 г., 56 стр. с илл.
Редактор А. П. Баева
Техн. редактор Л. Ю. Плакше	Корректор Е. А. Белицкая
Сдано в набор 28/1II 1965 г. Подписано к печати 15/VII 1965 г. Бумага 84 х 108V32
Физ. печ. л. 1,75. Условн. печ. л. 2,87. Уч.-изд. л. 2,83. Тираж 75000 экз. Т-10223.
Цена книги 9 коп. Заказ № 1384
Издательство «Наука».
Главная редакция физико-математической литературы.
Москва, В-71, Ленинский проспект, 15.
Ленинградская типография № 2 имени Евгении Соколовой
Главполиграфпрома Государственного комитета Совета Министров СССР
по печати. Измайловский пр., 29.

СОДЕРЖАНИЕ
От издательства	 4
Введение 	 5
§ 1. Доказательства тождеств; задачи арифметическою харак-
характера (примеры 1—13; задачи 1—16)	 15
§ 2. Тригонометрические и алгебраические задачи (примеры
14—18; задачи 16—23)	 27
§ 3. Задачи на доказательство неравенств (примеры 19—24;
задачи 24—27)	 31
§ 4. Доказательство некоторых теорем элементарной алгебры
методом математической индукции (теоремы 1—7).... 37
/О. А Гастев. Послесловие	 42
Указания и решения 	 47

ОТ ИЗДАТЕЛЬСТВА
Книжка И. С. Соминского «Метод математической индук
ции», изданная впервые в 1950 г. и пользовавшаяся большим
успехом, переведена на несколько иностранных языков.
В серии «Популярные лекции по математике» появилось
шесть ее изданий (начиная с третьего — стереотипных).
Настоящее издание, подготовленное к печати уже без
участия автора (скончавшегося 25 июля 1962 г.), отличается
от предыдущего издания 1961 г, незначительными редакци-
редакционными изменениями, некоторым расширением вводной части
книги (произведенным с использованием текста упомянутой
на стр. 44—45 книги Л. И. Головиной и И М. Яглома),
а также кратким послесловием, написанным Ю. А. Гастевым.
Немногочисленные подстрочные примечания автора после-
послесловия и редактора всюду отмечаются звез точками; сноски,
принадлежащие автору, нумеруются.

ВВЕДЕНИЕ
Утверждения подразделяются на общие и частные.
Приведем примеры общих утверждений.
Все граждане СССР имеют право на образование.
Во всяком параллелограмме диагонали в точке пере-
пересечения делятся пополам.
Все числа, оканчивающиеся нулем, делятся на 5.
Соответствующими примерами частных утверждений
являются следующие:
Петров имеет право на образование.
В параллелограмме ABCD диагонали в точке пересечения
делятся пополам.
140 делится на 5.
Переход от общих утверждений к частным называется
дедукцией. Рассмотрим пример.
Все граждане СССР имеют право на образование. A)
Петров — гражданин СССР.	B)
Петров имеет право на образование.	C)
Из общего утверждения A) при помощи утверждения B)
получено частное утверждение C).
Переход от частных утверждений к общим называется
индукцией. Индукция может привести как к верным, так и
к неверным выводам. Поясним это двумя примерами.
140 делится на 5.	A)
Все числа, оканчивающиеся нулем, делятся на 5. B)
Из частного утверждения A) получено общее утвержде-
утверждение B). Утверждение B) верно.
140 делится на 5.	A)
Все трехзначные числа делятся на 5.	B)
2 И. С. Соминский	5

Из частного утверждения A) получено общее утвержде-
утверждение B). Утверждение B) неверно.
Спрашивается, как пользоваться в математике индукцией *),
чтобы получать только верные выводы? Ответ на этот
вопрос и дается в этой книжке.
1. Рассмотрим сначала два примера индукции, недопу-
недопустимой в математике.
Пример 1. Пусть
i • * ' '
L2 ^ 2-3 ^ 3-4 1 ••' г п(п
Легко проверить, что
—
1-2 2 '
J. 1	2
о _ J
°2 — i . 2 "Г 2. з ~ 3 '
На основании полученных результатов утверждаем, что
при всяком натуральном п
S = - п
Пример 2. Рассмотрим трехчлен дг2 -{- л: —(- 41, на кото-
который обратил внимание еще Л. Эйлер. Подставим в этот
трехчлен вместо х нуль, получим простое число 41. Под-
Подставим теперь в этот же трехчлен вместо х единицу, получим
опять простое число 43. Продолжая подставлять в трех-
трехчлен вместо х последовательно 2» 3, 4, 5, 6, 7, 8, 9, 10,
получаем всякий раз простое число 47, 53, 61, 71,
83, 97, 113,. 131, 151. На основании полученных результа-
результатов утверждаем, что при подстановке в трехчлен вместо х
любого целого неотрицательного числа всегда в ре-
результате получается простое число.
Почему рассуждения, приведенные в этих примерах, не-
недопустимы в математике? В чем порочность выводов,
которые нами сделаны?
Дело в том, что в обоих этих рассуждениях мы высказали
общее утверждение относительно любого п (во вто-
См. Послесловие, стр. 42—46.

ром примере относительно любого х) только на основании
того, что это утверждение оказалось справедливым для не-
некоторых значений п (или х).
Индукция широко применяется в математике, но при-
применять ее надо умело *). При легкомысленном же отношении
к индукции можно получить неверные выводы.
Так, если в примере 1 сделанное нами общее утвержде-
утверждение случайно оказывается верным, как это доказано ниже
в примере 4, то в примере 2 наше общее утверждение
оказалось неверным.
В самом деле, при более внимательном изучении трех-
трехчлена ;с2~|~ * ~Ь 41 обнаружили, что он равен простому
числу при л; = 0, 1, 2, ..., 39, но при х = 40 этот трех-
трехчлен равен 412, т. е. числу составному**).
2. В примере 2 мы встретились с утверждением, спра-
справедливым в 40 частных случаях и все же вообще оказавшимся
несправедливым.
Приведем еще несколько примеров утверждений, которые
справедливы в нескольких частных случаях, а вообще не-
несправедливы.
Пример 3. Двучлен хп—1, где я —натуральное число,
представляет для математиков большой интерес. Достаточно
сказать, что он тесно связан с геометрической задачей о
делении окружности на п равных частей. Не удивительно по-
поэтому, что двучлен этот всесторонне изучается в математике.
Математиков, в частности, интересовал вопрос о разложении
этого двучлена на множители с целыми коэффициентами.
Рассматривая эти разложения при многих частных значе-
значениях п, математики наблюдали, что все коэффициенты раз-
разложения по абсолютной величине своей не превосходят еди-
единицы, В самом деле,
X ~~~ 1 --»• X ¦"¦""- 1,
JC3 — 1 =(АГ — 1)CJC2-H JC 4- 1).
л:5
1).
*) См. Послесловие, стр.42—46.
**) И уж совсем сразу бросается в глаза, что при х = 41
л2 + х + 41 « 412 + 41 + 41 делится на 41.

были составлены таблицы, в пределах которых коэффи-
диеиты этим свойством обладали. Попытки доказать этот
факт для всякого п успеха ке имели.
В 1938 г. в журнале «Успехи математических наук»
(вып. IV) была опубликована заметка выдающегося совет-
советского математика Н. Г. Чеботарева, в которой он
предложил нашим математикам выяснить этот вопрос.
Эту задачу решил В. Иванов1). Оказалось, что указан-
указанным свойством обладают все двучлены хп — 1, степень кото-
которых меньше 105. Одним же из множителей х105—1 является
многочлен
+ а:36 + jc35 + х7* + jc33 + х32 + л;31 — л*28
_ х22 — х20 + х17 + X16 + *15 + *14
х12 — х9 — х* — 2х7 — х* —
уже Fie обладающий этим свойством.
Пример 4. Рассмотрим числа вида 22 -+* 1. При
л = 0. 1, 2. 3, 4 числа 2*"-+1 = 3, 22'+1=5, 2-K + 1 = 17,
223 -f 1 = 257, 22' + 1 = 65 537 -~ простые. Замечательный
французский математик XVII в. П. Ферма предполагал,
что все числа такого вида — простые. Однако в XVIII в.
Л. Эйлер нашел, что
1 =4 294 967 297 = 641 -6 700 417
— составное число.
Пример б. Знаменитый немецкий математик XVII в., один
из создателей так называемой «высшей математики»,
Г. В. Лейбнии доказал, что при всяком целом положи-
положительном п число пъ — п делится на 3, число п5 — п делится
на 5, число п7 — я делится на 7*). На основании этого он
предположил было, что при всяком нечетном k и любом
натуральном п число nk — п делится на kt но скоро сам
заметил, что 29 — 2 = 510 не делится на 9.
Пример 6. В ошибку такого же роаа впал однажды
известный советский математик Д. Л. Граве, предположив,
что для всех простых чисел р число 2п~ — 1 не делится
'•) «Успехи математических наук», вып. IV, 1941, стр. 313—317.
*) См., например, книгу: Д. О. Шклярский, Н. Н. Ч е н-
цов, И. М. Я г л о м, Избранные задачи и теоремы элементарной
математики, ч. 1, Физматгиз, М., 1959 (задачи 27а), б), в)).

на /?2. Непосредственная проверка подтвердила это пред-
предположение для всех простых чисел /?, меньших тысячи.
Вскоре, однако, было установлено, что 21092— 1 делится
на 10932 A093 — простое число), т. е. предположение Граве
оказалось ошибочным.
Пример 7. На сколько частей делят пространство п пло-
плоскостей, проходящих через одну точку, если никакие три
из них не проходят через одну прямую?
Рассмотрим простейшие частные случаи этой задачи. Одна
плоскость делит пространство на две части. Две плоскости,
проходящие через одну точку, делят пространство на четыре
части. Три плоскости, проходящие через одну точку, но не
проходящие через одну прямую, делят пространство на восемь
частей.
На первый взгляд может показаться, что с увеличением
числа плоскостей на единицу количество частей, на которые
разбивается пространство, увеличивается вдвое, и, таким обра-
образом, четыре плоскости разобьют пространство на 16 частей,
пять — на 32 части, а вообще п плоскостей разобьют про-
пространство на 2п частей.
В действительности это не так, а именно: четыре плоскости
разбивают пространство на 14 частей, пять плоскостей — на
22 части. Можно доказать, что п плоскостей разбивают про-
пространство на п(п—1) + 2 частей*).
Пример 8. Приведем еще один весьма убедительный при-
пример. Подставляя в выражение 991 /г2 -f~ 1 вместо п последо-
последовательно целые числа 1, 2, 3, ..., мы никогда не получим
числа, являющегося полным квадратом, сколько бы дней или
даже лет мы ни посвятили этим вычислениям. Однако если
мы сделаем отсюда вывод, что все числа такого вида не
являются квадратами, то мы ошибемся. На самом деле ока-
оказывается, что среди чисел вида 991 /г2 -f- 1 имеются и квад-
квадраты: только наименьшее значение п% при котором число
991/г2-{- 1 есть полный квадрат, очень велико. Вот это число:
п = 12 055 735 790 331 359 447 442 538 767.
Рассмотренные примеры позволяют сделать простой и
в то же время важный вывод.
Утверждение может быть справедливым в целом
ряде частных случаев и в то же время несправедливым
вообще.
*) Решение см. ниже, на стр. 25—26, пример 13.
9

3- Теперь возникает такой вопрос. Имеется утверждение,
справедливое в нескольких частных случаях. Все частные
случаи рассмотреть невозможно. Как же узнать, справедливо ли
это утверждение вообще?
Этот вопрос иногда удается решить посредством приме-
применения особого метода рассуждений, называемого методом
математической индукции (полной индукции, совершенной
индукции).
В основе этого метода лежит принцип математи-
математической индукции, заключающийся в следующем:
Утверждение справедливо для всякого натураль-
натурального п, если: 1) оно справедливо для п= 1 и 2) из спра-
справедливости утверждения для какого-либо произволь-
произвольного натурального n = k следует его справедливость
для n = k-{- 1 *
Доказательство*). Предположим противное, т. е.
предположим, что утверждение справедливо не для всякого
натурального п. Тогда существует такое натуральное т> что
1) утверждение для п = т несправедливо, 2) для всякого п,
меньшего т> утверждение справедливо (иными словами,
т есть первое натуральное число, для которого утверждение
несправедливо).
Очевидно, что аи>1, так как для п=1 утверждение
справедливо (условие 1). Следовательно, т—1 — натураль-
натуральное число. Выходит, что для натурального числа т— 1
утверждение справедливо, а для следующего натурального
числа т оно несправедливо. Это противоречит условию 2.
Конечно, при доказательстве принципа математической
индукции мы пользовались тем, что в любой совокупности
натуральных чисел содержится наименьшее число.
Легко видеть, что это свойство в свою очередь можно вывести
*) Начинающийся здесь текст до п. 4 читатель может опустить
без ущерба для понимания дальнейшего. Дело в том, что упоми-
упоминаемый ниже принцип наименьшего числа, с помощью
которого здесь доказывается принцип математической индукции,
ничуть не более (хотя и не менее) очевиден, чем сам принцип
математической индукции. С другой стороны, эти два предложения,
как показывает более глубокий их анализ, оказываются эквивалент-
эквивалентными только после принятия дополнительных допущений. Ограни-
Ограничимся поэтому принятием принципа математической индукции как
интуитивно чрезвычайно убедительного допущения и запомним, что
он является одной из а к с и о м, определяющих натуральный ряд
чисел. Подробнее по этому поводу см. Послесловие и указанную
там литературу.
10

как следствие из принципа математической индукции. Таким
образом, оба эти предложения равносильны. Любое из них
можно принять за одну из аксиом, определяющих натуральный
ряд, тогда другое будет теоремой. Обычно за аксиому при-
принимают как раз сам принцип математической индукции.
4. Доказательство, основанное на принципе математи-
математической индукции, называется доказательством методом
математической индукции. Такое доказательство необ-
необходимо должно состоять из двух частей, из доказательства
двух самостоятельных теорем:
Теорема 1. Утверждение справедливо для п=\.
Теорема 2. Утверждение справедливо для n = k~\-\,
если оно справедливо для n = kt где k — какое-либо
произвольное натуральное число.
Если обе эти теоремы доказаны, то на основании прин-
принципа математической индукции утверждение справедливо для
всякого натурального п.
Пример 9. Вычислить сумму (см. пример 1)
с _ J	. J	. _I_-L	I	*
O*~1.2~1~2-3~r3-4~r'"~r/i(/i-fl)'
Мы знаем, что
Теперь мы не повторим ошибку, допущенную в при
мере 1, и не станем сразу утверждать, что при всяком на
туральном п
п
Будем осторожны и скажем, что рассмотрение сумм Slt
S2t Sz, S4 позволяет высказать гипотезу (предположение),
что 5Я = —т-у при всяком натуральном я. При этом мы
знаем, что гипотеза эта верна при /1=1, 2, 3, 4. Для про-
проверки гипотезы воспользуемся методом математической
индукции.
Теорема 1. Для п = 1 гипотеза верна, так как S{ = -к.
Теорема 2. Предположим, что гипотеза верна для
n = k, т. е. что
2-3 ¦ ••• г fc(k+l) /
И

где k — некоторое натуральное число. Докажем, что тогда
гипотеза обязана быть верной и для n = k-{-\% т. е. что
Действительно,
следовательно, по условию теоремы,
k
Обе теоремы доказаны. Теперь на основании принципа
математической индукции мы у т в е р ж д а е м, что
	 п
11 ~~~ 7Г+Т
при всяком натуральном п.
Замечание 1. Необходимо подчеркнуть, что доказа-
доказательство методом математической индукции безусловно тре-
требует доказательства обеих теорем, 1 и 2.
Мы уже видели, к чему привело пренебрежительное
отношение к теореме 2 (пример 2).
Сейчас мы покажем, что нельзя опускать и теорему 1.
Рассмотрим пример.
Пример 10. Теорема. Всякое натуральное число
равно следующему за ним натуральному числу.
Доказательство проведем методом математической индук-
индукции. Предположим, что
k = k + \.	A)
Докажем, что
2.	B)
Действительно, прибавив к каждой части равенства A)
по 1, получим равенство B). Выходит, что если утверждение
справедливо для n — k, то оно справедливо и для /i = &-f-1.
Теорема доказана.
Следствие. Все натуральные числа равны.
Где же здесь ошибка? Ошибка заключается в том, что
первая теорема, необходимая для применения принципа мате-
математической индукции, не доказана и не верна, а доказана
только одна вторая теорема.
12

Теоремы 1 и 2 имеют свое особое значение. Теорема 1
создает, так сказать, базу для проведения индукции. Тео-
Теорема 2 дает право неограниченного автоматического расши-
расширения этой базы, право перехода от данного частного
случая к следующему, ог п к п -\- 1.
Если не доказана теорема 1, а доказана теорема 2 (см.
пример 6), то, следовательно, не создана база для проведе-
проведения индукции, и тогда бессмысленно применять теорему 2,
так как и расширять-то, собственно, нечего.
Если не доказана теорема 2, а доказана только теорема 1
(см. примеры 1 и 2), то, хотя база для проведения индукции
и создана, право расширения этой базы отсутствует.
Замечание 2. Метод математической индукции разо-
разобран выше для простейшего случая. В более сложных слу-
случаях формулировки теорем 1 и 2 должны быть соответственно
изменены.
Иногда вторая часть доказательства опирается на спра-
справедливость утверждения не только для n = k, но и для
п = k — 1. В этом случае утверждение в первой части должно
быть проверено для двух последовательных значений п.
Иногда также вторая часть доказательства состоит в уста-
установлении справедливости требуемого рассуждения для ка-
какого-то значения п в предположении справедливости его для
всех натуральных чисел k> меньших п. Ниже читатель
найдет примеры такого рода (см. пример 7 на стр. 20).
Иногда утверждение доказывается не для всякого нату-
натурального я, а для всякого целого п, превосходящего неко-
некоторое целое т *). В этом случае в первой части доказатель-
доказательства утверждение проверяется для п = т -\- 1, а если это
требуется, то и для нескольких последующих значений п.
5. Вернемся еще раз к примеру 1 для выяснения одной
существенной стороны метода математической индукции.
Изучая сумму
\ — тт ~Ь тт i • • • Н~ "
1-2 ' 2-3
при разных значениях /г, мы подсчитали, что
1 г> 2 г> 	 3 <-. 	 4
) Так, например, любое утверждение, касающееся свойств про-
произвольных /г-угольников, имеет смысл лишь при п > 3.
3 И. С. Соминский	13

и это навело нас на гипотезу, что и при всяком п
S s=- п
Для проверки гипотезы мы использовали метол математи-
математической индукции.
Нам повезло, мы высказали гипотезу, которая подтверди-
подтвердилась. Если бы мы высказали гипотезу неудачно, то порочность
гипотезы обнаружилась бы при попытке доказательства
теоремы 2.
Пример 11. Рассмотрим суммы
п ~ 1.2 ] 2-3 т ' ' ' ^ п
Допустим, что, изучая Sn, мы высказали гипотезу
При /1=1 формула A) верна, так как 5, = -^. Предполо-
Предположим, что формула A) верна при n = kt т. е.
—A±L
Попытаемся доказать, что формула A) верна и при n = k-\- 1,
т. е. что
Имеем
т. е. результат получился иной.
Выходит, что из справедливости формулы A) при я = &
не следует ее справедливость при л = ?+1. Мы обна-
обнаружили, что формула A) неверна.
Таким образом, метод математической индукции
позволяет в поисках общего закона испытывать возни-
возникающие при этом гипотезы» отбрасывать ложные
и утверждать истинные.
Для того чтобы научиться применять метод математи-
математической индукции, надо рассмотреть достаточное количество
задач.
И

Чтобы не повторять без конца слова «Теорема 1»
и «Теорема 2», мы условимся в дальнейшем помечать пер-
первую и вторую части доказательства по индукции (эти части
и составляют содержание двух теорем, доказательство ко-
которых равносильно пользованию методом индукции) зна-
знаками 1° и 2°. Кроме того, мы будем различать примеры,
снабженные подробными решениями, и задачи, предназна-
предназначенные для самостоятельной работы читателя. В конце книги
будут приведены указания, относящиеся к решению всех при-
приведенных в тексте задач. Иногда эти указания представляют
собой лишь ссылку на иную, доступную читателям литера*
туру; в других случаях они содержат полное решение задачи.
§ 1. ДОКАЗАТЕЛЬСТВА ТОЖДЕСТВ; ЗАДАЧИ
АРИФМЕТИЧЕСКОГО ХАРАКТЕРА
Пример 1. Выпишем в порядке возрастания нечетные
положительные числа 1, 3, 5, 7, ... Обозначим первое из
них и{, второе и2, третье и3 и т. д., т. е.
Поставим перед собой такую задачу: составить формулу,
выражающую нечетное число ип через его номер п.
Решение. Первое нечетное число и{ можно записать так:
й1==2. 1 — 1;	A)
второе нечетное число и2 можно записать так:
и2 = 2.2 —1;	B)
третье нечетное число аъ можно записать так:
«з = 2-3 — 1.	C)
Внимательно рассматривая равенства A), B), C), можно вы-
высказать гипотезу, что для получения любого нечетного числа
достаточно от удвоенного номера его отнять 1, т. е. для
п-го нечетного числа имеем формупу
— 1.	D)
Докажем, что формула эта справедлива.
1°. Равенство A) показывает, что для и = 1 формула D)
справедлива.
3*	15

2°. Предположим, что формула D) справедлива для n =
т. е. /г-е нечетное число имеет вид
Докажем, что тогда формула D) обязана быть справедливой
и для (k -f- 1)-го нечетного числа, т. е. что (k -f- l)-e не-
нечетное число имеет вид
или, что все равно,
^ + 1 = 2k -f 1.
Для получения (&-|-1)-го нечетного числа достаточно
к к-му нечетному числу прибавить 2, т. е.
Но, по условию, uk — 2k—1. Значит,
что и требовалось доказать.
Ответ. ип = 2п — 1.
Пример 2. Вычислить сумму первых п нечетных чисе
Решение. Обозначим искомую сумму Sn, т. е.
n=\ + 3+5
л.
Для решения таких задач в математике существуют го-
готовые формулы. Нам интересно решить эту задачу, не при-
прибегая к готовой формуле, а пользуясь методом математи-
математической индукции. Для этого прежде всего надо построить
гипотезу, т. е. просто постараться угадать ответ.
Придаем п последовательно значения 1, 2, 3, ... до тех
пор, пока у нас не накопится достаточно материала, чтобы
на основе его построить более или менее надежную гипотезу.
После этого останется только эту гипотезу проверить ме-
тодом математической индукции.
Имеем
О| SSS I f On = 4, Oq == У, «Ьл 2SS I О, Or = 2,0, Og S= OU.
Теперь все зависит от наблюдательности решающего за-
задачу, от его способности по частным результатам угадать
общий.
Полагаем, что в данном случае легко заметить, что
Oj = 1 , ду == * i *bg = 3 , о4 = 4 •
16

На основе этого можно предположить, что вообще
S. = п>.
П
Докажем, что гипотеза эта справедлива.
Г. При #=1 сумма представляется одним слагаемым,
равным 1. Выражение п2 при # = 1 также равно 1. Значит,
при п = 1 гипотеза верна.
2\ Допустим, что гипотеза верна для n = k, т. е. Sk = k2.
Докажем, что тогда гипотеза должна быть верна и для
п = k -j- 1, т. е.
Действительно,
Но Sk — k2 и потому
что и требовалось доказать.
Ответ. Sn = п2.
Задача 1. Найти ип, если известно, что и[ = \ и что
при всяком натуральном к > 1
3.
Указание. их = 3 • 1 — 2, а2 = 3 • 2 — 2.
Задача 2. Найти сумму
Sn = 1 + 2 -f 22 + 23 + ... -f- Г'\
Указание. 51 = 2—1, S2 = 22—1, 53 = 23—1.
Пример 3. Доказать, что сумма п первых чисел нату-
(+1
(л+
рального ряда равна ——~
Решение. Эта задача отличается от предыдущих тем,
что гипотезу здесь строить не надо, она дана. Нужно только
доказать, что гипотеза верна.
Обозначим искомую сумму Sn, т. е.
Sn = 1 + 2 + 3 4- .. . г я.
1°. При п = 1 гипотеза верна.
2°. Пусть
17

Покажем, что
В самом деле,
Задача решена.
Пример 4. Доказать, что сумма квадратов п первых чисел
( + 1)B+1
( + )
натурального ряда равна 	!—g
Решение. Пусть S2(n)= 12 + 22-f 32+ ... + п2.
6
2°. Предположим, что
_ /i (я+ 1) B/1+1) 1
"~	6
Тогда
и окончательно
Пример 5. Доказать, что
Решение. 1Э. При я=1 гипотеза, очевидно, верна
((-1H=1).
2°. Пусть
Докажем, что
=4—U
13

Действительно,
*О8«
Задача 3. Доказать, что
Задача 4. Доказать, что сумма кубов п первых чисел
Гл(л+ 1I2
натурального ряла равна —-^~—- .
Задача б. Доказать, что
1 4-*+- *24 ... + хя = x^Sl] (л:^ 1).
Пример 6. Доказать, что
I .2 + 2-34-3.4-^ ... +(лг — 1)/г= (/г — 1) ^(/г +1) ^
Решение. I. 1-2 = —^—.
2°. Если
1-242.343.44 •¦•
то
1 . 2-4-2- 34 3 • 4+ ... 4(л— 1)я4 л(л4 0 =
3
Пример б можно также вывести из результатов при
меров 3 и 4, если заметить, что
1.242-343-44 ••• 4(л — 1)л =
= 1A41L2B+0+3C4-1L ...
Задача 6. Доказать, что
19

Задача 7. Доказать, что
JLiJ
_JL_i_J	l и
L3 ^ 3-5 ""t" ••' * B/г — 1> Bлг -|- 1> 2/1
Задача 8. Доказать, что
1'	2^
• • • ~Г~
Л2
я—1)Bл + 1)~ 2Bл+1) #
Задача 9. Доказать, что
J	_!_!_+ |		—
1 . 4 "Т" 4 • 7 ~т 7 . 10 "*" ' * * ~1~ (Злг — 2) (Злг + 1) ~ Зя + I e
Задача 10. Доказать, что

Dлг — 3) Dя + 1) ~ 4/г
Задача 11. Доказать, что
с (а + 1) ~ (д + 1) (а + 2)^" ' ^(а + я — 1) (а + я) а (а + я) *
Пример 7. Доказать, что если ио = 2, г^ = 3 и для
всякого натурального к имеет место соотношение
то
Решение. 1°. Для п = 0 и я—I утверждение спра
ведливо по условию.
2°. Предположим, что
Тогда
Задача 12. Доказать, что если
а2 ~ Р2	а3 —
и для всякого натурального /г > 2 имеет место соотношение
то
U
20
n

Пример 8. Произведение 1 • 2 • 3 ... п обозначается зна-
знаком п\ и читается так: «п факториал». Полезно запомнить,
что 1!=1, 2! = 2, 3! = 6. 4! = 24, 51=120.
Вычислить
e =1.11+2.21 + 3.31 + ... + п- п\
Решение.
= 1 . 1 ! — 1,
X
53 = 1 • 1 ! + 2 • 2 ! + 3 . 3 ! = 23,
Присматриваясь к этим результатам, можно заметить, что
5, = 2!—1. 52=31—1, 53=4!—1. 54 = 5!—1.
Это дает возможность высказать гипотезу, что
Проверим эту гипотезу.
1°. Для п—1 гипотеза верна, так как
О| = 1 • 1 ! = 2 ! — 1.
2°. Пусть
Sk= 1 • 11 + 2. 2!+ ... +Л- k\ = (k+ 1)! —1.
Покажем, что
S, + l = 1 • 1! + 2. 2!+ ... +й. ?! + (?+1) (А; + 1)! =
==(^ + 2)!— 1.
Действительно,
= (Л + 1)! (* + 2) — 1 = (А + 2)! — 1.
Задача 13. Доказать тождество
12	4	8	9п
-г- Л
1	2"
21

Пример 9. Дано:
а
т— 1 f
а	л	а
, АА=т	 и т. д.
, А4т
т
т — 1	а
т -
т —
т. е. для k > 1
а
Доказать, что
л 	 ^хл	К	/	^^	Г /	/ 1 \
Решение. 1°. Докажем сначала, что формула A) верна
лля п = 2. По условию,
1 ю формуле A)
Сократив последнюю дробь на а—р, имеем
а2 + р2 -|- ар — а —
U -
чго4 и требовалось доказать.
2\ П}сть ^о[»мула П) справедлива для n = k, т. е.
Л
До^ я кем, что тогда она должна быть справедлива и для
а — и -f- 1, т. е.
Действительно,
~ или ЛЛ41 = (а +p)
22

Пользуясь равенством B), имеем
Теорема доказана.
Задача 14. Упростить многочлен
Х(Х—\I „ Х(Х — 1) ... (дг-^/| 4-1)
х\ '	2!
Ответ,
( ? —- 1 ^ ^ V —_ 9\	^ V — п\
7	я!
Пример 10. Доказать, что любое целое число рублей,
большее 7, можно уплатить без сдачи денежными билетами,
достоинством в 3 и 5 рублей.
Решение. 1°. Для 8 рублей утверждение справедливо
(ибо 8 руб. = 3 руб. -)- 5 руб.).
2°. Пусть утверждение верно для к рублей, где к — целое
число, большее или равное 8.
Возможны два случая: 1) к рублей уплачивается одними
трехрублевыми билетами и 2) к рублей уплачивается денеж-
денежными билетами, среди которых есть хоть один билет пяти-
пятирублевого достоинства.
В первом случае трехрублевых билетов должно быть
не менее трех, так как в этом случае к > 8. Для того чтобы
уплатить к -\- 1 рубль, заменим три трехрублевых билета
двумя пятирублевыми.
Во втором случае для уплаты к ~{~ 1 рубля заменим один
пятирублевый билет двумя трехрублевыми.
Пример 11. Доказать, что сумма кубов трех последова-
последовательных натуральных чисел делится на 9.
Решение. 1°. Сумма 13+ 23-f- 33 делится на 9. Значит,
утверждение справедливо, когда первым из трех последова-
последовательных натуральных чисел является 1.
2°. Пусть сумма ks-\-(k-\- 1K + (& + 2K, где к — неко-
некоторое натуральное число, делится на 9. Сумма
23

представляет собой сумму двух слагаемых, каждое из кото-
которых делится на 9, а потому тоже делится на 9.
Задача 15, Доказать, что при целом я
делится на 133.
Пример 12. Из 2/г чисел 1, 2, .... 2/г произволь-
произвольно выбрали п -\~ 1 число. Доказать, что среди выбранных чи-
чисел найдутся хотя бы два числа, из которых одно делится на
другое.
Решение1). 1°. Для двух чисел 1, 2 утверждение
справедливо.
2°. Допустим, что из 2/г чисел 1, 2, . .., 2я, где п ^> 2,
удалось выбрать так п -\~ 1 число, что ни одно из них не
делится на другое. Совокупность всех этих чисел обозначим
для краткости МпЛ1. Докажем, что тогда из 2п — 2 чисел
1, 2	2п — 2 можно выбрать п чисел таких, что опять
ни одно из них не будет делиться на другое.
Возможны четыре случая:
1)	Мя + 1 не содержит ни 2п—1, ни 2а,
2)	Мп+г содержит 2п—1 и не содержит 2/г.
3)	Мп+1 содержит 2п и не содержит 2я — 1.
4)	Мп+1 содержит и 2/г — 1, и 2/г.
Случай 1. Исключим из Л1л + 1 какое-нибудь число.
Останется п чисел, каждое из которых не больше, чем 2/г —2.
Ни одно из этих чисел не делится на другое.
Случай 2. Исключим из Л1л + 1 число 2п—1. Оста-
Останется п чисел, каждое из которых не больше, чем 2/г—2.
Ни одно из этих /г чисел не делится на другое.
Случай 3. Исключим из А1я + 1 число 2/г и опять по-
получим тот же результат.
Случай 4. Прежде всего заметим, что в Л1л + 1 не со-
содержится число л, так как иначе в Mnil нашлось бы два
числа B/г и п), из которых одно делится на другое.
Исключим из ЖЛ + 1 числа 2п—1 и 2п. Совокупность
оставшихся /г—1 чисел обозначим Mn__v Присоединим к Мп_х
число /г. Получим п чисел, каждое из которых не пре-
превосходит 2/г — 2. Остается показать, что среди этих п чисел
ни одно не делится на другое.
]) Это решение принадлежит М. Фридману.
24

В Мп + 1 не было двух чисел, из которых одно делится
на другое. Значит, таких чисел не было и в Мп_{. Остается
только убедиться в том, что таких чисел не появилось и тогда,
когда мы к Мп_х присоединили число а.
Для этого достаточно убедиться в том, что: 1) ни одно
число, входящее в Мп_х% не делится на п и 2) число а не
делится ни на одно из чисел, входящих в Мп_х.
Первое вытекает из того, что все числа, входящие в Мп_19
не превосходят 2п —- 2.
Второе вытекает из того, что число 2п не делится ни
на одно из чисел, входящих в Mn_v
Итак, если допустить, что утверждение неверно для 2а
чисел 1, 2, .... 2я, то оно неверно и для 2{п—1) чисел
1, 2	 2п — 2. Значит, если утверждение верно для
2(д—1) чисел 1, 2	2п — 2, то оно верно и для 2а
чисел 1, 2, .... 2а.
Отсюда и из пункта 1° следует, что наше утверждение
справедливо для 2а чисел 1, 2, ..., 2а, где п — любое
натуральное число.
Заметим, что эта задача имеет следующее простое реше-
решение. Выберем из 2а чисел 1, 2, ..., 2а произвольное а -)- 1
число. Совокупность этих чисел обозначим Жл + 1.
Каждое четное число, входящее в Мп+1, разделим на
такую степень двойки, чтобы частное было нечетным. Сово-
Совокупность этих частных и всех нечетных чисел, входящих
в /WnM, обозначим через А/я+1. В Мп + \ содержится а + 1
нечетное число, каждое из которых меньше 2я.
Так как всех положительных нечетных чисел, меньших 2/г,
имеется всего а, то в Мп+\ имеются хотя бы два равных
числа. Каждое из этих чисел пусть равно k.
Полученный результат означает, что в Мп+1 было два
числа 2sk и 2*k (где одно из чисел s и t может равняться
нулю). Но одно из чисел 2sk и 2lk делится на второе.
Задача 16*). Доказать, что а различных прямых, про-
проведенных на плоскости через одну точку, делят плоскость
на 2а частей.
Пример 13. Доказать, что а плоскостей, проходящих
через одну точку так, что никакие три из них не проходят
*) Задача 16 и пример 13 отнесены к этому параграфу, посколь-
поскольку они имеют, по существу, чисто арифметический характер, хотя
и сьязаны с геометрической проблематикой.
25

через одну прямую, делят пространство на Лп = п(п—1)
частей.
Решение. 1°. Одна плоскость делит пространство
на две части, и Ах = 2. Для п=\ утверждение справед-
справедливо.
2°. Предположим, что утверждение справедливо для n = kt
т. е. k плоскостей делят пространство на k(k — 1) —f- 2 частей.
Докажем, что тогда &+1 плоскостей делят пространство
на k(k-\-Y)-\-2 частей.
Действительно, пусть Р есть (Jk-\~ 1)-я плоскость. С каждой
из первых k плоскостей плоскость Р пересекается по неко-
некоторой прямой и, таким образом, плоскость Р разбита на части
посредством k различных прямых, проходящих через одну
точку. На основании задачи 28 утверждаем, что плоскость Р
разбита на 2k частей, каждая из которых представляет собой
плоский угол с вершиной в данной точке.
Первые k плоскостей делят пространство на некоторые
многогранные углы. Некоторые из этих многогранных углов
делятся посредством плоскости Р на две части.
Общей гранью двух таких частей служит часть плоскости,
ограниченная двумя лучами, по которым Р пересекается
с гранями данного многогранного угла, т. е. один из 2k пло-
плоских углов, на которые плоскость Р разбита.
Это означает, что число многогранных углов, разбивае-
разбиваемых на две части плоскостью Я, не может быть больше,
чем 2k.
С другой стороны, каждая из 2k частей, на которые
разбивается плоскость Р, в результате пересечения ее с пер-
первыми k плоскостями, является общей гранью двух много-
многогранных углов и таким образом делит многогранный угол,
образованный первыми k плоскостями, на две части.
Это означает, что число многогранных углов, которые
разбиваются на две части плоскостью Я, не может быть
меньше, чем 2k.
Итак, плоскость Р разбивает на две части точно 2k
частей пространства, образованных первыми k плоскостями.
Поэтому если k плоскостей разбивают пространство на
k(k ~ \)-\-2 частей, k-\-\ плоскость разбивает простран-
пространство на
[Л (А — 1) + 2] + 2k = k (k + 1) + 2
частей. Утверждение доказано.
26

§ 2. ТРИГОНОМЕТРИЧЕСКИЕ И АЛГЕБРАИЧЕСКИЕ
ЗАДАЧИ
Пример 14. Доказать тождество
sin 2л*J a
cos а cos 2а cos 4а ... cos 2ла = ——п	.
Решение. 1°. При п = О тождество справедливо, так
как
sin 2a
2°. Пусть тождество справедливо при n = k, т. е,
cos a cos 2a ... cos 2*a =	.
2*+1sina
Тогда оно справедливо и при n-=>k-\- 1. Действительно,
cos a cos 2a ... cos 2*a cos 2k+]a =
Пример 15. Доказать, что An = cos яО, если известно,
что Ах = cos 0; А2 = cos 28 и для всякого натурального k > 2
имеет место соотношение
Решение. 1°. Утверждение справедливо при п=\
и п = 2.
2°. Пусть
Л- -— ГПС (Ъ —— /\ f\	Л .	г—— PHQ (Ъ —. 1 ^ fl
Тогда
Лл = 2 cos 0 cos (ft — 1) 0 — cos (ft — 2) 0 = cos ft9.
Пример 16. Доказать, что
sin "X x
2.	fix
sin x -f- sin 2x -f- ... -|-sin#.x:==	sin-^-
Решение. 1°. При я=1 утверждение справедливо.
27

2°. Пусть
sin—j*	kx
sinx-(-sin2jc+ ... -\-s\x\kx =	=-	sin-к-
x	&•
Тогда
sin a:-f sin 2a: + ... -f-sin кх-\-ъ\ъ{к -(- 1) x =
\)x =
Sin
sin -T-4- 2sin—rf— x cos
Ul 1J	-v	1	*^ ^ 1 1 *	% \	» "	** ^-^ "-^	% \
sin -y
sm-j-x
	sin
_	2
ибо
I	r	k -J- 2
2 cos—r2— A:sin-y ==sin —^—x — sin —.
Задача 17. Доказать, что
, 2л+1
sin —^— г
-н- -f- cos х + cos 2* -f- • • • -f- cos nx =
2sinT
Задача 18. Доказать, что
sin x -f- 2 sin 2a: -f- 3 sin 3a: + ... -|-nsinAiA: =
	 (n~\- 1) sin nx — n sin (n-\- \)x
4 sin2 ~
Задача 19. Доказать, что
cos x -f- 2 cos 2x -f- ... -)- /г cos nx =
(л-f-1) cos nx — n cos (я-f- \)x— 1
л ¦ j X
4 siJ
28

Задача 20. Доказать, что
it -?4- —t — jl. -4- —
1	X
= -уГ ctb ~2п — ct? х (х ^ тп)'
Задача 21. Доказать, что
arc ctg 3 +arc ctg 5+ ... +arc ctgBn + 1) =
= arc tg 2 -f- arc tg -^ -f- ... + arc tg —^	n arc ig 1,
Пример 17. Доказать, что
n
~4~
A+/)»== 2 2 (cos ^L-f/sin
Решение. 1°. При я=1 утверждение справедливо,
так как
сГо l	Я ... Л \
i = 22 ^cosT+/sinT).
2°. Пусть
-j- i) =/ 1 cos-^ j— г si n ^— 1.
Tor л а
22
err-i (k+\Oi , . . (Л+ 1)я\
= 2 2 (cos ^	h ^sin 4 )*
Задача 22. Доказать, что
(]/ 3 — i) = 2 I cos -^	&sin-7r-
Пример 18. Доказать теорему:
Если в результате конечного числа рациональных действий
(т. е. сложения, вычитания, умножения и деления) над ком-
комплексными числами xlt xv ..., хп получается число и, то
в результате тех же действий над сопряженными комплекс-
комплексными числами х1% х2	хп получится число и, сопря-
сопряженное с и.
4 И. С. Соминский	29

Решение. 1°. Прежде всего покажем, что утверждение
верно для каждого из четырех действий над двумя комплекс-
комплексными числами. Пусть
хх = a -f- bi% х2 — с-\- dt.
Тогда
— (а + с) + Ф + d) i — и,
хх + х2 = (а —Ы)-{-(с — dl) =
Точно так же утверждение проверяется для вычитания, умно-
умножения и деления.
2°. Пусть теперь дано некоторое рациональное выраже-
выражение от комплексных чисел хг, д*2, .. ., хп. Вычисление такого
выражения сводится, как известно, к последовательному
выполнению одного из четырех действий над двумя комплекс-
комплексными числами, причем действия эти могут быть занумерованы.
Например, пусть
== Х\Х2 ~f~ ХЪХА
Х\ -\~ Х2	Х3
Для вычисления и достаточно произвести действия:
1) xlx2 = uv 4) иг—лг3==«4,
2)	Х^Х^ = #2» ч) ^
3) хх-\- х2 = иг% 6)
Предположим, что утверждение верно для всех выраже-
выражений, которые для вычисления их требуют не более k «дей-
«действий». Термин «действие» здесь означает сложение либо
вычитание, либо умножение, либо деление двух комплексных
чисел. Покажем, что тогда утверждение должно быть верно
и для выражений, требующих k-\-\ «действий».
Действительно, последнее (k-\- l)-e «действие» мы выпол-
выполняем над числами ut и uj9 которые сами вычислялись посред-
посредством не более чем k «действий».
В результате замены чисел х1% х2	хп сопряженными,
числа и1 и Uj заменяются сопряженными ик и iij, а тогда
и результат (&-|~1)-го «действия» над ними, т. е. число и,
также заменится сопряженным числом и.
Задача 23. Доказать, что при любом натуральном п
(cos л: -f- isin х)п = cos nx -\- is\n nx.
30

§ 3. ЗАДАЧИ НА ДОКАЗАТЕЛЬСТВО НЕРАВЕНСТВ
Пример 19. Доказать, что при любом натуральном п > ]
\,	+ L> 13
Решение. Обозначим левую часть неравенств через Sn.
Г. S2 = -j2= -2T, следовательно, при п = 2 неравенство
справедливо
24
и Sh., > -FT7-. Имеем
13
2°. Пусть Sk > -jyt при некотором /г. Докажем, что тогда
~ • • • 1^ Ofc l^
Сравнивая Sb и Sb,u имеем
1
1 ' 2^ + 2 Л + 1 *
т. е.
При любом натуральном k правая часть последнего ра-
13
венства положительна. Поэтому Sk_il^>Sk. Но Sk > йг,
с .1
значит, и ой + 1 > -
Задача 24. Найти ошибку.
Утверждение. При любом натуральном п справедливо
неравенство
2л>2д+1.
Доказательство. Пусть неравенство справедливо при
n = k, где /г — некоторое натуральное число, т. е.
2* > 2ft+1.	A)
Докажем, что тогда неравенство справедливо и при п = к + 1,
т. е.
2* + 1>2(ft+ 1)+ 1.	B)
4*	31

Действительно, 2k не меньше 2 при любом натуральном k.
Прибавим к левой части неравенства A) 2*. а к правой 2.
Получим справедливое неравенство
2к + 2* > 2k + 1 + 2,
или
* + 1	1)+ 1.
Утверждение доказано.
Задача 25. При каких натуральных п справедливо не-
неравенство
2">2л 4- 1?
Пример 20. При каких натуральных п справедливо не-
неравенство
2п > л-1?
Решение.
При #=1 неравенство справедливо, так как 21 > I2.
При п = 2 неравенство несправедливо, так как 22 = 22.
При # = 3 неравенство несправедливо, так как 23 < З2.
При п = 4 неравенство несправедливо, так как 21 = 42.
При п = 5 неравенство справедливо, так как 25 > 52.
При я = 6 неравенство справедливо, так как 26 > б2.
По-видимому, неравенстгю справедливо при й = 1 и при
любом п > 4. Докажем это.
1°. При лг = 5 неравенство справедливо.
2°. Пусть
2*\	A)
где k-— некоторое натуральное число, большее 4.
Докажем, что
2*fl>(&-f IJ.	B)
iMbi знаем, что 2k > 2k -f- 1 при /г > 4 (задача 44). Поэтому
если мы к левой части неравенства A) прибавим 2кл а к правой
2k -f- I, получим справедливое неравенство B).
Ответ. 2п > #2, когда я = 1 и когда я > 4.
Пример 21. Доказать, что
A + а)я> 1 + ла,
где а > — 1, а Ф 0, п ™ натуральное число, большее 1.
Решение. 1°. При я = 2 неравенство справедливо, так
как а2 > 0.
32

2°. Пусть неравенство справедливо при n = k, где ^ — неко-
некоторое натуральное число, т. е.
{\+a)k>\+ka.	A)
Покажем, что тогда неравенство и при п = k-\- \, т. е.
*•	B)
Действительно, по условию, l-f-a>0, поэтому справедливо
неравенство
*+1	C)
полученное из неравенства A) умножением каждой части его
на 1 —j— a.
Перепишем неравенство C) так:
A 4- a)* + 1 > 1 Н- (k + l)a -f /ea2.
Отбросив в правой части последнего неравенства положи-
положительное слагаемое ka?% получим справедливое неравенство B).
Задача 26. Доказать, что при любом натуральном п > 1
Задача 27. Доказать, что при любом натуральном п > 1
4я	Bл)!
„4-1 ^ (/г!J "
Пример 22. Доказать, что
n)>(a + b)n.	(I)
где а 4~ Ь > 0, афЬ, п—натуральное число, большее I.
Решение. 1°. При п = 2 неравенство A) принимает вид
2(a2+?2)>(a+?J.	B)
Так как а ф Ь, то справедливо неравенство
(а — Ь? > 0.	C)
Прибавив к каждой части неравенства C) по {a -f- bJ, полу-
получим неравенство B).
Этим доказано, что при я = 2 неравенство A) справедливо.
2°. Пусть неравенство A) справедливо при n = kt где
k — некоторое натуральное число, т. е.
2*"' (a* + ft*) >(„ + *)».	D)
S3

Докажем, что тогда неравенство A) должно быть спра-
справедливо и при n = k-\- 1, т. е.
2* (а*+1 + Ь*+ 0 >(а -f ?)*+1«	E)
Умножим обе части неравенства D) на а-\-Ь. Так как,
по условию, а -\- b > 0, то получаем следующее справед-
справедливое неравенство:
2*-V+A*)(e + &)>(e + ft)* + 1.	F)
Для того чтобы доказать справедливость неравенства E),
достаточно показать, что
2*-1
G)
или, что все равно,
Неравенство (8) равносильно неравенству
(ак — bk)(a—b)>0.	(9)
Если а > Ь, то а* > ?*, и в левой части неравенства (9)
имеем произведение двух положительных чисел. Если а < Ь,
то ak < bkf и в левой части неравенства (9) имеем произве-
произведение двух отрицательных чисел. В обоих случаях неравен-
неравенство (9) справедливо.
Этим доказано, что из справедливости неравенства A)
при n = k следует его справедливость при п — k -\- \.
Пример 23. Доказать, что при любом х > 0 и при
любом натуральном п справедливо неравенство
1	'	I	. A)
+	+
^v	«Л-	*ъ
Решение. 1°. а) При п=\ неравенство A) прини-
принимает вид
i2.	B)
Неравенство B) вытекает из очевидного неравенства
б) При п = 2 неравенство A) принимает вид
*2+14--^>3.	C)
34

Неравенство B) справедливо при любом х > 0; значит, оно
справедливо и при замене х на л;2, т. е.
Прибавив к каждой части последнего неравенства по I,
получим неравенство C).
2°. Предположим, что неравенство A) справедливо при
п = к, где к— некоторое натуральное число, т. е.
2	±L >/f 1.	D)
|
•А,	А*
Докажем, что тогда неравенство A) справедливо и при
п = /г 4- 2, т. е.
Заменив в неравенстве B) л: на л;*+2, получаем
1
2*	(б)
Сложив почленно неравенства D) и F), получим неравен-
неравенство E).
Подведем теперь итог.
В пп. 1° а) и б) мы доказали, что неравенство A) спра-
справедливо при л=1 и при п = 2.
В п. 2° мы доказали, что из справедливости неравен-
неравенства A) при п — к вытекает его справедливость и при
п = к 4- 2. Иными словами, п. 2° дает нам право перехода
от п== к к п = к -[- 2.
Результаты пп. 1° а) и 2° дают нам право утверждать,
что неравенство A) справедливо при любом нечетном п.
Точно так же результаты пп. 1° б) и 2° дают нам право
утверждать, что неравенство A) справедливо при любом
четном п. В целом мы имеем право утверждать, что нера-
неравенство A) справедливо при любом натуральном я.
Пример 24. Доказать теорему:
Среднее геометрическое нескольких положительных чисел
не больше их среднего арифметического, т. е. если а{9
av ..., ап положительны, то
V а\а1 • • • аа
S5

Решение. 1°. При я = 2 неравенство A) принимает вил
Это неравенство легко получить из справедливого при любых
положительных ах и а2 неравенства
Неравенство B) имеет простой геометрический смысл.
На прямой АВ отложим последовательно отрезки ах и я2.
На сумме их как на диаметре опишем окружность. Тогда
ах -+- а2 —радиус этой окружности, а ]/ аха2— половина
хорды, перпендикулярной к диаметру в обшей точке ах и а2
(см. рисунок), из чего и усматривается справедливость не-
неравенства B).
к
axa2 ... ak-\-
a.2k
4- a-2
2
... 4-
2
2°. Предположим, что неравенство A) справедливо при
Докажем, что тогда оно справедливо и при
Действительно,
	 у k	k
аха2 .. . a2k = У У аха2 ... ak Уак u . .. а2к
... 4- cLk -f* ••• H~
36

Неравенство A) проверено при п = 2 и, таким образом,
можем утверждать, что оно справедливо при я = 4, 8, 16
и т. д., т. е. вообще при п = 2s, где s — натуральное число.
3°. Для того чтобы доказать справедливость неравен-
неравенства A) при всяком натуральном п, покажем, что из спра-
справедливости неравенства при n = k следует его справедли-
справедливость при п = к — 1.
Итак, пусть а{, а2	ak-\ — некоторые положитель-
положительные числа. Пусть X — некоторое, пока не определенное,
положительное число. Тогда
л/-—
Выберем X так, чтобы
а\
k
т. е. положим
Я,
Имеем
к
или
1
Пусть теперь m — произвольное натуральное число. Если
т = 2\ то согласно 2° для него неравенство справедливо.
Если же тф2&% то найдем такое s, чтобы m было меньше 2s,
и тогда на основании 2° и 3° утверждаем, что неравенство
верно для п = т.
§ 4в ДОКАЗАТЕЛЬСТВО НЕКОТОРЫХ ТЕОРЕМ
ЭЛЕМЕНТАРНОЙ АЛГЕБРЫ
МЕТОДОМ МАТЕМАТИЧЕСКОЙ ИНДУКЦИИ
Теорема 1. Квадрат многочлена равен сумме квад*
ратов всех его членов, сложенной со всевозможными
их удвоенными попарными произведениями, т. е.
... +аа_хап). A)
а?

1°. Для я = 2 формула A) может быть доказана непо-
непосредственным умножением.
2°. Допустим, что формула A) верна для n = k— 1, т. е.
где 5 — сумма всевозможных попарных произведений, соста-
составленных из ах, а2	ak-v Докажем, что
где Sx — сумма всевозможных попарных произведений, соста
вленных из ах> а2	ak-v ak* T- е-
Действительно,
Теорема 2, /г-й ^^^« арифметической прогрессии
может быть вычислен по формуле
an = ax-\~d(n-l),	A)
где а{ — первый член, d — разность прогрессии,
1°, Для /г=1 формула A) верна.
2°, Предположим, что формула A) верна для n — k, т. е.
ak = ax-\-d(k — 1).
Тогда
т. е. формула A) оказывается справедливой и для n = k-\~\.
Теорема 3. #-й член геометрической прогрессии
может быть вычислен по формуле
an = axq»-\	'	A)
где ах —первый член, q — знаменатель прогрессии.
1°. Для я=1 формула A) верна.
2°. Пусть
Тогда
33

Теорема 4. Число перестановок из т элементов
может быть вычислено по формуле
Рт = т\.	A)
Г. Прежде всего заметим, что Рх = 1 и, таким образом,
при т=1 формула A) верна.
2°. Пусть Pk = kL Докажем, что
Из данных k-\-\ элементов av a2, ..., ak, ak±x возьмем
только первые k и составим из них всевозможные переста-
перестановки. По условию, таких перестановок будет k\.
В каждой из этих перестановок поставим элемент ##+i
последовательно перед 1-м элементом, перед 2-м, .... перед
&-м, после &-го. Этим путем мы из одной перестановки из k
элементов получим k-\-\ перестановок из k -f- 1 элементов.
Всего имеем
перестановок из k-\-\ элементов.
Необходимо выяснить:
1)	нет ли среди этих (k-\-\)\ перестановок двух оди-
одинаковых;
2)	все ли перестановки из k + 1 элементов нами получены.
1)	Допустим, что среди (&-J-1)! перестановок имеются
две одинаковые. Назовем их рх и р2. Пусть в перестановке рх
элемент uk+l занимает 5-е место, считая слева. Тогда и в р2
элемент ak + x занимает 5-е место, считая слева.
Удалим из р{ и р2 элемент ak+v Получим две одина-
одинаковые перестановки из k элементов: р{ и р2.
Выходит, что для получения р{ и р2 в одну и ту же
перестановку из элементов av a2> ..., ak два раза
на одно и то же место был поставлен элемент ak+v
Это противоречит правилу, по которому построены пере-
перестановки.
2)	Допустим, что некоторая перестановка р из k -4-1
элементов нами не получена. Пусть в р элемент ak+l зани-
занимает s-e место слева. Удалим из р элемент ak+v Получим
перестановку р из первых k элементов. Значит, для полу-
получения р достаточно было взять перестановку р и поставить
в нее элемент ak+1 так, чтобы он занял 5-е место слева.
Мы не могли не взять перестановку р, так как брали
всевозможные перестановки из первых к элементов.
39

Мы не могли не поставить элемент ak+} на указанное место,
так как ставили его и первым, и вторым, ...? и (&-|-1)-м
слепа.
И гак, составленные нами перестановки все различны
и всякая перестановка из k -f- 1 элементов нами
получена.
Из сказанного вытекает, что
1I-
Теорема 5. Число размещений из т элементов
по п может быть вычислено по формуле
Ат = т(т — 1) . . . (т — п + 1).	<. 1)
1°. Прежде всего заметим, что Ат = т и, таким образом,
формула A) верна при п=\.
2°. Предположим, что
Акт = т(т — 1) ... (т — k -f- 1),
где k < т. Докажем, что
Ащ =z т(т — 1) ... (т — k).
Для получения всех размещений из т элементов по Лг ~|- I
элементу достаточно взять все размещения из т элементен
по k и к каждому из них приписать в конце каждый
из оставшихся т — k элементов. Нетрудно убедиться, что
составленные таким образом размещения из т элементов
по k ~\ 1 все различны и, кроме того, всякое размещение
из т элементов по k~\~\ содержится среди полученных.
Выходит, что
А*п = Ат (т — k) = т (т — 1) ... (т — k).
Теорема 6. Число сочетаний из т элементов по п
может быть вычислено по формуле
гп 	 т(т—\) ... (т — п
Cm—	Ь2 ... п
1°. Прежде всего заметим, что Ст = т и, таким обра-
образом, при #=1 формула A) верна.
2°. Допустим, что
—	1-2 ... k
40

Докажем, что
^k+\	 т (т — \) ... (т — k -f 1) (т — k)
171 ~~	\ -2 ... к (Л + П
Для получения всех сочетаний из m элементов по & 4- 1
выпишем все сочетания из т элементов по к и к каждому
из них в качестве (&4~О-го элемента присоединим каждый
из т — к оставшихся элементов.
Ясно» что таким путем будут получены все сочетания
из т элементов по к -|~ 1, но каждое из них получится
к -f 1 раз.
Действительно, сочетание ах, а2, .... ak, cik^x получится,
когда к сочетанию а2, ^з« •••• ak* ak±\ присоединится эле-
элемент av% когда к сочетанию ах, а3, . ..,afe, ^frH присоеди-
присоединится элемент а9 и т. д., когда, наконец, к сочетанию а,,
а2, ...» лЛ присоединится элемент uk+v Таким образом,
+1	^>ft rn — k 	 m (m — 1) ... (m — k)
Теорема 7. Каковы бы ни были числа а и h и
каково бы ни было натуральное число п, имеет место
формула
(a t h)n = an + Clna"-lb 4- . .. 4 С^*"V 4- ...
(формула бинома Ньютона).
Р. При /г = 1 имеем а-\-h = b-\--а и, таким образом,
для этого случая формула A) верна.
2°. Пусть
(а 4- ^) = cl 4- ч^ ^ + С^а о 4- •. • 4- Ь .
Тогда
a о 4~ ... 4
Имея в виду, что C?-f C^f = C| + i, получаем
i i<>2 ДР—1.2 ,
4--Ck + ia * 4- .. .
о
4"

ПОСЛЕСЛОВИЕ
Ю* А. Гастев
Индукция (лат. inductio — наведение) — переход от частного
к общему; дедукция (лат. deductio — вывод) — переход от общего
к частному. Всем известна роль процессов обобщения результатов
отдельных наблюдений и опытов (т. е. индукции) для эмпириче-
эмпирических, экспериментальных наук. Математика же издавна считалась
классическим образцом осуществления чисто дедуктивных методов,
поскольку явно или неявно всегда подразумевалось, что все мате-
математические предложения (кроме принятых за исходные — аксиом)
доказываются, а конкретные применения этих предложений
выводятся из доказательств, пригодных для общих случаев
(дедукция).
Но вот мы читаем: «Индукция широко применяется в матема-
математике, но применять ее надо умело» (стр. 7 настоящей книги);
«... как пользоваться в математике индукцией, чтобы получать
только верные выводы?» *) (стр. 6). Что же все это, собственно, зна-
значит? Не следует ли понимать дело так, что среди математических
методов есть «достоверные», действующие, так сказать, безотказно
(дедуктивные), и «не вполче надежные», дающие подчас, особенно
в неумелых руках (как выражается автор, «при легкомысленном
отношении»), осечку (индуктивные)? Если бы это было действи-
действительно так, то где же искать критерии надежности таких «индуктив-
«индуктивных» методов? Как вернуть себз уверенность в непреложной обя-
обязательности математических выводов? Или это безнадежная затея,
и достоверность математических заключений — той же природы, что
и опытные обобщения экспериментальных наук, так что любой
доказанный факт неплохо было бы еще «проверить» (подобно тому
как школьникам часто рекомендуется «проверять» правильность
выполнения арифметических действий или решения уравнений по
общей формуле)?
*) Такого рода трактовка «индукции в математике» стала почти
традиционной для школьных учебников — вплоть до самых новых
(см., например, §§ 62—63 учебника алгебры Е. С. Кочеткова
и Е. С. К о ч е т к о в о й).
42

В действительности дело обстоит не так. Индукц и я
т. е. «наведение» (на мысль, на догадку, на гипотезу) играет
в математике, безусловно, очень большую, но чисто эври-
эвристическую роль: она позволяет догадываться о том, каким,
по всей видимости, должно быть решение. Устанавли-
Устанавливаются же математические предложения только
дедуктивно. Ни один математический результат не может пре-
претендовать на достоверность, истинность, коль скоро он не выведен
из исходных посылок.
Ну, а как же «метод математической индукции»? Дело все в том,
что «математическая индукция» есть дедуктивный метод.
В самом деле, разберемся детальнее в структуре математических
умозаключений, выглядящих как «переход от частного к об-
общему». Легко убедиться, что так называемая математическая индук-
индукция на самом деле вовсе не есть индукция — это чисто дедук-
тивный метод рассуждения! Доказательство, проводимое этим мето-
методом, состоит из двух частей: 1) так называемый базис — доказа-
доказательство (дедуктивное!) искомого предложения для одного (или
нескольких) натурального числа (например, для 0 или 1; это то, что
на стр. 11 именуется «Теоремой 1»); 2) индукционный шаг
(«Теорема 2»), состоящей в доказательстве (опять-таки дедуктивном)
общего утверждения: для всех п верно, что из того, что искомое
утверждение справедливо для л, вытекает, что оно справедливо и
для п + 1. «Принцип математической индукции» (стр. 10) — точно
формулируемое предложение (интуитивная убедительность которого
признается многими математиками как неоспоримая; при аксиома-
аксиоматическом же построении арифметики он фигурирует в качестве
аксиомы), позволяющее извлечь из базиса и индукционного шага
чисто дедуктивное доказательство рассматриваемого предложения
для всех натуральных чисел п. Таким образом, никаких «не учтен-
учтенных в посылках» случаев, на которые затем («по индукции») надо
было бы еще «распространять» заключение, не остается — теорема
именно доказывается для всех натуральных чисел: из базиса,
доказанного, скажем, для числа 0, мы получаем, по индукционному
шагу, доказательство для числа 1, затем таким же образом для 2,
затем для 3 ... —и так утверждение теоремы может быть обосно-
обосновано для любого натурального числа *).
Иначе говоря, название «математическая индукция» обусловлено
тем, что этот метод просто ассоциируется в нашем сознании
с традиционными «индуктивными» умозаключениями (ведь базис
действительно доказывается только для частного случая); индук-
индукционный шаг, в отличие от основанных на опыте критериев правдо-
правдоподобности индуктивных умозаключений в естественных (и обще-
общественных) науках, есть общее утверждение, не нуждающееся
ни в какой частной посылке и доказываемое по строгим
канонам дедуктивных рассуждений. Потому-то и называют матема-
математическую «индукцию» «полной», или «совершенной», что она
(в противоположность обычной, «несовершенной» индукции, не
обеспечивающей нам полного знания) есть дедуктивный («сто-
(«стопроцентно надежный») метод доказательства.
*) О встающих в связи с такого рода обоснованием метода
проблемах см. указанную ниже литературу.
43

Итак, в качестве метода доказательства индук-
индукция в математике не применяется*), что. разумеется,
никак не исключает широкого применения в ней дедуктивного ме-
метода «математической индукции».
Условившись отныне в таком понимании термина, мы можем,
конечно, позволить себе теперь и вольные перефразировки вроде	Ш
«индукции в геометрии»**) или «индукции в математике». Но при	|,
этом всегда надо помнить, что первое выражение, строго говоря,
имеет совсем не тот смысл, что громоздкое (но точное!) выра-	Щ
жение «употребление дедуктивного метода математической индук-
индукции для доказательства теорем геометрического содержания» (хотя,
для облегчения речи, и употребляется как его синоним), а второе —
отнюдь не то же самое (вопреки чисто грамматическим признакам),
что «математическая индукция»; последний термин следует воспри-
воспринимать целиком, а вовсе не в смысле «индукция в математике».
Метод математической индукции (в той форме, в какой он рас-
рассматривается в этой книжке) есть метод доказательства арифме-
арифметических теорем, точнее, теорем, выражающих общие свойства
натуральных чисел @, 1, 2, ...; иногда, как в этой книге, нату-
натуральный ряд уславливаются начинать с единицы, что абсолютно не
принципиально). И для арифметики натуральных чисел этот метод,
в известном (достаточно разумном и сильном) смысле, является
универсальным (а часто и единственным) орудием доказа-
доказательств.
Чтобы это последнее утверждение не показалось читателю слиш-
слишком сильным, он должен твердо уяснить себе,что при аксиоматическом
(дедуктивном) построении арифметики все ее здание опирается на
определения операций над натуральными числами по матема-
математической индукции (например, при определении сложения
прежде .всего определяется, — в качестве базиса индукции, — что зна-
значит прибавить единицу или нуль; затем — индукционный шаг опреде-
определения—определение прибавления произвольного натурального чис-
числа сводится к определению прибавления предшествующего числа). И
вполне понятно потому, что «добираться» до общих свойств натураль-
натуральных чисел, связанных, скажем, с операциями сложения или умноже-
умножения, нам приходится (если уж мы хотим обосновывать их аксиома-
аксиоматически) по той же «лестнице» (на нижней «ступени» которой нахо-
находится соответствующее свойство для наименьшего натурального
числа), по которой мы «совершаем восхождение» к интересующему
нас общему понятию; грубо говоря, иначе просто не видно, как за
нужное нам доказательство «ухватиться»! И так обстоит дело
с доказательством любого общего арифметического утверждения! И
*) Л1ы уже упоминали вскользь о чрезвычайно плодотворной
роли «обычной» («неполной») индукции в формировании математи-
математических догадок, ведущих затем и к открытиям новых фактов;
подробнее об этом и о связи «обычной» индукции с методом мате-
математической индукции см. в книге Д. П о й а, Математика и правдо-
правдоподобные рассуждения, М., ИЛ, 1957, т. I (особенно глава 7).
**) Именно так, например, названа для краткости книжка
Л. И. Головиной и И. М. Яг л ом а («Популярные лекции по
математике», вып. 21), задуманная авторами в качестве естествен-
естественного продолжения книжки И. С. Соминского.
44

если это не видно из школьного курса арифметики и алгебры, то
лишь потому, что он (совершенно резонно) опирается не столько
на аксиоматический метод, сколько на опыт и интуицию *). В конце
концов самый придирчивый и критически настроенный читатель
часто довольствуется знанием того, что, скажем, дистрибутивность
умножения относительно сложения можно доказать, и уже не тре-
требует самого доказательства. (Но такая, пусть вполне обоснован-
обоснованная, уверенность так же отличается от подлинного доказательства,
как, скажем, газетная информация от подлинного знания очевидца,
причем эта аналогия простирается весьма далеко.) Поэтому-то ме-
метод математической индукции и появляется в школьном курсе мате-
математики гораздо позже интуитивно прозрачных и легко постигаемых
свойств арифметических действий, например, в связи с формулой
бинома Ньютона, которая уже отнюдь не такова, чтобы справедли-
справедливость ее «бросалась в глаза».
В той мере, в какой другие разделы математики опираются на
арифметическую основу, они нуждаются в методе математической
индукции. Потребность эта бывает двоякого рода. Прежде всего
многие разделы математики просто строятся на базе грифметики
натуральных чисел (скажем, теория рациональных чисел приводя-
приводящая в свою очередь к теории действительных чисел), другие же
могут быть интерпретированы в арифметических терминах
(например, любой факт евклидовой геометрии можно выразить на
«координатном языке» деьствительных чисел). В этих случаях утвер-
утверждения, предположим, геометрическое содержания могут быть
доказаны именно для такой арифметической интерпретации с помо-
помощью математической индукции. Можно сказать, что геометрическая
или какая-либо иная «специфика» подобных предложений не более
существенна для самого доказательства, чем, например, природа
рассматриваемых объектов в задаче о сложении трех огурцов
с пятью огурцами или трех пароходов с пятью пароходами. (При-
(Примеры такого рода читатель сможет сам найти в книге.)
Но бывает так, что базис индукции доказывается существенно
неарифметическими методами **). И в этом случае, однако, индук-
индукционный шаг (даже если он опирается на геометрические или какие-
нибудь другие аксиомы) представляет собой некоторое общее
утверждение о натуральных числах, поскольку в нем
идет речь о выполнении некоторого свойства для любого натураль-
натурального числа п ***).
Итак, математическая индукция по натуральным числам есть
метод доказательства теорем, арифметических «по форме», но, быть
*) В тех же случаях, когда в школьном курсе доказываются
какие-либо общие свойства натуральных чисел, то доказательство,
если и не проводится по индукции, то лишь благодаря тому, что
в качестве посылок (часто неявных) используются предложения,
для строгого обоснования которых индукция все же необходима
(подобно тому как употребление постулата о параллельных в евкли-
евклидовой геометрии можно «замаскировать», пользуясь вместо него
каким-нибудь из его следствий).
**) См., например, уже упоминавшуюся книжку Л. И. Г о л о-
вино й и И. М. Я г л о м а «Индукция в геометрии».
***) То есть сам переход «от п к п-\-1» доказывается для любого п.
45

может, геометрических или каких-нибудь других (скажем, механиче-
механических) «по содержанию».
Отметим еще, что метод, оказавшийся столь плодотворным для
проведения доказательств, следующих процессу построения нату-
натурального ряда 0, 1, 2, ..,, может быть обобщен и на процессы
совершенно другого вида Например, в исчислениях математической
логики, оперирующих с формулами («высказываниями»), построен-
построенными из «элементарных формул» («элементарных высказываний»)
пида А, В, С ..., с помощью, допустим, знаков & («и»), V («или»), и>
(«если ..., то ...») и ""] («не»), общие свойства формул доказы-
доказываются путем так называемой индукции по построению
формулы: доказывается, что 1) искомым свойством обладает
любая элементарная формула (базис), и 2) из того, что этим свой-
свойством обладают формулы X и К, следует, что им обладают фор-
формулы (X & К), (X V У)> (X и> Y) и ""] X (индукционный шаг); из этого
делается вывод о справедливости доказываемого предложения для
всех формул указанного вида. Аналогия с рассматриваемой в на-
настоящей книге математической индукцией настолько прозрачна, что
бросается в глаза и неподготовленному читателю.
Вообще, любая математическая (или логическая) конструкция,
состоящая в переходе от одного или нескольких исходных объектов
к новым объектам с помощью одной или нескольких операций пере-
перехода, может служить основой соответствующего «индуктивного»
(являющегося, как мы уже видели, чисто дедуктивным) метода
определения и доказательства. (Относительно подчиненная роль
метода математической индукции в математическом анализе, кстати,
объясняется именно тем обстоятельством, что действительные числа,
в отличие от натуральных, не являются продуктом такой
развертывающейся четко очерченной конструкции, так что различ-
различного рода «индукции по действительным числам» далеко не обла-
обладают той универсальностью, как метод математической индукции
в арифметике и его модификации в математической логике.)
Для разрешения тех вопросов обще логического и обще-
общематематического характера, которые могли бы возникнуть те-
теперь у читателя, отсылаем его к специальной литературе *). За-
Задачу же первоначального ознакомления с конкретными приме-
применениями метода математической индукции в элементарной матема-
математике может с успехом выполнить эта книжка.
*) См., например, Л. Г е н к и н, О математической индукции,
М., Физматгиз, 1962; И. В. Арнольд, Теоретическая арифметика,
М., Учпедгиз, 1939, § 13, 14, 17, 19; С. К. К лини, Введение
в математику, М„ ИЛ, 1957, § 7, 13, 21, 38 и др.; «Математическая
индукция» — Философская энциклопедия, М., 1964 (т. 3).

УКАЗАНИЯ И РЕШЕНИЯ ¦)
1. Гипотеза:
ип = Зп — 2.
1°. Для п = 1 гипотеза верна.
2°. Пусть
uk « 3? — 2.
Тогда
-2.
2. Гипотеза
Г. Для п = 1 гипотеза верна.
2°. Пусть
Тогда
[Можно также сразу образовать разность 25Л — 5Л и показать,
что она равна 2п— L]
3. 1°. При п = 1 утверждение справедливо.
2°. Пусть
Тогда
t B. |
о
4. 1°. При п = 1 утверждение справедливо.
2°. Пусть
23+ ...
*) Ниже указываются номера задач. Решения примеров
приводятся в тексте,
47

Тогда
2' + ... + *' + (*+1)»
5. Г. При п = 1 утверждение справедливо.
2°. Пусть
*+1
Тогда
II	1
X — i
6. Г. При л= 1 утверждение справедливо.
2°. Пусть
• 2-3 4-^ • 3*4 4- ••• -г « (« 4~ Ov-^-r ^) =	*
4
Тогда
1 • 2 • 3 + 2 - 3.4 4- • • • + ft {k + 1) (ft + 2) 4- (ft + 1) (ft + 2) (ft 4- 3)
~	4
7. 1°. При п « 1 утверждение справедливо.
2й. Пусть
1 4- * 4- 4-	*	*
"Т 'л . с ~Г • • • Т7
1 • 3 ^ 3 • 5 ^ " ' ^ BЛ — 1) B* + 1)
Тогда
-L-	I	}	|
С "Г ' * * I iOh	1 ч /О А . 1 \ ~Г
3-
2ft 4-1 ' Bft 4-1) Bft 4-3) 2ft 4-3
8. 1°. При я s= 1 утверждение справедливо.
2°. Пусть
ТПГ ""^ 1П7Г ~^~ '" + Bft — 1) Bft 4- 1) ^ 2 Bft 4- 1) '
Тогда
I2
1-3 ^ 3-5 ^ '" ^ Bft —l)Bft+l) ^ Bft + 1)Bft + 3)
l)	(ft+1J	ftBft + 3) + 2(ft +
1) ' Bft+l)Bft4-3)""v "^ ' 2 Bft 4- 1) Bft + 3)
2 Bft+ 1) Bft 4-3) ~" 2 Bft+ 1) Bft 4-3) "" 2Bft + 3) *

9. 1°. При я= 1 утверждение справедливо.
2°. Пусть
Ь4 +
1 . 4 ^ 4 • 7 ^ # *' ^ (ЗЛ — 2) Crfc + 1) "" 3# + 1 '
Тогда
* * * "Т /Qb 	 'М CXh 1 1 \ •"
i .4 "*" 4-7 "Ч" "• т (ЗА: — 2) C*4- О (ЗЛ + l)C/?-f 4) ~
1А±!
3* + 1 + C* + 0 C* + 4) - з* + 4
10. Г. При п ~ 1 утверждение справедливо.
2°. Пусть
DАг — 3)
Тогда
Ь6 ^ 5-9 '" ^ DЛ — 3)DАг+ О ^ D*+1)D* +5) ""
1	Л 4-1
4Л-+- 1 ^ DАг 4- О D* 4- 5) "~ 4k + 5
11. Г. При л= 1 утверждение справедливо.
2°. Пусть
1 J	!	I 4-	1
• • • "Т
)	л (а 4-
То1да
1 , 1 ¦
О\ 1 ' * *
а(а+\)
1	k+ 1
л (а 4-*) (я + *)(л4-Л4-1) ~~ д (я 4-
12. Г. При л= 1 и л ==-2 утверждение справедливо.
2°. Пусть
Тогда
13. Г. При /2 = 0 имеем
1	1

1 4- х ~~ ж — 1 + I — Л'2 *
Следовательно, утверждение справедливо.
49

2°. Пусть
19	4	2*	1
Тогда
2
1 + X*
2* и	2* + 1	I , 2*f2
a:—
14. При л « I имеем
1 ___ •^ j
JL	-4 a	**^^
1!	1
При /z = 2 имеем
л:(^—1) (х— 1) (jc — 2)
1! '	2!	1 '	2	2!
При п — 3 имеем
___ iwjr	9\
1! "*" 2!	3!	""
c— 1)(лс — 2) __ (a:— 1)(лг — 2)(at — 3)
-	2	6	~	31
Это	наводит на гипотезу:
i	x i
1	1М
2!	'•• ^К ]	п\
-!)(* —2) •-.
1°. При л = I гипотеза верна.
2°. Пусть
_+	... +A}
Тогда
—2) ...
21	•••
—2)
_/ n»+i {х-\)(х — 2) ... (д; —ft)
e(_D 	_
1) (¦* — 2) ... (г - Д) (л- - к — 1)
50

15. 1°. При я = 0 утверждение справедливо.
2°. Предположим, что утверждение справедливо при п = к,
т. е. что
делится на 133. Тогда
144 -
11 .11*+2+ 133- 122*41 + П • 122ЛЧ1 —
133- 122Дг + 1 = \\Ak + 133-122*-11.
Мы представили Ak + \ B виде суммы двух слагаемых, каждое
из которых делится на 1оЗ. Значит, Аь + Х делится на 133.
16.	1°. При п = 1 утверждение задачи, очевидно, справедливо.
2°. Предположив, что при п = k утверждение справедливо,
т. е. k прямых делят плоскость на 2k углов, (? + 1)*я прямая рас-
рассекает на части сразу два вертикальных угла, т. е. увеличивает
число частей, на которые делится плоскость, на два. Поэтому
(k + 1)-я прямая делит плоскость на 2k -f 2 = 2 (k -f- 1) частей.
17.	1°. При п = 1 утверждение справедливо, так как
За-	х , / Зх . х
l + (sin — j
== — 4- cos х.
2
2sin-^-	i«...
2°. Пусть
- sin "" ' х
-х- -f cos x + cos 2л: + ... + cos kx =
Тогда
-~- + cos x -f cos 2дг + • • • + cos &л: -f- cos (k -\- 1) x =
sin—~—x	sin
	1- cos (k -f-1) x = —
2 sin у	2sin"T
.2^+1 , / , 2A + 3	, 2# 4-1 \ , .„ . v
sin—^— ^-f-(sin—^— x — sin —^— x\ sin—^— x
2 sin—	2sInY
18. 1°. При л«= 1 утверждение справедливо, так как
2 sin д: — s!n 2л: _ 2 sfn дг A —cos л:) _
4 sin2 4-	4 sin2 4-
5!

2°. Пусть
, о : о »	1 г. • и	{kA-\\$\X\kX— *Sin(*4- О X
sin x 4* 2 sin 2*4" ••• + * sin kx = -—!—	—'—-—,
4 sin2
2
Тогда
sin jt-f 2sln2jr-f- ... -f k sin kx-\- (k -f 1) sin (k -f- 1) x
sin** — * sin

4sin2-|-
— cosx)
(?4-2)
2(*+"
(*4-2)
(*+ 1)
sin
(* +
4
1)cos x s
4
sin
[sin
sin2 ¦
(* +
4
(* +
1)*
sin2
in(*
X
2
1)*
sin2
2)л
+
X
~2
4-
*
T
vt • 9 ¦*"
(*4~ 1)sin kx
1)*
¦ A' i-1,- 1 l cin A* v
sin kx]
_ (Ar -f 2) sin (^ + 1) * — (/г + 1) sin (k -f 2)
4 sin2 -H-
19. 1°. При n — 1 утверждение справедливо, так как
2 cos * — cos 2x — 1 __ 2 cos * — 2 cos2 * _ cos * A — cos *)
4 sin2 —	4sin2-|-	2sin2T
2°. Пусть
^~„м~	 i' l)COS*Jt—*COS(^4)^—1
Тогда
cos x + 2 cos 2x + • • • + k cos kx -\- (k -j- 1) cos (k + 1) x ==
(k-\- 1) cos kx — k cos(?
52

(k -f 1) cos kx — k cos (k + 1) x —-1
4sln2~
. 2(* + l)cos(fc-f- 1) a: A — cos
(* + 2
2(* +
l)cos л
(A + 2) cos
[cos
(*
(ft
: cos (k
*
+ l)x
4 sin2
+ 2)^
+
T
/k 1
1)JC+1
<* + l)
cos Лл:]
COS ^-V
+ 1
4 sin2 -j
= (k + 2) cos (k + 1) x — (k + 1) cos (fr + 2) л:
4 sin2 -g-
20. Г При л = 1 утверждение справедливо, так как
1	t^2 — t?2 —
g 2	g 2
1	t^ — t?
1 х 4	1 4 jt	g 2	g 2 1 п х
-о ct2 о" "" ct^ х в 9" ctS Т	;^— в	7" =  g
22	2 2	? '
2°. Пусть
Тогда
X.	I	JC	1	JP
2 2 22 22	' 2* 2* 2k+l 2k+l
x
ctg^
ctgjr=	ctg—	ctgjc.
53

2i- l6. Имеем
2 — 1 1
tg (arc tg 2 - arc tg 1) = 1 + 2-l = T'
Поэтому
1
arc tg 2 — arc tg 1 = arc tg -*- = arc ctg 3.
о
Значит, при п = 1 утверждение справедливо.
2°. Покажем сначала, что
arc ctg Bk + 3) = arc tg Ail - arc tg 1.	A)
Действительно,
arc tg ^ - arc tgl)	^
tgl) - —^
Значит,
1	^ i 2
arc tg щу = arc ctg Bk + 3) = arc tg -j-±-j — arc tg 1.
Предположим, что утверждение справедливо при п = ?, т. е
arc ctg 3 -f arc ctg 5 + ... + arc ctg Bk + 1) =
^-+ ... +arctg—?	k arc tgl. B)
Докажем, что тогда оно справедливо и при лвЛ-f 1, т. е.
arc ctg3+ arc ctg5+ ... + arc ctgBk + 3) =
= arctg2+ ... + arc tg A+i--(* + 1) arc tg 1. C)
Сложив почленно равенства A) и B), получим равенство C).
22. 1°. При л= 1 утверждение справедливо, так как
— / = 2 (cos -^ — / sin -J j.
2°. Пусть
(У 3—1) =2 (cos —	^ sin — 1.
Тогда
(f з - /)*+i . 2* (cos ^ - / sin **) 2 (cos J - / sin f] e
54

23. 1°. При /i= 1 утверждение справедливо.
2°. Пусть
(cos х + / sin *)fe = cos &;t + / sin kx.
Тогда
(cos л: + i sin л')/г + 1 = (cos kx 4- * sin kx) (cos x + ' sin л') =
= (cos &;e cos x — sin &* sin x) + / (cos &* sin x 4- sin ?* c°s
= cos (k+l) x -{- i sin (& + 1) x.
24.	Ошибочна самая последняя фраза: «Утверждение доказано».
В действительности доказано, что неравенство
2" > 2п
справедливо при /i=?-|-l, если оно справедливо при л=&, где
Л — любое натуральное число.
Отсюда еще не следует, что неравенство это справедливо
хотя бы при одном значении п и тем более при любом
натуральном п.
Короче говоря, ошибка заключается в том, что доказана только
теорема 2, а теорема 1 не рассматривалась и база для индукции
не создана.
25.	Легко видеть, что 3 — наименьшее натуральное значение п,
при котором неравенство 2п > 2п -{-1 справедливо.
Учитывая, что из справедливости неравенства при п = k следует
его справедливость при п = k 4- 1 (задача 23), утверждаем, что
неравенство справедливо при любом натуральном п > 3.
26.	1°. При п = 2 неравенство справедливо, так как
2°. Пусть
11	1л-
-г.	A)
Докажем, что
B)
При любом k ;> 0 имеет место неравенство
Действительно, неравенство C) равносильно неравенству
полученному из него умножением обеих частей на Yk -\-1 4- Vk.
Сложив почленно неравенства A) и C), получим неравенство B).
55

27. Г. При п= 2 неравенство принимает вид у < б и, следо-
следовательно, справедливо.
2°. Пусть
4*	Bk)!
(k\J'
где & ;> 2. Нетрудно проверить, что при k > О
4 (Л
Л+ 2
Поэтому
fe	! BЛ- -1 1) BАг 4-
< (А;!J
т. е.
4*4-1 B^ + 2) 1
k + 2 <

ж

Цена 9 коп.
ИЗДАТЕЛЬСТВО «НАУКА»
ГЛАВНАЯ РЕДАКЦИЯ
ФИЗИКО-МАТЕМАТИЧЕСКОЙ ЛИТЕРАТУРЫ
ПОПУЛЯРНЫЕ ЛЕКЦИИ ПО МАТЕМАТИКТ
Вып. 1. А. И. Маркушевич Возвратные последовательности.
Вып. 2. И П. Натансон Простейшие задачи на максимум и минимум
Вып. 3. И. С. Сомине кий. Метод математической индукции
Вып. 4. А. И Маркушевич. Замечательные кривые
Вып 5 П. П. Коровкин. Неравенства.
Вып. 6 Н Н Воробьев Числа Фибоначчи.
Вып. 7. А. Г. Курош. Алгебраические уравнения произвольных степенен
Вып. 8. А. О. Гельфонд. Решение уравнений в целых числах
Вып. 9. А. И. Маркушевич. Площади и логарифмы
Вып. 10. А С. Смогоржевский Метод координат
Вып. 11. Я- С. Дубнов Ошибки в геометрических доказательствах
Вып. 12. И. П. Натансон. Суммирование бесконечно малых величин
Вып. 13. А И. Маркушевич Комплексные числа и конформные ото-
отображения.
Вып. 14. А. И. Фетисов. О доказательствах в геометрии.
Вып. 15. И. Р. Шафаревич. О решении уравнений высших степеней
Вып. 16. В Г. Шерватов. Гиперболические функции
Вып. 17. В Г. Болтянский. Что такое дифференцирование?
Вып. 18. Г. М. Миракьян Прямой круговой цилиндр
Вып. 19. Л. А. Люстерник. Кратчайшие линии
Вып. 20. А. М. Лопшиц. Вычисление площадей ориентированных фигур
Вып. 21. Л И. Головина и И М. Яглом. Индукция в геометрии
Вып. 22. В Г. Болтянский. Равновеликие и равносоставленные фигуры
Вып. 23. А. С Смогоржевский. О геометрии Лобачевского.
Вып. 24. Б. И. Аргунов и Л. А Скорняков. Конфигурационные теоремы
Вып. 25. А. С. Смогоржевский. Линейка в геометрических построениях.
Вып. 26. Б А Трахтенброт. Алгоритмы и машинное решение задач.
Вып. 27. В. А Успенский. Некоторые приложения механики к матема-
математике.
Вып. 28. Н. А. Архангельский и Б И Зайцев. Автоматические цифро-
цифровые машины.
Вып. 29. А. Н Костовский. Геометрические построения одним циркулем
Вып. 30. Г. Е. Шилов. Как строить графики
Вып. 31 А. Г Дорфман. Оптика конических сечений
Вып. 32. Е. С. Вентцель. Элементы теории игр.
Вып. 33. А. С Барсов. Что такое линейное программирование
Вып. 34. Б. Е. Маргулис. Системы линейных уравнений.
Вып. 35. Н. Я. Виленкин. Метод последовательных приближений
Вып. 36. В Г. Болтянский. Огибающая.
Вып. 37. Г. Е. Шилов. Простая гамма (Устройство музыкальной шкалы)
Вып. 3S. Ю. А. Шрейдер, Что такое расстояние
Вып. 39. Н. Н Воробьев Признаки делимости.
Вып. 40 С В Фомин Системы счисления