Ideia principal
A hipótese
x1+y1+z1=x+y+z1parece inicialmente difícil de relacionar com a conclusão.
A ideia é manipular a igualdade até descobrir uma informação mais simples sobre x, y e z.
Vamos mostrar que necessariamente dois deles são opostos.
Passo 1 — Isolando um dos termos
Partimos de:
x1+y1+z1=x+y+z1.Vamos passar o termo z1 para o lado direito:
x1+y1=x+y+z1−z1.Agora calculamos cada lado.
No lado esquerdo:
x1+y1=xyx+y.No lado direito:
x+y+z1−z1=z(x+y+z)z−(x+y+z).Simplificando o numerador:
z−(x+y+z)=−(x+y).Portanto:
xyx+y=−z(x+y+z)x+y.
Passo 2 — Colocando tudo em um lado
Passando tudo para o lado esquerdo:
xyx+y+z(x+y+z)x+y=0.Colocando (x+y) em evidência:
(x+y)(xy1+z(x+y+z)1)=0.
Passo 3 — Colocando as frações em um mesmo denominador
Somando as duas frações:
(x+y)xyz(x+y+z)z(x+y+z)+xy=0.Vamos analisar o numerador:
z(x+y+z)+xy.Distribuindo z:
xz+yz+z2+xy.Reorganizando:
xy+xz+yz+z2.Agora aparece uma fatoração:
xy+xz+yz+z2=x(y+z)+z(y+z).Colocando (y+z) em evidência:
=(x+z)(y+z).Assim, chegamos a:
xyz(x+y+z)(x+y)(x+z)(y+z)=0.Como x, y e z são não nulos e, pela própria hipótese, x+y+z=0, o denominador é diferente de zero.
Logo:
(x+y)(x+z)(y+z)=0.
Passo 4 — O que isso significa?
Se um produto é zero, pelo menos um dos seus fatores deve ser zero.
Portanto, temos pelo menos uma das possibilidades:
x+y=0,ou
x+z=0,ou
y+z=0.Em outras palavras, dois dos números são opostos.
Por exemplo, podemos ter:
y=−x.Os outros casos serão completamente análogos.
Passo 5 — Usando o fato de 2019 ser ímpar
Suponha que:
y=−x.Como 2019 é ímpar:
y2019=(−x)2019=−x2019.Portanto:
x20191+y20191=x20191−x20191=0.Assim:
x20191+y20191+z20191=z20191.Por outro lado:
x2019+y2019+z2019=x2019−x2019+z2019.Logo:
x2019+y2019+z2019=z2019.Consequentemente:
x2019+y2019+z20191=z20191.Portanto:
x20191+y20191+z20191=x2019+y2019+z20191.
Resultado
A hipótese inicial força:
(x+y)(x+z)(y+z)=0.Logo, dois dos números x, y e z são opostos.
Como 2019 é ímpar, esses dois termos continuam sendo opostos quando elevados à potência 2019.
Assim,
x20191+y20191+z20191=x2019+y2019+z20191.
Insight
A parte mais interessante da questão é que a fatoração não precisa ser conhecida de antemão.
Ao passar z1 para o outro lado, obtemos:
xyx+y=−z(x+y+z)x+y.O fator (x+y) aparece naturalmente.
Depois, ao juntar as frações, surge:
z(x+y+z)+xy.Desenvolvendo:
xz+yz+z2+xy.E somente então percebemos a fatoração:
xy+xz+yz+z2=(x+z)(y+z).Assim, toda a hipótese se transforma em:
(x+y)(x+z)(y+z)=0.
Sacada: em problemas de demonstração, não tente necessariamente descobrir a fatoração antes de começar. Muitas vezes, a melhor estratégia é manipular a equação e deixar a própria estrutura algébrica revelar a fatoração.