已知，且。
求证：中至少有一个是负数。