展开 直角三角形如何证明斜边的中点