Let $a, b$ and $n$ be natural numbers. Prove that if $a^n$ and $b^n$ are relatively prime, then $a$ and $b$ are relatively prime.

alternative-proofcoprimegcd-and-lcmproof-verification

Let $a, b$ and $n$ be natural numbers. Prove that if $a^n$ and $b^n$ are relatively prime, then $a$ and $b$ are relatively prime.

I have been able to prove the above statement by contrapositive in the following way: If $a$ and $b$ are not relatively prime, then $a^n$ and $b^n$ are not relatively prime.

Suppose $a$ and $b$ are not relatively prime. Then $\exists d \in \mathbb{N}$ such that $ d \vert a \wedge d \vert b $ where $d>1$.

Let $n \in \mathbb{N}$.

Since $$a^n = \overbrace{a\cdot a \dots \cdot a}^{n\text{-times}}$$ and $$b^n = \overbrace{b\cdot b \dots \cdot b}^{n\text{-times}}$$ then $$d \vert a^n \wedge d \vert b^n$$ which just implies that $a^n$ and $b^n$ are not relatively prime.

Could someone also show the direct proof?

Best Answer

Since $\gcd(a^n,b^n)=1,\exists x,y\in\Bbb Z|a^nx+b^ny=1\implies a\cdot(a^{n-1}x)+b\cdot(b^{n-1}y)=1$.

Thus, $\exists p=a^{n-1}x,q=b^{n-1}y$, both integers, such that $ap+bq=1\implies\gcd(a,b)=1$.

Related Question