正方形是一种特殊的四边形，它的四条边相等且四个内角均为直角。对于一个正方形，它的对角线是指连接正方形相对角的线段。在正方形中，对角线是一条很重要的线段，它的长度可以通过以下公式求得：

对角线长度 = 边长 × √2

其中，边长是指正方形的边的长度，√2是一个数学常量，约等于1.414。

这个公式的推导可以通过勾股定理来进行，如下图所示：


在上图中，ABCD表示一个正方形，AC和BD分别是正方形的两条对角线，AD和AB分别为正方形的两条边。根据勾股定理，我们可以得到：

AC² = AD² + DC²

因为正方形的四个内角均为直角，所以AD = DC = AB，代入上式得：

AC² = AB² + AB²

化简得：

AC² = 2 × AB²

再将两边都开方，得到：

AC = AB × √2

因此，我们可以得到正方形对角线长度的公式：

对角线长度 = 边长 × √2

通过这个公式，我们可以很方便地计算出正方形对角线的长度，这对于一些数学和几何问题的解决非常有帮助。