”在直角三角形中,斜边上的中线等于斜边的一半”有这条性质吗