If $\,\mathrm{gcd}(a,b)=1,\;d=ac,\;$ and $\,b\mid d,\,$ then $\,b\mid c.$

For example, $45=9\times 5$ is divisible by $3$ and $\mathrm{gcd}(3,5)=1$ and $3$ divides $9$. But it is easily noticeable that it just represents the natural property of a number and its multiple.

How can I proof it with mathematical formal way i.e using any sort of notation.

  • Since $\gcd{(a,b)}=1$, you can always find integers $m$ and $n$ such that $$m \cdot a + n \cdot b=1$$ From the above you have $$m \cdot (ac) + n \cdot bc =c \qquad \cdots (1)$$

  • Use $d= ac$ and $b \mid d$ we have $d=k_{1}b$ in the above equation to get the answer.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.