О пропорциях крокодила

2 июля 2008, 18:11
Теорема. Крокодил более широкий, чем длинный.

Доказательство. Для доказательства теоремы нам понадобятся два вспомогательных утверждения — леммы.
Лемма 1. Крокодил более широкий, чем зеленый.

Доказательство леммы 1. Заметим, что крокодил широкий и сверху и снизу, а зеленый только сверху. Следовательно, крокодил более широкий, чем зеленый.

Лемма 2. Крокодил более зеленый, чем длинный.

Доказательство леммы 2. Обратим внимание на то, что крокодил зеленый и в длину, и в ширину, а длинный только в длину. Следовательно, крокодил более широкий, чем зеленый.
Последовательно применяя две доказанных леммы, получаем исходное утверждение теоремы.
Поделиться