线线垂直的证明方法