正方形的对角线长度可以通过勾股定理来计算，公式如下：
```d = a√2```
其中：
`d` 表示对角线的长度；
`a` 表示正方形的边长。
这个公式表明，正方形的对角线长度是其边长的根号2倍。
正方形对角线公式的应用实例有哪些？
如何用几何图形求正方形对角线？
正方形对角线与边长的关系是什么？
