正方形对角线公式是L=根号2*a。其中L为对角线长度，a为边长。勾股定理是直角三角形中，两直角边的平方和=斜边的平方。将正方形的边长代入公式中。边长应该代入到公式的变量s中。
列出公式d=s√2，其中，d为对角线长度，s为正方形的边长。这一公式是根据勾股定理（a²+b=c²）推导得出。对角线将正方形分成了两个全等的直角三角形，因此，可以使用正方形的边长来计算对角线的长度，也就是直角三角形的斜边长度。