已知a、b、c是互不相等的非零实数.若用反证法证明三个方程ax²+2bx+c=0，bx²+2cx+a=0，cx²+2ax+b=0至少有一个方程有两个相异实根.