已知a b c是空间不共面的三个向量,若存在x y z使ax+by+cz=0,则以下四个式子中恒成立的有