三元不等式的基本公式介绍如下：
三元基本不等式公式证明：如果a，b，c∈R，那么a3+b3+c3≥3abc，当且仅当a=b=c时，等号成立；如果a，b，c∈R+，那么（a+b+c）/3≥3√（abc），当且仅当a=b=c时，等号成立。
一般地，用纯粹的大于号“>”、小于号“<”连接的不等式称为严格不等式，用不小于号（大于或等于号）“≥”、不大于号（小于或等于号）“≤”连接的不等式称为非严格不等式，或称广义不等式。总的来说，用不等号（，≥，≤，≠）连接的式子叫做不等式。
常用定理
①不等式F（x）< G（x）与不等式 G（x）>F（x）同解。
②如果不等式F（x） < G（x）的定义域被解析式H（ x ）的定义域所包含，那么不等式 F（x）<G（x）与不等式F（x）+H（x）<G（x）+H（x）同解。
③如果不等式F（x）<G（x） 的定义域被解析式H（x）的定义域所包含，并且H（x）>0，那么不等式F(x)<G（x）与不等式H（x）F（x）<H（ x ）G（x） 同解；如果H（x）<0，那么不等式F（x）<G（x）与不等式H (x)F（x）>H（x）G（x）同解。
④不等式F（x）G（x）>0与不等式同解；不等式F（x）G（x）<0与不等式同解。
关于均值不等式的证明方法有很多，数学归纳法（第一数学归纳法或反向归纳法）、拉格朗日乘数法、琴生不等式法、排序不等式法、柯西不等式法等等，都可以证明均值不等式。
温馨提示：答案为网友推荐，仅供参考