Вот мне на днях рассказали, и я вспомнил матшкольные ранние 1980-е годы.
Теорема. Крокодил квадратный.
Доказательство. Рассмотрим следующие леммы.
То ли мне это рассказали в нашем классе, то ли наоборот. Может, кто вспомнит? Заранее благодарен.
Теорема. Крокодил квадратный.Доказательство. Рассмотрим следующие леммы.
Лемма 1. Крокодил шире, чем длиннее.
Доказательство. Рассмотрим следующие утверждения.
Лемма 2. Крокодил длиннее, чем шире. Доказывается непосредственным измерением.
Из лемм 1 и 2 вытекает квадратность крокодила. QEDДоказательство. Рассмотрим следующие утверждения.
Утверждение 1. Крокодил шире, чем зеленее. Действительно, крокодил широкий и сверху и снизу, а зелёный только сверху.
Утверждение 2. Крокодил зеленее, чем длиннее. Действительно, крокодил зелёный в обе стороны, а длинный только в одну.
Лемма 1 следует из утверждений 1 и 2 по транзитивности.Лемма 2. Крокодил длиннее, чем шире. Доказывается непосредственным измерением.
То ли мне это рассказали в нашем классе, то ли наоборот. Может, кто вспомнит? Заранее благодарен.
no subject