Olympiad Maths Prep

Track / Stage 3 / 228 of 260 #228 of 2000

Problem 228

AMC 10/12, early questions
Number theory Difficulty 3.9 Prove it Olimpiada Naţională de Matematică Primul baraj pentru Olimpiada Balcanică de Matematică pentru Juniori · Romania

Problem:
Arătaţi că ecuaţia x2+y2+z2=x+y+z+1x^{2}+y^{2}+z^{2}=x+y+z+1 nu are soluţii în mulţimea numerelor raţionale.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

Solution:
Ecuaţia se poate scrie echivalent sub forma (2x1)2+(2y1)2+(2z1)2=7(2x-1)^{2}+(2y-1)^{2}+(2z-1)^{2}=7.

Dacă această ecuaţie ar avea o soluţie raţională (x,y,z)(x, y, z), notând 2x1=a1b12x-1=\frac{a_{1}}{b_{1}}, 2y1=a2b22y-1=\frac{a_{2}}{b_{2}}, 2z1=a3b32z-1=\frac{a_{3}}{b_{3}}, am obţine că numerele întregi a1,b1,a2,b2,a3,b3a_{1}, b_{1}, a_{2}, b_{2}, a_{3}, b_{3} satisfac egalitatea
(a1b2b3)2+(b1a2b3)2+(b1b2a3)2=7(b1b2b3)2. \left(a_{1} b_{2} b_{3}\right)^{2}+\left(b_{1} a_{2} b_{3}\right)^{2}+\left(b_{1} b_{2} a_{3}\right)^{2}=7\left(b_{1} b_{2} b_{3}\right)^{2}.
Acest fapt ar implica existenţa a patru numere întregi a,b,c,da, b, c, d astfel ca a2+b2+c2=7d2a^{2}+b^{2}+c^{2}=7d^{2}.

Dacă c.m.m.d.c. (a,b,c,d)=k(a, b, c, d)=k, împărţind cu k2k^{2} am găsi o soluţie (a,b,c,d)Z4(a, b, c, d) \in \mathbb{Z}^{4} a ecuaţiei a2+b2+c2=7d2a^{2}+b^{2}+c^{2}=7d^{2} cu c.m.m.d.c. (a,b,c,d)=1(a, b, c, d)=1.

Atunci a,b,c,da, b, c, d nu pot fi toate pare. Deoarece un pătrat perfect dă unul din resturile 0,10, 1 sau 44 la împărţirea cu 88, membrul stâng dă unul din resturile 1,2,3,51, 2, 3, 5 sau 66 la împărţirea cu 88, în vreme ce 7d27d^{2} dă rest 00, 44 sau 77. Prin urmare egalitatea nu poate avea loc.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.