(pgcd(a,b))²=pgcd(a²,b²)

Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
Sharudow
Messages: 3
Enregistré le: 27 Nov 2009, 18:42

(pgcd(a,b))²=pgcd(a²,b²)

par Sharudow » 27 Nov 2009, 19:14

Voila, ne vous inquiétez pas je sais démontrer cette proposition , mon problème est qu'un amis ma dit que l'on pouvait la démontrer de la manière suivante :

On sait qu'il existe (u,v) appartenant a Z² tel que pgcd(a,b)=au+bv
donc (pgcd(a,b))² =(au+bv)²
(en développant on retomberait sur quelque chose de la forme )
=a²(...)+b²(...)
=pgcd(a²,b²)
avec le contenu des pointillé appartenant a Z . Nous avons arrêté notre discussion car le contenu des pointillé n'est pas entier mais la question que je me pose est : même si s'était le cas pourrait il vraiment conclure ?



Avatar de l’utilisateur
Ben314
Le Ben
Messages: 21482
Enregistré le: 11 Nov 2009, 23:53

par Ben314 » 27 Nov 2009, 19:24

Non, pas tout à fait, car ,s'il est vrai que :
"pgcd(a,b)=d" implique "il existe u et v entiers tels que au+bv=d"
la réciproque n'est pas vraie : par exemple, le fait que 12*2-9*2=6 n'implique pas que pgcd(12,9)=6 !!!!
Donc, à la fin du raisonnement, le fait que D=(..)a^2+(..)b^2 n'impliquerais pas que D=pgcd(a^2,b^2)

Remarque :
"il existe u et v tels que d=au+bv" est EQUIVALENT à "d est un multiple de pgcd(a,b)"
Qui n'entend qu'un son n'entend qu'une sonnerie. Signé : Sonfucius

euler21
Membre Relatif
Messages: 313
Enregistré le: 26 Aoû 2009, 04:40

par euler21 » 28 Nov 2009, 02:24

Ben314 a écrit:
Remarque :
"il existe u et v tels que d=au+bv" est EQUIVALENT à "d est un multiple de pgcd(a,b)"

Bonsoir
Je voudrais ajouter que l'on n'a équivalence que dans le cas où d=1

Avatar de l’utilisateur
Ben314
Le Ben
Messages: 21482
Enregistré le: 11 Nov 2009, 23:53

par Ben314 » 28 Nov 2009, 10:36

Bonjour,
Il me semble bien que l'on a équivalence pour tout d :
1) Si d=k.pgcd(a,b), comme il existe u' et v' tels que pgcd(a,b)=u'a+v'b, alors d=(ku')a+(kv')b est bien de la forme ua+vb.
2) Si d=ua+vb alors, comme le pgcd(a,b) divise à la fois a et b, il divise d et on a bien d=k.pgcd(a,b).

En fait, cette équivalence est souvent prise comme definition du pgcd : si a et b sont deux entiers alors, comme Z est principal, l'idéal aZ+bZ est engendré par un élément (unique si on demande qu'il soit positif) et c'est cet élément que l'on appelle le pgcd(a,b) (ou UN pgcd si on ne demande pas qu'il soit positif). Cette définition a le bon gout de pouvoir s'appliquer a tout anneau principal et pas seulement aux anneaux euclidiens.
Qui n'entend qu'un son n'entend qu'une sonnerie. Signé : Sonfucius

yos
Membre Transcendant
Messages: 4858
Enregistré le: 10 Nov 2005, 22:20

par yos » 28 Nov 2009, 10:42

Oui . Euler21 voulait peut-être parler de l'équivalence

touzani mohamed
Messages: 1
Enregistré le: 29 Juin 2016, 12:09

Re:

par touzani mohamed » 29 Juin 2016, 12:29

mais en développant il n'y a pas que a² et b² ! d'autre part,le théorème dont vous vous servez n'est qu'une implication!

aymanemaysae
Habitué(e)
Messages: 1265
Enregistré le: 06 Sep 2013, 16:21

Re: (pgcd(a,b))²=pgcd(a²,b²)

par aymanemaysae » 30 Juin 2016, 02:43

Bonsoir;

pour démontrer que ^ ^, j'ai procédé comme suit :

Soit l'ensemble des nombres entiers naturels premiers.

Pour , la décomposition de n en produit de facteurs premiers est avec la valuation p-adique de n .

, on a et ,

donc et ,

donc a ^ b = ,

donc ^b = ,

et ^ = ^ .

Il y a d'autres démonstrations de cet exercice, mais j'aime toujours utiliser la décomposition en produit de facteurs premiers, quand l'occasion se présente.

bagabd
Membre Naturel
Messages: 45
Enregistré le: 26 Juin 2016, 18:16

Re: (pgcd(a,b))²=pgcd(a²,b²)

par bagabd » 20 Oct 2016, 01:35

et avec et ce qui implique que pour tout entier naturel (en particulier ).
et , donc .

On peut utiliser la bonne preuve de aymanemaysae pour n entier quelconque!

Kolis
Membre Relatif
Messages: 482
Enregistré le: 25 Sep 2015, 18:29

Re: Re:

par Kolis » 20 Oct 2016, 09:26

touzani mohamed a écrit:mais en développant il n'y a pas que a² et b² ! d'autre part,le théorème dont vous vous servez n'est qu'une implication!

Bonjour !
Exact pour le carré mais en calculant on obtient bien et même divisibles par . Donc on fait bien apparaître

Retourner vers ✯✎ Supérieur

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 30 invités

Tu pars déja ?



Fais toi aider gratuitement sur Maths-forum !

Créé un compte en 1 minute et pose ta question dans le forum ;-)
Inscription gratuite

Identification

Pas encore inscrit ?

Ou identifiez-vous :

Inscription gratuite