不等式的证明及相关模型