RANDOM_RUST_DEV Telegram 102
Все лошади одной масти и у меня есть доказательство.

Я докажу, что для любого натурального N, группа из N лошадей всегда одной масти.

Сначала рассмотрим базовый случай N = 1.
Очевидно, что любая группа из одной лошади будет одной масти, масти этой лошади.

Теперь построим индукцию.
Допустим что любая группа лошадей размера N одной масти.

Теперь рассмотрим группу размером N+1.

Исключим одну лошадь из группы, все оставшиеся лошади одной масти, потому что любая группа лошадей размера N одной масти из нашего предположения.
Вернем лошадь и исключим другую лошадь.
Опять же подгруппа размера N одной масти.
Значит первая исключенная лошадь той же масти, что неисключенные, которые той же масти что и вторая исключенная. Значит они все одной масти.

Значит из справедливости того что любая группа лошадей размера N одной масти следует что любая группа лошадей размером N+1 одной масти.

Мы имеем базовый кейс с N=1, а значит по вышеописанной индукции мы доказали это для N=2, а следовательно N=3 и так далее для любого натурального N

QED
😁6😴2



tgoop.com/random_rust_dev/102
Create:
Last Update:

Все лошади одной масти и у меня есть доказательство.

Я докажу, что для любого натурального N, группа из N лошадей всегда одной масти.

Сначала рассмотрим базовый случай N = 1.
Очевидно, что любая группа из одной лошади будет одной масти, масти этой лошади.

Теперь построим индукцию.
Допустим что любая группа лошадей размера N одной масти.

Теперь рассмотрим группу размером N+1.

Исключим одну лошадь из группы, все оставшиеся лошади одной масти, потому что любая группа лошадей размера N одной масти из нашего предположения.
Вернем лошадь и исключим другую лошадь.
Опять же подгруппа размера N одной масти.
Значит первая исключенная лошадь той же масти, что неисключенные, которые той же масти что и вторая исключенная. Значит они все одной масти.

Значит из справедливости того что любая группа лошадей размера N одной масти следует что любая группа лошадей размером N+1 одной масти.

Мы имеем базовый кейс с N=1, а значит по вышеописанной индукции мы доказали это для N=2, а следовательно N=3 и так далее для любого натурального N

QED

BY Random Rust Dev


Share with your friend now:
tgoop.com/random_rust_dev/102

View MORE
Open in Telegram


Telegram News

Date: |

How to Create a Private or Public Channel on Telegram? Telegram has announced a number of measures aiming to tackle the spread of disinformation through its platform in Brazil. These features are part of an agreement between the platform and the country's authorities ahead of the elections in October. The SUCK Channel on Telegram, with a message saying some content has been removed by the police. Photo: Telegram screenshot. Telegram channels fall into two types: With Bitcoin down 30% in the past week, some crypto traders have taken to Telegram to “voice” their feelings.
from us


Telegram Random Rust Dev
FROM American