0
$\begingroup$

If I have three whole positive numbers $a, b$ and $c.$

If I form the product $a \cdot b$ and that product is divisible by $c.$

How can you prove the following assertion:

If the greatest common divisor of $b$ and $c$ is one, then $a$ must be divisible by $c.$

  • 1
    The traditional way is to solve $bx+cy=1$ and then multiply by $a$ to get $abx+acy=a$. Then $c\mid abx$ and $c\mid acy$ so... – 2017-02-01
  • 0
    @ThomasAndrews that may be traditional but, believe it or not I've never seen it. It's clever. – 2017-02-01
  • 1
    The main reason to prove it that way (instead of using unique factorization) is that this is a useful lemma for proving unique factorization. @fleablood – 2017-02-01
  • 0
    @fleablood It can also be presented in terms of gcds - see my answer in the linked dupe, where I highlight the relationship between both. – 2017-02-01
  • 0
    See [also here.](http://math.stackexchange.com/q/1210704/242) – 2017-02-01
  • 0
    Isn't proving Bezout's Identity equivalent or reliant or somehow redundant to the question being asked? I mean it works, but... intuitively it strikes me that this proposition, c|ab implies c|a if c and b are coprime. Is more fundamental and certainly more obvious than Bezout's identity. ... Meh, maybe that's just me. – 2017-02-01

3 Answers 3

0

Change of plan:

Basic tenet: If $\gcd(k,m) = 1$ then $k|N \iff k|Nm$.

Proof: If $k|N \implies k|Nm$ is obvious.

If $k|Nm$ let $p$ be prime so that $p|k$. Then $p|N$ or $p|m$. But we know $p \not \mid m$ so $p|N$. Let $k' = k/p$ and $N' = N/p$. We have $k'|N'm$ and $p|N$.

Do the same argument for $q|k'$ where $q$ is prime (note: it's possible that $p = q$). Then we get $\overline k = k'/q$ and $\overline N = N'/q$ and we have $\overline k|\overline Nm$ and $pq|N$.

Repeat inductively for every prime factor of $k$.

In the final step we'll conclude $1|m$ and $k = pqr.....|N$.

...

Then for any $a,b,c$ where $c|ab$ we have $c|ab = a\frac{b}{\gcd(b,c)}\gcd(b,c)$ and therefore $c|a\gcd(b,c)$ (because $\frac{b}{\gcd(b,c)}$ and $c$ are coprime). Always.

$c|ab \iff c|a\gcd(b,c)$ is always true.

And if $\gcd(b,c) = 1$ then $c|ab \iff c|a$.

=====

Let $c = \prod p_i^{k_i}$ be the prime factorization of $c$.

Then $c|ab$. But $\gcd(c,b) = 1$ so none of the prime factors of $c$ divide $b$. So they only divide $a$. so $c=\prod p_i^{k_i}|a$.

  • 0
    You don't need to use the prime factorization. This kind of problem is easily solved using the "trick" given by Thomas Andrews. – 2017-02-01
  • 0
    Okay, but... well, the problem I have with the "trick" is that knowing that $cx + by = 1$ has a solution is far less obvious and intuitive than that if $c|ab$ and $c$ and $b$ have no common factors then $c|a$. At least to me. The question as asked is "obvious" to me. I didn't actually use the prime factors. Any factor of c must be a factor of a. The only real issue whether c could be "more than the product of its factors". Breaking it to primes makes that clear. – 2017-02-01
0

You can start with Bezout's Identity:

$cx + by = 1$ for some $x,y \in \mathbb{Z}$

Then you multiply by $a$: $$acx + aby = a$$ Then you have $c|ac$ and $c|ab$ (hypothesis), so: $$c | (acx+aby) = a \Rightarrow c|a$$

  • 0
    What is a diffrence from the Thomas Andrews' comment? – 2017-02-01
  • 0
    The difference is that I didn't see Thomas Andrews comment when I started writing this. – 2017-02-01
0

Prove by induction. If $c=1$, $a$ must be divisable by $c$. If $c>1$, let $p$ be its prime divisor. Since $ab$ is divisable by $c$ and $c$ is divisable by $p$, $ab$ is divisable by $p$. But $b$ is not divisable by $p$, otherwise $p$ would be a common divisor of $b$ and $c$. Therefore $a$ is divisable by $p$. Let $a=pa'$, $c=pc'$, then $a'b/c' = ab/c$, so $a'b$ is divisable by $c'$. Since $gcd(b,c)=1$ and $c'$ is a divisor of $c$, $gcd(b, c')=1$. Therefore, $a'$ is divisable by $c'$. Since $a/c = a'/c'$, $a$ is divasable by $c$.

  • 0
    [See here](http://math.stackexchange.com/a/1210753/242) for a simpler inductive proof that works in any UFD. – 2017-02-01