高中4个基本不等式的公式包括：
均值不等式：对任意正数$a$和$b$，有$frac{a+b}{2} geq sqrt{ab}$，当且仅当$a=b$时取等号。
柯西不等式：对任意实数序列$a_i$和$bi$，有$^2 leq $。
三角不等式：对任意实数$a$、$b$，有$|a+b| leq |a| + |b|$。
切比雪夫不等式：对任意两组数$a_1 leq a_2 leq … leq a_n$和$b_1 leq b_2 leq … leq bn$，有$frac{1}{n}sum{i=1}^{n}a_ibi geq $。
