Ответ этот таков. Известно, что всякий круг пересекается с бесконечно удаленной прямой в одних и тех же двух постоянных мнимых точках (т. н. циклических точках) и, — соответственно, шар пересекается с бесконечно удаленной плоскостью по одному и тому же мнимому коническому сечению, кругу. Необходимость двух мнимых точек для всякой кривой второго порядка явствует аналитически из того, что пересечение двух кривых второго порядка дает четыре корня двух квадратных уравнений, в то время как вещественно эти кривые пересекаются только в двух точках. И вот оказывается: если присоединить к геометрической системе не только бесконечно удаленную точку (или плоскость), но и упомянутый мнимый круг, то из проективной геометрии вместо аффинной мы получаем метрическую. Этот ответ потрясает; и невозможно успокоиться, покамест не дашь ему достаточной философской интерпретации. Ведь речь ни больше ни меньше как о том, различать ли нам квадрат и прямоугольник или не различать. Ведь аффинная геометрия не различает этого. И вот оказывается: для того, чтобы иметь возможность различать квадрат и прямоугольник, надо ввести существование мнимого круга, по которому всякий вещественный шар пересекается с бесконечно удаленной плоскостью. Это учение производит настоящее мистическое впечатление, как бы ясно мы ни представляли себе, что квадратное уравнение имеет два корня, а два квадратных уравнения имеют четыре корня, что из них два корня мнимые, и т. д. и т. д. Попробуем разобраться здесь философски и диалектически, и это будет первая диалектика перехода от аффинности к метрике, первая — за все время существования и геометрии, и диалектики.
d) Нам надо, чтобы квадрат отличался от прямоугольника и круг от эллипса. Как связаны между собой квадрат и прямоугольник? Прямоугольник есть параллельная проекция квадрата. Следовательно, наш вопрос стоит так: как возможна проекция? Отвлекаясь от проек–тических (.··)> мы должны сказать, что проекция есть отображение первообраза на его инобытие. Что для этого нужно? Для этого 1) нужно, чтобы кроме первообраза было и его инобытие. Для этого 2) нужно, чтобы инобытие приняло на себя первообраз. Для этого 3) нужно, чтобы принятие на себя первообраза инобытием было не чисто образным (ибо тогда мы остались бы в сфере (…) первообраза) и не чисто инобытийным (ибо тогда мы остались бы в сфере только инобытия), но чтобы оно было именно отобразительным понятием, отображением. Что же это значит — принять на себя образ, но принять не вещественно, а образно же? Первообраз и его инобытие встречаются, но эта встреча — не вещественная, а чисто образная, смысловая. Выбирая выражения, более близкие к математике, надо сказать, что первообраз и его инобытие пересекаются, но пересекаются не вещественно, а мнимо. Позже (§ [105—107]) мы разовьем специальное учение о мнимых величинах как величинах именно выразительной (в частности, и отобразительной) структуры.
Итак, отличать квадрат от прямоугольника — значит отличать проектирующее от проектируемого, а это значит признавать существование проекции. Признавать существование проекции — значит признавать существование пересечения двух вещественных фигур в мнимых точках. Все поверхности второго порядка пересекают друг друга в мнимых точках, образующих особый мнимый круг. Поэтому если есть такой мнимый круг, то проекция квадрата в виде прямоугольника возможна и, значит, квадрат отличен от прямоугольника. Если же этого мнимого круга нет, то никакая проекция вообще невозможна и поэтому, берем ли мы квадрат, берем ли прямоугольник, пред нами в обоих случаях нечто совершенно тождественное.
Вот, следовательно, в чем удивительный секрет этого мнимого сферического круга, дающего устойчивость аффинному построению и превращающего его в построение метрическое. Это есть секрет выразительных функций числового бытия. Но тут необходимо еще одно разъяснение.