¿Cómo puedo probar que$$5^{2n+1}+3^{n+2} \cdot 2^{n-1} $ $ se puede dividir por 19 para cualquier n no negativo? ¿Qué módulo debo elegir?
Respuestas
¿Demasiados anuncios?Usted puede comprobar esto por inducción.
En primer lugar, demostrar que esto es cierto para $n=1$:
$5^{2\cdot1+1}+3^{1+2}\cdot2^{1-1}=19\cdot8$
Segundo, se supone que esto es cierto para $n$:
$5^{2n+1}+3^{n+2}\cdot2^{n-1}=19k$
Tercero, demostrar que esto es cierto para $n+1$:
$5^{2(n+1)+1}+3^{n+1+2}\cdot2^{n+1-1}=$
$5^{2+2n+1}+3^{1+n+2}\cdot2^{1+n-1}=$
$5^{2}\cdot5^{2n+1}+3^{1}\cdot3^{n+2}\cdot2^{1}\cdot2^{n-1}=$
$5^{2}\cdot5^{2n+1}+3^{1}\cdot2^{1}\cdot3^{n+2}\cdot2^{n-1}=$
$25\cdot5^{2n+1}+\color\green{6}\cdot3^{n+2}\cdot2^{n-1}=$
$25\cdot5^{2n+1}+(\color\green{25-19})\cdot3^{n+2}\cdot2^{n-1}=$
$25\cdot5^{2n+1}+25\cdot3^{n+2}\cdot2^{n-1}-19\cdot3^{n+2}\cdot2^{n-1}=$
$25\cdot(\color\red{5^{2n+1}+3^{n+2}\cdot2^{n-1}})-19\cdot3^{n+2}\cdot2^{n-1}=$
$25\cdot\color\red{19k}-19\cdot3^{n+2}\cdot2^{n-1}=$
$19\cdot25k-19\cdot3^{n+2}\cdot2^{n-1}=$
$19\cdot(25k-3^{n+2}\cdot2^{n-1})$
Por favor, tenga en cuenta que la hipótesis se utiliza sólo en la parte marcada con rojo.
Denote$\mathcal{P}(n)$ la afirmación de que$5^{2n+1} + 3^{n+2}\cdot 2^{n-1}$ es divisible por$19$. Puede comprobar si$\mathcal{P}(1)$ es verdadero. Una configuración para la prueba de$\mathcal{P}(n+1)$:
\begin{align} 5^{2(n+1)+1} + 3^{(n+1)+2}\cdot 2^{(n+1)-1} & = \\ 25 \times 5^{2n+1} + 6 \times 3^{n+2}\cdot 2^{n-1} & = \\ 19 \times 5^{2n+1} + 6 \times 5^{2n+1} + 6 \times 3^{n+2}\cdot 2^{n-1} & = \cdots \end {align} ¿Puedes terminar la prueba desde aquí?