已知非零向量a,b,c满足a⊥b,x1,x2是方程x*2+bx+c(x为实数)两根,求证x1=x2