请问如何证明直角三角形斜边的中点与顶点的连线是斜边的一半