证明：当且尽当x和y线性相关x^Ty≤0且时，才有。