直角三角形顶点到斜边的中点