Для того, что бы доказать Великую теорему крокодилов, докажем сначала две вспомогательные теоремы I и II, а затем сделаем вывод.
Теорема I. Крокодил более длинный, чем широкий.
читать дальше
Доказательство.
Будет проведено в 2 этапа. Сначала докажем, что крокодил более длинный, чем зеленый, а потом - что он более зеленый, чем широкий, после чего требуемое будет следовать из транзитивности отношения "более".
1) Крокодил длинный сверху и снизу, а зеленый только сверху.
Следовательно, крокодил более длинный, чем зеленый.
2) Крокодил зеленый и вдоль, и поперек, а широкий только поперек.
Следовательно, крокодил более зеленый, чем широкий.
Из 1) и 2) следует что крокодил более длинный, чем широкий.
Теорема II. Крокодил более широкий, чем длинный.
Доказательство.
Будет проведено в 2 этапа. Сначала докажем, что крокодил более широкий, чем зеленый, а потом - что он более зеленый, чем длинный, после чего требуемое будет следовать из транзитивности отношения "более".
1) Крокодил широкий сверху и снизу, а зеленый только сверху.
Следовательно, крокодил более широкий, чем зеленый.
2) Крокодил зеленый и вдоль, и поперек, а длинный только вдоль.
Следовательно, крокодил более зеленый, чем длинный.
Из 1) и 2) следует что крокодил более широкий, чем длинный.
Иногда ошибочно полагают, что из двyх вышепpиведенных теорем следyет, что кpокодилы квадpатные, однако, это невеpно, так как неpавенства в фоpмyлиpовках теоpем стpогие, следовательно кpокодилов не сyществyет.