247

Доказательство того, что существует лошадь с тринадцатью ногами.

Это доказательство не оригинально, оно частично восходит к математическому фольклору.

Требуется доказать, что существует по крайней мере одна лошадь, у которой тринадцать ног. Выкрасим всех лошадей в мире либо в синий, либо в красный цвет по следующей схеме. Прежде чем красить лошадь, сосчитаем, сколько у нее ног. Если у лошади ровно тринадцать ног, то выкрасим ее в синий цвет. Если же у лошади число ног окажется либо меньше, либо больше тринадцати, то выкрасим ее в красный цвет. Предположим, что мы выкрасили всех лошадей в мире. У синих лошадей по тринадцати ног, у красных число ног отлично от тринадцати. Выберем наугад какую-нибудь лошадь. Если она окажется синего цвета, то наше утверждение доказано. Если же она будет красного цвета, то выберем наугад вторую лошадь. Предположим, что вторая лошадь окажется синего цвета. Тогда наше утверждение опять-таки доказано. А что если вторая лошадь красного цвета? Тогда это будет лошадь другого цвета, и мы приходим к противоречию: откуда взяться другому цвету, если каждую лошадь в мире мы выкрасили только в один цвет?