直角三角形斜边的垂线有什么特殊性质