Dowód z wykorzystaniem tw. Wilsona

Podzielność. Reszty z dzielenia. Kongruencje. Systemy pozycyjne. Równania diofantyczne. Liczby pierwsze i względnie pierwsze. NWW i NWD.
Awatar użytkownika
Poszukujaca
Użytkownik
Użytkownik
Posty: 2775
Rejestracja: 21 maja 2012, o 23:32
Płeć: Kobieta
Podziękował: 1019 razy
Pomógł: 166 razy

Dowód z wykorzystaniem tw. Wilsona

Post autor: Poszukujaca »

Niech \(\displaystyle{ p=4n+1 \in \PP}\). Pokazać, że istnieje takie \(\displaystyle{ x \in \NN}\), że \(\displaystyle{ p | (x^{2}+1)}\).

Wiem, że trzeba zastosować twierdzenie Wilsona. Na podstawie niego wiem, że: \(\displaystyle{ (4n+1-1)! \equiv_{p} -1 \Leftrightarrow (4n)! \equiv_{p} -1}\).

Tylko nie wiem, jak połączyć to z dalsżą treścią zadania.
Awatar użytkownika
arek1357
Użytkownik
Użytkownik
Posty: 5748
Rejestracja: 6 gru 2006, o 09:18
Płeć: Mężczyzna
Lokalizacja: blisko
Podziękował: 131 razy
Pomógł: 526 razy

Dowód z wykorzystaniem tw. Wilsona

Post autor: arek1357 »

\(\displaystyle{ ( \frac{p-1}{p})=( \frac{-1}{p})=(-1)^{ \frac{p-1}{2} }=(-1)^{ \frac{4n}{2} }=(-1)^{2n}=1}\)

czyli\(\displaystyle{ p-1}\) jest resztą kwadratową modulo p cnd.
Awatar użytkownika
Poszukujaca
Użytkownik
Użytkownik
Posty: 2775
Rejestracja: 21 maja 2012, o 23:32
Płeć: Kobieta
Podziękował: 1019 razy
Pomógł: 166 razy

Dowód z wykorzystaniem tw. Wilsona

Post autor: Poszukujaca »

Możesz wyjaśnić skąd się wzięło \(\displaystyle{ \frac{p-1}{p}}\). Nie rozumiem.
Awatar użytkownika
arek1357
Użytkownik
Użytkownik
Posty: 5748
Rejestracja: 6 gru 2006, o 09:18
Płeć: Mężczyzna
Lokalizacja: blisko
Podziękował: 131 razy
Pomógł: 526 razy

Dowód z wykorzystaniem tw. Wilsona

Post autor: arek1357 »

To są reszty kwadratowe zapisuje się je:

\(\displaystyle{ \left( \frac{p-1}{p}\right)}\) ,gdzie: \(\displaystyle{ p-1=-1}\)

ja to zadanie zrobiłem za pomocą reszt kwadratowych czasem pożyteczne narzędzie polecam.

te nawiasy są ważne.

co innego jest:

\(\displaystyle{ \frac{p-1}{p}}\)

a co innego jest:

\(\displaystyle{ \left( \frac{p-1}{p}\right)}\)
ODPOWIEDZ