等腰直角三角形
设边长为x
勾股定理x^2+x^2=斜边^2
2x^2=斜边^2
x=斜边/根号2