Grade 10 2000 Problem 1

Neka je $a$ pozitivan realan broj, a $x_1, x_2, x_3$ realni brojevi takvi da je $x_1 + x_2 + x_3 = 0$. Dokažite nejednakost $$\log_2(1 + a^{x_1}) + \log_2(1 + a^{x_2}) + \log_2(1 + a^{x_3}) \geq 3.$$