线线垂直的证明及应用