Vladson
Сильнобухер
Крокодил длинее, чем шире. (возможно было, но не нашёл)
Итак, дано: крокодил. Известно, что крокодил сверху зелёный.
Требуется доказать, что крокодил длинее, чем шире.
Для начала мы разобьём теоремму на две леммы: требуется доказать, что крокодил длинее, чем зеленее, и, соответственно, он зеленее чем шире.
Крокодил длинее чем зеленее, потому что он длинен и сверху и снизу, а зелёный он только сверху.
Далее, крокодил зеленее, чем длинее, потому что он зелен и вдоль и поперёк, а широкий он только поперёк.
Итак, можно сказать что теорема доказана.
Но для проверки стоит попробовать доказать обратное.
Разобьём теоремму на две леммы: крокодил зеленее чем длинее и шире, чем зеленее.
Крокодил зеленее, чем длинее, потому что он зелен и вдоль и поперёк, а длинен он только вдоль.
Крокодил шире, чем зеленее, потому что зелен он только сверху, а широк и сверху и снизу.
Теорема доказана.
Из вышепредставленных доказательств можно было бы сделать вывод, что крокодил квадратный, но так как оба представленных утверждения были строгими, есть только один вывод - крокодил не существует.
Итак, дано: крокодил. Известно, что крокодил сверху зелёный.
Требуется доказать, что крокодил длинее, чем шире.
Для начала мы разобьём теоремму на две леммы: требуется доказать, что крокодил длинее, чем зеленее, и, соответственно, он зеленее чем шире.
Крокодил длинее чем зеленее, потому что он длинен и сверху и снизу, а зелёный он только сверху.
Далее, крокодил зеленее, чем длинее, потому что он зелен и вдоль и поперёк, а широкий он только поперёк.
Итак, можно сказать что теорема доказана.
Но для проверки стоит попробовать доказать обратное.
Разобьём теоремму на две леммы: крокодил зеленее чем длинее и шире, чем зеленее.
Крокодил зеленее, чем длинее, потому что он зелен и вдоль и поперёк, а длинен он только вдоль.
Крокодил шире, чем зеленее, потому что зелен он только сверху, а широк и сверху и снизу.
Теорема доказана.
Из вышепредставленных доказательств можно было бы сделать вывод, что крокодил квадратный, но так как оба представленных утверждения были строгими, есть только один вывод - крокодил не существует.
