勾股定理计算等边直角三角形的斜边