Questão 2 (Nível 3) da 2ª fase da OBMEP 2009

Question

Um número inteiro n é simpático quando existem inteiros positivos a, b e c tais que a < b < c e n = a^2 + b^2 - c^2. Por exemplo, os números 1 e 2 são simpáticos, pois 1 = 4^2 + 7^2 - 8^2 e 2 = 5^2 + 11^2 - 12^2.

(a) Verifique que (3x + 1)^2 + (4x + 2)^2 - (5x + 2)^2 é igual a 2x + 1, qualquer que seja x.

(b) Encontre números inteiros m e n tais que (3x - m)^2 + (4x - n)^2 - (5x - 5)^2 = 2x, qualquer que seja x.

(c) Mostre que o número 4 é simpático.

(d) Mostre que todos os números inteiros positivos são simpáticos.

Answer 1

PRÁTICA COM QUESTÕES OFICIAIS

Questão 2 (Nível 3) da 2ª fase da OBMEP 2009

Nível 3 · Matemática: Expressões algébricas, produtos notáveis e fatoração

Um número inteiro n é simpático quando existem inteiros positivos a, b e c tais que a < b < c e n = a^2 + b^2 - c^2. Por exemplo, os números 1 e 2 são simpáticos, pois 1 = 4^2 + 7^2 - 8^2 e 2 = 5^2 + 11^2 - 12^2.

(a) Verifique que (3x + 1)^2 + (4x + 2)^2 - (5x + 2)^2 é igual a 2x + 1, qualquer que seja x.

(b) Encontre números inteiros m e n tais que (3x - m)^2 + (4x - n)^2 - (5x - 5)^2 = 2x, qualquer que seja x.

(c) Mostre que o número 4 é simpático.

(d) Mostre que todos os números inteiros positivos são simpáticos.

Reportar erro na questão

Resolução comentada

Solução oficial da OBMEP

a) Lembrando que (a+b)^2=a^2+2ab+b^2, podemos simplificar a expressão (3x+1)^2+(4x+2)^2-(5x+2)^2 como segue:

(3x+1)^2+(4x+2)^2-(5x+2)^2=9x^2+6x+1+16x^2+16x+4-25x^2-20x-4

=(9+16-25)x^2+(6+16-20)x+(1+4-4)=2x+1.

b) Aqui temos

(3x-m)^2+(4x-n)^2-(5x-5)^2=-(6m+8n-50)x+(m^2+n^2-25)=2x

e desse modo devemos encontrar inteiros m e n tais que m^2+n^2-25=0 e -(6m+8n-50)=2, isto é, m^2+n^2=25 e 3m+4n=24. A primeira equação (que também pode ser obtida pela substituição x=0 na identidade) tem as possíveis soluções em números inteiros:

m	0	\pm 3	\pm 4	\pm 5
n	\pm 5	\pm 4	\pm 3	0

Verificação direta mostra que apenas os valores m=4 e n=3 satisfazem a segunda equação.

c) Do enunciado temos 4^2+7^2-8^2=1. Multiplicando esta expressão por 2^2, obtemos 2^2 4^2+2^2\cdot 7^2-2^2 8^2=4, ou seja, 8^2+14^2-16^2=4, o que mostra que 4 é simpático. Outras expressões são 4=5^2+10^2-11^2=6^2+7^2-9^2=7^2+22^2-23^2 e, mais geralmente, 4=(3k+4)^2+(4k+2)^2-(5k+4)^2 para k>2.

d) Vamos dividir o argumento para números ímpares e pares.

Números ímpares: seja n=2k+1 um número ímpar maior que 1, ou seja, com k>0. O item (a) mostra que fazendo a=3k+1, b=4k+2 e c=5k+2 temos n=a^2+b^2-c^2. Notamos que a<b<c segue de k>0. Como já sabemos que 1 é simpático, segue que todo número ímpar positivo é simpático.

Números pares: seja n=2k um número par maior que 4, ou seja, com k>2. Aqui o item (b) mostra que fazendo a=3k-4, b=4k-3 e c=5k-5 temos n=a^2+b^2-c^2. Notamos que a<b<c; de fato, a<b vem do fato de k ser positivo e b<c decorre de k>2. Como já sabemos que 2 e 4 são simpáticos, segue que todo número par positivo é simpático. Concluímos então que todos os inteiros positivos são simpáticos.

Uma curiosidade aqui é uma fórmula geral (entre outras) que mostra que todo número positivo n é simpático:

n=(n+3)^2+\left(\frac{n^2+5n+8}{2}\right)^2-\left(\frac{n^2+5n+8}{2}+1\right)^2.

Ver como a OBMEP publicou

Publicada pela banca.

Resolução comentada

a) Desenvolva cada quadrado:

(3x+1)^2 = 9x^2+6x+1
(4x+2)^2 = 16x^2+16x+4
(5x+2)^2 = 25x^2+20x+4

Somando os dois primeiros e subtraindo o terceiro:

(25x^2+22x+5)-(25x^2+20x+4)=2x+1.

Logo a igualdade vale para todo x. (3x+1)^2+(4x+2)^2-(5x+2)^2=2x+1

b) Desenvolvendo o lado esquerdo:

(9x^2-6mx+m^2)+(16x^2-8nx+n^2)-(25x^2-50x+25)=(50-6m-8n)x+(m^2+n^2-25).

Para que isso seja igual a 2x para todo x, os coeficientes devem coincidir:

50-6m-8n=2, ou seja, 3m+4n=24;
m^2+n^2-25=0, ou seja, m^2+n^2=25.

Testando os pares inteiros com m^2+n^2=25 (como (3,4), (4,3), (0,5)), vemos que m=4 e n=3 servem: 3\cdot4+4\cdot3=24 e 16+9=25. m=4 e n=3

c) Com m=4 e n=3, o item (b) dá x=2, que leva a a=2, b=5, c=5. Isso não serve, porque exige b<c. Procure então diretamente com c=b+1:

a^2+b^2-(b+1)^2=a^2-2b-1=4\Rightarrow 2b=a^2-5.

Com a=5 obtemos b=10 e c=11, e 5<10<11. Conferindo:

5^2+10^2-11^2=25+100-121=4.

Portanto 4 é simpático. 4=5^2+10^2-11^2

d) Separe os inteiros positivos em ímpares e pares.

Ímpares. O item (a) dá 2x+1=(3x+1)^2+(4x+2)^2-(5x+2)^2. Para x\ge1 temos 3x+1<4x+2<5x+2, pois a segunda desigualdade equivale a x>0. Isso cobre todos os ímpares n\ge3. O número 1 é simpático pelo enunciado.

Pares. O item (b) dá 2x=(3x-4)^2+(4x-3)^2-(5x-5)^2. Para x\ge3 temos 3x-4\ge5>0. Além disso, 3x-4<4x-3 sempre vale, e 4x-3<5x-5 equivale a x>2. Isso cobre todos os pares n\ge6. Os pares restantes são 2 e 4, simpáticos pelo enunciado e pelo item (c).

Assim, todo inteiro positivo é simpático. Todos os inteiros positivos são simpáticos.

Assunto: Expressões algébricas, produtos notáveis e fatoração.

Reportar erro na resolução

Esta questão também caiu em

OBMEP 2ª fase 2009 · Questão 5 (Nível 2)(d) Mostre que todos os números inteiros positivos são simpáticos.

Ver como caiu na prova

Questão 2 no caderno Nível 3 da 2ª fase da OBMEP 2009

Fonte: OBMEP 2ª fase 2009 · Nível 3. Prova oficial ↗