Определим привлекательность женщины как функцию от расстояния до нее. При бесконечном значении аргумента эта функция обращается в нуль. С другой стороны, в точке нуль она также равна нулю (речь идет о внешней привлекательности, а не об осязательной). Согласно теореме Лагранжа, неотрицательная непрерывная функция, принимающая на концах отрезка нулевые значения, имеет на этом отрезке максимум. Следовательно:

1. Существует расстояние, с которого женщина наиболее привлекательна.

2. Для каждой женщины это расстояние свое.

3. От женщин надо держаться на расстоянии.

Теорема: Все лошади одного цвета.

Доказательство. Докажем утверждение теоремы по индукции.

При n = 1, то есть для множества, состоящего из одной лошади, утверждение, очевидно, выполнено.

Пусть утверждение теоремы верно при n = k. Докажем, что оно верно и при n = k + 1. Для этого рассмотрим произвольное множество из k + 1 лошадей. Если убрать из него одну лошадь, то их останется k. По предположению индукции все они одного цвета. Теперь вернем на место убранную лошадь и заберем какую-либо другую. Опять-таки по предположению индукции и эти k оставшихся лошадей одного цвета. Но тогда и все k + 1 лошадей будут одного цвета.

Отсюда, согласно принципу математической индукции, все лошади одного цвета. Теорема доказана.

Еще одна замечательная иллюстрация применения математических методов к зоологии.

Теорема: Крокодил более длинный, чем широкий.

Доказательство. Возьмем произвольного крокодила и докажем две вспомогательные леммы.

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

Доказательство. Посмотрим на крокодила сверху — он длинный и зеленый. Посмотрим на крокодила снизу — он длинный, но не такой зеленый (на самом деле он темно-серый).

Следовательно, лемма 1 доказана.

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

Доказательство. Посмотрим на крокодила еще раз сверху. Он зеленый и широкий. Посмотрим на крокодила сбоку: он зеленый, но не широкий. Это доказывает лемму 2.

Утверждение теоремы, очевидно, следует из доказанных лемм.

Обратная теорема («Крокодил более широкий, чем длинный») доказывается аналогично.

На первый взгляд, из обеих теорем следует, что крокодил — квадратный. Однако, поскольку неравенства в их формулировках строгие, то настоящий математик сделает единственно правильный вывод: КРОКОДИЛОВ НЕ СУЩЕСТВУЕТ!

Теорема: Все натуральные числа равны между собой.

Доказательство. Необходимо доказать, что для любых двух натуральных чисел A и B выполнено равенство A = B. Переформулируем это в таком виде: для любого N > 0 и любых A и B, удовлетворяющих равенству max(A, B) = N, должно выполняться и равенство A = B.

Докажем это по индукции. Если N = 1, то A и B, будучи натуральными, оба равны 1. Поэтому A = B.

Предположим теперь, что утверждение доказано для некоторого значения k. Возьмем A и B такими, чтобы max(A, B) = k + 1. Тогда max(A–1, B–1) = k. По предположению индукции отсюда следует, что (A–1) = (B–1). Значит, A = B.

Любители лингвистических и математических головоломок наверняка знают про рефлексивные, или самоописывающиеся (не подумайте ничего плохого), самоотносимые слова, фразы и числа. К последним, например, относится число 2100010006, в котором первая цифра равна количеству единиц в записи этого числа, вторая — количеству двоек, третья — количеству троек, ..., десятая — количеству нулей.

К самоописывающимся словам относится, скажем, слово двадцатиоднобуквенное, придуманное мной несколько лет назад. В нем действительно 21 буква!

Самоописывающихся фраз известно великое множество. Один из первых примеров на русском придумал много лет назад знаменитый карикатурист и словесный остроумец Вагрич Бахчанян: В этом предложении тридцать две буквы. Вот несколько других, придуманных гораздо позже: 1. Семнадцать буковок. 2. В этом предложении есть ошибка, расположенная в канце. 3. Это предложение состояло бы из семи слов, если было бы на семь слов короче. 4. Вы находитесь под моим контролем, поскольку вы будете читать меня, пока не дочитаете до конца. 5. ...Это предложение начинают и заканчивают три точки.

Есть и более сложные конструкции. Полюбуйтесь, например, на вот этого монстра (см. заметку С. Табачникова «У попа была собака» в журнале «Квант», № 6, 1989): В этой фразе два раза встречается слово «в», два раза встречается слово «этой», два раза встречается слово «фразе», четырнадцать раз встречается слово «встречается», четырнадцать раз встречается слово «слово», шесть раз встречается слово «раз», девять раз встречается слово «раза», семь раз встречается слово «два», три раза встречается слово «четырнадцать», три раза встречается слово «три», два раза встречается слово «девять», два раза встречается слово «семь», два раза встречается слово «шесть».

Через год после публикации в «Кванте» И. Акулич придумал самоописывающуюся фразу, описывающую не только слова в нее входящие, но и знаки препинания: Фраза, которую Вы читаете, содержит: два слова «Фраза», два слова «которую», два слова «Вы», два слова «читаете», два слова «содержит», двадцать пять слов «слова», два слова «слов», два слова «двоеточие», два слова «запятых», два слова «по», два слова «левых», два слова «и», два слова «правых», два слова «кавычек», два слова «а», два слова «также», два слова «точку», два слова «одно», два слова «одну», двадцать два слова «два», три слова «три», два слова «четыре», три слова «пять», четыре слова «двадцать», два слова «тридцать», одно двоеточие, тридцать запятых, по двадцать пять левых и правых кавычек, а также одну точку.

Наконец, еще через несколько лет все в том же «Кванте», появилась заметка А. Ханяна, в которой приводилась фраза, скрупулезно описывающая все свои буковки: В этой фразе двенадцать В, две Э, семнадцать Т, три О, две Й, две Ф, семь Р, четырнадцать А, две 3, двенадцать Е, шестнадцать Д, семь Н, семь Ц, тринадцать Ь, восемь С, шесть М, пять И, две Ч, две Ы, три Я, три Ш, две П.

«Явно чувствуется, что не хватает еще одной фразы — которая рассказывала бы и о всех своих буквах, и о знаках препинания», написал в частном письме ко мне И. Акулич, породивший одного из приведенных ранее монстров. Возможно, эту весьма непростую задачу решит кто-либо из наших читателей.

В продолжение предыдущей темы стоит упомянуть про рефлексивные парадоксы.

В уже упоминавшейся ранее книге Дж. Литлвуда «Математическая смесь» справедливо говорится, что «все рефлексивные парадоксы являются, конечно, превосходными шутками». Там же приводятся два из них, которые я позволю себе процитировать:

1. Должны существовать (положительные) целые числа, которые не могут быть заданы фразами, состоящими менее, чем из шестнадцати слов. Любое множество положительных целых чисел содержит наименьшее число, и поэтому существует число N, «наименьшее целое число, которое не может быть задано фразой, состоящей из менее, чем шестнадцати слов». Но эта фраза содержит 15 слов и определяет N.

2. В журнале Spectator был объявлен конкурс на тему «Что бы Вы с наибольшим удовольствием прочли, раскрыв утреннюю газету?» Первый приз получил ответ: