Histopathology image classification: Highlighting the gap between manual analysis and AI automation | LiMSforum.com - The Global Laboratory, Informatics, Medical and Science Professional Community | LiMSforum.com – The Global Laboratory, Informatics, Medical and Science Professional Community

In matematica, nella teoria dei numeri, la legge di reciprocità quadratica riguarda la risolubilità relativa in aritmetica modulare di due equazioni quadratiche correlate, dando le condizioni per cui entrambe, nessuna o una sola di esse hanno soluzione. Come conseguenza, ci permette di determinare la risolubilità di una qualunque equazione quadratica in aritmetica modulare.

È stata inizialmente congetturata da Eulero e Legendre, e dimostrata in maniera soddisfacente da Gauss nel 1796.

Enunciato

Siano p e q due differenti numeri primi diversi da 2. Questo implica, in particolare, che p e q sono congrui a 1 oppure a 3 (mod 4). Se almeno uno di essi è congruo a 1 mod 4, allora la congruenza

x^{2}\equiv p\ ({\rm {mod}}\ q)

ha una soluzione x se e solo se la congruenza

y^{2}\equiv q\ ({\rm {mod}}\ p)

ha una soluzione y (le due soluzioni in genere saranno differenti). Se invece entrambi i numeri primi sono congrui a 3 mod 4, allora la congruenza

x^{2}\equiv p\ ({\rm {mod}}\ q)

ha una soluzione x se e solo se la congruenza

y^{2}\equiv q\ ({\rm {mod}}\ p)

non ha alcuna soluzione.

Utilizzando il simbolo di Legendre

\left({\frac {p}{q}}\right)=\left\{{\begin{matrix}1&(p\ \mathrm {quadrato\ mod\ } q)\\-1&(\mathrm {altrimenti} )\end{matrix}}\right.

si può riassumere il tutto come

\left({\frac {p}{q}}\right)\left({\frac {q}{p}}\right)=(-1)^{\frac {(p-1)(q-1)}{4}}.

Dato che ${\frac {(p-1)(q-1)}{4}}$ è pari se almeno uno tra p e q è congruo a 1 mod 4, e dispari solo quando sia p che q sono congrui a 3 mod 4, $\left({\frac {p}{q}}\right)\left({\frac {q}{p}}\right)$ è uguale a 1 se almeno uno tra p e q è congruo a 1 mod 4, ed è uguale a – 1 quando sia p che q sono congrui a 3 mod 4.

Esempio

Se prendiamo ad esempio p pari a 11 e q a 19, la legge di reciprocità quadratica ci dice che $\left({\frac {11}{19}}\right)$ = $-\left({\frac {19}{11}}\right)$ , che a sua volta è uguale a $-\left({\frac {8}{11}}\right)$ o $-\left({\frac {-3}{11}}\right)$ per le proprietà dell'aritmetica modulare. Per proseguire, ci occorre un procedimento per calcolare esplicitamente $\left({\frac {2}{q}}\right)$ e $\left({\frac {-1}{q}}\right)$ . Dato che

\left({\frac {-1}{q}}\right)=(-1)^{\frac {q-1}{2}}

possiamo proseguire vedendo che $-\left({\frac {-3}{11}}\right)$ = $\left({\frac {3}{11}}\right)$ , e continuare la catena con $-\left({\frac {11}{3}}\right)$ , $-\left({\frac {2}{3}}\right)$ o $-\left({\frac {-1}{3}}\right)=1$ , completando così il calcolo.

Varie

Gauss fu assai fiero di tale legge, da lui definita Aureum Theorema, tanto che negli anni ne pubblicò svariate dimostrazioni. Il libro di Franz Lemmermeyer Reciprocity Laws: From Euler to Eisenstein, pubblicato nel 2000, contiene citazioni di 196 dimostrazioni differenti della legge di reciprocità quadratica.

Esistono anche leggi di reciprocità cubica, quartica (biquadratica) e per esponenti maggiori; ma già due delle radici cubiche di 1 (radici dell'unità) non sono numeri reali, e quindi tali reciprocità sono al di fuori dell'aritmetica dei numeri razionali.

Il lemma di Gauss tratta delle proprietà dei residui quadratici e viene usato in due delle dimostrazioni gaussiane della legge.

Bibliografia

H. Davenport, Aritmetica superiore, Zanichelli, Bologna, 1994, ISBN 88-08-09154-6 - Capitolo III.5

Collegamenti esterni

Reciprocita quadratica, legge di, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
(EN) quadratic reciprocity law, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
(EN) Eric W. Weisstein, Quadratic Reciprocity Theorem, su MathWorld, Wolfram Research.
(EN) Quadratic reciprocity law, su Encyclopaedia of Mathematics, Springer e European Mathematical Society.

Algebra

Numeri

Naturali · Interi · Razionali · Irrazionali · Algebrici · Trascendenti · Reali · Complessi · Numero ipercomplesso · Numero p-adico · Duali · Complessi iperbolici

Principi fondamentali

Principio d'induzione · Principio del buon ordinamento · Relazione di equivalenza · Relazione d'ordine · Associatività della potenza

Algebra elementare

Equazione · Disequazione · Polinomio · Triangolo di Tartaglia · Teorema binomiale · Teorema del resto · Lemma di Gauss · Teorema delle radici razionali · Regola di Ruffini · Criterio di Eisenstein · Criterio di Cartesio · Disequazione con il valore assoluto · Segno · Metodo di Gauss-Seidel · Polinomio simmetrico · Funzione simmetrica

Elementi di Calcolo combinatorio

Fattoriale · Permutazione · Disposizione · Combinazione · Dismutazione · Principio di inclusione-esclusione

Concetti fondamentali di Teoria dei numeri

Primi	Numero primo · Teorema dell'infinità dei numeri primi · Crivello di Eratostene · Crivello di Atkin · Test di primalità · Teorema fondamentale dell'aritmetica
Divisori	Interi coprimi · Identità di Bézout · MCD · mcm · Algoritmo di Euclide · Algoritmo esteso di Euclide · Criteri di divisibilità · Divisore
Aritmetica modulare	Teorema cinese del resto · Piccolo teorema di Fermat · Teorema di Eulero · Funzione φ di Eulero · Teorema di Wilson · Reciprocità quadratica

Teoria dei gruppi

Gruppi	Gruppo (finito · ciclico · abeliano) · Gruppo primario · Gruppo quoziente · Gruppo nilpotente · Gruppo risolubile · Gruppo simmetrico · Gruppo diedrale · Gruppo semplice · Gruppo sporadico · Gruppo mostro · Gruppo di Klein · Gruppo dei quaternioni · Gruppo generale lineare · Gruppo ortogonale · Gruppo unitario · Gruppo unitario speciale · Gruppo residualmente finito · Gruppo spaziale · Gruppo profinito · Out(F_n) · Parola · Prodotto diretto · Prodotto semidiretto · Prodotto intrecciato
Teoremi	Alternativa di Tits · Teorema di isomorfismo · Teorema di Lagrange · Teorema di Cauchy · Teoremi di Sylow · Teorema di Cayley · Teorema di struttura dei gruppi abeliani finiti · Lemma della farfalla · Lemma del ping-pong · Classificazione dei gruppi semplici finiti
Sottoinsiemi	Sottogruppo · Sottogruppo normale · Sottogruppo caratteristico · Sottogruppo di Frattini · Sottogruppo di torsione · Classe laterale · Classe di coniugio · Serie di composizione
Omomorfismo · Isomorfismo · Automorfismo interno · Automorfismo esterno · Permutazione · Presentazione di un gruppo · Azione di gruppo

Teoria degli anelli

Anello (artiniano · noetheriano · locale) · Caratteristica · Ideale (primo · massimale) · Dominio (a fattorizzazione unica · a ideali principali · euclideo) · Matrice · Anello semplice · Anello degli endomorfismi · Teorema di Artin-Wedderburn · Modulo · Dominio di Dedekind · Estensione di anelli · Teorema della base di Hilbert · Anello di Gorenstein · Base di Gröbner · Prodotto tensoriale · Primo associato

Teoria dei campi

Campo · Polinomio irriducibile · Polinomio ciclotomico · Teorema fondamentale dell'algebra · Campo finito · Automorfismo · Endomorfismo di Frobenius
Estensioni	Campo di spezzamento · Estensione di campi · Estensione algebrica · Estensione separabile · Chiusura algebrica · Campo di numeri · Estensione normale · Estensione di Galois · Estensione abeliana · Estensione ciclotomica · Teoria di Kummer
Teoria di Galois	Gruppo di Galois · Teoria di Galois · Teorema fondamentale della teoria di Galois · Teorema di Abel-Ruffini · Costruzioni con riga e compasso

Altre strutture algebriche

Magma · Semigruppo · Corpo · Spazio vettoriale · Algebra su campo · Algebra di Lie · Algebra differenziale · Algebra di Clifford · Gruppo topologico · Gruppo ordinato · Quasi-anello · Algebra di Boole

argomenti

Teoria delle categorie · Algebra lineare · Algebra commutativa · Algebra omologica · Algebra astratta · Algebra computazionale · Algebra differenziale · Algebra universale

Teoria dei numeri
Numeri più usati	Naturali · Interi · Pari e dispari
Principi generali	Principio d'induzione · Principio del buon ordinamento · Relazione di equivalenza
Successioni di interi	Fattoriale · Successione di Fibonacci · Numero di Catalan · Numero di Perrin · Numero di Eulero · Successione di Mian-Chowla · Successione di Thue-Morse
Caratteristiche dei numeri primi	Numero primo · Lemma di Euclide · Teorema dell'infinità dei numeri primi · Crivello di Eratostene · Test di primalità · Teorema fondamentale dell'aritmetica · Interi coprimi · Identità di Bézout · MCD · mcm · Algoritmo di Euclide · Algoritmo esteso di Euclide · Teorema dei numeri primi
Funzioni aritmetiche	Funzione moltiplicativa · Funzione additiva · Convoluzione di Dirichlet · Funzione φ di Eulero · Funzione di Möbius · Funzione tau sui positivi · Funzione sigma · Funzione di Liouville · Funzione di Mertens
Aritmetica modulare	Teorema cinese del resto · Piccolo teorema di Fermat · Teorema di Eulero · Criteri di divisibilità · Teorema di Fermat sulle somme di due quadrati · Teorema di Wilson · Legge di reciprocità quadratica
Congetture	Congettura di Goldbach · Congettura di Polignac · Congettura abc · Congettura dei numeri primi gemelli · Congettura di Legendre · Nuova congettura di Mersenne · Congettura di Collatz · Ipotesi di Riemann
Altro	Problema di Waring
Principali teorici	Fibonacci · Fermat · Gauss · Eulero · Legendre · Riemann · Dirichlet
Discipline connesse	Teoria algebrica dei numeri · Teoria analitica dei numeri · Crittografia · Teoria computazionale dei numeri

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica