【求解】推导一个三角函数,
其实我没学三角函数,只因一个课题研究要用,
知道一直角三角形所有角度及一直角边长
求另一直角边长