已知角度与直角长求斜边