Но мы можем представить себе, что обнаружены противоречия: например, что сумма углов большого треугольника, построенного из стержней, которые по всем признакам должны были считаться твердыми, не равна 180°. Так как мы уже прибегали к идее конкретного представления объектов евклидовой геометрии с помощью твердых тел, мы, вероятно, стали бы искать какие-либо физические силы, которые явились причиной такого неожиданного поведения наших стержней. Мы постарались бы найти физическую природу этих сил и их влияние на другие явления. Чтобы спасти евклидову геометрию, мы обвинили бы объекты в том, что они не тверды, что они не точно соответствуют объектам евклидовой геометрии. Мы постарались бы найти лучшие тела, ведущие себя так, как это ожидается согласно евклидовой геометрии. Если бы, однако, нам не удалось объединить евклидову геометрию и физику в простую и последовательную картину, то мы должны были бы отказаться от идеи, что наше пространство евклидово, и искать более последовательную картину реальности на основе более общих предположений о геометрических свойствах нашего пространства.
Необходимость этого может быть проиллюстрирована с помощью идеализированного эксперимента, показывающего, что действительно релятивистская физика не может основываться на евклидовой геометрии. Наши рассуждения будут предполагать, что уже известны выводы, касающиеся инерциальной системы координат, а также специальная теория относительности.
Представим себе большой диск с двумя концентрическими окружностями, нарисованными на нем; одна из этих окружностей мала, другая очень велика (рис. 73). Диск быстро вращается. Он вращается относительно внешнего наблюдателя; пусть имеется еще внутренний наблюдатель, помещающийся на диске. Предположим далее, что система координат внешнего наблюдателя инерциальна. Внешний наблюдатель может нарисовать в своей инерциальной системе две такие же окружности — малую и большую, покоящиеся в его системе, но совпадающие с окружностями на вращающемся диске. Евклидова геометрия справедлива в его системе координат, так как его система инерциальна, — так что отношение длин окружностей равно отношению радиусов. А что же находит наблюдатель на диске?
