证明两向量正交的充要条件