四个基本不等式的公式如下：
1. $a^2 + b^2 \geq 2ab$ （当且仅当 $a = b$ 时，等号成立）
2. $\sqrt{ab} \leq \frac{a+b}{2}$ （当且仅当 $a = b$ 时，等号成立）
3. $a + b \geq 2\sqrt{ab}$ （当且仅当 $a = b$ 时，等号成立）
4. $ab \leq \left（\frac{a+b}{2}\right）^2$ （当且仅当 $a = b$ 时，等号成立）
这些不等式在数学中有着广泛的应用，特别是在求某些函数的最值及证明不等式时。