Integers are Coprime iff Powers are Coprime

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $a, b \in \Z$ be integers.


Then:

$a \perp b \iff \forall n \in \N: a^n = b^n$


That is, two integers are coprime iff all their positive integer powers are coprime.


Proof