证明:尺规作三角形的高的原理