Создание проекции еще более усложнилось, когда стало ясно, что Земля не идеальная сфера, а сплющенный с полюсов сфероид — сфера, полюса которой немного уплощены. Рисунок Земли, сжатой у полюсов, который Ньютон опубликовал в своих «Началах», был в конечном счете подтвержден экспериментально. Если Земля сплющена на полюсах, то при перемещении от экватора к полюсу длина одного градуса широты должна увеличиться, точно так же, как благодаря гравитации должно увеличиться ускорение. Для того чтобы измерить оба явления, были организованы целые экспедиции. В 1735 году Парижская академия наук организовала экспедиции в Лапландию и Перу с целью измерить разницу в градусах долготы возле полюса и в районе экватора. Классический опыт Христиана Гюйгенса, в котором был использован простой маятник, показал, что период его колебаний зависит от величины гравитационного ускорения. Рассогласование было замечено еще в 1672 году, когда маятник, отбивающий время с точностью до секунды в Париже, пришлось укоротить, чтобы он показывал то же самое время в Кайенне. К сожалению, ошибки наблюдения обычно приводили к несопоставимым результатам. Некоторые даже считали, что Земля — вытянутый сфероид, то есть удлиненный, а не сглаженный на полюсах. В 1832 году американский математик Натаниэль Баудич (1773–1838) получил 52 измерения из самых разных точек земного шара — от Лапландии до мыса Доброй Надежды. К переводу труда французского математика, физика и астронома Пьера Симона Лапласа (1749–1827) «Небесная механика» он добавил свой анализ этих результатов и рассчитал степень сплющивания (эллиптичность) Земли, которая составила 1/297. Почти сто лет спустя это значение было принято практически во всем мире.
Отклонения от идеальной сферы потребовали поисков тригонометрических форм, выходящих за рамки плоскости и сферы, с помощью которых будет удобно обращаться со сфероидами. Сумма углов треугольника, расположенного на сфере, больше 180°, но превышение будет меняться в зависимости от места расположения треугольника на сфероиде. Французский математик Адриен Мари Лежандр (1752–1833) в 1799 году выполнил довольно изящную работу — связал стороны треугольника с разницей между суммой углов и 180°. Затем с помощью дифференциального и интегрального исчислений были определены новые проекции, формулы которых позволяли определить необходимые искажения. Немецкий физик и математик Иоганн Генрих Ламберт (1728–1777) опубликовал в 1772 году несколько различных проекций, одна из которых, конформная коническая проекция, используется до сих пор. В этом случае Земля проецируется на конус, который касается сферы в «стандартной параллели». Затем конус можно «развернуть», создавая плоскую карту.
Приборы, необходимые для навигации и геодезии, совершенствовались быстро. Астролябия, унаследованная от греков и усовершенствованная арабами, была своего рода аналоговой счетной машиной. Вращая диск, на котором были выгравированы проекция неба и орбиты различных небесных тел, можно было вычислить время восхода и захода. Каждая проекция подходила для фиксированной широты, так что в комплекте с астролябией шел набор дисков, каждый из них был предназначен для своей широты. Астролябия также могла использоваться для вычисления угла возвышения и азимутов небесных тел, вычисления времени и измерения астрономических расстояний. Использование угла возвышения и азимута в качестве стандартных измерений ввели арабы. Угол возвышения — это угол по отношению к горизонту, а азимут — угловое расстояние от меридиана. Солнечные часы были обычным инструментом определения времени, использующим изменения угла возвышения Солнца в течение дня или изменения его азимута. Большинство дисков надо было ориентировать с помощью компаса, но это было очень сложно, если принимать во внимание изменение скорости движения Солнца по небу. В XVII веке были созданы универсальные солнечные часы, которые могли использоваться на любой широте, хотя их все еще необходимо было настраивать. Затем морскую астролябию — довольно простой прибор — сменил квадрант. Постепенно квадранты, секстанты и тому подобные инструменты, используемые мореплавателями, астрономами и землемерами, становились все более и более точными, поскольку стали объединяться с оптическими инструментами и более точными шкалами.
Постоянно усиливавшаяся потребность в точности измерений на земле, в море и в небесах влекла за собой увеличение объема необходимых вычислений. Добавление новых формул означало удлинение вычислений. В результате начиная с XVII века к облегчению расчетов привело применение логарифмов. У штурманов имелись таблицы тригонометрических функций и логарифмов, позволявшие облегчить вычисления, хотя в таких таблицах было очень много ошибок, закравшихся в процессе печати. Изобретение логарифмической линейки если и не смогло увеличить точность вычислений, то по крайней мере сберегало время, и потому в XVIII веке она получила широкое распространение. К тому времени взгляд на мир сильно отличался от представлений Птолемея — теперь Земля была простой планетой, сплюснутым с полюсов сфероидом, вращавшимся вокруг Солнца по своей орбите. Во второй половине XX века мы наконец оторвались от поверхности Земли и увидели свою планету с высоты, и тогда искусственные спутники позволили исправить географические карты.
15. Уравнение пятой степени
В XVI веке математики почти случайно натолкнулись на комплексные числа (см. Главу 11). К XVIII веку комплексные числа считались расширением области действительных чисел, но работа с ними все еще приводила к ошибке четности, как в труде Леонарда Эйлера «Универсальная арифметика» (1767–1770). Он писал, что √ - 2х√ - 3 = √6, а не -√6, смущая более поздних авторов, писавших на ту же тему. Даже Карл Фридрих Гаусс (1777–1855) в своем великом труде по теории чисел «Арифметические исследования» (1801) избегал использования так называемых «мнимых чисел». Как мне кажется, самая важная часть этой работы — первое доказательство фундаментальной теоремы алгебры. Гаусс понял, насколько важной была эта теорема, создав за последующие годы несколько дополнительных доказательств. В 1849 году он переделал первый вариант, на сей раз использовав комплексные числа. Пользуясь современными терминами, можно сказать, что для любого конечного многочленного уравнения с действительными или комплексными коэффициентами все его корни будут действительными или комплексными числами. Таким образом, мы получаем отрицательный ответ на давний вопрос о том, требует ли решение полиномиальных уравнений высокого порядка создания чисел более высокого порядка, чем комплексные.
Одной из самых тернистых проблем алгебры того времени был вопрос, разрешим ли алгебраическими методами, то есть с помощью конечного числа алгебраических шагов, полиномиал пятого порядка — квинтик. Сейчас в школе учат формулу решения квадратных уравнений, а с XVI века известны аналогичные методы для решения уравнений третьей и четвертой степени (Глава 11). Но для квинтиков не было найдено ни одного метода. Может показаться, что фундаментальная теорема алгебры содержит перспективу положительного ответа, но на самом деле она просто гарантирует, что решения существуют, в ней ничего не говорится о существовании формул, дающих точные решения (к тому времени уже существовали приблизительные числовые и графические методы). И вот появились два математических гения с трагической судьбой.
Нильс Хенрик Абель (1802–1829) родился в большой бедной семье, жившей в маленькой деревушке в Норвегии — стране, разоренной долгими годами войны с Англией и Швецией. Учитель, доброжелательно настроенный к мальчику, давал ему частные уроки, но после смерти отца, в восемнадцать лет, несмотря на юный возраст и хрупкое здоровье, Абель вынужден был содержать семью. В 1824 году он издал научную статью, в которой заявил, что квинтик не разрешим алгебраическими средствами, как, впрочем, и любой полиномиал более высокого порядка. Абель полагал, что эта статья послужит ему пропуском в научный мир, и послал ее Гауссу в университет Геттингена. К сожалению, Гаусс так и не собрался разрезать страницы ножом (в те дни этим приходилось заниматься любому читателю) и не прочитал статью. В 1826 году норвежское правительство наконец выделило Абелю средства для поездки по Европе. Опасаясь, что личное общение с Гауссом не доставит ему большой радости, математик решил не посещать Геттинген и вместо этого поехал в Берлин. Там он подружился с Августом Леопольдом Крелле (1780–1855), математиком, архитектором и инженером, консультировавшим прусское министерство образования по вопросам математики. Крелл собирался основать «Журнал чистой и прикладной математики». Так Абель получил возможность распространить свой труд и много печатался, особенно в ранних номерах «Журнала», который сразу же стал считаться очень престижным и авторитетным научным изданием. Норвежец напечатал там расширенную версию своего доказательства, что квинтик неразрешим алгебраическими методами. А затем уехал в Париж. Эта поездка очень огорчила Абеля, потому что он практически не получил так необходимой ему поддержки французских математиков. Он сблизился с Огюстеном Луи Коши (1789–1857), который в то время был главным светилом математического анализа, но имел очень сложный характер. Как выразился сам Абель, «Коши безумен, и с этим ничего нельзя поделать, хотя в настоящее время он — единственный, кто на что-то способен в математике». Если пытаться искать оправдания проявлениям неуважения и пренебрежения, исходившим от Гаусса и Коши, можно сказать, что квинтик достиг определенной славы и привлекал внимание как уважаемых математиков, так и оригиналов. Абель возвратился в Норвегию, где все сильнее страдал от туберкулеза. Он продолжал посылать свои работы Крелле, но в 1829 году умер, не зная о том, насколько упрочилась его репутация в научном мире. Через два дня после смерти на адрес Абеля пришло предложение занять научную должность в Берлине.
Абель показал, что любой полиномиал выше четвертого порядка не может быть решен с помощью радикалов, вроде корней квадратных, кубических или более высокого порядка. Однако явные условия, при которых в особых случаях эти полиномиалы могли быть решены, и метод их решения сформулировал Галуа. Эварист Галуа (1811–1832) прожил короткую и богатую событиями жизнь. Он был невероятно одаренным математиком. Галуа был неумолим к тем, кого считал менее талантливым, чем он сам, и при этом терпеть не мог социальную несправедливость. Он не выказывал никаких способностей к математике до тех пор, пока не прочитал труд Лежандра «Начала геометрии» (изданная в 1794 году, эта книга в течение последующих ста лет была основным учебником). Затем он буквально проглотил остальные труды Лежандра и, позднее, Абеля. Его энтузиазм, уверенность в себе и нетерпимость привели к поистине ужасным последствиям в его отношениях с преподавателями и экзаменаторами. Галуа принял участие в конкурсе на поступление в Политехническую школу — колыбель французской математики, но из-за неподготовленности провалил экзамен. Некоторое время после знакомства с новым преподавателем, который признал его дарование, ему удавалось держать свой нрав под контролем. В марте 1829 года Галуа издал свою первую статью о непрерывных дробях, которую считал своей самой значительной работой. Он послал сообщение о своих открытиях в Академию наук, и Коши обещал представить их, но забыл. Более того, он просто потерял рукопись.