一、前言
截至本文发布时(2026 年 08 月 31 日),国内外数学界都没有关于更高等级的相等意义上的“超相等”理论的讨论.
在本文中,「荒原之梦」会尝试通过对均值不等式和相同周长的不同多边形与圆形所占用的空间视角,猜想一种可能存在“超相等”状态及其可能的机制解释.
二、正文
首先,我们知道均值不等式如下:
$$
2 \left| xy \right| \leqslant x^{2} + y^{2}
$$
从几何的角度来看,均值不等式的含义就是说:在总周长一定的情况下,边长相等两个四边形的面积之和一定不小于边长不相等的两个四边形的面积之和.
但是,我们知道,在周长一定的情况下,面积最大的并不是正方形,而是圆形.
同时,通过下面这些简单的计算,我们可以发现,在周长一定的情况下,随着正 $N$ 边形边数的不断增加,其占据的空间面积也在增加,直到成为一个圆形:
$\textcolor{lightgreen}{\blacktriangleright}$ 边长为 $2$ 的正方形的面积(周长为 $8$):
$$
S = 2^{2} = \textcolor{orangered}{4}
$$
$\textcolor{lightgreen}{\blacktriangleright}$ 边长为 $3$ 的正方形的面积(周长为 $12$):
$$
S = 3^{2} = \textcolor{pink}{9}
$$
$\textcolor{lightblue}{\blacktriangleright}$ 边长为 $1$ 的正八边形面积(周长为 $8$):
$$
S = 8 \cdot \frac{1}{2} \cdot 1 \cdot \frac{1}{2 \tan \left( 22.5^{\circ} \right)} = 2 \left( 1 + \sqrt{2} \right) \approx \textcolor{orangered}{ 4.828 }
$$
$\textcolor{lightblue}{\blacktriangleright}$ 边长为 $1$ 的正十二边形面积(周长为 $12$):
$$
S = 12 \cdot \frac{1}{2} \cdot 1 \cdot \frac{\cot \left( 15^{\circ} \right)}{2} = 6 + 3 \sqrt{3} \approx \textcolor{pink}{ 11.196 }
$$
$\textcolor{orange}{\blacktriangleright}$ 周长为 $2 \times 4 = 8$ 的圆形的面积:
$$
S = \pi \cdot \left( \frac{4}{\pi} \right)^{2} = \frac{16}{\pi} \approx \textcolor{orangered}{ 5.093 }
$$
$\textcolor{orange}{\blacktriangleright}$ 周长为 $3 \times 4 = 12$ 的圆形的面积:
$$
S = \pi \cdot \left( \frac{6}{\pi} \right)^{2} = \frac{36}{\pi} \approx \textcolor{pink}{ 11.459 }
$$
基于上面的分析,从空间占用率的角度,我们可以猜测,圆形或许隐藏着一种“超相等”的相等现象.
对于超相等的产生机制,我们可以从“观察角度的数量”层面做出解释:
如图 01 所示,根据均值不等式,我们可以将正方形的“观察角度的数量”定义为“上”、“下”、“左”、“右”四个:
但是,如图 02 所示,圆形事实上有无数个“观察角度的数量”:
因此,一般意义上的“相等”,也就是均值不等式中所使用的“相等”可以称之为一种“四元”角度上的相等,而圆形则是一个“无穷多元”角度上的相等,对应的,正 $N$ 边形就是“$N$ 元”角度上的相等.
如果我们将正方形所对应的“四元”角度上的相等定义为“四元相等”,那么,更高维度上的“相等”就是一种“超元相等”.
前面说的都是二维平面上的 $N$ 元相等与超元相等,类推可知,在三维空间以及更高维度的空间中也存在类似的 $N$ 元相等与超元相等,例如,球形就是一个三维空间中的超元相等.
虽然从动态的角度来看,可以认为圆形是由无数个正方形对应的均值不等式(四元相等)旋转一周产生的(平面上各个方向都做了一次均值不等式),但是,这仅仅是一种表象层次的“拼接”,不一定能够反映其真实的底层原理.
那么,超元相等有什么可能的用途呢?
我们知道,现在通用的数学表达式只是数学的其中一种表现形式,也就是说,数学表达式并不能算是数学本身.
同时,如图 03 所示,由于当前的表达数学原理的符号表达式都是一种一维拼接的表达式,这些表达式都是线性的装载和输出,此时,使用现有的四元相等就已经足够:
但是,如图 04 所示,在二维平面中,四元相等对应图形的在某些观察角度下可能是不相等的:
然而,如图 05 所示,在二维平面中,超元对应的图形在所有的观察角度下都一定是相等的:
类似地,在三维空间中,非超元相等对应图形的在某些观察角度下可能是不相等的(如图 06 所示),而超元对应的图形在所有的观察角度下都一定是相等的(如图 07 所示):
所以说,这就是超元相等的作用——
如果我们构建一种多元视角的数学符号表达系统(而非现在的单一视角的,切换观察视角就可能不成立的数学符号表达系统),那么超元相等就能发挥其作用,因为,超元相等是一种与观察角度或者说观察方向无关的一种相等,可以用于连接和构筑更加复杂的数学符号表达方式.
三、意义
通过拓展和细化相等的定义,以“超元相等”的视角理解和拓展相等的含义,有可能可以增加数学研究的灵活性,构建发现和解决数学问题的全新理论工具.
高等数学
涵盖高等数学基础概念、解题技巧等内容,图文并茂,计算过程清晰严谨。
线性代数
以独特的视角解析线性代数,让繁复的知识变得直观明了。
特别专题
通过专题的形式对数学知识结构做必要的补充,使所学知识更加连贯坚实。