直角三角形对角是72.5度,对边为20mm,求斜边与邻边长度各多少?