10.1.3 在其他位置作斜边垂线的证法