一个直角三角形,知道它的高和角度,怎么算它的斜边