Математические головоломки и развлечения

б) принцип «проверки на четность», основанный на использовании комбинаторных свойств четных и нечетных чисел.

Прежде всего раскрасим наши прямоугольники подобно шахматной доске в черные и белые квадраты. И тех и других должно быть нечетное число: 105 черных квадратов и 105 белых.

Перебрав 35 фигур гексамино, мы обнаружим, что 24 из них всегда покрывают три черных и три белых квадрата, то есть нечетное число квадратов каждого цвета. Число таких «нечетных гексамино» четно, а поскольку произведение четного числа на нечетное четно, мы можем утверждать, что все вместе 24 «четных» гексамино покроют четное число квадратов каждого цвета.

Остающиеся 11 гексамино имеют такую форму, что каждым из них можно накрыть четыре квадрата одного цвета и два другого, то есть четное число квадратов того и другого цвета. Число таких «четных гексамино» нечетно, но опять же. поскольку произведение четного числа на нечетное есть число четное, мы можем с уверенностью утверждать, что эти 11 фигур накрывают четное число квадратов каждого цвета. (На рис. 78 и 79 разбиты на группы 35 гексамино четных и нечетных фигур.)

Рис. 78Двадцать четыре «нечетных» гексамино.

Рис. 79Одиннадцать «четных» гексамино.

Наконец, поскольку сумма четных чисел четна, мы заключаем, что с помощью 35 гексамино можно накрыть четное число белых квадратов и четное число черных. К сожалению, каждый прямоугольник состоит из 105 квадратов каждого цвета. Это число нечетно, поэтому прямоугольника, который можно было покрыть 35 фигурами гексамино, не существует.

«Рассмотренные задачи, — резюмирует Голомб, — заставляют сделать вывод, который относится ко всем правдоподобным рассуждениям вообще. Взяв те или иные начальные данные, мы долго и упорно пытаемся подогнать их под некоторую схему. Если это нам удается, мы считаем, что только такая схема и «соответствует фактам». В действительности же те данные, которыми мы располагаем, отражают лишь отдельные стороны прекрасного и всеобъемлющего целого. Такого рода рассуждения неоднократно встречаются в религии, политике и даже в науке. Пентамино служит примером того, как одни и те же данные с одинаковым успехом удовлетворяют многим различным схемам. Схема, на которой мы в конце концов останавливаем свой выбор, определяется не столько имеющимися в нашем распоряжении данными, сколько тем, к чему мы стремимся.

Вполне возможно, что при некоторых данных (как это было в задаче о прямоугольниках, составленных из гексамино) схемы, которую мы так стремимся отыскать, вообще не существует».

* * *

Читателям, которые захотят попробовать свои силы в складывании фигур из гексамино, можно предложить еще два примера (рис. 80 и 81), заимствованных из журнала «Небывалые шахматы».

Рис. 80Фигура I для складывания из гексамино.

Рис. 81

Фигура II для складывания из гексамино.

Каждая из фигур составлена из полного набора C5 костей) гексамино. Построить же фигуры из полного набора гексамино можно лишь в том случае, если разность между числом квадратов одного и другого цвета равна 2, 6, 10, 14, 18 и 22.

Глава 13. МАТЕМАТИЧЕСКИЕ СОФИЗМЫ

Математический парадокс можно определить как истину, настолько противоречащую нашему опыту, интуиции и здравому смыслу, что в нее трудно поверить даже после того, как мы шаг за шагом проследим все ее доказательство. Математическим софизмом принято называть не менее удивительные утверждения, в доказательствах которых в отличие от доказательства парадоксов кроются незаметные, а подчас и довольно тонкие ошибки. В любой области математики — от простой арифметики до современной теоретико-множественной топологии — есть свои псевдодоказательства, свои софизмы. В лучших из них рассуждения с тщательно замаскированной ошибкой позволяют приходить к самым невероятным заключениям. Ошибкам в геометрических доказательствах Евклид посвятил целую книгу, но до наших дней она не дошла, и нам остается лишь гадать о том, какую невосполнимую утрату понесла из-за этого элементарная математика.

Семь математических софизмов, о которых пойдет речь в этой главе, выбраны из разных областей математики, каждый из них по-своему интересен. Объяснять, в чем состоит ошибочность рассуждения в каждом софизме, мы не будем, чтобы не лишать читателя удовольствия самостоятельно найти ее.