直角三角形的斜边计算工式是什么