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 ${\displaystyle a}$ e ${\displaystyle b}$ sono interi (entrambi non nulli) e il loro massimo comun divisore è ${\displaystyle d}$, allora esistono due interi ${\displaystyle x}$ e ${\displaystyle y}$ tali che

${\displaystyle ax+by=d.}$

Tali coppie di numeri ${\displaystyle (x,y)}$ 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 ${\displaystyle 12}$ e ${\displaystyle 42}$: il massimo comune divisore è ${\displaystyle 6}$, e possiamo scrivere

${\displaystyle (-3)\cdot 12+1\cdot 42=6,}$

ma anche

${\displaystyle 4\cdot 12+(-1)\cdot 42=6.}$

In effetti, a partire da una soluzione ${\displaystyle (x_{0},y_{0})}$, si dimostra, attraverso il lemma di Euclide, che l'insieme delle soluzioni è costituito da elementi del tipo

${\displaystyle a\left(x_{0}-k{\frac {b}{d}}\right)+b\left(y_{0}+k{\frac {a}{d}}\right)=d,\quad {\text{ per }}k\in \mathbb {Z} .}$

L'identità di Bézout è equivalente all'asserzione che la congruenza lineare ${\displaystyle ax\equiv d\mod b}$ (dove ${\displaystyle d}$ è il massimo comun divisore di ${\displaystyle a}$ e ${\displaystyle b}$) ammette una soluzione ${\displaystyle x}$ modulo ${\displaystyle b}$.

L'identità è valida non solo nell'anello degli interi, ma più in generale in qualunque altro dominio ad ideali principali. Detto esplicitamente, se ${\displaystyle R}$ è un dominio ad ideali principali, ${\displaystyle a}$ e ${\displaystyle b}$ sono elementi di ${\displaystyle R}$, e ${\displaystyle d}$ è un massimo comune divisore di ${\displaystyle a}$ e ${\displaystyle b}$, allora esistono elementi ${\displaystyle x}$ e ${\displaystyle y}$ in ${\displaystyle R}$ tali che ${\displaystyle ax+by=d}$. Inoltre i massimi comun divisori di ${\displaystyle a}$ e ${\displaystyle b}$ sono tutti e soli i generatori dell'ideale ${\displaystyle (a,b)}$.

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.

Questa stessa proprietà vale per una quantità arbitraria di numeri: dati ${\displaystyle n}$ numeri ${\displaystyle (a_{1},a_{2},a_{3},\ldots ,a_{n})}$, se ${\displaystyle d}$ è il loro massimo comun divisore, esiste una ${\displaystyle n}$-upla ${\displaystyle (x_{1},x_{2},\ldots ,x_{n})}$ tale che

${\displaystyle a_{1}x_{1}+a_{2}x_{2}+\cdots +a_{n}x_{n}=d.}$

L'identità di Bézout si applica anche ai polinomi a coefficienti in un campo. Infatti, se ${\displaystyle K}$ è un campo, l'anello ${\displaystyle K[x]}$ è un dominio euclideo, e quindi anche un dominio ad ideali principali. Ad esempio, questa proprietà vale in ${\displaystyle \mathbb {Q} [x]}$ e in ${\displaystyle \mathbb {R} [x]}$.

• Equazione diofantea
• Equazione diofantea lineare
• Equazione diofantea quadratica
• Algoritmo di Euclide
• Massimo comun divisore

• 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 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(Fn) · 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

V · D · M 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