请问斜边长怎么算?有公式吗?