已知三角形底边长为47.2米长,垂直边高3.5米,求斜边长度为多少?