6 Sean $ a_1,a_2,...,a_6$ números reales tales que: $ a_1 \not = 0, a_1a_6 + a_3 + a_4 = 2a_2a_5 \ \mathrm{and}\ a_1a_3 \ge a_2^2$ Demuestre que $ a_4a_6\le a_5^2$ . ¿Cuándo se cumple la igualdad?