平行四边形

平行四边形 (Parallelogram)

平行四边形是欧几里得几何中最基本的四边形之一，定义为两组对边分别平行的四边形。作为初等几何的核心概念，平行四边形不仅是欧氏几何公理体系的逻辑枢纽，其丰富的性质和定量关系在向量代数、线性代数、力学与计算机图形学等领域均有深刻的应用。从历史视角看，平行四边形构成了欧几里得《几何原本》第五卷中等面积变换方法论的基石，而平行四边形法则（向量加法的几何表示）则贯穿整个经典力学和电磁学。

定义与基本性质

设四边形 $ABCD$ 的顶点按逆时针顺序排列，若满足 $\overline{AB} \parallel \overline{CD}$ 且 $\overline{BC} \parallel \overline{DA}$，则称 $ABCD$ 为平行四边形。根据欧几里得几何的平行公理，这一条件等价于以下任意一条充要条件：(1) 两组对边分别相等；(2) 一组对边平行且相等；(3) 两组对角分别相等；(4) 对角线互相平分。这些等价条件的灵活运用是解决相关几何问题的关键工具。

对边与对角性质： 在平行四边形中，对边不仅平行且长度相等，对角相等且邻角互补（即两邻角之和为 $180^\circ$）。这一性质源自平行线性质定理中同旁内角互补这一推论。设平行四边形一个内角为 $\theta$，则与其相邻的两个内角均为 $180^\circ - \theta$，对角的度数与 $\theta$ 相等。

对角线性质： 平行四边形的两条对角线互相平分，即两条对角线的交点同时是每条对角线的中点。值得注意的是，一般平行四边形的对角线并不相等——这一特征将其与矩形和正方形区分开来。在一般平行四边形中，对角线的平方和等于四条边平方之和：$AC^2 + BD^2 = 2(AB^2 + BC^2)$。这一关系称为平行四边形恒等式，在希尔伯特空间中作为刻画内积空间的特征性质具有核心地位。

面积与度量

面积公式： 平行四边形最常见的面积计算方式为底乘高：$S = a \cdot h_a$，其中 $a$ 为底边长，$h_a$ 为对应底边上的高（即两平行线之间的垂直距离）。若已知两边长 $a$、$b$ 及其夹角 $\theta$，则面积亦可表示为：$S = ab\sin\theta$。该公式在向量积的几何诠释中扮演关键角色——两个向量张成的平行四边形的面积等于它们叉积的模长。

周长： 平行四边形的周长为四边之和：$P = 2(a + b)$。

特殊类型

平行四边形家族包含若干具有额外对称性的子类，按约束条件的递增排序如下：

矩形 (Rectangle)： 所有内角均为直角的平行四边形。矩形的对角线相等（这是区别于一般平行四边形的关键特征），且矩形的外接圆圆心为对角线交点。矩形的面积公式简化为长乘宽：$S = ab$。

菱形 (Rhombus)： 四条边均相等的平行四边形。菱形的对角线互相垂直（即 $AC \perp BD$），且每条对角线分别平分一组对角。菱形的面积可通过对角线乘积之半计算：$S = \frac{d_1 d_2}{2}$，其中 $d_1$、$d_2$ 为两条对角线的长度。菱形没有外接圆，但有内切圆（当且仅当菱形为正方形时，内切圆存在且唯一）。

正方形 (Square)： 同时满足矩形和菱形条件的平行四边形——四条边相等且所有内角均为直角。正方形是所有四边形中对称性最高的一种，具有四条对称轴和旋转 $90^\circ$ 的旋转对称性。

重要定理与恒等式

平行四边形恒等式： 对于任意平行四边形，两条对角线的平方和等于四边平方和：

在泛函分析中，这一恒等式被推广为刻画内积空间的特征性质：一个赋范空间是内积空间当且仅当其范数满足平行四边形恒等式。这一事实是冯·诺伊曼和约当（Jordan）提出的约当-冯·诺伊曼定理的核心内容。

中线定理： 平行四边形两条对角线的交点即为各边中点的连线构成的平行四边形（瓦里尼翁平行四边形）的中心。事实上，任意四边形各边中点顺次相连所形成的四边形始终是一个平行四边形，其面积等于原四边形面积的一半。

解析几何与向量表示

在解析几何中，平行四边形可由向量简洁地刻画。设平面中两条不共线的向量 $\vec{u}$ 和 $\vec{v}$ 从同一起点出发，则 $\vec{u}$ 和 $\vec{v}$ 张成一个平行四边形，其顶点坐标依次为 $O$、$\vec{u}$、$\vec{u} + \vec{v}$、$\vec{v}$。这一表示是向量空间理论的直观基础。

平行四边形法则： 两个向量之和的几何意义是以这两个向量为邻边构成的平行四边形的对角线向量。该法则由牛顿在《自然哲学的数学原理》中首次明确阐述，在力学中用以合成力、速度和加速度。在线性代数中，该法则实为向量加法定义在坐标几何中的自然体现。

应用与关联

平行四边形的性质在多个学科中具有广泛的应用：

在线性代数中，$n$ 个向量张成的平行多面体体积等于由这些向量构成的 Gram 矩阵的行列式的平方根，这实质上是平行四边形面积公式在 $n$ 维空间中的推广。在力学中，力的平行四边形法则是静力学分析的基本工具。在计算机图形学中，仿射变换下平行四边形的仿射不变性——平行性在仿射变换下保持不变——保证了基于平行四边形网格的纹理映射和图像变形算法的理论基础。在建筑学中，平行四边形的结构稳定性被用于桁架设计和可变形结构（如伸缩门和折叠家具）中，其几何灵活性在参数化设计中尤为突出。

历史注记

平行四边形概念的演变可追溯至美索不达米亚和古埃及的土地测量实践。欧几里得在《几何原本》第一卷命题 34 中证明了平行四边形的对边与对角相等性质，并在第六卷中系统运用平行四边形进行等面积变换以推导比例论。阿基米德在《论抛物线的求积》中借助平行四边形分割法（现称为阿基米德穷竭法）逼近抛物线弓形面积，这被视为\wiki{积分学》的早期雏形。1600 年代，西蒙·斯蒂文（Simon Stevin）将平行四边形法则引入静力学；1800 年代，高斯和哈密顿在复数与四元数的几何表示中重新发掘了平行四边形的代数意义，最终导向现代向量空间概念的建立。