Verified answer

Resposta:   [tex]N=\left(\dfrac{10^n+5}{3}\right)^{\!2},\quad\mathrm{com~}\dfrac{10^n+5}{3}\in\mathbb{N}.[/tex]

Explicação passo a passo:

Provar que N = 11...122...25 é um quadrado perfeito, sendo N um número natural formado por n − 1 algarismos iguais a 1, seguidos de n algarismos iguais a 2, seguido do algarismo 5.

    [tex]\begin{array}{l}N=\underbrace{11\ldots 1}_{n-1}\underbrace{22\ldots 2}_n 5 \end{array}[/tex]

O número [tex]N[/tex] é formado por [tex]2n[/tex] algarismos. Utilizando o sistema de numeração posicional decimal, podemos escrever:

    [tex]\begin{array}{lcl}\Longleftrightarrow\quad N=&&\underbrace{(1\cdot 10^{2n-1}+1\cdot 10^{2n-2}+\ldots+1\cdot 10^{n+1})}_{n-1\mathrm{~parcelas}}\;+\\\\&\!\!\!+\!\!\!&\underbrace{(2\cdot 10^n+2\cdot 10^{n-1}+\ldots+2\cdot 10^2+2\cdot 10^1)}_{n\mathrm{~parcelas}}\;+\;5\cdot 10^0\\\\\\ \Longleftrightarrow\quad N=&&(10^{2n-1}+10^{2n-2}+\ldots+10^{n+1})\;+\\\\&\!\!\!+\!\!\!&2\cdot (10^n+10^{n-1}+\ldots+10^2+10^1)+5\qquad\mathrm{(i)}\end{array}[/tex]

Entre parênteses, temos duas somas de progressões geométricas de razão [tex]q=10.[/tex] Aplicando a fórmula abaixo da soma dos termos de uma P.G.:

    [tex]\displaystyle\sum_{k=a}^b q^k=\left.\frac{q^k}{q-1}\right|_a^{b+1}=\frac{q^{b+1}-q^a}{q-1}\qquad\mathrm{com~}q\ne 1[/tex]

Para [tex]q=10,[/tex] a expressão (i) fica

    [tex]\begin{array}{l}\displaystyle\Longleftrightarrow\quad N=\sum_{k=n+1}^{2n-1}10^k+2\cdot \sum_{k=1}^n 10^k+5\\\\ \Longleftrightarrow\quad N=\left.\dfrac{10^k}{10-1}\right|_{n+1}^{(2n-1)+1}+2\cdot \left.\dfrac{10^k}{10-1}\right|_1^{(n)+1}+5\\\\ \Longleftrightarrow\quad N=\left.\dfrac{10^k}{9}\right|_{n+1}^{2n}+2\cdot \left.\dfrac{10^k}{9}\right|_1^{n+1}+5\end{array}[/tex]

    [tex]\begin{array}{l}\Longleftrightarrow\quad N=\dfrac{10^{2n}-10^{n+1}}{9}+2\cdot \dfrac{10^{n+1}-10^1}{9}+5\\\\ \Longleftrightarrow\quad N=\dfrac{10^{2n}-10^{n+1}+2\cdot(10^{n+1}-10)+45}{9}\\\\ \Longleftrightarrow\quad N=\dfrac{10^{2n}-10^{n+1}+2\cdot10^{n+1}-20+45}{9}\end{array}[/tex]

    [tex]\begin{array}{l}\Longleftrightarrow\quad N=\dfrac{10^{2n}+10^{n+1}+25}{9}\\\\ \Longleftrightarrow\quad N=\dfrac{10^{2n}+10\cdot 10^n+25}{9} \end{array}[/tex]

Reescrevendo [tex]10=2\cdot 5,[/tex] identificamos o numerador como o quadrado de uma soma (produtos notáveis):

    [tex]\begin{array}{l}\Longleftrightarrow\quad N=\dfrac{(10^n)^2+2\cdot 5\cdot 10^n+5^2}{9}\\\\ \Longleftrightarrow\quad N=\dfrac{(10^n+5)^2}{3^2}\\\\ \Longleftrightarrow\quad N=\left(\dfrac{10^n+5}{3}\right)^{\!2}\\\\ \Longleftrightarrow\quad N=m^2\qquad\checkmark\end{array}[/tex]

com [tex]m=\dfrac{10^n+5}{3}.[/tex]

Agora, apenas nos resta verificar se [tex]m[/tex] é natural. Utilizando congruência modular e suas propriedades, temos

    [tex]\begin{array}{l}10\equiv 1\quad\mathrm{(mod~3)}\\\\ \Longrightarrow\quad 10^n\equiv 1^n\equiv 1\quad\mathrm{(mod~3)}\\\\ \Longleftrightarrow\quad 10^n+5\equiv 1+5\quad\mathrm{(mod~3)}\\\\ \Longleftrightarrow\quad 10^n+5\equiv 6\equiv 0\quad\mathrm{(mod~3)}\end{array}[/tex]

Portanto [tex]10^n+5[/tex] é multiplo de [tex]3,[/tex] para todo [tex]n\in\mathbb{N}[/tex] e consequentemente

    [tex]\Longrightarrow\quad \dfrac{10^n+5}{3}\in\mathbb{N}\\\\\\ \Longleftrightarrow\quad m\in\mathbb{N}\qquad\quad\blacksquare[/tex]

como queríamos.

Obs.: Utilizando a mesma fórmula da soma da progressão geométrica, podemos também verificar que

    [tex]\displaystyle m=\dfrac{10^n+5}{3}=\underbrace{33\ldots 3}_{n-1}5=3\cdot \sum_{k=1}^{n-1} 10^k+5[/tex]

isto é, [tex]m[/tex] é um natural formado por [tex]n-1[/tex] algarismos iguais a [tex]3,[/tex] seguido do algarismo [tex]5.[/tex]

Dúvidas? Comente.

Bons estudos!