×

# Diophantine Equations (Part 2)

Here is another interesting diophantine equation.

$$x^{2}+4y^{2}=(2xy-7)^{2}$$

Find all x and y so that they are integers

Note by Kevin H
4 years, 2 months ago

MarkdownAppears as
*italics* or _italics_ italics
**bold** or __bold__ bold

- bulleted
- list

• bulleted
• list

1. numbered
2. list

1. numbered
2. list
Note: you must add a full line of space before and after lists for them to show up correctly
paragraph 1

paragraph 2

paragraph 1

paragraph 2

> This is a quote
This is a quote
# I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
# I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
MathAppears as
Remember to wrap math in $$...$$ or $...$ to ensure proper formatting.
2 \times 3 $$2 \times 3$$
2^{34} $$2^{34}$$
a_{i-1} $$a_{i-1}$$
\frac{2}{3} $$\frac{2}{3}$$
\sqrt{2} $$\sqrt{2}$$
\sum_{i=1}^3 $$\sum_{i=1}^3$$
\sin \theta $$\sin \theta$$
\boxed{123} $$\boxed{123}$$

Sort by:

We write $(x+2y)^2 \; = \; x^2 + 4y^2 + 4xy \; = \; (2xy-7)^2 + 4xy \; = \; 4x^2y^2 - 24xy + 49 \; = \; (2xy-6)^2 + 13$ If we write $$a=x+2y$$ and $$b=xy-3$$ we have $13 \; = \; a^2 - 4b^2 \; = \; (a + 2b)(a - 2b)$ We have the following possible factorisations: $\begin{array}{|c|c|c|c|} \hline a+2b & a-2b & a=x+2y & b=xy-3 \\ \hline 13 & 1 & 7 & 3 \\ 1 & 13 & 7 & -3 \\ -13 & -1 & -7 & -3 \\ -1 & -13 & -7 & 3 \\ \hline \end{array}$ There are four cases to consider:

1. If $$x+2y=7$$ and $$xy-3=3$$ then $$6 = xy = (7-2y)y$$, so that $0 \; = \; 2y^2 - 7y + 6 \; = \; (2y -3)(y-2)$ and hence the only integer solution is $$y=2$$, with corresponding $$x=3$$.

2. If $$x+2y=7$$ and $$xy-3=-3$$ then $$0 = xy = (7-2y)y$$, so the only integer solution is $$y=0$$, with corresponding $$x=7$$.

3. If $$x+2y=-7$$ and $$xy-3=-3$$ then $$0 = xy = -(7+2y)y$$, so the only integer solution is $$y=0$$, with corresponding $$x=-7$$.

4. If $$x+2y=-7$$ and $$xy-3=3$$ then $$6 = xy = -(7+2y)y$$, so that $0 \; = \; 2y^2 + 7y + 6 \; = \; (2y + 3)(y + 2)$ and hence the only integer solution is $$y=-2$$, with corresponding $$x=-3$$.

Thus there are four solutions: $$(3,2)$$, $$(-3,-2)$$, $$(7,0)$$ and $$(-7,0)$$.

- 4 years, 2 months ago

My answer is (for all integral solutions only). Ordered pairs (x, y) = (7, 0), (-7, 0), (3, 2), (-3, -2)

Why is this so? We can decompose x^2 + 4y^2 = (x^2 + 4xy + 4y^2) - 4xy = (x + 2y + 2(sqrt(xy))) (x + 2y - 2 (sqrt(xy))) = 4(x^2)(y^2) - 24xy + 49

It is trivial putting xy = 0 which implies that either x or y is zero. If x is zero, then y = 7/2 or -7/2 which is not an interger. If y is zero, then x = 7 or -7.

Use the discriminant and we determine that the right-hand side of the polynomial is factorable but by complex imaginary numbers which is 4(xy)^2 - 24xy + 49 = (2xy - (6 + i sqrt(13)) (2xy - (6 - i sqrt(13)) = (2xy - 6)^2 + 13.

Further info: Regarding the factorized form of the right-hand side of the equation (on the last part), if you're going to observe the behavior especially when operations are applied, this a square number added always to 13. But since the difference of the perfect squares are increased by 2 which implies that there is only two pair of perfect squares of consecutive integers (the other is negative) that satisfy the condition. So the only pair that satisfy these conditions is 36 and 49.

We equate 49 (since it is greater). This implies that xy = 6 or 0. We already discussed for xy = 0 but for xy = 6 can be decomposed for 6 = (-1)(-6) = (-2)(-3) = (1)(6) = (2)(3). And by checking these values, hence, the answer.

- 4 years, 2 months ago

Sorry, but $$xy$$ does not have to be a square. $$x=3$$ and $$y=2$$ is a solution.

- 4 years, 2 months ago

Yes.. I edited... I just noticed before I edit this.. Thanks... The factoring mislead me..

- 4 years, 2 months ago