高中4个基本不等式的公式包括：

均值不等式：对任意正数$a$和$b$，有$frac{a+b}{2}geqsqrt{ab}$，当且仅当$a=b$时取等号。

柯西不等式：对任意实数序列$a_i$和$bi$，有$^2leq$。

三角不等式：对任意实数$a$、$b$，有$|a+b|leq|a|+|b|$。

切比雪夫不等式：对任意两组数$a_1leqa_2leq…leqa_n$和$b_1leqb_2leq…leqbn$，有$frac{1}{n}sum{i=1}^{n}a_ibigeq$。