直角三角形斜边上的高的性质