1. Ваш GPS-приемник перехватывает сигналы некоторых спутников. Это устройство, имеющее еще и доступ к разветвленной сети наземных часов, вычисляет время, которое потребовалось для поступления сигналов от разных спутников. Поскольку сигналы распространяются с известной скоростью (скоростью света), время передачи каждого из них можно использовать для определения расстояния до спутника.
2. Используя эти расстояния, координаты спутников и геометрию Евклида, компьютер с помощью триангуляции (разбиения на треугольники) однозначно определяет положение приемника — то есть ваше.
3. Компьютер сообщает результат, и вы узнаете, где находитесь.
В системе GPS много дополнительных особенностей и возможностей, но основные принципы действия таковы, как описано выше. И они поразительно напоминают мысленный эксперимент Альберта Эйнштейна с системами отсчета, изложенный в его работе по специальной теории относительности. В 1905 году Эйнштейн предложил использовать световые лучи и время их прохождения для определения местоположения. Эйнштейна привлекла эта идея, потому что она опиралась на фундаментальный принцип физики — фиксированную скорость света — для выяснения местоположения предметов в пространстве. Современные технологии позволили реализовать этот мысленный эксперимент на практике.
Потренируйте воображение: представьте, что для определения вашего местоположения достаточно знать расстояния от вас до четырех спутников, координаты каждого из которых известны. Подсказка: точки, расположенные на заданном расстоянии от спутника, лежат на сфере, центром которой он является. Если взять две сферы с разными спутниками-центрами, они, возможно, пересекутся по окружности. Поскольку вы находитесь где-то на пересечении, они обязаны это сделать! Теперь рассмотрите, в каких двух точках пересекается с ними третья сфера. И наконец, сфера, относящаяся к четвертому спутнику, захватит одну из этих точек.
Теперь вернемся к вопросу, откуда спутники GPS знают, где они находятся. Технические детали сложны, но основная идея проста: спутники стартуют из известных точек, а затем отслеживают свое движение. Исходя из этой информации, они рассчитывают свое местоположение.
Более подробно: спутники мониторят свое движение с помощью бортовых гироскопов и акселерометров наподобие тех, которые установлены на вашем iPhone. Исходя из данных этих приборов, компьютер спутника с помощью законов механики Ньютона определяет свое ускорение, а математический анализ позволяет рассчитать, куда спутник переместился. Фактически именно для решения подобных задач Ньютон и изобрел математический анализ.
Если вернуться к сказанному выше, ясно, что разработчики спутниковой навигационной системы основывались на большом числе неочевидных предположений — например, о постоянстве скорости света. Точное время определяется по атомным часам, устройство и интерпретация данных которых основаны на последних результатах квантовой теории. По этим данным положение спутника рассчитывается методами классической механики. А еще вводится поправка на слабую зависимость скорости хода часов от их вращения вокруг Земли. Этот эффект предсказывает общая теория относительности: вблизи Земли, где гравитационное поле сильнее, ход часов замедляется.
В основе спутниковой навигационной системы лежит не только геометрия Евклида. Система GPS устроена очень сложно, так что с ее помощью мы проверяем множество других концепций.
Своим успехом GPS обязана целому набору взаимосвязанных предположений. Любое из них может быть неправильным или, выражаясь более дипломатично, приблизительно правильным. Если бы одно из этих предположений было существенно ошибочным, результаты работы GPS оказались бы несовместимыми, например на разных спутниках расчет координат на основе триангуляции давал бы разные результаты. Сложности при использовании технологии часто могут выявить скрытые недостатки.
Верно и обратное: успех GPS укрепляет нашу уверенность в справедливости всех лежащих в ее основе предположений, включая то, что в земных масштабах геометрия Евклида с достаточной точностью описывает реальную геометрию. И до сих пор GPS работает безупречно.
Если брать шире — наука развивается. Хитросплетение взаимозависимых теорий лежит в основе самых невероятных современных экспериментов и технологий. Доказав свою эффективность, новые смелые разработки укрепляют доверие к вспомогательной базе. Фундаментальные концепции представляют собой клубок взаимно усиливающих друг друга идей — и это еще одна сквозная тема книги.