Problem

Source: Stars of Mathematics 2016, Juniors, Problem 3

Tags: inequalities



Let $ n $ be a natural number, and $ 2n $ nonnegative real numbers $ a_1,a_2,\ldots ,a_{2n} $ such that $ a_1a_2\cdots a_{2n}=1. $ Show that $$ 2^{n+1} +\left( a_1^2+a_2^2 \right)\left( a_3^2+a_4^2 \right)\cdots\left( a_{2n-1}^2+a_{2n}^2 \right) \ge 3\left( a_1+a_2 \right)\left( a_3+a_4 \right)\cdots\left( a_{2n-1}+a_{2n} \right) , $$and specify in which circumstances equality happens.