Переход в этой задаче от 3 кандидатов на награду к 4 и последующее обобщение на случай произвольного числа кандидатов познакомит вас с весьма важным методом доказательства, известным под названием «метод математической индукции». Этот метод применим лишь в том случае, когда подлежащие доказательству утверждения можно упорядочить, как ступени лестницы. Вы доказываете, что всякое утверждение истинно, если истинно предыдущее, и проверяете, что первое утверждение истинно. Но коль скоро оно истинно, то истинны и все остальные утверждения: если вы можете ступить на первую ступень, то вам удастся подняться по лестнице сколь угодно высоко (или: если вы ступаете не на первую ступень, то вам удастся подняться или спуститься на любую другую ступень).
Предположим, что у проф. Ах особенно отличились и претендуют на награду 4 студента и что он надел им на головы красные шляпы. Все четверо подняли руки. Предположим, что один из них сумел догадаться, какого цвета шляпа у него на голове, чуть раньше других. Победитель (или победительница) рассуждает так:
— Предположим, что у меня на голове синяя шляпа. Тогда все три моих товарища видят, что она синяя. Значит, каждый из них видит по 2 красные шляпы и жаждет узнать, какого цвета шляпа на голове у него самого. Но именно в такой ситуации находились действующее лица в предыдущей задаче, когда ахову награду оспаривали лишь 3 кандидата. Один из них догадался, что у него на голове красная шляпа.
Но никто из моих соперников не заявляет, что у него на голове красная шляпа, хотя прошло уже достаточно много времени, чтобы каждый мог, не торопясь, тщательно обдумать свои умозаключения. Причина молчания может быть только одна: все они видят, что у меня на голове красная шляпа. Следовательно, мое исходное предположение ложно. Значит, у меня на голове красная шляпа.
Это рассуждение (принесшее своему автору заслуженную награду) допускает обобщение на случай n кандидатов. Если число претендентов на ахову награду равно 5, то самый умный из них увидит перед собой 4 красные шляпы и вскоре поймет, что любой из его соперников может рассуждать так, как рассуждал победитель в состязании 4 кандидатов, и, следовательно, определить цвет своей шляпы. А поскольку все соперники не торопятся заявлять, что у них на головах красные шляпы, то причина подобной сдержанности может быть только одна: все они видят перед собой по 4 красные шляпы. «Значит, — заключил свои рассуждения самый умный из 5 кандидатов, — у меня на голове должна быть красная шляпа». Аналогичные рассуждения применимы в случае любого числа претендентов на ахову награду. Самый умный из