求一个直角三角形一直角边的长度?