В статье формулируется и доказывается строгая версия авторской теоремы Дезарга-Курпишева. Рассматриваются две невырожденные центральные коники в проективной плоскости с выделенной несобственной прямой. Их центры определяются не метрически, а проективно: как полюса несобственной прямой относительно соответствующих коник. Линия, соединяющая эти центры, рассматривается как центровая ось. При наличии дезарговой конфигурации, индуцированной образующими двух проективных конусов и визирной связью, эта центровая ось совпадает с осью Дезарга. Если пересечение этой оси с несобственной прямой является гармонически сопряжённой точкой к визирной точке относительно двух исходящих направлений, то оно единственно и задаёт гармоническую точку Дезарга-Курпишева.

Доказательство построено по принципам KLT: геометрическая конфигурация реперизуется как структура \(\operatorname{Rep}=(R,I,U;\mathcal D)\), где \(R\) есть фактическая конфигурация коник, центров, направлений и оси; \(I\) есть идея центрового гармонического замыкания; \(U\) есть универсум допустимых проективных положений; \(\mathcal D\) есть достаточное основание, состоящее из полярности коники, аксиом проективной плоскости, теоремы Дезарга и гармонического крест-соотношения. В этой форме теорема задаёт строгий мост между классической проективной геометрией и авторской KLT-логикой реперного доказательства.

Ключевые слова: теорема Дезарга; Курпишев; коника; проективный конус; полярность; центр коники; несобственная прямая; гармоническая четвёрка; крест-соотношение; Reper; KLT; RBD; \(\lambda\)-истинность.

Введение

Классическая теорема Дезарга связывает перспективность двух треугольников с коллинеарностью трёх точек пересечения соответствующих сторон. В таком виде она является фундаментальным инцидентностным законом проективной геометрии: перспектива из точки порождает ось, а ось перспективности, в обратном направлении, восстанавливает точку перспективы.

Теорема Дезарга-Курпишева использует этот классический принцип в расширенном геометрическом контексте. Вместо двух треугольников в центре внимания находятся две центральные коники, понимаемые как сечения двух проективных конусов. Каждая коника имеет центр, но этот центр определяется строго проективно: как полюс выделенной несобственной прямой относительно данной коники. Поэтому линия центров двух коник не является метрической вспомогательной линией. Она становится проективно определённой осью, которая может быть сопоставлена с осью Дезарга.

Главный смысл теоремы состоит в следующей цепочке: \[\begin{aligned} \text{две коники} &\longrightarrow \text{два полярных центра} \\ &\longrightarrow \text{центровая ось} \\ &\longrightarrow \text{несобственная точка} \\ &\longrightarrow \text{гармоническое замыкание}. \end{aligned}\]

В KLT-прочтении эта цепочка является не только геометрической, но и доказательной. Факт конфигурации, идея гармонического центра, универсум допустимых положений и достаточное основание должны быть согласованы в одном Reper. Поэтому доказательство ниже строится в двух слоях: сначала даётся классическая проективная часть, затем фиксируется KLT-протокол согласования.

Проективная среда

Всюду далее \(\mathbb K\) обозначает поле характеристики, отличной от \(2\). Основной наглядный случай - \(\mathbb K=\mathbb R\), однако доказательство использует только проективные свойства и не зависит от евклидовой метрики.

Пусть \[\Pi=\mathbb P^2(\mathbb K)\] - проективная плоскость, а \[p\subset \Pi\] - выделенная прямая. В аффинной интерпретации она играет роль несобственной прямой. Аффинная часть плоскости задаётся как \[\Pi_{\mathrm{aff}}=\Pi\setminus p.\]

Точки прямой \(p\) интерпретируются как направления. Именно на этой прямой будет построена гармоническая четвёрка \[(A,C;B,D).\]

Полярность коники и центр

Невырожденная коника \(\Phi\) в проективной плоскости задаёт полярность: \[\operatorname{Pol}_{\Phi}:\{\text{точки}\}\longleftrightarrow \{\text{прямые}\}.\] Точке сопоставляется её поляра, а прямой - её полюс. Этот аппарат позволяет определить центр коники без обращения к расстояниям, углам и метрике.

Для двух коник \(\Phi_1\) и \(\Phi_2\) будем писать \[O=\operatorname{Pole}_{\Phi_1}(p),\qquad O'=\operatorname{Pole}_{\Phi_2}(p).\]

Если \(O\ne O'\), то эти две точки задают единственную прямую: \[\ell=OO'.\] Эта прямая называется центровой осью двух коник.

Гармоническая точка на несобственной прямой

Пусть \(A,B,C\) - три различные точки на прямой \(p\). В проективной геометрии четвёрка точек \((A,C;B,D)\) называется гармонической, если её крест-соотношение равно \(-1\): \[\operatorname{cr}(A,C;B,D)=-1.\]

Дезаргова конфигурация, извлечённая из двух конусов

Пусть две коники \(\Phi_1\) и \(\Phi_2\) рассматриваются как плоские сечения двух проективных конусов. Для строгого доказательства существенна не метрическая форма этих конусов, а проективная схема соответствия их образующих.

Обозначим две тройки точек, полученные из соответствующих образующих и визирной связи, через \[T_1=(P_1,P_2,P_3),\qquad T_2=(Q_1,Q_2,Q_3).\] Эти тройки понимаются как два треугольника, вложенные в плоскость сечения \(\Pi\) или полученные в \(\Pi\) проективным следом пространственной конфигурации.

В теореме Дезарга-Курпишева дезаргова ось не вводится как внешняя линия. Она отождествляется с центровой осью двух коник: \[d_{\operatorname{Des}}=OO'.\] Именно это отождествление связывает классическую дезаргову геометрию с полярной геометрией двух коник.

Конфигурация Дезарга-Курпишева

Последнее условие можно записать в эквивалентной форме: \[\operatorname{cr}(A,C;B,OO'\cap p)=-1.\]

Теорема Дезарга-Курпишева

Конструктивная форма теоремы

Для публикационного и прикладного использования удобно записать не только теорему, но и процедуру построения.

Эта форма важна для сайта и для дальнейших вычислительных приложений KLT-RBD: она даёт не только утверждение, но и проверяемый чек-лист построения.

KLT-доказательство

В KLT доказательство рассматривается как закрытие Reper-структуры. Для настоящей теоремы Reper имеет вид \[\operatorname{Rep}_{\operatorname{DK}}=(R,I,U;\mathcal D).\]

Фактический слой \(R\)

Фактический слой содержит все данные конфигурации: \[R=\{\Pi,p,A,B,C,\Phi_1,\Phi_2,O,O',d_{\operatorname{Des}}\}.\] Сюда входят не только коники и центры, но также выделенная несобственная прямая, три точки на ней и дезаргова ось.

Идейный слой \(I\)

Идея теоремы состоит в том, что линия центров двух коник не является произвольной соединительной прямой. При правильной дезарговой сборке она становится осью согласования двух проективных сечений: \[I=\left\{\begin{array}{l} \text{центровая ось является осью Дезарга}\\ \text{и указывает гармоническую точку} \end{array}\right\}.\]

Универсум \(U\)

Универсум содержит допустимые проективные положения: \[U=\left\{\begin{array}{l} \text{пары центральных коник, полярные центры,}\\ \text{визирные связи, дезарговы оси} \end{array}\right\}.\] KLT-смысл универсума состоит в том, что теорема не зависит от евклидовой формы коник. Она зависит от проективных отношений: полярности, инцидентности, дезарговой оси и крест-соотношения.

Достаточное основание \(\mathcal D\)

Достаточное основание состоит из четырёх блоков: \[\mathcal D=\left\{\begin{array}{l} \text{полярность коники},\quad \text{аксиома пересечения прямых},\\ \text{Дезарг},\quad \text{гармоническое крест-соотношение} \end{array}\right\}.\] Именно этот набор закрывает доказательство. Полярность даёт центры, аксиомы проективной плоскости дают единственную центровую ось и её единственное пересечение с \(p\), теорема Дезарга даёт ось перспективности, а гармоническое крест-соотношение даёт \(\lambda\)-замыкание.

Lambda-истинность конфигурации

Для точки \[D=OO'\cap p\] зададим KLT-индикатор \[\lambda_{\operatorname{DK}}:=\operatorname{cr}(A,C;B,D).\] Тогда гармоническая истинность конфигурации выражается условием \[\lambda_{\operatorname{DK}}=-1.\] Дефект гармонической истинности можно записать как \[\delta_{\operatorname{DK}}=|\lambda_{\operatorname{DK}}+1|.\] Следовательно, \[\delta_{\operatorname{DK}}=0\] тогда и только тогда, когда точка \(D\) является гармонически сопряжённой к \(B\) относительно \(A,C\).

В терминах статьи это означает: \[\text{доказанная конфигурация} \Longleftrightarrow \begin{cases} D=OO'\cap p,\\ D=d_{\operatorname{Des}}\cap p,\\ \operatorname{cr}(A,C;B,D)=-1. \end{cases}\]

Таким образом, \(\lambda\)-истинность здесь не заменяет классическое доказательство. Она фиксирует, что все компоненты доказательства согласованы: факт, идея, универсум и достаточное основание собраны в одном репере.

Геометрический смысл

Обычная линия через два центра может быть понята как простая соединительная линия. В теореме Дезарга-Курпишева она получает более глубокую роль. Она связывает три слоя:

1. полярный слой: центры \(O\) и \(O'\) заданы как полюса одной и той же несобственной прямой относительно двух коник;

2. дезаргов слой: та же линия является осью перспективности, возникающей из соответствующих образующих двух конусов;

3. гармонический слой: её несобственная точка \(D\) образует гармоническую четвёрку с \(A,B,C\) на прямой \(p\).

Тем самым получается новая интерпретация дезарговой оси: \[\text{ось Дезарга} = \text{центровая ось} = \text{реперная ось гармонического замыкания}.\]

В этом и состоит авторский вклад формулировки: классическая перспектива Дезарга соединяется с полярной геометрией коник и с KLT-критерием гармонической истинности.

Следствия

Итоговая формула статьи

В краткой форме теорема записывается так: \[O=\operatorname{Pole}_{\Phi_1}(p),\qquad O'=\operatorname{Pole}_{\Phi_2}(p),\qquad O\ne O',\] \[d_{\operatorname{Des}}=OO',\] \[D=OO'\cap p,\] \[\operatorname{cr}(A,C;B,D)=-1.\]

Или как KLT-замыкание: \[\operatorname{Rep}_{\operatorname{DK}}=(R,I,U;\mathcal D),\qquad \lambda_{\operatorname{DK}}=\operatorname{cr}(A,C;B,D)=-1.\]

Заключение

Теорема Дезарга-Курпишева фиксирует строгий проективно-гармонический узел: две центральные коники задают два полярных центра; эти центры задают единственную центровую ось; при дезарговой совместимости эта ось является осью перспективности; её пересечение с несобственной прямой даёт единственную точку \(D\); при гармонической нормировке эта точка удовлетворяет условию \[\operatorname{cr}(A,C;B,D)=-1.\]

В результате возникает доказуемая математическая структура, в которой классическая теорема Дезарга, полярность коники и KLT-принцип \(\lambda\)-истинности соединяются в одном Reper. Статья может быть использована как отдельный материал геометрической ветки проекта KLT-RBD и как публикационная страница сайта, посвящённая авторской теореме Дезарга-Курпишева.

Проектные источники и библиографическая ориентация

1. Курпишев И.Б. Материалы проекта KLT-RBD: Reper, \(\lambda\)-истинность, проектная логика, пакетная геометрия, реперные базы данных. Внутренний корпус проекта.

2. Курпишев И.Б. Монография KLT 5.1: логика, стратифицированное время, пакетная геометрия, \(\lambda\)-истинность и KLT. Проектная редакция.

3. Классическая проективная геометрия: теорема Дезарга, полярность коники, гармоническое крест-соотношение, проективные преобразования прямой и плоскости.

4. KLT-RBD-протокол доказательства: реперизация \(\operatorname{Rep}=(R,I,U;\mathcal D)\), проверка достаточного основания, \(\lambda\)-замыкание и дефект гармонической истинности \(\delta=|\lambda+1|\).