探索平面几何中正方形的核心特征，从对角线的几何性质到实际计算应用，全方位掌握这一关键数学概念。
在平面几何学中，正方形作为一种特殊的四边形，兼具了矩形和菱形的所有优良特性。其对角线不仅是连接相对顶点的线段，更是理解正方形对称性和结构稳定性的关键钥匙。对于广大学生及数学爱好者而言，深入理解正方形对角线性质定理是解决复杂几何问题的基石。
正方形的两条对角线长度完全相等。这是由正方形四边相等且四个角均为直角（90°）所决定的。在数学表达中，若正方形为 ABCD，则 AC = BD。
正方形的两条对角线互相垂直。即 AC ⊥ BD。这一性质使得正方形成为了特殊的菱形，其对角线交点处形成四个 90°的夹角。
正方形的两条对角线互相平分。这意味着对角线的交点 O 既是 AC 的中点，也是 BD 的中点。同时，O 点也是正方形的中心对称点。
每一条对角线平分一组对角。即对角线将正方形的 90°内角平分为两个 45°的角。例如，AC 平分∠DAB 和∠BCD，使其各为 45°。
为了彻底理解正方形对角线性质定理，我们需要通过严密的逻辑推导来验证这些性质。以下采用综合法进行证明。
已知：四边形 ABCD 是正方形，对角线 AC、BD 相交于点 O。
求证：AC = BD，且 OA = OC = OB = OD。
证明思路：利用等腰三角形“三线合一”的性质。
在△ABC 中，因为 AB = BC（正方形邻边相等），所以△ABC 是等腰三角形。又因为 AO = OC（已证对角线互相平分），所以 BO 是底边 AC 上的中线。根据等腰三角形性质，底边上的中线也是底边上的高，因此 BO ⊥ AC，即 BD ⊥ AC。
在△ABD 中，AB = AD，所以△ABD 是等腰三角形。又因为 BO ⊥ AC（即 BD ⊥ AC 不成立，此处应为 BD 平分∠ABC），修正如下：
考虑△ABC，AB=BC，∠ABC=90°。AC 是对角线。
实际上，更简单的证明是利用全等三角形。在△ABD 和△CBD 中，AB=CB，AD=CD，BD=BD。故△ABD ≌ △CBD (SSS)。因此∠ABD = ∠CBD。即 BD 平分∠ABC。同理可证其他角。
掌握正方形对角线性质定理的最终目的是为了解决实际问题。以下是基于该定理衍生的核心计算公式及典型例题。
设正方形边长为 a，对角线长度为 d，面积为 S。
| 已知条件 | 求解目标 | 公式表达式 | 推导依据 |
|---|---|---|---|
| 边长 a | 对角线 d | d = a√2 | 勾股定理 (a² + a² = d²) |
| 对角线 d | 边长 a | a = d / √2 = (d√2)/2 | 代数变形 |
| 对角线 d | 面积 S | S = d² / 2 | 菱形面积公式 (对角线乘积的一半) |
| 边长 a | 面积 S | S = a² | 正方形定义 |
注意：当题目给出对角线长度求面积时，直接使用 S = d²/2 往往比先求边长再平方要简便得多，能有效减少计算误差。
例题 1：已知一个正方形的对角线长为 10cm，求该正方形的面积。
S = d² / 2 = 10² / 2 = 100 / 2 = 50 (cm²)
解析：此题直接应用了对角线求面积的公式，避免了开根号带来的无理数运算麻烦。
例题 2：如图，在正方形ABCD 中，对角线相交于 O，若 AB = 6，求△AOB 的周长。
步骤 1: 求对角线 AC。AC = AB × √2 = 6√2。 步骤 2: 求半对角线 OA, OB。OA = OB = AC / 2 = 3√2。 步骤 3: 计算周长。C = OA + OB + AB = 3√2 + 3√2 + 6 = 6√2 + 6。
解析：此题考察了正方形对角线互相平分且相等的性质，以及等腰直角三角形的边长关系。
正方形是平行四边形、矩形、菱形的集大成者。为了理清正方形对角线性质定理的独特性，我们将其与其他特殊四边形进行对比。
| 图形种类 | 对角线是否相等 | 对角线是否垂直 | 对角线是否平分对角 | 对角线是否互相平分 |
|---|---|---|---|---|
| 平行四边形 | ❌ 否 | ❌ 否 | ❌ 否 | ✅ 是 |
| 矩形 (长方形) | ✅ 是 | ❌ 否 | ❌ 否 | ✅ 是 |
| 菱形 | ❌ 否 | ✅ 是 | ✅ 是 | ✅ 是 |
| 正方形 | ✅ 是 | ✅ 是 | ✅ 是 | ✅ 是 |
从上表可以清晰地看出，正方形拥有最全面的对角线性质。它在继承了矩形“对角线相等”的基础上，又保留了菱形“对角线垂直且平分对角”的特性。这种双重属性使得正方形在几何变换中具有极高的对称美。
毕达哥拉斯学派最早发现了直角三角形斜边与直角边的关系（勾股定理），这为后来计算正方形对角线长度奠定了理论基础。当时人们发现，边长为 1 的正方形，其对角线长度无法用整数或分数表示，从而引发了第一次数学危机，引入了无理数的概念。
中国古代数学巨著《九章算术》中明确记载了“方田”章关于正方形面积的计算方法，并隐含了对角线与边长的比例关系。刘徽在注文中进一步阐明了割补术，证明了正方形对角线将图形分割成四个全等三角形的性质。
随着解析几何的发展，正方形对角线的性质被推广到高维空间（超立方体）。在现代建筑学和材料科学中，利用正方形对角线的稳定性设计桁架结构和抗震支撑已成为标准做法。
针对正方形对角线性质定理及相关计算，这里汇总了用户最常搜索的问题。
A: 是的。根据正方形对角线性质定理，正方形的两条对角线不仅相等，而且互相垂直。这是正方形区别于普通矩形的显著特征之一。
A: 公式为 S = d² / 2。其中 S 代表面积，d 代表对角线长度。这个公式源于菱形面积公式（对角线乘积的一半），而正方形是特殊的菱形。
A: 两条对角线将正方形分成了 4 个全等的等腰直角三角形。如果只连一条对角线，则分成 2 个全等的等腰直角三角形。
A: 如果边长是整数，对角线长度通常是无理数（形如 n√2），不可能是整数（除非边长本身含有√2因子）。但在几何测量中，只要边长合适，对角线长度可以是任意实数。