0

Let $,,$ and $$ be natural numbers, $>1$ and suppose that $,$ have no common factor.

Prove that:

If $(^+^)|(^+^)$ then $|$

Meth
  • 11

1 Answers1

1

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.

  • Please explain how did you put $a^m+b^m$ congruent to$ a^nq(a^r + b^r.(-1)^k ) $. I mean where did $ (-1)^k $ came from – Meth Feb 02 '20 at 07:04
  • $b^{m}=b^{nq+r}=b^{nq}b^{r}=(b^{n})^{q}b^{r}=(a^{n}+b^{n}-a^{n})^{q}b^{r}=(-a^{n})^{q}b^{r}=(-1)^{q}a^{nq}b^{r}\equiv (\mod a^{n}+b^{n})$ –  Feb 02 '20 at 10:43
  • Now I need a like to my solution so please do!!! Lol just kidding !!! –  Feb 02 '20 at 10:44
  • I would’ve smashed that like button but I just joined yesterday. Dont ve enough ‘reputation’ to do that. – Meth Feb 02 '20 at 11:27
  • Babes it's okay , I am kidding!!! –  Feb 02 '20 at 12:02