$$ ka/kb \hspace{0.2em} \Longrightarrow \hspace{0.2em} a/b $$
$$ a/b \enspace et \enspace b/c \hspace{0.2em} \Longrightarrow \hspace{0.2em} a/c $$
$$ a/b \enspace et \enspace a/c \hspace{0.2em} \Longrightarrow \hspace{0.2em} a/(b + c) $$
Combinaison linéaire des dividendes
$$ a/b \enspace et \enspace a/c \hspace{0.2em} \Longrightarrow \hspace{0.2em} a/(ub + vc) $$
Soit \((a, k) \in (\mathbb{Z}^*)^2 \) deux entiers relatifs non nuls, \(b \in \mathbb{Z} \) un entier relatif.
Si \( ka / kb \), alors :
Alors, \(b / a \).
$$ ka/kb \hspace{0.2em} \Longrightarrow \hspace{0.2em} a/b $$
Soit \((a, b) \in (\mathbb{Z}^*)^2 \) deux entiers relatifs non nuls, \(c \in \mathbb{Z} \) un entier relatif.
Si \( a/b \) et \( b/c \), alors :
$$ \exists (k, k') \in \mathbb{Z}, \enspace \Biggl \{ \begin{gather*} b = ka \\ c = k'b \end{gather*} $$
Soit,
Donc \( a/c \). On a bien :
$$ a/b \enspace et \enspace b/c \hspace{0.2em} \Longrightarrow \hspace{0.2em} a/c $$
Soit \(a \in \mathbb{Z^*} \) un entier relatif non nul, \((b , c) \in \hspace{0.05em}\mathbb{Z}^2 \) deux entiers relatifs.
Si \( a/b \) et \( a/c \), alors :
$$ \exists (k, k') \in \mathbb{Z}, \enspace \Biggl \{ \begin{gather*} b = ka \\ c = k'a \end{gather*}$$
Soit,
Donc \( a/(b + c) \). On a bien :
$$ a/b \enspace et \enspace a/c \hspace{0.2em} \Longrightarrow \hspace{0.2em} a/(b + c) $$
On aura alors aussi, par extension :
Soit \(a \in \mathbb{Z^*} \) un entier relatif non nul, \((b , c) \in \hspace{0.05em}\mathbb{Z}^2 \) deux entiers relatifs.
Si \( a/b \) et \( a/c \), alors :
$$ \exists (k, k') \in \mathbb{Z}, \enspace \Biggl \{ \begin{gather*} b = ka \\ c = k'a \end{gather*}$$
Par ailleurs,
$$ \exists (u, v) \in \mathbb{Z}, \enspace \Biggl \{ \begin{gather*} ub = uka \\ vc = vk'a \end{gather*}$$
Soit,
Donc \( a/(ub + vc) \). On a bien :
$$ a/b \enspace et \enspace a/c \hspace{0.2em} \Longrightarrow \hspace{0.2em} a/(ub + vc) $$
On dira que \( a \) divise toutes les combinaisons linéaires de \( b \) et de \( c \).
Retour en haut de page
