Волшебный двурог
Шрифт:
m = р2; n = q2,
а отсюда окончательно получаем формулы для всех трех наших чисел:
х = p2 — q2; у = 2pq; z = p2 + q2.
Это и есть формулы пифагоровых троек. По этим формулам можно получать любое количество пифагоровых чисел. Например,
— 88 —
— Ясно, — скромно ответил Илюша, которому очень правилась эта маленькая лекция.
— Конечно, если наши p и q будут оба нечетные, то наши индусские числа неизбежно будут иметь общий множитель, равный двум. Проверьте, коли не поленитесь! Впрочем… Этими числами даже в древнем Вавилоне занимались! Сохранились таблетки с росписями.
Илюша тщательно проверил вычисления и убедился, что лектор прав.
— Теперь я скажу вам еще несколько слов о судьбе Великой Теоремы. Видите ли, это началось с того, что в семнадцатом веке один из крупнейших математиков всех времен, Пьер Ферма, однажды, читая своего любимого автора — древнего математика Диофанта, записал на полях этой книги свою теорему, о которой мы только что говорили. А записав ее, он добавил следующие слова: «Я нашел поистине удивительное доказательство этой теоремы, но на полях книги слишком мало места, и оно здесь не упишется». И вот с тех пор математики всего мира триста лет бьются и не могут найти это доказательство. Один крупнейший математик, Леонард Эйлер, тот самый, кто впервые обозначил отношение окружности к диаметру греческой буквой , доказал, что для третьей и четвертой степени теорема Ферма правильна. Но надо вам сказать, что уже для третьей степени его доказательство вводит понятия более сложные, чем те, которые были известны математикам во времена Ферма. В частности, он должен был в этом случае прибегнуть к нашей помощи, то есть к помощи комплексных чисел, частным случаем которых являются обыкновенные числа. И мы ему, разумеется, в этом деле, как умели, помогли. Ведь если посмотреть на все это дело, как говорится, попросту, то легко можно сказать: зачем эти бедные комплексные чудачки возятся в этой башне с такими сложнейшими аппаратами? И все только для того, чтобы доказать, что некоторая задача не может быть решена? И триста лет математики бьются над задачей, от которой никому ни тепло ни холодно! Но это не совсем так. Уже Леонард Эйлер должен был вводить для этой задачи новые числа, то есть расширять понятие числа. А это великое дело. Ибо когда построена новая система чисел, то она работает уже не только для этой задачи, а для всех математиков и для всех проблем. А когда за эту задачу взялся математик Куммер, по имени коего и наш главный аппарат, как вы знаете, называется куммерскопом, то он построил целую теорию, где было очень много нового. И при помощи этой новой теории он доказал нашу Великую Теорему сразу для всех тех показателей степени, которые вырезаны на камне над дверями нашей башни. Причем для трех чисел,
— 89 —
которые светятся над дверями особенно ярко, ему пришлось построить дополнительную теорию. Он расширил наши представления в области математики и дал нам совершенно новые аппараты, которые годятся для очень многих вопросов, в частности и для таких, которые задевают интересы инженеров и других практических деятелей. Я уже не говорю о том, что только благодаря Куммеру вы могли разглядеть на нашем экране Великую хотя бы по пояс. До Куммера можно было рассмотреть разве что бахрому ее мантильи, ибо теорема была доказана только для чисел 3, 5 и 7. В настоящее время теорема доказана вплоть до очень больших показателей степеней.
Вычисления для этого понадобились не шуточные! Чтобы вы могли себе составить представление о том, с какими громадными числами в таком случае приходится иметь дело, укажу, что если возвести число «два» в степень «семьсот», то в результате мы получим число, в котором будет двести с лишком знаков, а если возвести «три» в ту же степень, получим число, в котором будет более трехсот знаков. Я слышал, как вы недавно говорили, что септиллион кажется вам довольно внушительным числом, а ведь в нем всего-навсего только двадцать пять знаков! Вопросами такого рода занимается высшая арифметика, которая называется теорией чисел. Исследования в этой области раскрывают очень много серьезных проблем, с которыми приходится сталкиваться математику.
Вы знаете, что существуют иррациональные числа, как, например, 2, которые не могут быть выражены никаким конечным числом десятичных знаков. Но 2 может быть корнем алгебраического уравнения с целыми коэффициентами, например:
х2 — 2 = 0.
Однако есть числа, еще более сложные по своему строению.
Таково, например, число , которое мы называем трансцендентным числом. Оно уже не только не может быть выражено конечным числом десятичных знаков, но не может быть, кроме того, и корнем никакого алгебраического уравнения с целыми или вообще рациональными коэффициентами. И вот это в высшей степени важное его свойство и доказывается способами теории чисел. Кстати, когда наконец это доказательство было получено (а ведь это случилось не так давно, в конце девятнадцатого века), то тем самым был положен конец всем решительно попыткам найти квадратуру круга, то есть построить равновеликий данному кругу квадрат при помощи циркуля и линейки. Об этом, я думаю, вы слышали?
— 90 —
— Конечно, — отвечал Илюша.
— Так что с этой задачей, которая долгое время занимала умы людей просвещенных… (правда, к сожалению, не только просвещенных!), было покончено.
— Это вроде как с «вечным двигателем», то есть с perpetuum mobile? — вставил Илюша.
— Н-да, — согласился Мнимий, — в этом роде.
— Но ведь теорема Ферма — это все-таки не квадратура круга и не perpetuum mobile?
— Ну конечно, нет! — воскликнул Мнимий. — Это все же серьезная проблема, хотя и частного характера. Заметьте, что теория чисел славится среди математиков тем, что постановка ее задач на первый взгляд кажется очень несложной, но зато решение их дается ученым с таким трудом, что, пожалуй, в этом отношении с теорией чисел не может поспорить никакая другая отрасль математики. Из наиболее важных проблем этой науки я укажу вам на проблему распределения простых чисел в ряду целых чисел. Ясно, что среди всех этих чисел самое важное значение имеют именно простые, ибо все остальные суть произведения простых, а они в силу этого, очевидно, являются элементами, из которых образовано каждое целое число. Вопросом о том, сколько этих чисел, занимался с успехом еще Евклид, показавший, что простых чисел в ряду целых имеется бесконечное множество. Гораздо позже над вопросом о распределении простых чисел трудился Эйлер, а затем важнейшие результаты были получены крупнейшим русским математиком П. Л. Чебышевым уже в девятнадцатом веке. На решение многих проблем теории чисел нередко требуются не то что годы, а целые столетия. Например, в конце восемнадцатого века английский математик Варинг предложил одну задачу по теории чисел. На первый взгляд она совсем не хитра: надо доказать, что всякое целое число можно представить в виде суммы ограниченного числа энных степеней целых чисел. Для n, равного двум, это сделать не очень трудно, и вывод гласит: всякое целое число можно представить в виде суммы не более чем четырех квадратов.
Например:
2519 = 432 + 252 + 62 + 32.
Но доказать надо не только для квадратов, а для всех степеней. И только уже в начале двадцатого века было дано решение этой труднейшей задачи с помощью самых тонких средств математического анализа. Вот еще пример. В середине восемнадцатого века академик X. Гольдбах в письме к Эйлеру высказал предположение, что всякое целое число больше трех может быть разложено на сумму не более чем трех простых
— 91 —
чисел. Задача эта оказалась до такой степени трудной, что еще в начале нашего века на международном математическом конгрессе один из видных ученых заявил, что она «превосходит силы современной математики». Оказалось, впрочем, что это не так. Основные результаты в решении этой задачи были достигнуты советским математиком Л. Г. Шнирельманом, который доказал, что, составляя суммы достаточно большого (но заранее ограниченного) числа слагаемых, каждое из которых есть простое число, можно получить все натуральные числа. Уже это было достижением, которое вызвало удивление математиков всего мира. Но, конечно, еще труднее было доказать, что для разложения четных чисел достаточно двух, а для разложения нечетных чисел — трех слагаемых, каждое из которых есть простое число. Это последнее утверждение удалось доказать замечательному советскому математику И. М. Виноградову, которому и принадлежит, таким образом, помимо ряда блестящих работ в других областях теории чисел, решение этой никому не покорявшейся проблемы Гольдбаха (для нечетных чисел; для четных метод Виноградова дает четыре слагаемых). Решение Виноградова быстро облетело весь мир и увенчало советскую математику заслуженной славой… Однако должен добавить ко всему сказанному вот еще что. Допустим, что завтра найдется гениальный математик и докажет теорему Ферма{6}. Конечно, это не будет переворотом всей математики. И возможно, что разговоров будет больше, чем дела. Все это так. Однако нельзя сомневаться в том, что методы, которыми действует математика, благодаря этому обогатятся, и даже очень. Ну вот, теперь, мой милый гость, мне кажется, что я, насколько мог, удовлетворил вашу любознательность.
— Я даже не могу выразить, до чего я вам благодарен! Мне кажется, я никогда еще не слыхал ничего такого интересного. Я всегда очень любил математику, а теперь… теперь мне кажется, что это самая интересная вещь на свете!
— Что ж, молодой человек, — ответил ему Мнимий Радиксович, приветливо улыбаясь, — я, конечно, в этом деле не судья, но возможно, что вы не так далеки от истины.
После этого Илюша и Радикс сердечно распрощались с гостеприимным хозяином и не спеша, стали спускаться с Лежандровой горки. Радикс пояснил Илюше, что горка эта называется так, но имени математика Лежандра, который высказал о теореме Ферма некоторое очень тонкое замечание.