|
Например, подставим значения (x=1, y=4) в наше уравнение:
x<sup>3</sup> — x<sup>2</sup> = y<sup>2</sup> + y, 1<sup>3</sup> — 1<sup>2</sup> = 4<sup>2</sup> + 4, 1 — 1 = 16 + 4, 0 = 20.
Но число 20 эквивалентно 0, так как число 5 делит число 20 с остатком 0. Поскольку найти число решений кубического уравнения в целых числах крайне трудно, математики решили сначала определить число решений в различных арифметиках вычетов. Для приведенного выше уравнения число решений в арифметике по модулю 5 равно четырем. Это записывают так: E<sub>5</sub> = 4. Можно подсчитать число решений и в других арифметиках. Например, в арифметике вычетов по модулю 7 число решений равно 9, т. е. E<sub>7</sub> = 9. Подводя итог своим вычислениям, математики составили список числа решений в каждой из арифметик вычетов и назвали его L-рядом эллиптической кривой (или соответствующего кубического уравнения). Что, собственно, означает здесь буква L, все давно забыли. Считается, что L означает Густава Лежена Дирихле, который также занимался изучением кубических уравнений. Для ясности я буду использовать обозначение «E-ряд» — ряд, полученный для кубического уравнения. Для приведенного выше уравнения E-ряд выглядит так. Уравнение: x<sup>3</sup> — x<sup>2</sup> = y<sup>2</sup> + y; E-ряд: E<sub>1</sub> = 1, E<sub>2</sub> = 4, E<sub>3</sub> = 4, E<sub>4</sub> = 8, E<sub>5</sub> = 4, E<sub>6</sub> = 16, E<sub>7</sub> = 9, E<sub>8</sub> = 16, … Пока не известно, сколько решений имеют кубические уравнения в обычном числовом пространстве, которое бесконечно, E-ряды заведомо лучше, чем ничего. В действительности, E-ряд содержит в себе значительную долю информации о том уравнении, которое оно описывает. Подобно тому, как биологическая ДНК несет в себе всю информацию, необходимую для построения живого организма, E-ряд несет в себе наиболее существенную информацию об эллиптической кривой. Математики питали надежду, что E-ряд — это своего рода математическая ДНК, и что при помощи его они в конечном счете смогут вычислить все, что им хотелось бы знать об эллиптической кривой. Работая под руководством Джона Коутса, Уайлс быстро заслужил репутацию блестящего специалиста по теории чисел, глубоко разбирающегося в арифметике эллиптических кривых. С каждым новым результатом и с каждой опубликованной статьей Уайлс, сам того не ведая, набирался опыта, который несколькими годами позже привел его к возможности доказать Великую теорему Ферма. В то время еще никому не было известно, что в послевоенной Японии уже произошла цепь событий, которые позволят установить неразрывную связь между эллиптическими кривыми и модулярными формами. Именно эта связь и приведет впоследствии к доказательству Великой теоремой Ферма. Поощряя Уайлса к изучению эллиптических кривых, Коутс дал ему средства, позволившие осуществить давнюю мечту.
Глава 5. Доказательство от противного
Узоры математика, как и узоры художника или узоры поэта, должны быть красивы; идеи, как и краски или слова, должны сочетаться гармонически. Красота является первым критерием: в мире нет места для безобразной математики. Г. Г. Харди
В январе 1954 года талантливый молодой математик из Токийского университета нанес обычный визит в факультетскую библиотеку. Горо Шимуре был нужен экземпляр журнала «Mathematische Annalen», том 24. В частности, его интересовала статья Дойринга по алгебраической теории комплексного умножения. Шимура надеялся, что теория Дойринга поможет ему выполнить чрезвычайно сложные вычисления, смысл которых был ясен лишь узкому кругу специалистов. |
