expertwala.py

Created on February 22, 2024
791 Bytes
# Type your text here
soient a, b et c trois entiers relatifs non nuls.
Si a divise bc et a et b premiers entre eux alors a divise c.

Intuitivement ce théorème se comprend assez facilement :
Si a divise bc c’est qu’il peut être vu comme le produit de deux facteurs : 
  l’un divisant b et l’autre divisant c.

Le premier facteur étant donc un diviseur commun à a et b et le second, un 
facteur commun à a et c.

Si a et b sont premiers entre eux, leur seul facteur commun est 1 et donc le 
second facteur vaut a.
a divise alors c. 


pgcd (ac , bc) = lcl pgcd (a,b) = lcl
Or a \ bc et a \ ac donc a est un diviseur commun à ac et bc.
Il divise donc leur pgcd qui est lcl 

Ce théorème sera en particulier très utile pour résoudre les équations
diophantiennes.