Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

So I'm asked to show that the equation $x^{13} + 12x + 13y^6 = 1$ doesn't have integer solutions.

I'm not quite sure how to approach the problem as this doesn't seem to look like anything I had in my number theory course so far (or perhaps I missed this particular lecture).

In similar problems where the exponents are not that high, I generally can look for solutions mod n for some small n natural, so that's where I decided to start.

I started looking for solutions for each component of this equation in mod 2. Basically, 12x is always congruent to 0 mod 2.

$x^{13}$ is congruent to 0 mod 2 when x is even, and congruent to 1 otherwise.

$13y^6$ is congruent to 0 mod 2 when y is even, and congruent to 1 otherwise.

However, all I could conclude is that there can be no integer solutions when both x and y are even, or when both x and y are odd. It looks like when x is even and y is odd (or vice-versa) there could be a solution and I can't show otherwise...

Perhaps I started it all wrong, but that's all I could come up with so far. I would appreciate if someone could point a different direction or help me finish with this. Thanks in advance!

share|improve this question
add comment

2 Answers

Hint: Consider modulo 13. Use Fermat's Little Theorem to conclude that if there are any solutions, then $ 0 \equiv 1 \pmod{13} $.

share|improve this answer
    
+1 As simple as that –  DonAntonio Apr 7 '13 at 3:48
    
I felt discouraged from trying mods much higher than 2 due to the exponents and coefficients, but I wasn't considering Fermat's Little Theorem. –  Bronski Apr 7 '13 at 19:39
    
I posted my solution below. Thank you both very much for the tips :) –  Bronski Apr 7 '13 at 19:40
    
@Bronski At times, it can be hard to decide what mod to take. Sometimes, you have to take several mods before you can reach the conclusion. As Ross said, trying 12 or 13 makes a lot of sense in this problem. –  Calvin Lin Apr 8 '13 at 19:36
add comment

Hint: You have a good idea looking for solutions $\pmod n$, but $2$ is not the most effective $n$. There are lots of things going on near $12$ and $13$, so maybe you should look there. Note that $6=\frac {12}2$

share|improve this answer
1  
So here's what I got. Supposing the equation has integer solutions, and considering mod 13: From F.L.T, $x^{12} \equiv 1 mod 13$ $x^{12} + 12 \equiv 0 mod 13$ $x^{13} + 12x \equiv 0 mod 13$ Again, $y^{12} \equiv 1 mod 13$ $(y^{12})^{1/2} \equiv 1^{1/2} \equiv \pm 1 mod 13$ $13y^6 \equiv 0 mod 13$ Thus, $x^{13} + 12x + 13y^6 \equiv 0 mod 13.$ Since $x^{13} + 12x + 13y^6 = 1$, then $1 \equiv 0 mod 13$ Which is absurd. If the equation has no solutions modulus 13, then it has no integer solutions. –  Bronski Apr 7 '13 at 19:38
    
@Bronski: If you are working $\pmod {13}$ you don't have to worry about the $y^{12}$ (though what you said is right) because it is multiplied by zero. Good answer –  Ross Millikan Apr 8 '13 at 2:58
add comment

Your Answer

 
discard

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.