Математическая индукция

Модератор: модераторы

PSP
Администратор сайта
Сообщения: 5753
Зарегистрирован: Вс, 28 дек 2003, 11:47
Откуда: Луга
Контактная информация:

Математическая индукция

Сообщение PSP » Пт, 26 янв 2018, 15:31

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

PSP
Администратор сайта
Сообщения: 5753
Зарегистрирован: Вс, 28 дек 2003, 11:47
Откуда: Луга
Контактная информация:

Re: Математическая индукция

Сообщение PSP » Пт, 26 янв 2018, 16:24

LNV напомнил мне об одном довольно древнем "приколе"...
Вот одна из его версий:
Лошади одной масти.jpg
Лошади одной масти.jpg (89.99 КБ) 334 просмотра

LNV
Сообщения: 36
Зарегистрирован: Вт, 17 ноя 2015, 20:45

Re: Математическая индукция

Сообщение LNV » Сб, 27 янв 2018, 19:05

Коль я напомнил PSP об этом "приколе", то я и отвечу на поставленный вопрос (см. выше).

Ошибка в этих рассуждениях, безусловно, есть, и, как не странно, заключается она в БАЗЕ индукции. Для того, чтобы доказательство было верным, нужно, чтобы утверждение в базе было доказано хотя бы для двух лошадей, чего мы, естестественно не докажем.

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

PSP
Администратор сайта
Сообщения: 5753
Зарегистрирован: Вс, 28 дек 2003, 11:47
Откуда: Луга
Контактная информация:

Re: Математическая индукция

Сообщение PSP » Вс, 28 янв 2018, 12:20

LNV писал(а):Коль я напомнил PSP об этом "приколе", то я и отвечу на поставленный вопрос (см. выше).

Ошибка в этих рассуждениях, безусловно, есть, и, как не странно, заключается она в БАЗЕ индукции. Для того, чтобы доказательство было верным, нужно, чтобы утверждение в базе было доказано хотя бы для двух лошадей...
Это на основании чего же делается такое утверждение?
Базой индукции может быть любое (обычно, натуральное) число m. И, если проведена индукция по n (с шагом 1), то тем самым доказано, что утверждение верно для любого натурального n, начиная с числа m.

LNV
Сообщения: 36
Зарегистрирован: Вт, 17 ноя 2015, 20:45

Re: Математическая индукция

Сообщение LNV » Вс, 28 янв 2018, 13:21

PSP писал(а):Это на основании чего же делается такое утверждение?
Базой индукции может быть любое (обычно, натуральное) число m. И, если проведена индукция по n (с шагом 1), то тем самым доказано, что утверждение верно для любого натурального n, начиная с числа m.

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

PSP
Администратор сайта
Сообщения: 5753
Зарегистрирован: Вс, 28 дек 2003, 11:47
Откуда: Луга
Контактная информация:

Re: Математическая индукция

Сообщение PSP » Пн, 29 янв 2018, 12:38

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

Любое.
Для доказательства методом математической индукции, например, того, что n2+1 > n я могу в качестве базы взять, скажем, число -10, проверить, что 101 > -10, осуществить индукционный переход, после чего утверждать, что n2+1 > n выполняется при всех целых n, начиная с -10.
Вне зависимости от того, что думает LNV о методе математической индукции, этот метод ровным счётом не думает ни о ком - он существует вне и независимо от нашего сознания. Что касается базы, то справедливо именно то, о чём я писал выше.
И методу математической индукции безразличен даже автобус. :)
Не исключаю, что LNV хотел сказать нечто иное - отличное от того, что написал. Но я возразил тому, что было написано (утверждению о базе индукции).

LNV
Сообщения: 36
Зарегистрирован: Вт, 17 ноя 2015, 20:45

Re: Математическая индукция

Сообщение LNV » Пн, 29 янв 2018, 14:37

Ладно, PSP, раз общими словим не получается убить "доказательство" буду говорить конкретно:
Из того, что одна лошадь своей масти не следует, что 2 лошади одной масти.
Следовательно, доказательство, неверно.

PSP
Администратор сайта
Сообщения: 5753
Зарегистрирован: Вс, 28 дек 2003, 11:47
Откуда: Луга
Контактная информация:

Re: Математическая индукция

Сообщение PSP » Пн, 29 янв 2018, 15:23

LNV писал(а):Ладно, PSP, раз общими словим не получается убить "доказательство" буду говорить конкретно:
Из того, что одна лошадь своей масти не следует, что 2 лошади одной масти.
Следовательно, доказательство, неверно.

Во-первых, конкретное док-во конкретного утверждения надо не "общими словами убивать", а (если решение неверное) указывать на ошибку в решении.
Во-вторых, в решении не утверждается, что из того, что одна лошадь своей масти, следует, что 2 лошади одной масти.

LNV
Сообщения: 36
Зарегистрирован: Вт, 17 ноя 2015, 20:45

Re: Математическая индукция

Сообщение LNV » Пн, 29 янв 2018, 18:01

PSP писал(а):
LNV писал(а):Ладно, PSP, раз общими словим не получается убить "доказательство" буду говорить конкретно:
Из того, что одна лошадь своей масти не следует, что 2 лошади одной масти.
Следовательно, доказательство, неверно.

Во-первых, конкретное док-во конкретного утверждения надо не "общими словами убивать", а (если решение неверное) указывать на ошибку в решении.
Во-вторых, в решении не утверждается, что из того, что одна лошадь своей масти, следует, что 2 лошади одной масти.

Утверждается - в индукционном переходе, если n=1.

PSP
Администратор сайта
Сообщения: 5753
Зарегистрирован: Вс, 28 дек 2003, 11:47
Откуда: Луга
Контактная информация:

Re: Математическая индукция

Сообщение PSP » Вт, 30 янв 2018, 16:58

LNV писал(а):
PSP писал(а):
LNV писал(а):Из того, что одна лошадь своей масти не следует, что 2 лошади одной масти.
Следовательно, доказательство, неверно.

...Во-вторых, в решении не утверждается, что из того, что одна лошадь своей масти, следует, что 2 лошади одной масти.

Утверждается - в индукционном переходе, если n=1.

В индукционном переходе не это утверждается. Советую внимательно прочитать доказательство.


Вернуться в «Поговорим о математике...»

Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и 2 гостя