在运用hl定理时,用不用先利用垂直证明该三角形为直角三角形,在证明