rt三角形两直角边长分别为5和12,则他斜边上的高为多少?