菱形两邻角的度数比为1:3,边长为5根号2,则高为