直角三角形的直角边长度怎么求?一个直角三角形,只知道斜边的长度,我记得有一个公式是直角三角形其中一条直角边的长度等于斜边