如果知道锐角直角三角形的一个锐角,如何计算他的直角边