Let $,,$ and $$ be natural numbers, $>1$ and suppose that $,$ have no common factor.
Prove that:
If $(^+^)|(^+^)$ then $|$
Let $,,$ and $$ be natural numbers, $>1$ and suppose that $,$ have no common factor.
Prove that:
If $(^+^)|(^+^)$ then $|$
Clearly, $m\geq n$ thus let $m=nq+r$ for $0\leq r \leq n-1$ thus $$a^{m}+b^{m}\equiv a^{nq}(a^{r}+(-1)^{q}b^{r})\equiv 0\ (\mod a^{n}+b^{n})$$ thus if $q$ even $$a^{r}+b^{r}\equiv 0\ (\mod a^{n}+b^{n})$$ but which is not possible for any $0\leq r\leq n-1$ as $a>1$ and $\gcd(a,b)=1$ If $q$ is odd and $$a^{r}-b^{r}\equiv 0\ (\mod a^{n}+b^{n})$$ as $0 \leq r \leq n-1$ so , $r=0$ forced as $a\geq 2$ and $\gcd (a,b)=1$ thus $n|m$ and we are done.