Página 1 de 1
Produto de inteiros
Enviado: Sex 13 Fev, 2009 01:51
por Beastie
Prove que o produto de quatro números naturais consecutivos não pode ser o quadrado de um inteiro.
Re: Produto de inteiros
Enviado: Sex 13 Fev, 2009 02:38
por triplebig
Temos que provar que [tex3](n-2)(n-1)(n)(n+1)\neq k^2[/tex3]
, para [tex3]n\,,\,k\,\in \,\mathbb{N}[/tex3]
Desenvolvendo o membro da esquerda:
[tex3]n(n-2)(n^2-1)=(n^2-2n)(n^2-1)[/tex3]
Para este último produto ser verdadeiro, teriamos que as seguintes ocasiões:
- [tex3](1)\;n^2-2n=1\text{ e }n^2-1=k^2[/tex3]
[tex3]n^2-2n-1=0\;\Right\;\text{sem raizes naturais}[/tex3]
- [tex3](2)\;n^2-2n=n^2-1[/tex3]
[tex3]n=\frac{1}{2}\; \notin \; \mathbb{N}[/tex3]
- [tex3](3)\;n^2-2n=k^2\text{ e }n^2-1=1[/tex3]
[tex3]n^2=2\;\Leftright\;n=\sqrt{2}\;\notin\;\mathbb{N}[/tex3]
Logo não é possível tal produto existir c.q.d.
Re: Produto de inteiros
Enviado: Seg 16 Fev, 2009 12:33
por Beastie
Acho que esses três casos não são suficientes pra generalizar. Por exemplo, [tex3]36[/tex3]
é quadrado de um inteiro, e pode ser escrito como [tex3]3\cdot12[/tex3]
.
Abraços.
Re: Produto de inteiros
Enviado: Seg 16 Fev, 2009 13:20
por triplebig
Certo, vou tentar algo:
Seja [tex3]k=a\cdot b[/tex3]
. [tex3]k^2[/tex3]
pode ser escrito [tex3]a\cdot \frac{k^2}{a}[/tex3]
ou [tex3]b\cdot \frac{k^2}{b}[/tex3]
.
aí temos:
[tex3]n^2-2n=a\text{ e }n^2-1=\frac{k^2}{a}[/tex3]
Pela primeira equação, temos que [tex3]4+4a[/tex3]
deve ser um quadrado perfeito. O Valor de [tex3]n[/tex3]
seria:
[tex3]1+\sqrt{1+a}[/tex3]
Na segunda:
[tex3]n=\sqrt{\frac{k^2}{a}+1}\;\Leftright\;1+\sqrt{1+a}=\sqrt{\frac{k^2}{a}+1}\\
\Leftright\;1+2\sqrt{1+a}+1+a=\frac{k^2}{a}+1\\
\Leftright\;2\sqrt{1+a}=\frac{k^2}{a}-a-1[/tex3]
Com isso [tex3]\frac{k^2}{a}-a-1[/tex3]
deve ser par, que não ocorre para [tex3]a[/tex3]
par, logo [tex3]a[/tex3]
deve ser ímpar.
Mas pela equação [tex3]n=1+\sqrt{1+a}[/tex3]
, vimos que [tex3]n[/tex3]
seria par. Para ser par [tex3]\frac{k^2}{a}[/tex3]
teria quer ser ímpar.
Então [tex3]\frac{k^2}{a}-a-1[/tex3]
é ímpar, logo não é possível para os inteiros não negativos.
Acho que esse aí cobriu todos os casos né?