Science:Math Exam Resources/Courses/MATH437/December 2006/Question 07
Work in progress: this question page is incomplete, there might be mistakes in the material you are seeing here.
• Q1 • Q2 • Q3 • Q4 • Q5 • Q6 • Q7 • Q8 •
Question 07 

Show that the only integer solutions to the equation are and 
Make sure you understand the problem fully: What is the question asking you to do? Are there specific conditions or constraints that you should take note of? How will you know if your answer is correct from your work only? Can you rephrase the question in your own words in a way that makes sense to you? 
If you are stuck, check the hints below. Read the first one and consider it for a while. Does it give you a new idea on how to approach the problem? If so, try it! If after a while you are still stuck, go for the next hint. 
Hint 1 

Keep in mind that because there are solutions to this equation, trying anything locally (that is, reducing modulo a prime) will not help you. 
Hint 2 

With a computer, it would be easy to solve for the integer points on an elliptic curve. Given that this is an exam question, algebraic number theory is probably your saving grace. 
Hint 3 

Factor the left hand side over . 
Hint 4 

Dirichlet's unit theorem says that the unit group of this field's ring of integers is trivial (that is, it is only ). Keep in mind that since , the ring of integers here is given by . Also, this is one of the special fields with class number 1 (or alternatively notice that this is a Euclidean domain) and so its ring of integers in particular is a unique factorization domain. 
Hint 5 

Don't forget to show that the factors on the left are coprime. For this you might want to refer back to the original equation. 
Checking a solution serves two purposes: helping you if, after having used all the hints, you still are stuck on the problem; or if you have solved the problem and would like to check your work.

Solution 

Found a typo? Is this solution unclear? Let us know here.
Please rate my easiness! It's quick and helps everyone guide their studies. We proceed as in the hints. We factor the left hand side in as . Since , the ring of integers here is given by which is a unique factorization domain. We compute the greatest common divisor of the terms on the left hand side. Let , the ideal generated by these two elements. Now notice that in the equation , if x is even, then modulo 8 considerations show that and this is a contradiction since the only odd square is 1 modulo 8. Thus, x is odd and so y is even. We may further suppose that these factors are coprime for otherwise, if a prime p divides both x and y, then it must divide 11 and hence must equal 11. Rewriting the equation would then give
or simplified
and hence 11 divides 1 which is a contradiction. So y is even and x and y are coprime. Further, we have that
and that
Hence and thus, the two elements are coprime. Thus, we may write
where above, the right hand side absorbs the units since (and we relabeled the values) where . Expanding and comparing coefficients yields
or simplified
The second equation tells us that since it must be a factor of 8. Checking these 8 values shows that only or gives admissable values. This leads to the points or The first point gives and the second point yields . These correspond to the given points and thus complete the problem. 