Живя, мысля и экспериментируя, наши теневые фигуры могли бы, возможно, овладеть знанием двухмерной евклидовой геометрии. Таким образом, они могли бы доказать, что сумма углов в треугольнике равна 180 градусам. Они могли бы построить два круга с общим центром, один очень малый, а другой большой. Они нашли бы, что отношение длин окружностей двух таких кругов равно отношению их радиусов — результат, опять характерный для евклидовой геометрии. Если бы экран был бесконечно велик, то наши теневые существа нашли бы, что, отправившись однажды в путешествие вперед по прямой, они никогда не вернулись бы к своей отправной точке.
Представим себе теперь, что эти двухмерные существа живут в измененных условиях. Предположим, что кто-то извне, из «третьего измерения», перенес их с экрана на поверхность сферы с очень большим радиусом. Если эти тени очень малы по отношению ко всей поверхности, если у них нет средств дальнего сообщения и они не могут двигаться очень далеко, то они не обнаружат какого-либо изменения. Сумма углов в малых треугольниках еще составляет 180 градусов. Отношение радиусов двух малых кругов с общим центром еще равно отношению длин их окружностей.
Но пусть эти теневые существа с течением времени развивают свои теоретические и технические познания. Пусть ими найдены средства сообщения, позволяющие им быстро покрывать огромные расстояния. Тогда они найдут, что, отправляясь в путешествие прямо вперед, они, в конце концов, вернутся к своей исходной точке. «Прямо вперед» означает вдоль большого круга сферы. Они найдут также, что отношение длин двух концентрических окружностей не равно отношению радиусов, если один из радиусов мал, а другой велик.
Если наши двухмерные существа консервативны, если их поколения изучали евклидову геометрию в прошлом, когда они не могли далеко путешествовать и когда эта геометрия соответствовала наблюдаемым фактам, то они, конечно, сделают все возможное, чтобы сохранить ее, несмотря на очевидность своих измерений. Они постараются заставить физику нести бремя этих противоречий. Они станут искать какие-либо физические основания, скажем, различие температур, деформирующее линии и вызывающее отклонение от евклидовой геометрии. Но раньше или позже они должны будут найти, что имеется гораздо более логический и последовательный путь описания этих явлений. Они окончательно поймут, что их мир конечен, что его геометрические принципы отличны от тех, которые они изучали. Несмотря на свою неспособность представить себе свой мир, они поймут, что он есть двухмерная поверхность сферы. Они скоро изучат новые принципы геометрии, которая, хотя и отличается от евклидовой, тем не менее, может быть сформулирована так же последовательно и логично для их двухмерного мира. Новому поколению, воспитанному на знании сферической геометрии, старая евклидова геометрия будет казаться более сложной и искусственной, так как она не соответствует наблюдаемым фактам.
Вернемся к трехмерным существам нашего мира.
Что это значит, когда утверждают, что наше трехмерное пространство имеет евклидов характер? Смысл этого в том, что все логически доказанные положения евклидовой геометрии могут быть точно подтверждены действительным экспериментом. С помощью твердых тел или световых лучей мы можем построить объекты, соответствующие идеализированным объектам евклидовой геометрии. Ребро линейки или световой луч соответствуют прямой. Сумма углов треугольника, построенного из тонких жестких стержней, равна 180 градусам. Отношение радиусов двух концентрических окружностей, построенных из тонкой упругой проволоки, равно отношению длин окружностей. Истолкованная таким образом евклидова геометрия становится главой физики, хотя и очень простой ее главой.
Но мы можем представить себе, что обнаружены противоречия: например, что сумма углов большого треугольника, построенного из стержней, которые по многим основаниям должны были считаться твердыми, не равна 180 градусам. Так как мы уже прибегали к идее конкретного представления объектов евклидовой геометрии с помощью твердых тел, то мы, вероятно, стали бы искать какие-либо физические силы, которые явились причиной такого неожиданного поведения наших стержней. Мы постарались бы найти физическую природу этих сил и их влияние на другие явления. Чтобы спасти евклидову геометрию, мы обвинили бы объекты в том, что они не тверды, что они не точно соответствуют объектам евклидовой геометрии. Мы постарались бы найти лучшие тела, ведущие себя так, как это ожидается согласно евклидовой геометрии. Если бы, однако, нам не удалось объединить евклидову геометрию и физику в простую и последовательную картину, то мы должны были бы отказаться от идеи, что наше пространство евклидово, и искать более последовательную картину реальности на основе более общих предположений о геометрических свойствах нашего пространства.