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!
