каждый в своё время, изменили направление научной мысли.
Разумеется, серьёзность теоремы не в её следствиях; следствия лишь свидетельствуют о её серьёзности. Шекспир оказал огромное влияние на развитие английского языка, Отуэй не оказал почти никакого влияния, но Шекспир был лучшим поэтом по иной причине. Он был лучшим поэтом потому, что его поэзия была намного лучше. Незначительность шахматной задачи, подобно поэзии Отуэя, не в её последствиях, а в её содержании.
Существует ещё один вопрос, на котором я остановлюсь очень кратко, не потому, что он не интересен, а потому, что он сложен и я не обладаю должной квалификацией для того, чтобы вести сколько-нибудь серьёзную дискуссию по эстетике. Красота математической теоремы во многом зависит от её серьёзности: даже в поэзии красота строки может в какой-то мере зависеть от значимости заложенных в ней идей. Выше я привёл две шекспировские строки как пример подлинной красоты словесного рисунка, но строка
'Но лихорадка жизни отступила, и крепко спит он.'
кажется мне ещё прекрасней. Образ столь же прекрасен, но в этом случае идеи исполнены смысла, тезис здрав, и поэтому строка глубже затрагивает наши чувства. Идеи оказывают существенное влияние на образ даже в поэзии и, естественно, в гораздо большей степени в математике, но я даже не пытаюсь обсуждать этот вопрос сколько-нибудь серьёзно.
12
Становится ясно, что для дальнейшего продвижения мне необходимо привести несколько примеров 'настоящих' математических теорем - теорем, которые любой математик сочтет первоклассными. И здесь я оказываюсь в сильном затруднении из-за ограничений, при которых пишу. С одной стороны, мои примеры должны быть очень простыми и понятными читателю, не обладающему специальными познаниями в математике; не должно быть сложных предварительных объяснений, и читатель должен быть в силах проследить как за доказательствами, так и за формулировками теорем. Эти условия исключают, например, многие из красивейших теорем теории чисел, такие, как теорема Ферма о двух квадратах или закон квадратичной взаимности. С другой стороны, мои примеры должны быть заимствованы из 'первоклассной' математики, математики активно работающего профессионального математика, и это условие исключает многое из того, что было бы легко сделать доступным для понимания широкого читателя, но что в то же время выходит за рамки логики и математической философии.
Вряд ли можно предложить лучший выход из положения, чем обращение к математике древних греков. Я сформулирую и докажу две из знаменитых теорем древнегреческой математики. Обе эти теоремы принадлежат к числу 'простых' - как по идее, так и по исполнению, но несомненно, при всём этом обе - теоремы высочайшего класса. Каждая из этих теорем так же свежа и значима, как в пору своего открытия. Два прошедших с тех пор тысячелетия не оставили и морщинки на их лике. Наконец, интеллигентный читатель, сколь бы скудным ни был его математический багаж, может за какой-нибудь час одолеть и формулировки, и доказательства этих теорем.
1. Первый пример - предложенное Евклидом доказательство того, что существует бесконечно много простых чисел(3).
Простыми называются числа
которые не могут быть разложены на меньшие множители(4). Например, 37 и 317 - простые числа. Именно простые числа служат тем материалом, из которого с помощью умножения образуются все числа: например, 666 = 2·3·3·37. Каждое число, которое не является простым, делится по крайней мере на одно простое число (разумеется, обычно оно делится на несколько простых чисел).
Требуется доказать, что существует бесконечно много простых чисел, т.е. последовательность (1) никогда не кончается.
Предположим, что последовательность (1) кончается, т.е. что 2, 3, 5, ..., P - все входящие в неё числа (таким образом, P - наибольшее простое число). Следуя этой гипотезе, рассмотрим число
Ясно, что Q не делится ни на одно число 2, 3, 5, ..., P, так как при делении на любое из этих чисел даёт остаток 1. Но если число Q не простое, то оно должно делиться на какое-то простое число. Следовательно, существует какое-то простое число (может быть, само число Q), больше, чем любое из чисел 2, 3, 5, ..., P. Это противоречит сделанному нами предположению о том, что не существует простого числа, которое бы превосходило число P, и, следовательно, это предположение неверно.
Метод доказательства reductio ad absurdum (доказательство от противного), столь любимый Евклидом, - один из самых лучших инструментов математика(5). Это гораздо более 'хитроумный' гамбит, чем любой шахматный гамбит: шахматист может пожертвовать пешку или даже фигуру, но математик жертвует партию.
13
2. Мой второй пример - предложенное Пифагором(6) доказательство 'иррациональности' числа 
.
Рациональные числа представляются в виде дроби 
где a и b - целые числа. Можно предположить, что a и b не имеют общих множителей, так как если бы они их имели, то на общий множитель можно было бы сократить. Утверждение 'число иррационально' равносильно утверждению 'число 2 не представимо в виде 
', а оно в свою очередь равносильно утверждению о том, что соотношению
не могут удовлетворять целые значения a и b, не имеющие общего множителя. Это - теорема чистой арифметики, не требующая знания 'иррациональных чисел' и не зависящая ни от какой теории иррациональных чисел.
Снова воспользуемся доказательством от противного. Предположим, что соотношение (2) выполняется и что a и b целые числа, не имеющие общего множителя. Из соотношения (2) следует, что число a
чётно (так как 2b делится на 2), и, следовательно, число a чётно (так как квадрат нечётного числа нечётен). Если a чётно, то
где c - некоторое целое число, и, следовательно,
или
