[论文解读] Affine and projective universal geometry

N. J. Wildberger|ArXiv.org|Dec 18, 2006

Mathematics and Applications参考文献 4被引用 11

一句话总结

本文提出了一种适用于任意域上具有对称双线性型的仿射与射影几何的通用代数框架，通过有理三角学统一了欧几里得、双曲与椭圆几何时空。该框架推导出通用定律——如射影交叉律与三重正弦公式——在所有度量几何中均成立，并在有限域 𝔽₁₁ 上通过精确代数验证了关键结果，包括一个射影直角三角形与一个兰伯特定理四边形。

ABSTRACT

By recasting metrical geometry in a purely algebraic setting, both Euclidean and non-Euclidean geometries can be studied over a general field with an arbitrary quadratic form. Both an affine and a projective version of this new theory are introduced here, and the main formulas extend those of rational trigonometry in the plane. This gives a unified, computational model of both spherical and hyperbolic geometries, allows the extension of many results of Euclidean geometry to the relativistic setting, and provides a new metrical approach to algebraic geometry.

研究动机与目标

• 开发一种度量几何的通用代数模型，其适用范围超越欧几里得几何，涵盖非欧几里得与相对论性情形。
• 通过使用对称双线性型，将球面、双曲与椭圆几等于单一射影框架下统一。
• 以代数不变量（如“四边”与“正弦”）取代三角函数，实现在任意域上的精确计算。
• 证明经典几何结果（如直角三角形与兰伯特定理四边形）在该代数设定下具有普遍适用性。
• 为度量代数几何的进一步发展提供计算与概念基础，延续阿基米德与阿波罗尼奥斯的精神。

提出的方法

• 本文在一般域上的向量空间中，利用对称双线性型定义射影四边与正弦，取代传统的距离与角度度量。
• 引入射影交叉律与三重正弦公式，作为余弦律与正弦律的通用代数类比，适用于所有具有双线性型的几何。
• 该框架使用仿射与射影版本的关键定理：三重四边公式、毕达哥拉斯定理、正弦律与泰勒斯定理，均以代数方式推广。
• 将这些定律应用于有限域（如 𝔽₁₁），以计算方式验证结果，包括射影直角三角形与兰伯特定理四边形。
• 使用正弦多项式作为切比雪夫多项式的通用类比，应用于求解射影三角形。
• 证明垂心与角平分线可被代数计算，且角平分线的存在性取决于域中正弦是否为二次剩余。

实验结果

研究问题

• RQ1 度量几何是否能被完全重构为任意具有对称双线性型的域上的纯代数形式，而无需依赖分析或超越方法？
• RQ2 经典几何定律（如直角三角形与四边形的定律）是否能普遍推广至所有由双线性型定义的几何中？
• RQ3 在有限域中，射影不变量（如四边与正弦）的行为如何？在这些设定下会涌现出何种几何结构？
• RQ4 能否用代数不变量（正弦）替代“角”的概念，从而在非欧几里得与相对论性设定中保持三角形几何的结构？
• RQ5 射影几何在度量几何中的基础作用是什么，特别是在自然与球面或双曲面关联性因域的任意性而丧失时？

主要发现

• 在 𝔽₁₁ 上的射影三角形中，顶点为 u=[1:4:2:6:1], v=[1:2:3:4:1], w=[0:8:8:3:1]，射影四边为 qu=9, qv=8, qw=1，正弦为 Su=2, Sv=3, Sw=10，确认其为对偶直角三角形。
• 射影正弦律精确成立：2/9 = 3/8 = 10/1，验证了代数框架的一致性。
• 射影交叉律成立：(10×9×8 − 9 − 8 − 1 + 2)² = 0 = 4(1−9)(1−8)(1−1)，在域中确认了恒等式。
• 对偶射影交叉律成立：(1×2×3 − 2 − 3 − 10 + 2)² = 5 = 4(1−2)(1−3)(1−10)，其中 5 在 𝔽₁₁ 中为有效平方。
• 仅正弦 Sv=3 是 𝔽₁₁ 中的二次剩余，意味着仅在顶点 v 处存在两条角平分线，其显式计算为 b₁=[3:0:5:8:7] 与 b₂=[3:2:7:6:10]。
• 该三角形的垂心计算为 O=[9:1:0:4:1]，表明该点的存在性不依赖于正弦的数论条件。