![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Entry tags:
Формальное доказательство утверждения "семь пятниц на неделе"
По мотивам студенческого "творческого" доказательства простого алгебраического факта, коллега предложила доказательство жизненное и понятное даже не-математикам.
Итак, возьмем к примеру февраль. В феврале четыре понедельника и четыре пятницы. Следовательно:
Количество(понедельников)=Количество(пятниц)
Перенесем в одну сторон:
Количество(понедельников)-Количество(пятниц)=0
Вынесем "Количество" за скобки:
Количество(понедельников-пятниц)=0
Поскольку Количество само по себе нулю не равняется, можем сократить:
понедельников-пятниц=0
И опять переносим:
понедельников=пятниц
Проделав аналогичную процедуру для вторников, сред и прочих дней недели, получаем формальное алгебраическое доказательство того, что на неделе семь пятниц.
Итак, возьмем к примеру февраль. В феврале четыре понедельника и четыре пятницы. Следовательно:
Количество(понедельников)=Количество(пятниц)
Перенесем в одну сторон:
Количество(понедельников)-Количество(пятниц)=0
Вынесем "Количество" за скобки:
Количество(понедельников-пятниц)=0
Поскольку Количество само по себе нулю не равняется, можем сократить:
понедельников-пятниц=0
И опять переносим:
понедельников=пятниц
Проделав аналогичную процедуру для вторников, сред и прочих дней недели, получаем формальное алгебраическое доказательство того, что на неделе семь пятниц.