(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
-
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 ?
-
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
-
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
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
-
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
-
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
-
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
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 30 invités