[LeJoha]

Hola buenas tardes, quisiera saber como podría hacer esa demostración, pues no he podido encontrar la forma de reescribir en lo que voy como 54k. He llegado a 4(2^(k+1)) - 9k^2 + 3k - 2 - 18k - 6. Gracias de antemano.

[Juan Pablo Sancho]

Para \( n=1 \) es cierto , supuesto cierto para \( n \geq 1  \) demostremos para \( n+1 \)

\( 4 \cdot 2^{2n + 1} -9 \cdot (n+1)^2 + 3 \cdot (n+1) - 2 =  \)
\(  = (4 \cdot 2^{2n+1} - 4 \cdot 9 \cdot n^2 + 4 \cdot 9 \cdot n^2 + 4 \cdot 3 \cdot n - 4 \cdot 3 \cdot n - 4 \cdot 2 + 4 \cdot 2) - 9 \cdot (n+1)^2 + 3 \cdot (n+1) - 2 =  \)
\( = 4 \cdot (2^{2n+1} - 9 \cdot n^2 + 3 \cdot n - 2) + 4 \cdot (9 \cdot n^2 - 3 \cdot n+2) -9 \cdot (n^2+1+2n) + 3n +3 -2 =  \)
\( = 54 \cdot m_1 + 27 \cdot n^2 - 27 \cdot n = 54 \cdot m_1  + 27 \cdot n \cdot (n-1)  \).
Teniendo en cuenta que \( 54 = 27 \cdot 2  \)

[LeJoha]

Vale, gracias.