锐角是35度的直角三角形,直角边为5.2米和12.25米,斜边长度是多少?麻烦会的帮我算一下,忘了怎么算了