已知直角边和对角求斜边用什么函数