A B. 4821. feladat (2016. október)

B. 4821. Van-e olyan \(\displaystyle a\ge 1\) egész szám, amelyre \(\displaystyle x^2+3\) és \(\displaystyle {(x+a)}^2+3\) relatív prímek bármely pozitív egész \(\displaystyle x\) esetén?

Javasolta: Kovács Dániel

(6 pont)

A beküldési határidő 2016. november 10-én LEJÁRT.

Megoldás. Az a kérdés, hogy létezik-e olyan \(\displaystyle a\) pozitív egész szám, hogy minden \(\displaystyle x\) egész számra \(\displaystyle (x^2+3;(x+a)^2+3)=1\). Egy ilyen \(\displaystyle a\) szám biztosan nem lehet páros, hiszen páros \(\displaystyle a\) és páratlan \(\displaystyle x\) esetén \(\displaystyle x^2+3\) és \(\displaystyle (x+a)^2+3\) is páros. A továbbiakban tegyük fel, hogy \(\displaystyle a\) páratlan. Az \(\displaystyle x^2+3\) és \(\displaystyle (x+a)^2+3\) számok pontosan akkor relatív prímek, ha egyetlen \(\displaystyle p\) prímszámra sem teljesül \(\displaystyle p|x^2+3\) és \(\displaystyle p|(x+a)^2+3\) egyszerre. Ha \(\displaystyle p|x^2+3\) és \(\displaystyle p|(x+a)^2+3\), akkor \(\displaystyle p|(x+a)^2+3-(x^2+3)=2ax+a^2=a(2x+a)\). Próbáljuk úgy megválasztani \(\displaystyle p\) és \(\displaystyle x\) értékét, hogy \(\displaystyle p|2x+a\). Ekkor

\(\displaystyle 2x\equiv -a\pmod{p},\)

és így

\(\displaystyle 4(x^2+3)\equiv a^2+12\pmod{p}.\)

Mivel \(\displaystyle p|x^2+3\), ezért ez csak akkor teljesülhet, ha \(\displaystyle p|a^2+12\).

Legyen tehát \(\displaystyle p\) az \(\displaystyle a^2+12\geq 13\) szám egy tetszőleges prímosztója. Mivel \(\displaystyle a\) páratlan, ezért a \(\displaystyle p\) prímszám is páratlan. A korábbiak alapján válasszuk meg \(\displaystyle x\) értékét úgy, hogy \(\displaystyle 2x\equiv -a \pmod {p}\) teljesüljön. Mivel \(\displaystyle p\) páratlan, ezért ilyen \(\displaystyle x\) létezik (a \(\displaystyle \frac{p-a}{2}+kp\) alakú számok közül bármelyik pozitív megfelelő). Erre az \(\displaystyle x\)-re \(\displaystyle 2x+2a\equiv a\pmod {p}\), így a kongruenciák négyzetre emelése után azt kapjuk, hogy

\(\displaystyle 4x^2\equiv 4(x+a)^2\equiv a^2\pmod {p},\)

amiből

\(\displaystyle 4(x^2+3)\equiv 4((x+a)^2+3)\equiv a^2+12\equiv 0\pmod {p},\)

vagyis \(\displaystyle (x^2+3,(x+a)^2+3)\) osztható \(\displaystyle p\)-vel. Ez azt jelenti, hogy nem létezik olyan \(\displaystyle a\) pozitív egész szám, amelyre \(\displaystyle x^2+3\) és \(\displaystyle (x+a)^2+3\) mindig relatív prímek.

Statisztika:

49 dolgozat érkezett.
6 pontot kapott:	Baran Zsuzsanna, Bodolai Előd, Borbényi Márton, Daróczi Sándor, Döbröntei Dávid Bence, Gáspár Attila, Imolay András, Janzer Orsolya Lili, Kerekes Anna, Keresztfalvi Bálint, Klász Viktória, Kovács 246 Benedek, Kővári Péter Viktor, Matolcsi Dávid, Nagy Dávid Paszkál, Nagy Nándor, Olosz Adél, Pap Benedek, Schrettner Bálint, Schrettner Jakab, Simon Dániel Gábor, Szabó Kristóf, Szemerédi Levente, Tiderenczl Dániel, Tóth Viktor, Weisz Máté.
5 pontot kapott:	Andó Angelika, Ardai István Tamás, Egri Máté, Győrffy Ágoston, Keresztes László, Kőrösi Ákos, Németh 123 Balázs, Póta Balázs, Sokvári Olivér, Souly Alexandra, Szakály Marcell, Vankó Miléna, Vári-Kakas Andor.
4 pontot kapott:	3 versenyző.
2 pontot kapott:	1 versenyző.
1 pontot kapott:	1 versenyző.
0 pontot kapott:	5 versenyző.

A KöMaL 2016. októberi matematika feladatai