Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (2024)

Indice del libro

Aritmetica modulare

Copertina

Bibliografia
Tutti i moduli · Sviluppo

Versione in PDF

CopertinaAritmetica modulare/Copertina
  1. La relazione di congruenzaAritmetica modulare/La relazione di congruenza
  2. Prime proprietà e applicazioniAritmetica modulare/Prime proprietà e applicazioni
  3. Congruenze lineariAritmetica modulare/Congruenze lineari
  4. Polinomi in aritmetica modulareAritmetica modulare/Polinomi in aritmetica modulare
  5. Radici primitiveAritmetica modulare/Radici primitive
  6. Congruenze quadraticheAritmetica modulare/Congruenze quadratiche
  7. Alcune applicazioniAritmetica modulare/Alcune applicazioni
  8. BibliografiaAritmetica modulare/Bibliografia
  9. EserciziAritmetica modulare/Esercizi

Modificailsommario

In questo modulo verranno studiate le congruenze quadratiche, ossia di secondo grado, e in particolare verrà dimostrata la legge di reciprocità quadratica.

Introduzione[modifica]

Partiamo da un'equazione qualsiasi di secondo grado in un'incognita con un modulo primo (maggiore di 2), ovvero Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (2). Possiamo applicare ad essa gli stessi passaggi di un'equazione nei reali:

Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (3)
Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (4)

A questo punto abbiamo bisogno di risolvere due congruenze diverse:

Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (5)
Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (6)

dove Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (7) è una soluzione della prima congruenza. Poiché quest'ultima è sempre risolubile (se a non è divisibile per p), per risolvere la congruenza originaria basta concentrarsi su quelle del tipo Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (8).

È evidente che questa non sempre è risolubile, in quanto Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (9) per ogni a; quindi per almeno metà dei d non abbiamo soluzioni. Tuttavia, poiché l'equazione Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (10) non può avere più di due soluzioni, e visto che una soluzione a ne "chiama" un'altra -a, esattamente metà dei d hanno delle soluzioni. Chiameremo quelli la cui congruenza è risolubile residui quadratici.

C'è un altro modo, più generale, per vedere le cose. Consideriamo un generatore g modulo p. L'insieme dei numeri

Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (11)

coincide, a parte l'ordine, con quello dei numeri

Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (12)

Riducendo modulo p -1 gli esponenti, questi rimarranno pari (perché anche p -1 è pari); quindi i residui quadratici sono esattamente quegli elementi il cui indice è pari. Questo metodo può essere esteso per individuare i residui n-esimi, cioè gli a per cui ha soluzioni una congruenza del tipo

Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (13)

Se n divide p -1, allora i residui n -esimi sono esattamente gli elementi i cui indici sono divisibile per n; viceversa, se n e p -1 sono coprimi, tutti i numeri sono residui n -esimi. Nei casi intermedi è facile dimostrare che, se k = MCD(n,p -1), allora i residui n -esimi coincidono con i residui k -esimi.

Il simbolo di Legendre e il criterio di Eulero[modifica]

Per indicare se un numero è residuo quadratico o meno, si può usare il cosiddetto simbolo di Legendre: questo è

Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (14)

Attraverso l'uso degli indici è facile dimostrare che

Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (15)

cioè il simbolo di Legendre è una funzione completamente moltiplicativa nel suo primo argomento. Questo avviene perché, se a e b sono entrambi residui o non residui, sommando i loro indici si avrà un indice pari, ovvero moltiplicandoli si avrà un residuo quadratico; viceversa, se uno è un residuo e l'altro no, l'indice del loro prodotto sarà dispari, e ab non è un residuo.

Un test generale ma di non molta utilità pratica è il criterio di Eulero. Posto Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (16), questo afferma che

Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (17)

Anche questo è banale se considerato con gli indici: se a è un residuo, allora esiste k tale che Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (18); quindi

Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (19)

Se viceversa a non è un residuo quadratico, allora Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (20), dove g è una radice primitiva e n è dispari, e

Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (21)

Poiché n è dispari, nP è congruo a P modulo p -1, ovvero

Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (22)

perché l'ordine di g è esattamente p -1.

Attraverso questo criterio si determina immediatamente la caratteristica quadratica di -1 modulo un qualsiasi primo p. Se infatti Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (23), ovvero Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (24), allora Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (25), e

Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (26)

Se invece Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (27), cioè Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (28), Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (29) e

Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (30)

L'unico caso rimanente è p =2, per cui -1=1 è (ovviamente) residuo quadratico.

Il lemma di Gauss[modifica]

Avanzando nello studio dei residui quadratici, il prossimo passo è il lemma di Gauss. Sia p un primo e a un numero compreso tra 0 e p (esclusi). Consideriamo i numeri Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (31) e sottraiamo p finché non rimane un numero compreso tra Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (32) e Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (33) (o, detto in un'altra maniera, prendiamo il valore assoluto modulo p di questi numeri). Sia k il numero di elementi negativi in questo insieme. Il lemma di Gauss afferma che

Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (34)

La dimostrazione di questo lemma è simile, per certi versi, alla dimostrazione del piccolo teorema di Fermat. È infatti ovvio che, se

Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (35)

allora Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (36), e quindi i vari numeri considerati non sono tra loro congrui modulo p. Allo stesso modo, se

Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (37)

allora Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (38) e quindi i e j non possono essere entrambi minori o uguali di P. Da questo segue che i numeri Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (39) sono congrui, in qualche ordine, all'insieme

Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (40)

dove si prende o il più o il meno. Sia k il numero di segni meno. Allora, moltiplicandoli tutti insieme abbiamo

Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (41)

e semplificando

Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (42)

come volevasi dimostrare.

Come conseguenza di questo lemma si può dimostrare un importante teorema: se p e q sono primi tali che Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (43) oppure Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (44), allora

Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (45)

Per il lemma di Gauss, infatti, il primo dei due simboli di Legendre dipende dal numero di interi dell'insieme Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (46) che sono negli intervalli

Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (47)

dove Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (48) o Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (49), a seconda di quale dei due sia un intero. (Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (50))

Questo può essere interpretato come il numero di multipli di a nei vari intervalli; ovvero, dividendo tutto per a, il numero di interi negli intervalli

Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (51)

e ponendo p=4ak+r,

Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (52)

cioè

Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (53)

Poiché a noi interessa solamente la parità del numero degli interi, e nessuno degli estremi degli intervalli è un intero, possiamo eliminare i vari multipli di k; quindi Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (54) dipende soltanto da r. Ma questo vuol dire che per ogni q congruo a r (cioè a p) modulo 4a la caratteristica quadratica è la stessa. Questo dimostra la prima parte del teorema. Se invece Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (55), allora, sostituendo r con 4a-r negli intervalli, si ha

Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (56)
Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (57)

che, come numero di interi, coincide col numero precedente.

Il caso a=2[modifica]

Consideriamo in particolare il caso a=2. Questo può essere trattato con lo stesso metodo visto precedentemente: sia p=8k+r un primo; i numeri 2, 4, 6, ..., 2P sono tutti minori di p, e quindi per il lemma di Gauss la caratteristica quadratica di 2 corrisponde a (-1)n, dove n è la parità del numero di quegli elementi maggiori di p/2. Sia x un numero minore di P.

Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (58)

equivale a

Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (59)

e ignorando 2k e 4k, che non variano la parità, si ottengono, come soluzioni di x in interi:

  • 0 soluzioni se r=1;
  • 1 soluzione se r=3 o r=5;
  • 2 soluzioni se r=7

e quindi 2 è residuo quadratico se Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (60) e non lo è altrimenti.

Naturalmente si poteva anche applicare il teorema generale dimostrato precedentemente, trovando un primo congruo a 1 modulo 8 e uno congruo a 3, e dedurne il comportamento per ogni p.

La legge di reciprocità[modifica]

La legge di reciprocità quadratica, infine, afferma che

Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (61)

o, detto a parole, che pa caratteristica quadratica di p modulo q e di q modulo p è la stessa a meno che non siano entrambi congrui a 3 modulo 4.

Supponiamo innanzitutto che Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (62), ovvero che Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (63) (possiamo supporre p>q) per un qualche intero a. Allora

Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (64)

e similmente

Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (65)

e quindi

Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (66)

Ora p e q hanno lo stesso resto nella divisione per 4a (p=4a+q) e quindi due dei coefficienti di Legendre sono uguali, e quindi il loro prodotto è 1. Cioè

Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (67)

che, per quanto abbiamo detto prima, è 1 se p è congruo a 1 modulo 4 e -1 altrimenti.

Se invece Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (68) si ha p+q=4a, e

Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (69)

così come

Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (70)

Questi due risultati sono di nuovo uguali per il teorema precedente, in quanto p e q hanno resti opposti nella divisione per 4a, e quindi sono uguali, e il loro prodotto è 1.

Esempi[modifica]

Per mostrare la potenza di questo teorema, calcoliamo ad esempio

Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (71)

Fattorizzando 637, abbiamo

Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (72)

719 è congruo a 3 modulo 4, così come 7 e 91; quindi

Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (73)
Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (74)

(considerando che Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (75)), e infine

Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (76)

e 637 è un residuo quadratico modulo 719.

Aritmetica modulare/Congruenze quadratiche - Wikibooks, manuali e libri di testo liberi (2024)

References

Top Articles
Latest Posts
Article information

Author: Lakeisha Bayer VM

Last Updated:

Views: 5796

Rating: 4.9 / 5 (69 voted)

Reviews: 84% of readers found this page helpful

Author information

Name: Lakeisha Bayer VM

Birthday: 1997-10-17

Address: Suite 835 34136 Adrian Mountains, Floydton, UT 81036

Phone: +3571527672278

Job: Manufacturing Agent

Hobby: Skimboarding, Photography, Roller skating, Knife making, Paintball, Embroidery, Gunsmithing

Introduction: My name is Lakeisha Bayer VM, I am a brainy, kind, enchanting, healthy, lovely, clean, witty person who loves writing and wants to share my knowledge and understanding with you.