Identità di Bézout
In matematica, in particolare nella teoria dei numeri, l'identità di Bézout (o lemma di Bézout o identità di Bachet-Bézout) afferma che se e sono interi (non entrambi nulli) e il loro massimo comun divisore è , allora esistono due interi e tali che
Tali coppie di numeri possono essere determinate utilizzando l'algoritmo esteso di Euclide, ma non sono univocamente determinate (nel senso che esistono infinite coppie di numeri che soddisfano l'identità).
Per esempio, consideriamo i numeri e : il massimo comune divisore è , e possiamo scrivere
ma anche
In effetti, a partire da una soluzione , si dimostra, attraverso il lemma di Euclide, che l'insieme delle soluzioni è costituito da elementi del tipo
L'identità di Bézout è equivalente all'asserzione che la congruenza lineare (dove è il massimo comun divisore di e ) ammette una soluzione modulo .
L'identità è valida non solo nell'anello degli interi, ma più in generale in qualunque altro dominio ad ideali principali. Detto esplicitamente, se è un dominio ad ideali principali, e sono elementi di , e è un massimo comune divisore di e , allora esistono elementi e in tali che . Inoltre i massimi comun divisori di e sono tutti e soli i generatori dell'ideale .
L'identità di Bézout è così chiamata in onore del matematico francese Étienne Bézout (1730-1783). Ad essa viene anche associato il nome del matematico della Savoia Claude-Gaspard Bachet de Méziriac (1581-1638), autore della più famosa traduzione in latino dell'Aritmetica di Diofanto.
Generalizzazioni
Più numeri
Questa stessa proprietà vale per una quantità arbitraria di numeri: dati numeri , se è il loro massimo comun divisore, esiste una -upla tale che
Polinomi
L'identità di Bézout si applica anche ai polinomi a coefficienti in un campo. Infatti, se è un campo, l'anello è un dominio euclideo, e quindi anche un dominio ad ideali principali. Ad esempio, questa proprietà vale in e in .
Voci correlate
- Equazione diofantea
- Equazione diofantea lineare
- Equazione diofantea quadratica
- Algoritmo di Euclide
- Massimo comun divisore
Collegamenti esterni
- Bezout, identita di, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
- (EN) Eric W. Weisstein, Bézout's Identity, su MathWorld, Wolfram Research.
- Calcolatrice online per l'identità di Bézout.
V · D · M | ||
---|---|---|
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 |
Controllo di autorità | LCCN (EN) sh2007006114 · J9U (EN, HE) 987007535386805171 |
---|
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/af/Crystal128-kmplot.svg/25px-Crystal128-kmplot.svg.png)