已知实数a,b,c,x,y,z满足a^2+b^2-c^2与x^2+y^2-z^2至少有一个为负数,求证：(ax+by-cz)^2>=(a^2+b^2-c^2)(x^2+y^2-z^2)。本蒟蒻想了好久没想出来qwq...