Вот, вспомнилось с чего-то. Изящная и логичная теоремка, которую нашла в журнале "Квант" лет ...цать назад, когда училась в метематическом классе - и до сих пор помню.
ТЕОРЕМА: Крокодил более длинный чем широкий.
ДОКАЗАТЕЛьСТВО: Докажем сначала две леммы (вспомогательные теоремы):
Лемма 1: Крокодил более длинный чем зеленый.
Доказательство: 1. Посмотрим на крокодила сверху. Он одинаково длинный и зеленый.
2. А теперь посмотрим на крокодила снизу. Он длинный, но не зеленый (брюхо у него светлее).
3. Следовательно, крокодил более длинный чем зеленый.
Лемма 2. Крокодил более зеленый чем широкий.
Доказательство: 1. Посмотрим на крокодила сверху. Он одинаково зеленый и в длину, и в ширину.
2. Крокодил широкий только в ширину.
3. Следовательно, крокодил более зеленый чем широкий.
Из того что крокодил более длинный чем зеленый и более зеленый чем широкий следует что крокодил более длинный чем широкий. Что и требовалось доказать.
