Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'm working through the problems in Niven's number theory book, and problem 46 in section 1.2 (page 19) has me stumped.

Prove that there are no positive integers $a, b, n > 1$ such that $(a^n - b^n) | (a^n + b^n)$.

I've tried playing around a bit (e.g. noticing that $a^n - b^n$ must divide $2a^n$ and $2b^n$), but in general I've just been going around in circles. Can anyone please provide a (small) hint in the right direction?

share|cite|improve this question
  1. Prove that it is enough to search for $a$, $b$ relatively prime.

  2. Use the useful fact that you have already noticed.

share|cite|improve this answer

As you said, it would imply that there is an integer $k$ such that $ka^n - kb^n = 2b^n$. Then, $ka^n = (2+k)b^n$. If $a$ and $b$ have a common factor, we can divide both sides by the nth power of it to get the same equality with $a$ and $b$ relatively prime.

The same way, if $k$ is even, we can divide both sides by $2$, to get $ka^n = (k+1)b^n$. In this case, $k$ and $k+1$ are relatively prime, so $a^n = k+1$ and $b^n = k$. But this cannot happen because consecutive numbers are not nth power of some integer.

If $k$ is not even, then $k$ and $k+2$ are relatively prime. Again, $ka^n = (k+2)b^n$, then implies that $a^n = k+2$ and $b^n = k$. But this cannot happen either.

share|cite|improve this answer

We can assume $a,b$ is coprime. Suppose we do have the relationship, then we have $(m-1)a^{n}=(m+1)b^{n}$. This would imply $\frac{m+1}{m-1}=(\frac{a}{b})^{n}$.

share|cite|improve this answer
How does this produce a contradiction? – Sky Jul 20 at 17:40

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.