已知非零向量垂直,则满足(  )。