Divisibilité et PGCD
Posté : jeu. 17 oct. 2013 20:01
Bonjour,
J'ai besoin de votre expertise pour cet exercice qui me donne du mal.
Il est articulé autour des propriétés de la divisibilité et du PGCD.
Soit \((m,n)\in\mathbb{N}^2\), deux entiers naturels quelconques,
on considère les nombres :
\(A=11m+2n\) et \(B=18m+5n\)
1°) Démontrer l'équivalence : \(19|A\quad\Longleftrightarrow\quad 19|B\)
2°) On suppose \(m\wedge n=1\), montrer que \(A\) et \(B\)
ne peuvent avoir d'autre diviseur commun que \(1\) et \(19.\)
_______________________________________________
1°) \(19=55\times 11-18\times 2\) est le déterminant de ce petit système en \(n\) et \(m.\)
On en déduit immédiatement que : \(19|m\) et \(19|n\).
Maintenant j'utilise la règle de la distributivité de l'implication et, j'espère, sans se vautrer !?
\(\Big[(19|m\) et \(19|n)\Rightarrow 19|A\Big]\Rightarrow\Big[(19|m\) et \(19|n)\Rightarrow 19|B\Big]\text{ donc }(19|m\) et \(19|n)\Rightarrow(19|A\Rightarrow 19|B)\)
De la même façon : \((19|B\Rightarrow 19|A)\text{ donc }(19|A\quad\Longleftrightarrow\quad 19|B).\quad\) CQFD ?
2°) Montrer que \(A\) et \(B\) ne peuvent avoir d'autre diviseur commun que \(1\) et \(19\) (nb 1er) équivaut à dire que : \(A\wedge B=19.\)
Ce qui revient à démontrer que : \((m\wedge n=1)\quad\Longrightarrow\quad(A\wedge B=19)\ ?\)
J'attends vos réponses/conseils,
Merci @+
J'ai besoin de votre expertise pour cet exercice qui me donne du mal.
Il est articulé autour des propriétés de la divisibilité et du PGCD.
Soit \((m,n)\in\mathbb{N}^2\), deux entiers naturels quelconques,
on considère les nombres :
\(A=11m+2n\) et \(B=18m+5n\)
1°) Démontrer l'équivalence : \(19|A\quad\Longleftrightarrow\quad 19|B\)
2°) On suppose \(m\wedge n=1\), montrer que \(A\) et \(B\)
ne peuvent avoir d'autre diviseur commun que \(1\) et \(19.\)
_______________________________________________
1°) \(19=55\times 11-18\times 2\) est le déterminant de ce petit système en \(n\) et \(m.\)
On en déduit immédiatement que : \(19|m\) et \(19|n\).
Maintenant j'utilise la règle de la distributivité de l'implication et, j'espère, sans se vautrer !?
\(\Big[(19|m\) et \(19|n)\Rightarrow 19|A\Big]\Rightarrow\Big[(19|m\) et \(19|n)\Rightarrow 19|B\Big]\text{ donc }(19|m\) et \(19|n)\Rightarrow(19|A\Rightarrow 19|B)\)
De la même façon : \((19|B\Rightarrow 19|A)\text{ donc }(19|A\quad\Longleftrightarrow\quad 19|B).\quad\) CQFD ?
2°) Montrer que \(A\) et \(B\) ne peuvent avoir d'autre diviseur commun que \(1\) et \(19\) (nb 1er) équivaut à dire que : \(A\wedge B=19.\)
Ce qui revient à démontrer que : \((m\wedge n=1)\quad\Longrightarrow\quad(A\wedge B=19)\ ?\)
J'attends vos réponses/conseils,
Merci @+