Формальное доказательство утверждения "семь пятниц на неделе"

[kinoida]

По мотивам студенческого "творческого" доказательства простого алгебраического факта, коллега предложила доказательство жизненное и понятное даже не-математикам.

Итак, возьмем к примеру февраль. В феврале четыре понедельника и четыре пятницы. Следовательно:

Количество(понедельников)=Количество(пятниц)

Перенесем в одну сторон:

Количество(понедельников)-Количество(пятниц)=0

Вынесем "Количество" за скобки:

Количество(понедельников-пятниц)=0

Поскольку Количество само по себе нулю не равняется, можем сократить:

понедельников-пятниц=0

И опять переносим:

понедельников=пятниц

Проделав аналогичную процедуру для вторников, сред и прочих дней недели, получаем формальное алгебраическое доказательство того, что на неделе семь пятниц.

Comments

[geum-rivale.livejournal.com]

а почему нельзя сразу сократить?
Количество(понедельников)=Количество(пятниц)
понедельников=пятниц

[kinoida.livejournal.com]

С этим подходом - можно. разницы никакой :) Но что-то в этом варианте студенту не понравилось :))) (это в точности переписанное его доказательство, просто другим языком)