Пикейный Жилет (pikee_vest) wrote,
Пикейный Жилет
pikee_vest

Categories:

Вторая теорема о крокодиле (теорема о несуществовании крокодила)

Лемма 1: Крокодил длиннее, чем зеленее.
Доказательство: Крокодил длинный и сверху, и снизу, а зелёный только сверху.

Лемма 2: Крокодил зеленее, чем шире.
Доказательство: Крокодил зелёный и вдоль, и поперёк, а широкий только поперёк.

Теорема 1: Крокодил длиннее, чем шире.
Доказательство: см. леммы 1 и 2.

Лемма 3: Крокодил шире, чем злее.
Доказательство: Крокодил широкий от лапы до лапы, а злой только от носа до шеи.

Лемма 4: Крокодил злее, чем длиннее.
Доказательство: Применим дополнительные леммы:

Лемма 5: Крокодил злее, чем тяжелее.
Доказательство: Воспользуемся приёмом последовательного дробления и интеграции. Разделим крокодила на N частей. При этом масса каждой части уменьшается, стремясь в пределе к нулю. Злость, как известно, величина не аддитивная, т.е. при дроблении злость каждой части не уменьшается. Далее очевидно, что при интеграции злость будет строго больше тяжести.

Лемма 6: Крокодил тяжелее, чем длиннее.
Доказательство: Крокодил длинный только вдоль, а тяжёлый и вдоль, и поперёк.

Теорема 2: Крокодил шире, чем длиннее.
Доказательство: см. леммы 3, 4, 5, 6.

Таким образом, с одной стороны крокодил длиннее, чем шире, а с другой — шире, чем длиннее.
Может сложиться впечатление, что крокодил квадратен, но это не верно, так как все неравенства строгие.

Вывод: крокодил не существует.
Tags: улыбнуло
Subscribe

  • Гастарбайтерское

    Легендарный американский чемпион по гольфу Ли Тревино, известный также как "веселый мексиканец" или "супермекс", после…

  • Романтично то как, бабкина норка ...

    Хоть и говорят, что хороший человек – не профессия, но эта маленькая история вполне доказывает обратное. У меня недавно появился новый…

  • Интересно, фейковая история?

    Из опубликованных воспоминаний предпринимателя А.Кузьмичева (19 место в списке российских миллиардеров – $7,9 млрд) "Приехал недавно…

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your IP address will be recorded 

  • 3 comments