Найдите ошибку в нижеприведённом рассуждении!Докажем, что все собаки одной и той

Найдите ошибку в нижеприведённом рассуждении!
Докажем, что все собаки одной и той же породы. Пусть A(n) = любые n собак имеют одну и ту же породу. Докажем, что A(n) правосудно для всех n способом математической индукции.
Явно, что утверждение A(1) правильно (неважно какая собака имеет одну породу). База индукции производится.
Представим, что A(k) правильно (т. е. любые k собак имеют одну и ту же породу) и докажем, что тогда и A(k+1) будет правильно. Осмотрим (k+1) собаку. Выделим 2-мя методами группы из k собак (см. набросок(но рисунок почему-то не дан)). Тогда часть собак попадёт в каждую из 2-ух групп. Явно,
что собака 1 имеет ту же породу, что и все собаки из 2 (т. к. они все находятся в группе x, состоящей из k собак); светло также, что собака 3 имеет ту же породу, что и собаки 2, так как они все находятся в группе y из k собак. Получаем, что k+1 собак непременно будут одной и той же породы.
Утверждение подтверждено.

P.S.: тема - математическая индукция

Задать свой вопрос
1 ответ
Ошибка в рассуждении в том, что из А(1) не следует А(2). Если мы будем выделять различными методами группы из 1 собаки во обилье из 2 собак (методов только два), то эти группы не будут пересекаться, а, значит, из того, что неважно какая собака имеет одну породу не следует, что в любом обилье из двух собак все собаки будут иметь одну породу. Если же правильно А(2), то А(n) будет справедливо для всех n. То есть, базой математической индукции обязано быть утверждение А(2), а не А(1).
Илья Нежибовский
А разве база индукции не обязана быть единицей?
Евгений
Можно поподробнее про утверждение А(2)?
, оставишь ответ?
Имя:*
E-Mail:


Добро пожаловать!

Для того чтобы стать полноценным пользователем нашего портала, вам необходимо пройти регистрацию.
Зарегистрироваться
Создайте собственную учетную запить!

Пройти регистрацию
Авторизоваться
Уже зарегистрированны? А ну-ка живо авторизуйтесь!

Войти на сайт