已知函数 $f(x) = 2^x$，$g(x) = x^2 + ax$（其中 $a \in \mathbf{R}$）. 对于不相等的实数 $x_1$，$x_2$，设 $m = \frac{f(x_1) - f(x_2)}{x_1 - x_2}$，$n = \frac{g(x_1) - g(x_2)}{x_1 - x_2}$，现有如下命题：

① 对于任意不相等的实数 $x_1$，$x_2$，都有 $m > 0$； ② 对于任意的 $a$ 及任意不相等的实数 $x_1$，$x_2$，都有 $n > 0$； ③ 对于任意的 $a$，存在不相等的实数 $x_1$，$x_2$，使得 $m = n$； ④ 对于任意的 $a$，存在不相等的实数 $x_1$，$x_2$，使得 $m = -n$.

其中的真命题有______（写出所有真命题的序号）.