IPB

Здравствуйте, гость ( Вход | Регистрация )

> Все лошади одного цвета
Shasta Dam
сообщение Aug 10 2007, 22:47
Сообщение #1


Продвинутый пользователь
***

Группа: Posters
Сообщений: 183
Регистрация: 29.6.2007
Из: Moscow-Чебоксары-Auckland
Пользователь №: 7,397



Я могу доказать, что все лошади одного цвета.

По индукции:

База индукции: Одна лошадь, очевидно, одного цвета.
Шаг индукции: Пусть доказано, что любые K>=1 лошадей всегда одного цвета. Рассмотрим K + 1 каких-то лошадей. Уберём одну лошадь. Оставшиеся K лошадей одного цвета по предположению индукции. Возвратим убранную лошадь и уберём какую-то другую. Оставшиеся K лошадей снова будут одного цвета. Значит, все K + 1 лошадей одного цвета. По индукции, все лошади одного цвета.



Где ошибка?
Вернуться к началу страницы
 
+Цитировать сообщение
 
Создать новую тему
Ответов
Shasta Dam
сообщение Aug 11 2007, 11:02
Сообщение #2


Продвинутый пользователь
***

Группа: Posters
Сообщений: 183
Регистрация: 29.6.2007
Из: Moscow-Чебоксары-Auckland
Пользователь №: 7,397



Цитата(Ayoni @ Aug 11 2007, 01:03) *
Так первоначально удаленная и потом возвращенная лошадь по условию какого-то другого цвета, следовательно, если ее примкнули к изначальному множеству, оно уже не будет одинаковым. Т.е. в нем будет одна лошадь, по увету отличающаяся от остальных

Неа smile.gif Мы доказали, что для любых K лошадей: все лошади одного цвета. Значит, сколько бы мы не меняли лошадей, если во множестве остается K особей, то все они одного цвета



Цитата(Kitty @ Aug 11 2007, 10:03) *
Ложь, а лошадь еще и в "яблоках" может быть.

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

Цитата(Kitty @ Aug 11 2007, 10:03) *
Докажи для двух smile.gif))

Тепло. Я бы сказал, горячо smile.gif Сформулируй, чтобы все поняли
Вернуться к началу страницы
 
+Цитировать сообщение

Сообщений в этой теме


ОтветитьСоздать новую тему
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0

 



RSS Текстовая версия Сейчас: 23rd December 2025 - 01:59