$$ 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) $$
Linear combination of the dividends
$$ a/b \enspace et \enspace a/c \hspace{0.2em} \Longrightarrow \hspace{0.2em} a/(ub + vc) $$
Recap table of the properties of divisibility
Let \((a, k) \in (\mathbb{Z}^*)^2 \) be two non-zero integers, and \(b \in \mathbb{Z} \) an integer.
If \( ka / kb \), then:
So, \(b / a \).
$$ ka/kb \hspace{0.2em} \Longrightarrow \hspace{0.2em} a/b $$
Let \((a, b) \in (\mathbb{Z}^*)^2 \) be two non-zero integers, and \(c \in \mathbb{Z} \) an integer.
If \( a/b \) and \( b/c \), then:
$$ \exists (k, k') \in \mathbb{Z}, \enspace \Biggl \{ \begin{gather*} b = ka \\ c = k'b \end{gather*} $$
So,
Therefore \( a/c \). We definitely have:
$$ a/b \enspace and \enspace b/c \hspace{0.2em} \Longrightarrow \hspace{0.2em} a/c $$
Let \(a \in \mathbb{Z^*} \) be a non-zero integer, and \((b , c) \in \hspace{0.05em}\mathbb{Z}^2 \) two integers.
If \( a/b \) and \( a/c \), then:
$$ \exists (k, k') \in \mathbb{Z}, \enspace \Biggl \{ \begin{gather*} b = ka \\ c = k'a \end{gather*}$$
So,
Therefore \( a/(b + c) \). We definitely have:
$$ a/b \enspace et \enspace a/c \hspace{0.2em} \Longrightarrow \hspace{0.2em} a/(b + c) $$
We will also have, by extension:
Let \(a \in \mathbb{Z^*} \) be a non-zero integer, \((b , c) \in \hspace{0.05em}\mathbb{Z}^2 \) two integers.
If \( a/b \) and \( a/c \), then:
$$ \exists (k, k') \in \mathbb{Z}, \enspace \Biggl \{ \begin{gather*} b = ka \\ c = k'a \end{gather*}$$
Moreover,
$$ \exists (u, v) \in \mathbb{Z}, \enspace \Biggl \{ \begin{gather*} ub = uka \\ vc = vk'a \end{gather*}$$
So,
Therefore \( a/(ub + vc) \). We definitely have:
$$ a/b \enspace et \enspace a/c \hspace{0.2em} \Longrightarrow \hspace{0.2em} a/(ub + vc) $$
We will say that \( a \) divides all linear combinations of \( b \) and \( c \).
Go to the top of the page
