定理证明直角三角形斜边上的中线等于斜边的一半