直角三角形,斜边是15,一个角是20°,求最短边长