已知直角三角形的斜边和其中的一个角度,求另外两条边的公式,