Bezout, identita di
Bézout, identità di detta anche lemma di Bézout, proprietà algebrica che si esprime in questo modo: se m e n sono due numeri interi non nulli e d è il loro massimo comune divisore, allora esistono due numeri interi a e b tali che am + bn = d. I due numeri a e b non sono univocamente determinati; l’identità, inoltre, può essere generalizzata a una n-pla qualunque di numeri interi non nulli in relazione al loro massimo comune divisore. Un’analoga identità vale anche nell’anello dei polinomi a coefficienti in un campo e più in generale in un arbitrario dominio euclideo. In tutti questi casi, infatti, la validità di una identità di Bézout segue dal poter applicare l’algoritmo di Euclide per il calcolo del massimo comune divisore di due elementi. L’identità di Bézout può anche essere considerata come una particolare equazione diofantea: l’equazione mx + ny = 1 (con m e n interi) ha soluzioni intere se e solo se m e n sono primi tra loro.