菱形

定义

菱形是平面内四条边长度都相等的四边形。就词源而言，这一名称取自菱叶的形状^[1]。在中学教材的体系中，它被处理为平行四边形的特例：先满足两组对边分别平行，再附加“有一组邻边相等”这一条件，记作◇ABCD^[2]。

由于四条边相等，菱形必有对边平行，因而具备平行四边形的一切性质，邻角互补、对角相等；同时它也是筝形的特殊情形^[1]。判定一个四边形是否为菱形，常用三条依据：一组邻边相等的平行四边形、四条边都相等的四边形、对角线互相垂直的平行四边形^[3]。此外，两条对角线分别平分每组对角的四边形也可判定为菱形^[2]。

关于正方形与菱形的包含关系，不同文献口径不一。较严格的定义沿用《几何原本》的思路，要求四个角都不是直角，此时正方形不算菱形；较宽松的定义允许含直角，正方形便成为菱形的特例^[1]。教学材料一般采取后一种口径，把正方形视作邻边相等且内角为直角的菱形。

原理

菱形最核心的性质来自对角线的相互关系:两条对角线互相垂直平分，并且每条对角线把所在的角分成相等的两部分^[4]。正因对角线垂直相交，菱形被分成四个全等的直角三角形，这条性质成为许多长度与面积计算的基础^[5]。

由此得到常用的度量公式。设边长为 $a$、对应高为 $h$、两条对角线长分别为 $p$、$q$、一个内角为 $\alpha$，则面积为 $S=ah$、$S=\frac{pq}{2}$、$S=a^{2}\sin\alpha$，三者彼此等价^[2]。周长为边长的四倍，即 $U=4a$^[1]。

对称性方面，菱形既是轴对称图形，也是中心对称图形：两条对角线所在的直线就是它的两条对称轴，对称中心为对角线的交点^[4]。若菱形有一个内角为60°，则较短的对角线等于边长，较长对角线为短对角线的 $\sqrt{3}$ 倍^[6]。

graph LR

A[平行四边形] -->|一组邻边相等| B[菱形]

B -->|一个内角为直角| C[正方形]

B --> D[四边相等、对角线垂直平分]

D --> E[四个全等直角三角形]

E --> F["面积 S = pq/2"]

发展历程

菱形作为四边形的一个类别，其系统讨论可追溯至古希腊几何学。《几何原本》对菱形给出了以“四边相等、四角非直角”为条件的界定，这一界定长期影响了欧洲几何教材对菱形与正方形关系的处理^[1]。

在中国，菱形是义务教育阶段平面几何的组成部分，现行初中数学教材在平行四边形一章中给出菱形的定义、性质与判定，并把它与矩形、正方形并列作为特殊平行四边形讨论。国内数学工具书亦沿用“有一组邻边相等的平行四边形”这一表述，并规范了◇ABCD 的记法与读法^[7]。

在三维方向，菱形被用来构造多面体。由12个全等菱形围成的菱形十二面体属于13种卡塔兰立体之一，其对偶多面体为截半立方体，具有面可递与边可递的性质^[8]。该立体可以无空隙地填满三维空间，因而被视为空间填充多面体^[9]。

应用

几何教学与解题是菱形最常见的用途。菱形的性质可用于长度、角度与面积的推导证明，中考与教材习题中常将菱形与函数、对称、旋转等知识结合考查^[10]。物理题目中也有借助菱形关系处理带电粒子在磁场中偏转的分析。

在装饰与视觉领域，菱形的单元可反复排列形成菱形纹样。敦煌石窟的几何装饰中就包含以直线交叉构成的菱形纹，按表现方式可分为实体菱形纹、线形菱形纹和菱形纹骨架等类型^[7]。建筑表皮设计中亦使用长菱形十二面体等空间镶嵌单元，兼顾造型与结构两方面需求^[11]。

在自然科学中，菱形十二面体可作为部分矿物晶体的惯态出现，如石榴子石的单晶体常呈菱形十二面体与四角三八面体^[12]。多个矿物的晶体横断面也呈菱形，成为鉴定特征之一^[12]。此外，菱形十二面体的堆砌结构与化学中的体心立方晶格相对应^[8]。

局限

菱形的定义依赖“四边相等”与邻边相等这一约束，一旦放宽条件，图形便不再属于菱形。例如两组对边分别平行但邻边不等的四边形只是普通平行四边形；仅对角线垂直的四边形也未必四边相等，不能据此断定是菱形^[3]。

面积公式中的对角线与正弦表达式各自带有前提。$S=\frac{pq}{2}$ 适用于一切对角线互相垂直的四边形，并不专属于菱形；$S=a^{2}\sin\alpha$ 需要已知边长与内角，若角的信息缺失则无法直接使用^[2]。

正方形是否纳入菱形，取决于所采用的严格程度，不同文献的处理并不统一，因此涉及包含关系的判断必须先明确定义口径^[1]。在计算机图形学的处理中，几何意义上的菱形还要求两条对角线分别与坐标轴平行；不满足这一取向的四边形一般按普通四边形处理^[2]。

参见

• 平行四边形 —— 菱形是其中一组邻边相等的特例。

• 正方形 —— 内角为直角的菱形，与菱形的包含关系视定义严格程度而定。

• 筝形 —— 菱形是两组邻边分别相等的四边形的特殊情形。

• 矩形 —— 与菱形并列的另一类特殊平行四边形，也是菱形在二维对偶意义上的对应图形。

• 菱形十二面体 —— 由12个全等菱形构成、可填满三维空间的多面体。

• 对角线 —— 菱形的垂直平分与角度平分性质均围绕对角线展开。