Does $\gcd(a,bc)$ divides $\gcd(a, b)\gcd(a, c)$?

Question

I want to prove that $\gcd(a,bc)$ divides $\gcd(a,b)\gcd(a,c)$ but I can't succeed.

I tried to go with $\gcd(a,b) = sa+tb$ and it didn't work, tried to use the fact that $\gcd(a,b)$ and $\gcd (a,c)$ divide $\gcd (a,bc)$ but got stuck again. please help.

Answer 1

Let $d=\gcd(a,bc)$ and $d_1=\gcd(a,b) $ and $d_2=\gcd(a,c)$. Then there exits $ s_1, s_2,t_1, \text{ and } t_2 \in \mathbb{Z}$ such that $$ d_1=s_1 a+t_1b$$ and $$d_2= s_2a+t_2 c $$then $$ d_1d_2 = s_1s_2 a^2 +s_1 t_2ac +t_1 s_2 ba + t_1 t_2 bc$$ but $d\mid a $ and $d\mid bc$ so $d\mid a^2$, $d\mid ac$, $d\mid ba$ and $d\mid bc$. Hence $d \mid d_1d_2$.

Answer 2

$$(\gcd(a,b)\cdot\gcd(a,c))\mathbb Z= \gcd(a,b)\mathbb Z\cdot\gcd(a,c)\mathbb Z=(a\mathbb Z+b\mathbb Z)\cdot(a\mathbb Z+c\mathbb Z)\subseteq a^2\mathbb Z+ac\mathbb Z+ab\mathbb Z+bc\mathbb Z\subseteq a\mathbb Z+bc\mathbb Z=\gcd(a,bc)\mathbb Z\Rightarrow\gcd(a,bc)\mid\gcd(a,b)\cdot\gcd(a,c).$$

Edit. The property holds for $a,b,c\in R$ with $R$ a GCD domain.

Let $d=(a,b)$ and $e=(a,c)$. Then $a=da_1$, $b=db_1$ with $(a_1,b_1)=1$, and $a=ea_2$, $c=ec_2$ with $(a_2,c_2)=1$. We have to show that $(a,bc)=(da_1,db_1c)=d(a_1,b_1c)\mid de$, that is, $(a_1,b_1c)\mid e$. Set $f=(a_1,b_1c)$. Since $f\mid a_1$ and $(a_1,b_1)=1$ we have $(f,b_1)=1$. Then $f\mid c$ and $f\mid a$, so $f\mid e$.

Answer 3

$d:=(a,bc)\mid \color{#c00}a,bc\, \Rightarrow\, d\mid \color{#c00}aa,\color{#c00}ab,\color{#c00}ac,bc\, \Rightarrow\, d\mid (aa,ab,ac,bc)=(a,b)(a,c)$

Answer 4

Let $p_i$ be the $i$-th prime. For any positive integer $n$, denote by $[n]_i$ or $n_i$ the exponent of $p_i$ in the prime factorization of $n$, i.e.

$$n=p_1^{n_1}p_2^{n_2}\cdots.$$

Let $i>0$. We have: $$ \begin{align*} [\gcd(a,b)]_i &=\min(a_i,b_i) \\ [\gcd(a,c)]_i &=\min(a_i,c_i) \\ [\gcd(a,bc)]_i &=\min(a_i,b_i+c_i) \end{align*} $$ Also, $$ \min(a_i,b_i+c_i)\le \min(a_i,b_i) + \min(a_i,c_i). $$ This can be seen by noting that $\min(a_i,b_i) + \min(a_i,c_i)\in\{2a_i,a_i+b_i,a_i+c_i,b_i+c_i\}$, where each possible value is no less than either $a_i$ or $b_i+c_i$ because $a_i,b_i,c_i\ge 0$. Thus, $[\gcd(a,bc)]_i\le [\gcd(a,b)]_i+[\gcd(a,c)]_i$, which translates to $\gcd(a,bc)\mid\gcd(a,b)\gcd(a,c)$.