завершено на 75%

Знакомство с методом математической индукции

Материал из Викиучебника — открытых книг для открытого мира
Перейти к: навигация, поиск


Авторы исходного текста: Т. Шульман и А. В. Ворожцов. Дополнено А. Беркович. Журнал Потенциал

Что такое принцип математической индукции?[править]

Вообразим очередь, где первой стоит женщина, за ней снова женщина, а за ней снова женщина. Верно ли, что все стоящие в очереди — женщины?

Конечно, верно! Раз первые три человека в очереди — женщины, то, скорее всего, это очередь за косметикой, или за чем-нибудь таким, в чём нуждаются и разбираются исключительно женщины, и мужчин в этой очереди нет.

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

Рассмотрим два утверждения:

  1. Первый человек в очереди есть женщина.
  2. За женщиной в очереди может стоять только женщина.

Из этих двух утверждений строго следует, что в очереди стоят только женщины. Мы можем последовательными шагами показать что любой человек в очереди — женщина.

Вот строгая формулировка принципа математической индукции:

Пусть имеется последовательность утверждений И пусть первое утверждение верно, и мы умеем доказывать, что из верности утверждения следует верность . Тогда все утверждения в этой последовательности верны.

Верность этого метода доказательства вытекает из так называемой аксиомы индукции, пятой из аксиом Пеано, которые определяют натуральные числа. Рассмотрение аксиом Пеано выходит за рамки этой статьи.

Заметим, что аксиому индукции можно заменить на аксиому существования минимума, и доказать аксиому индукции как теорему.

Также в скобках заметим, что существует принцип полной математической индукции. Вот его строгая формулировка:

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

Принцип полной математической индукции также может быть доказан при помощи математической индукции. Верно и обратное: принцип математической индукции можно доказать, предполагая принцип полной математической индукции. Так что в аксиомах Пеано можно выбрать в качестве одной из аксиом как аксиому существования минимума, как принцип полной математической индукции, так и принцип математической индукции. Какое из этих трёх утверждений брать за теорему, а какую за аксиомы — дело вкуса. Доказательство эквивалентности этих утверждений смотри в приложении B

Ханойские башни[править]

Есть три стержня и колец разного размера. Класть можно только кольцо меньшего размера на кольцо большего размера или кольцо любого размера на пустой стержень. Можно ли переместить пирамидку с одного стержня на другой? Можно или нельзя?

Towers1.JPG
  • Пирамидку, в которой только одно кольцо , переместить можно (очевидно).
  • Предположим, что мы умеем перемещать пирамидки с числом колец .
  • Попробуем научиться перемещать пирамидку с . Пирамидку из колец, лежащих на самом большом -м кольце, мы можем согласно предположению переместить на любой стержень. Сделаем это, переместим её на третий стержень. Неподвижное -е кольцо не будет нам мешать провести алгоритм перемещения, так как оно самое большое. После перемещения колец переместим оставшееся -е кольцо на второй стержень. Мы можем это сделать, так как второй стержень пустой. Теперь обратим внимание, тот факт, что второй стержень не пустой, не мешает нам класть на него любые кольца, так как имеющееся на нём кольцо самое большое (любое кольцо можно положить на большее, а значит и самое большое по условию задачи). И затем опять применим известный нам по предположению алгоритм перемещения колец и переместим их на второй стержень, стержень с лежащим внизу -м кольцом. Таким образом, если мы умеем перемещать пирамидки с кольцами, то умеем перемещать пирамидки и с кольцом.
  • Следовательно утверждение верно для всех случаев, то есть для всех .

Заметим, что всё решение было разбито на четыре этапа:

  1. [БАЗА] Показываем, что доказываемое утверждение верно для некоторых простейших частных случаев (в нашей задачке это был случай )
  2. [ПРЕДПОЛОЖЕНИЕ] Предполагаем, что утверждение доказано для первых случаев.
  3. [ШАГ] В этом предположении доказываем утверждение для случая .
  4. [ВЫВОД] Утверждение верно для всех случаев, то есть для всех .

Решение задач по данной схеме и называется методом математической индукции .

Ясно, что методом математической индукции можно решать не все задачи, а только задачи, параметризованные некоторой переменной. Эта переменная называется переменной индукции.

В задаче «Ханойские башни» роль переменной индукции играло количество колец в пирамидке.

Пересечение прямых[править]

Докажите, что любые прямых, расположенных на одной плоскости, никакие две из которых не параллельны, и никакие три не пересекаются в одной точке, пересекаются ровно в точках.

Решение:

[БАЗА] В простейшем случае, когда прямых две, известно, что они непаралельны, а значит пересекаются как минимум в одной точке. Они не могут пересекаться в более чем одной точке, так как согласно аксиомам Евклидовой геометрии (а именно, следствие из аксиомы «через две точки можно провести прямую и только одну»), если бы были хотя бы две точки пересечения у двух прямых, то эти прямые совпадали бы, то есть мы бы имели одну прямую, а не две. Имеем, что должно быть не менее одной (включительно) и не более одной (включительно) точек пересечения, а значит точка пересечения одна и утверждение верно.

[ПРЕДПОЛОЖЕНИЕ] Предположим, что оно верно для прямых, то есть что любые прямых, никакие две из которых не параллельны, и никакие три не пересекаются в одной точке, пересекаются ровно в точках.

[ШАГ] Попробуем доказать его для прямых. По предположению, -я, -я, …, -я прямая пересекаются в точках. Рассмотрим -ю прямую и одну из прямых, обозначим её из списка -я, -я, …, -я прямая. Как мы уже доказали в [БАЗЕ] любые две прямые, удовлетворящие условиям задачи, пресекаются ровно в одной точке, а значит и прямые и пересекаются в одной точке. Вспомним, что обозначает любую прямую из списка -я, -я, …, . Отсюда -я прямая пересекается с каждой из этих прямых ровно в одной точке.

Рассмотрим список из прямых и их точек пересечения. Уберём прямую вместе с её точками пересечения. Останется прямых удовлетворяющих [ШАГУ]. Значит количество точек пересечения у этих прямых равняется . Как было показано выше, количество точек пересечения, которое мы убрали вместе с прямой , равняется .

Следовательно, количество точек пересечения всех прямых есть .

То есть для прямых утверждение доказано.

[ВЫВОД] Утверждение верно для любого количества прямых.

Разрезание квадрата[править]

Ang1.jpg

Из квадрата клетчатой бумаги размером вырезали одну клетку. Докажите, что полученную фигуру можно разрезать на «уголки» из трёх клеток.

Решение:

[БАЗА] Для получим квадрат размером . Вырежем, скажем, правый верхний квадрат. Останется три квадрата, представляющие из себя «уголки». Утверждение верно.

[ПРЕДПОЛОЖЕНИЕ] Пусть это уже доказано для квадратов со стороной с вырезанной одной клеткой. Докажем для квадратов .

[ШАГ] Разбиваем квадрат на четыре квадрата и вырезаем из каждой недырявой части угловую клетку так, чтобы вырезанные клетки образовали уголок:

Ang2.jpg

[ВЫВОД] Таким образом, получаем четыре квадрата, в каждом из которых вырезано по одной клетке, и по предположению индукции их мы можем замостить уголками. Замощение квадрата будет состоять из замощения четырёх квадратов c вырезанной одной клеткой по середине. Что и требовалось доказать.

Интуиция[править]

Возможно, вы, прочитав решение, скажете себе, что вы всё поняли, но сами бы такую задачу решить не смогли. На вопрос «почему?» вы скажите: что-то непонятно, почему нужно было делить квадрат на четыре части.

В большинстве учебников вопросу интуиции в решении задач не уделяется внимание вообще. Даётся просто формально правильное решение. Отчасти это объясняется экономией места, отчасти тем, что это не являются частью решения, отчасти тем, что у каждого своя интуиция и не сильно понятно что именно нужно описывать, отчасти тем, что достаточно просто перерешать большое количество задач, как у вас появится интуиция. Не споря с этими утверждениями, я всё же решил, что в некоторых относительно трудных случаях я буду писать пару слов о том, почему нужно сделать то или иное действие. В подсказках к решению задач вы часто также будете находить то действие или тот факт, которое нужно было найти «интуитивно», как здесь деление квадрата на четыре части.

В этом примере интуиция могла бы быть такой. Возьмём квадрат . Нам нужно применить к нему метод математической индукции, а значит нам надо «найти» в нём квадрат . Допустим, это будет центр большего квадрата. Меньший квадрат без одной клетки мы можем вымостить «угольником». Но что сделать с оставшимися квадратиками (плюс вырезанный квадратик из меньшего квадрата). Но постойте, — это количество клеток в ещё трёх квадратах! Мы взяли один квадрат, а из оставшихся клеток можно сделать ещё три одинаковых квадрата! Нужно только подумать о том, чтобы эти клетки располагались в форме квадрата (у нас они располагаются «полосами»), а также о том, чтобы «вырезанные» клетки каждого меньшего квадрата не были разбросаны как попало.

Упражнение. Допустим, сторона квадрата будет . Попытайтесь «интуитивно» понять, почему застелить его «уголками» не получится. Пройдитесь по доказательству в случае квадрата и найдите место, где доказательство «падает». Постройте контр-пример.

Попробуйте решить самостоятельно следующие геометрические задачи:

Геометрические задачи[править]

Три острых угла[править]

Задача 1.1. Докажите, что при каждом натуральном , начиная с , существует выпуклый -угольник, имеющий ровно три острых угла.

Подсказка [1].

Раскраска плоскости[править]

Задача 1.2. Плоскость разделена на части прямыми. Докажите, что эти части можно раскрасить в два цвета так, что соседние куски будут раскрашены в разные цвета.

Подсказка [2].

Сумма углов -угольника.[править]

Задача 1.3. Докажите что сумма углов выпуклого -угольника равна , (или радиан). В частности для треугольника получаем , а для четырехугольника —

Подсказка [3].

Число кусочков[править]

Задача 1.4. Чему равно количество кусочков, на которые прямых (не проходящих через одну точку) делят плоскость на части? Одна прямая — на две части, две — на четыре. А пятнадцать прямых?


Подсказка [4]

Доказательства тождеств[править]

Есть целый ряд тождеств, которые удобно доказывать ММИ, к примеру:

Пример 2.1. Если , , то

, где обозначает полином степени не большей чем .

Разъяснение

Информация

Существует точная формула, которая называется бином Ньютона. (она будет доказана ниже)

Приведём несколько примеров для разъяснения смысла знака . Воспульзуемся формулами сокращённого умножения.

, где обозначает «полином степени не большей чем », то есть обозначает скаляр (число). В данном случае , так как — число, не зависимое от .

Докажем три тождества, которые мы тут же используем в доказательстве ниже.

. (1)

В самом деле, слева у нас «полином степени не большей чем », умноженный на скаляр (число) . Мы можем перемножить все его коэффициенты на , от этого степень полинома не изменится, он останется «полиномом степени не большей чем », а это и есть выражение справа.

. (2)

В самом деле, если умножим на «полином степени не большей чем », то есть у такого полинома существует ненулевой коэффициент при и для всех степени при равны нулю, то у нас будет ненулевой коэффициент при , и для всех степени при равны нулю, то есть слева у нас будет полином с коэффициентами при степенях равными нулю, и при будет ненулевой коэффициент, то есть это будет равняться «полиному степени не большей чем » в правой части.

. (3)

В самом деле, слева мы имеем сложение «полинома степени не большей чем » с «полиномом степени не большей чем » с (конкретным) «полиномом степени не большей чем ». По свойству полиномов мы получим «полином степени не большей чем », что и является полиномом в правой части.

Доказательство

БАЗА. . Нужно доказать, что , то есть что . Возьмём в качестве число . Тождество доказано.

ПРЕДПОЛОЖИМ, что тождество верно при , то есть

.

ШАГ индукции будет соответствовать проверке этого тождества при , то есть нужно доказать, что

.

В самом деле, применяя последовательно ММИ, тождества (2) и (3), получаем

.

[ВЫВОД] Тождество верно для любого .

Другой пример.

Пример 2.2. .

Доказательство. Проверим, работает ли эта формула при :

.

Это верно и даёт БАЗУ индукции.

ПРЕДПОЛОЖИМ, что тождество верно при , то есть

ШАГ индукции будет соответствовать проверке этого тождества при , то есть нужно доказать, что

.

[ВЫВОД] Тождество верно для любого .

Задача 2.1. .

Задача 2.2. .

Доказывать такие тождества просто. Трудно догадаться до того, что должно стоять справа от знака «равно».

В самом простом случае, в случае если у нас есть конечная сумма из одночленов, то существует довольно простой способ это сделать. Во-первых, заметим, что в этом случае формула имеет форму многочлена. Всё, что нам нужно сделать, — это найти степень этого многочлена и решить пару уравнений. Покажем как это сделать на примере, приведённом выше.

Как догадаться, чему равно ? Например, так: можно вычислить четыре значения , , , , а затем, зная, что имеет форму многочлена или не зная точно, можно попытаться таким способом найти её, попытаться подобрать такой многочлен третьей степени, который в точках , , , принимает именно эти значения. А потом можно ММИ убедиться, что .

Почему именно многочлен третьей степени? Степень многочлена не может быть меньше трёх. Предположим, от противного, что степень многочлена меньше трёх. Тогда степень многочлена меньше трёх и степень многочлена меньше трёх. Но . Степень многочлена слева меньше трёх. Степень многочлена справа меньше или равняется максимуму степени многочлена и степени многочлена , то есть максимальному числу, строго меньше трёх и двух, то есть два. Имеем справа многочлен второй степени, слева многочлен третьей степени. Противоречие.

С другой стороны, она не может быть больше трёх. Допустим от противного, что степень многочлена больше или равняется . В таком случае , то есть является многочленом второй степени.

Докажем, по индукции, что степень многочлена больше или равняется трём (а значит, не равняется двум — это и будет нашим противоречием), при допущении, что степень многочлена больше или равняется .

Идея доказательства заключается в том, что одночлен степени, равной третьей или больше, «не сокращается» при вычитании.

БАЗА. Нужно доказать, что для , если степень многочлена больше или равняется , то степень многочлена больше или равняется . Это утверждение является верным, так как предположение (если…) не выполняется, степень многочлена не больше или равняется (оно равняется 1, так как после подстановки скаляра (числа) в полином он превращается в скаляр (число)). А если предположение неверно, то импликация верна.

ПРЕДПОЛОЖЕНИЕ. Если степень многочлена больше или равняется , то степень многочлена больше или равняется .

ШАГ. Нужно доказать, если степень многочлена больше или равняется , то степень многочлена больше или равняется .

ИНТУИЦИЯ. Нам надо оценить степень многочлена , зная про степень многочлена . Легко заметить, что у них есть общее слагаемое , правда, с разным знаком. Так, давайте привнесём руками недостающее для применения ММИ слагаемое (а знак нам не помеха, вынесем его за скобки, так как он не влияет на степень многочлена).

Этот «трюк» по «добавлению нуля» (наряду с «умножением на единицу») — довольно часто встречающиеся трюк при доказательствах.

. (*)

По условию, степень многочлена и степень многочлена больше или равняется . Согласно ММИ степень многочлена больше или равняется . Возьмём такое , что коэффициент при в многочлене , обозначим его за , будет не равен нулю. Так как степень многочлена больше или равнятеся , то существует такое , что коэффициент при .

Давайте посмотрим на коэффициенты при во всём выражении (*) (как было сказано в идее доказательства, этот коэффициент должен быть не равен нулю). Обозначим коэффициент при в за . Тогда коэффициент при в будет . Как было сказано выше, .

Получим коэффициент при . В (*) он равняется . Применим тождество из примера 2.1 (а мы можем это сделать, так как и ), получим

.

Применим тождество (1), получим

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

[ВЫВОД] Тождество верно для всех .

Почему предлагается вычислить именно четыре значения , , , ? Потому что многочлен третьей степени полностью определяется своими значениями в четырёх разных точках. Действительно, он задается коэффициентами , , , при , , , : . Значит, для того, чтобы найти все коэффициенты, нужно четыре уравнения.

1. Докажите тождество

.

2. а) Угадайте явное выражение для суммы .

Подсказка [5].

б) докажите его при помощи ММИ.

3. Докажите, что .

4. Докажите, что .

Подсказка [6]

[7].

5. Найдите сумму .

Подсказка [8].

Иногда ММИ надо применять не совсем прямолинейно.

Неравенство Коши (неравенство между средним арифметическим и средним геометрическим)[править]

Доказать, что

для любых неотрицательных чисел .

ИНТУИЦИЯ. Нам надо будет, в ШАГЕ, связать каким-то образом с . Заметим, что если у нас есть среднее арифметическое чисел и если к ним добавить число, равное среднему арифметическому, то среднее арифметическое таких чисел будет равно среднему арифметическому чисел. Например, если у нас есть числа и , то если к ним добавить их среднее арифметическое, число , то среднее арифметическое ,, останется .

.

Однако, каким образом мы может добавить число, которое нам вздумается? Ведь мы должны доказать ПЕРЕХОД для любых чисел. Значит нам нужно сначала как-то «сократить» количество с . Для этого полезно следующие наблюдение. Мы можем сгруппировать числа парами, и тогда количество чисел уменьшиться и мы сможем добавить нужные нам числа.

Однако делать это нужно аккуратно. Так, если у нас есть нечётное количество чисел, то у нас останется «лишнее» число. Заметим, что добавлением нуля проблему не решишь, например,

,

и, несмотря на то, что у нас есть две пары, то есть с числителем дроби всё вроде бы в порядке, у нас проблема со знаменателем, нам нужно, чтобы в знаменателе было , а не . Попытка

ни к чему не приводит, получили и корень не той степени, и неправильное подкоренное выражение, и коэффициент , с которым вообще непонятно, что делать. Значит, нужно искать другой путь. А что, если в числитель «поднять» из знаменателя ?

.

Получили .

Если бы в подкорневом выражении вместо умножения на было бы сложение, то мы бы имели бы одно и то же выражение в разной степени (отвлекаясь от двойки) и могли бы дальше что-то делать. А так…

Давайте посмотрим на этот путь при чётных . Но и этого недостаточно, например, для мы будем иметь

Чтобы могли применить ММИ, нужно чтобы в знаменателе было (так как пары), но , поэтому получим

.

Однако для невозможно применить индукцию, так как — число нечётное.

Попутно можно заметить, что никакие числа у нас теперь «не торчат». Если бы мы могли применить ММИ, то получили бы выражение . И тут мы можем применить снова неравенство Коши для и получить , и утверждение доказано. Вполне возможно, что мы натолкнулись на плодотворную идею. Для чётного мы можем разбить числитель на разных пар и «поднять» из знаменателя , то есть если наши пары будут выглядеть как . Однако, число в знаменателе должно подходить к применению ММИ.

Значит должно быть чётным, и при том «настолько» чётным, чтобы мы могли применить к нему индукцию (чтобы было тоже чётным). Может быть достаточно взять ? Попробуем:

для мы будем иметь

.

И для применения ММИ должно делиться на . Если устранить это препятствие, то всё получится:

)

Значит, нам нужно выбрать «настолько чётное » (делиться на ?), что половина его также будет «настолько чётным». Как мы уже убедились кратность двум или четырём недостаточно. А что, если будет состоять из степеней двойки, то есть существует такое , что ? В таком случае половина также будет состоять из степеней двойки, так как . Вроде как должно сработать. Это довольно общее замечание, если вы хотите доказать что-то для чётных , то сначала вы должны доказать это для степени двойки, .

Итак, опишем схему доказательства.

  1. Сначала, докажем тождество для степени двойки для . Идею доказательства смотри выше.
  2. Доказав для чисел вида , нужно распространить доказательства для всех чисел. Выберем любое такое, что . Для неравенство доказано. Значит, мы должны доказать тождество и для (тогда оно будет верно и для , и так далее, пока не доберёмся до ).
  3. Затем, предположив, что тождество верно для , нужно доказать его для . Идея доказательства состоит в добавлении -го элемента, равного среднему арифметическому.

Решение[править]

Сначала методом математической индукции (ММИ) докажем это равенство для всех , равных степени двойки.

БАЗА: нужно показать, что . Действительно,

.

ПРЕДПОЛОЖИМ, что мы умеем доказывать неравенство при . Докажем его для . Итак, у нас есть чисел . Обозначим . Поскольку чисел всего , то по предположению, . Следовательно,

.

Итак, неравенство доказано для случаев, когда есть степень двойки. Теперь индукцией вниз распространяем на остальные . Это относительно сложный момент в доказательстве. Предположим, что неравенство Коши доказано для . Необходимо доказать, что оно верно и для . Это можно сделать так. Пусть у нас есть чисел . Добавим к ним -е число, равное их среднему арифметическому. Для этих чисел неравенство Коши по предположению верно, и мы можем его использовать:

.

Домножим левую и правую части на получим

.

Возведя обе части в степень , получаем

,

что и требовалось доказать.

Ясно, что теперь неравенство доказано для любого : выбираем любое такое, что . Для неравенство доказано. Значит, оно верно, как мы только что показали, и для , а раз верно для , то верно и для , и так далее, пока не доберёмся до .

Формула бинома Ньютона[править]

Формула бинома Ньютона является обобщением формул сокращенного умножения

 — число сочетаний из n по m

n! - n факториал

Задачи на делимость[править]

Задача про кубы[править]

Докажите, что сумма кубов трёх последовательных натуральных чисел делится на .

Решение

Поскольку делится на , то для утверждение верно.

Предположим, что оно верно для , то есть для некоторого натурального числа . Нам нужно доказать для .

Но действительно,

делится на , и мы заключаем, что утверждение верно для любого .

Задача про делимость и [править]

Докажите, что

а) делится на .

Подсказка [9].

б) делится на .

Подсказка [10].

А теперь проверим, действительно ли вы понимаете метод математической индукции.

Найдите ошибку в доказательстве[править]

Утверждение 1. У всех людей глаза одинакового цвета.

Доказательство. Докажем, что в компании из людей у всех глаза одинакового цвета. При утверждение очевидно.

Предположим, что оно верно при . Докажем, что тогда оно верно и для . Итак, пусть перед нами человек. Перенумеруем их: первый, второй, третий, …, -й, -й. По предположению, у любых из этих людей глаза одинакового цвета. Значит, у первого, второго, …, -го — глаза одинакового цвета.

Возьмём теперь другую группу из человек: второй, третий, …, -й, -й. У них тоже глаза одинакового цвета. В обоих группах присутствовал второй человек. Значит у всех них глаза того же цвета, как и у второго, то есть у всех одинаковые.

Рассуждая таким образом, можно доказать множество других удивительных вещей. Например:

Утверждение 2. Через любые точек на плоскости можно провести прямую.

Доказательство. При и теорема справедлива (в силу известной аксиомы геометрии). Остаётся доказать теорему для , больших, чем .

Допустим, что теорема справедлива при некотором , и покажем, что в этом случае она будет сохранять силу и при .

Итак, пусть произвольно заданы точек . В силу предположения индукции через точек проходит некоторая прямая . В силу того же предположения через точек также проходит некоторая прямая . Эти две прямые имеют по крайней мере две общие точки и . Но две точки определяют единственную прямую. Поэтому прямые и должны совпадать.

Следовательно, прямая , проходящая через точки , проходит и через точку . Утверждение доказано.

Подсказки даны в разделе «Подсказки и ответы», но для начала попытаетесь найти ошибку сами.

Задачи[править]

  1. На доске записано рациональное число . Его можно стереть и записать вместо него либо , либо . Докажите, что с помощью указанных двух операций можно из единицы получить любое положительное рациональное число. Например, число можно получить так:
  2. В прямоугольнике ( строки, столбцов) расставлены фишки трёх цветов по штук каждого цвета. Докажите, что, переставляя фишки в строчках, можно сделать так, чтобы в каждом столбце были фишки всех трёх цветов.
  3. Плоскость поделена на области несколькими прямыми и окружностями. Докажите, что эти области можно раскрасить в два цвета так, чтобы любые две соседние области были раскрашены в различные цвета. Соседними считаются области, границы которых имеют общий отрезок.
  4. В компании из человек () каждый узнал по одному новому анекдоту (все анекдоты разные). За один телефонный разговор двое сообщают друг другу все известные им анекдоты. Докажите, что за звонков все смогут узнать все новые анекдоты.
  5. На координатной плоскости расположено квадратов одинакового размера так, что их стороны параллельны осям координат. Доказать, что все квадраты можно разбить на три группы так, что в каждой группе квадраты не будут пересекаться.

Приложение A[править]

Подсказки и ответы[править]

Подсказки к геометрическим задачам[править]

  1. Шаг: Пусть есть такой -угольник. Возьмём один из его тупых углов и отрежем его. Число вершин станет . Новые два угла, появившиеся вместо старого, будут ещё тупее, так как они — внешние углы отрезанного треугольника.
  2. При проведении следующей прямой инвертируйте одну из полуплоскостей.
  3. Разбейте -угольник на -угольник и треугольник.
  4. Воспользуйтесь предыдущей задачей. С проведением каждой прямой посчитайте, сколько «кусочков» вы бы инвертировали бы в предыдущей задаче. Для прямых, то число кусочков равно . штук, то число кусочков равно .
  5. Используйте равенство .
  6. Шаг: .
  7. Смотри Математическая индукция.
  8. . Сложите отдельно целые и дробные части. К целой части примените сумму арифметической прогрессии. К дробной части примените сумму геометрической прогресии, смотри предыдущий пример. Выражение должно быть .
  9. Используйте факт, что . Попробуйте доказать, что делится на (используйте факт, что и используйте формулу Бинома Ньютона).
  10. Используйте факт, что , два раза. Попробуйте доказать, что делится на , используя формулу бинома Ньютона для .

Где ошибка в доказательстве утверждения 1?[править]

Делая переход от к мы предполагали, что множества и пересекаются, так как оба содержат -й элемент. Но это значит, что .

Следовательно, базой индукции должен был быть случай , а не , как в нашем доказательстве.

Где ошибка в доказательстве утверждения 2?[править]

Аналогично: мы предполагали, что прямые и имеют по крайней мере две общие точки и , значит .

Следовательно, базой индукции должны были быть случаи , и . Но база для не верна.

Приложение B[править]

Здесь будет написано доказательство эквивалентности принципа математической индукции, принципа полной математической индукции и аксиомы существования минимума.