Let $x,y ∈ \mathbb{Z}$ and $a,b ∈ \mathbb{Z+}$, where $a\ne b$ and a,b are coprime
Let $a^x=b^y$
The only solution is when $x = 0$ and $y = 0$, but is it necessary to prove it?
I've got as far as saying:
$a^x$ has factors $a^n$, where $1 \le n \le x$
Likewise, $b^y$ has factors $b^m$, where $1 \le m \le y$
As $a,b$ are coprime, so are $a^n$ and $b^n$. In order for $a^x=b^y$, the "answer" ($a^x$ and $b^y$) must have:
(factors $a^n$) $\cap$ (factors $b^m$). These are mutually exclusive conditions, so it's impossible
Hence, $a^x$ and $b^y$ both cannot have factors $a$ or $b$. This only happens when $x, y = 0$
Is this sufficient, or indeed necessary? Thanks for any help