Цитата:Araiguma
Теорема: Дом более длинный чем широкий.
Доказательство: Возьмем произвольный дом и докажем две вспомогательные леммы.
Лемма 1: Дом более длинный чем светлый.
Доказательство: Посмотрим на дом сверху днём - он длинный и светлый.
Посмотрим на дом днём снизу - он длинный, но не такой светлый (на самом деле он вообще чёрный в земле без света).
Следовательно, лемма 1 доказана.
Лемма 2: Дом более светлый чем широкий.
Доказательство: Посмотрим на дом еще раз сверху. Он светлый и широкий. Посмотрим на дом сбоку: он светлый, но не широкий.
Это доказывает лемму 2.
Утверждение теоремы следует из доказанных лемм.
Обpатная теоpема: "Дом более шиpокий, чем длинный" доказывается аналогично.
Hа пеpвый взгляд из обоих теорем следует, что дом - квадpатный.
Однако, поскольку все неpавенства - стpогие, то единственно пpавильный вывод: ДОМОВ HЕ СУЩЕСТВУЕТ!