“余弦不等式”cosx＋cosy≤1＋cox（xy）

文献[1]有下面的“余弦不等式”及其证明． 定理当实数x，y满足x^2＋y^2≤π时，成立 cosx＋cosy≤1＋cox（xy） （1）