Необходимость этого может быть проиллюстрирована с помощью идеализированного эксперимента, показывающего, что действительно релятивистская физика не может основываться на евклидовой геометрии. Наши рассуждения будут предполагать, что уже известны выводы, касающиеся инерциальной системы координат, а также специальная теория относительности.
Рис. 73
Представим себе большой диск с двумя концентрическими окружностями, нарисованными на нём; одна из этих окружностей мала, другая очень велика (рис. 73). Диск быстро вращается. Он вращается относительно внешнего наблюдателя; пусть имеется ещё внутренний наблюдатель, помещающийся на диске. Предположим далее, что система координат внешнего наблюдателя инерциальна. Внешний наблюдатель может нарисовать в своей инерциальной системе две такие же окружности — малую и большую, покоящиеся в его системе, но совпадающие с окружностями на вращающемся диске. Евклидова геометрия справедлива в его системе координат, так как его система инерциальна, — так что отношение длин окружностей равно отношению радиусов. А что же находит наблюдатель на диске? С точки зрения классической физики, а также специальной теории относительности его система координат недопустима. Но если мы стремимся найти новую форму физических законов, справедливую в любой системе координат, мы должны рассматривать наблюдателя на диске и наблюдателя внешнего с одинаковой серьёзностью. Теперь мы извне следим за попыткой внутреннего наблюдателя найти путём измерения длины окружностей и радиусов на вращающемся диске. Он использует такой же небольшой измерительный масштаб, какой был использован внешним наблюдателем. «Такой же» означает либо действительно тот же, просто переданный внешним наблюдателем внутреннему, либо один из двух масштабов, имеющих одинаковую длину в покоящейся системе координат.
Внутренний наблюдатель на диске начинает измерение радиуса и длины окружности малого круга. Его результат может оказаться таким же, как и результат внешнего наблюдателя. Ось, на которой вращается диск, проходит через центр. Те части диска, которые близки к центру, имеют очень небольшие скорости. Если окружность достаточно мала, мы можем спокойно применить классическую механику и не обращать внимания на специальную теорию относительности. Это означает, что отрезок имеет одинаковую длину как для внешнего, так и для внутреннего наблюдателя и результат двух измерений будет одинаков для них обоих. Теперь наблюдатель на диске измеряет радиус большой окружности. Помещённый на радиусе отрезок движется относительно внешнего наблюдателя. Однако такой отрезок не сокращается и будет иметь одинаковую длину для обоих наблюдателей, так как направление движения перпендикулярно к отрезку. Итак, три акта измерения одинаковы для обоих наблюдателей: два радиуса и малая окружность. Но не так обстоит дело с измерением четвёртой длины! Длина большой окружности будет различна для обоих наблюдателей. Отрезок, помещённый на окружности в направлении движения, теперь будет казаться сокращённым для внешнего наблюдателя сравнительно с соответствующим ему покоящимся отрезком. Скорость на внешней окружности гораздо больше, чем скорость на внутренней окружности, и это сокращение должно быть учтено. Поэтому, если мы применим выводы специальной теории относительности, наше заключение будет таково: длина большой окружности должна быть различной, если она измеряется обоими наблюдателями. Так как только одна из четырёх длин, измеренных обоими наблюдателями, не будет одинаковой для обоих, то для внутреннего наблюдателя отношение обоих радиусов не может быть равным отношению окружностей, как это имеет место для внешнего наблюдателя. Это означает, что наблюдатель на диске не может подтвердить справедливость евклидовой геометрии в своей системе.
После получения этого результата наблюдатель на диске может сказать, что он не хочет рассматривать систему координат, в которой несправедлива евклидова геометрия. Нарушение евклидовой геометрии обязано абсолютному вращению, тому факту, что система координат, с которой связан наблюдатель, плоха и недопустима. Но, утверждая это, он отвергает важную идею общей теории относительности. С другой стороны, если мы хотим отвергнуть абсолютное движение и сохранить идею об общей относительности, то вся физика должна быть построена на основе более общей геометрии, чем евклидова. Нет возможности избежать этих следствий, если допустимы все системы координат.