par sos-math(21) » dim. 26 janv. 2014 13:35
Bonjour,
Quelles conditions as-tu initialement pour a et b ?
Sont-ils premiers entre eux ?
Si on suppose ces deux entiers premiers entre eux, la première réponse est correcte,
la deuxième aussi, pour la troisième prend un diviseur commun p qui divise \(a+b\) et \(ab\). On peut supposer p premier.
donc \(p|a+b\) donc \(p|b(a+b)\) donc \(p|ab+b^2\) donc par soustraction \(p|ab+b^2-ab\) donc \(p|b^2\). Comme on a supposé p premier alors \(p|b\).
De la même manière, \(p|a^2\) et \(p|a\) donc \(p\) est un diviseur commun à \(a\) et \(b\). Comme ils sont premiers entre eux, on obtient une contradiction.
Donc cela permet de conclure que \(a+b\) et \(ab\) sont premiers entre eux.
Une autre façon de voir est d'utiliser le théorème de Bezout : si a et b sont premiers entre eux, alors il existe deux entiers u et v tels que \(au+bv=1\), en élevant au carré, on a :
\(1=(au)^2+(bv)^2+2abuv=(au)^2 + abv^2 + abu^2+(bv)^2- abv^2 + 2abuv - abu^2=...\) : je te laisse factoriser pour faire apparaitre \((a+b)U+abV=1\)
Pour les suivantes, tu peux aussi utiliser le fait que si a et b sont premiers entre eux, alors \(pgcd(a,bc)=pgcd(a,c)\).
Cela fait peut-être beaucoup de propriétés d'un coup...
Bon courage
Bonjour,
Quelles conditions as-tu initialement pour a et b ?
Sont-ils premiers entre eux ?
Si on suppose ces deux entiers premiers entre eux, la première réponse est correcte,
la deuxième aussi, pour la troisième prend un diviseur commun p qui divise [tex]a+b[/tex] et [tex]ab[/tex]. On peut supposer p premier.
donc [tex]p|a+b[/tex] donc [tex]p|b(a+b)[/tex] donc [tex]p|ab+b^2[/tex] donc par soustraction [tex]p|ab+b^2-ab[/tex] donc [tex]p|b^2[/tex]. Comme on a supposé p premier alors [tex]p|b[/tex].
De la même manière, [tex]p|a^2[/tex] et [tex]p|a[/tex] donc [tex]p[/tex] est un diviseur commun à [tex]a[/tex] et [tex]b[/tex]. Comme ils sont premiers entre eux, on obtient une contradiction.
Donc cela permet de conclure que [tex]a+b[/tex] et [tex]ab[/tex] sont premiers entre eux.
Une autre façon de voir est d'utiliser le théorème de Bezout : si a et b sont premiers entre eux, alors il existe deux entiers u et v tels que [tex]au+bv=1[/tex], en élevant au carré, on a :
[tex]1=(au)^2+(bv)^2+2abuv=(au)^2 + abv^2 + abu^2+(bv)^2- abv^2 + 2abuv - abu^2=...[/tex] : je te laisse factoriser pour faire apparaitre [tex](a+b)U+abV=1[/tex]
Pour les suivantes, tu peux aussi utiliser le fait que si a et b sont premiers entre eux, alors [tex]pgcd(a,bc)=pgcd(a,c)[/tex].
Cela fait peut-être beaucoup de propriétés d'un coup...
Bon courage