Archiv diskusního fóra o matematice, 2006–2026

Pozdravujem,
Cvicenie (7)***
Dokazte, ze tato [mathjax]x^2+y^3=7 [/mathjax] diofanticka rovnice nema riesenie.
Offline

Cvicenie (7) sa da vyriesit tak, vyriesite niekolko vlasnosti, ktore bude uzitocne pouzit na nase cvicenie.
(A) zacnime s tymto
Nech p>2 je prvocislo.
Ak rovnica [mathjax] x^2+1=0 [/mathjax] (mod p) ma riesenie, tak [mathjax]p=1[/mathjax] (mod 4)
Offline

Mozne riesenie na #52 (A)
Tu p-1 parne.
Ak [mathjax]-1\equiv a^2[/mathjax] ( mod p),
tak
[mathjax](-1)^{( p-1)/2}\equiv (a^2)^{( p-1)/2}\equiv a^{p-1} \equiv 1[/mathjax] (mod p)
(Posledna kongruacie je mala Fermat-ova veta)
A preto
(p-1)/2 je parne a
[mathjax]p\equiv 1[/mathjax] ( mod 4)
Na pokracovanie…..
Offline

(B) predpokladajme, ze [mathjax]x^2+y^3=7 [/mathjax] ma aspon jedno riesenie .
1) dokazme, ze potom y musi byt neparne. (Dokazame to sporom).
Ak y by bolo parne
Potom [mathjax]x^2=7 [/mathjax] (mod 8) nie je mozne ( co sa lahko overi…. Ako sme to uz robili v predoslych cviceniach tohto vlakna).
Vo zvysku problemu budeme predpokladat, ze y je neparne.
Na pokracovanie ….
Offline

Toto je tiez uzitocne
(B) 2)
Ak nejake priroddzrene cislo s je formy
4k+3,( cize [mathjax]s \equiv 3 [/mathjax] mod 4 ) tak je tiez delitelne prvoom takej istej formy.
Offline