不是,你自己画个矩行,两邻边是两非零垂直向量,两对角线就是向量和跟差,显然,对角线不垂直,就是乘积不为零!特殊地,如果两垂直非零向量的模相等,此公试成立.或者你随便画个菱形,就是对角线相互垂直平分的四边行,就成立,上面的特例就属于这种菱形（正方行）