Diophantine Equations 12.03.16
Diophantine Equations 12.03.16
Diophantine Equations 12.03.16
Definition 1
An equation of the form
a1 x1 + a2 x2 + · · · + an xn = b (1)
Theorem 2
The LDE
a1 x1 + a2 x2 + · · · + an xn = b
has a solution x1 , ..., xn ∈ Z if and only if gcd(a1 , a2 , . . . , an )|b
Quadratic Diophantine Equations (QDEs)
Definition 3
An equation of the form
n
X
aij xi xj = b (2)
i,j=1
x 2 + y 2 = z 2. (3)
Theorem 5
Any primitive solution of
x2 + y2 = z2
is of the form
x = m2 − n2 , y = 2mn, z = m2 + n2 (4)
Definition 6
Pell’s equation has the form
x 2 − dy 2 = 1 (5)
Definition 7
We say that (x0 , y0 ) is a fundamental solution of Pell’s equation if
x0 , y0 are positive integers that are minimal amongst all solutions.
The Graph of Pell’s Equation
Theorem 8
Pell’s equation has infinitely many solutions. Given the solution
(x0 , y0 ) the solution (xn+1 , yn+1 ) is given by
xn+1 = x0 xn + dy0 yn , x1 = x0 , n ≥ 1
(6)
yn+1 = y0 xn + x0 yn , y1 = y0 , n ≥ 1
Example 9
The equation x 2 − 2y 2 = 1, has the fund. sol. (x0 , y0 ) = (3,2). So
Example 11
Solve x 2 − 2y 2 = 1. The fund. sol. is (3,2). The general solution
is:
1 √ √ 1 √ √
xn = [(3+2 2)n +(3−2 2)n ], yn = √ [(3+2 2)n −(3−2 2)n ]
2 2 2
The General Form of Pell’s Equation
Definition 12
The general Pell’s equation has the form
ax 2 − by 2 = 1 (8)
u 2 − abv 2 = 1 (9)
Theorem 13
Let
ax 2 − by 2 = 1
have an integral solution. Let (A, B) solution for least positive
A, B. The general solution is
xn = Aun + bBvn
(10)
yn = Bun + aAvn
6x 2 − 5y 2 = 1 (11)
xn = un + 5vn , yn = un + 6vn
Training Problem 1
Problem 1
Find all integers n ≥ 1 such that 2n + 1 and 3n + 1 are both
perfect squares.
Training Problem 1
Problem 1
Find all integers n ≥ 1 such that 2n + 1 and 3n + 1 are both
perfect squares.
Observe that
2n + 1 = x 2 , 3n + 1 = y 2 =⇒ 3x 2 − 2y 2 = 1,
Definition 15
The negative Pell’s equation has the form
x 2 − dy 2 = −1 (12)
Definition 15
The negative Pell’s equation has the form
x 2 − dy 2 = −1 (12)
Theorem 16
Let (A, B) be the smallest positive solution to Eq. (12). Then the
general solution to Eq. (12) is given by
xn = Aun + dBvn
(13)
yn = Aun + Bvn
Problem 2
Find all pairs (k, m) such that
1 + 2 + · · · + k = (k + 1) + (k + 2) + · · · + m.
Training Problem 2
Problem 2
Find all pairs (k, m) such that
1 + 2 + · · · + k = (k + 1) + (k + 2) + · · · + m.
Problem 2
Find all pairs (k, m) such that
1 + 2 + · · · + k = (k + 1) + (k + 2) + · · · + m.
which is impossible.
Training Problem 5
which is impossible.
Therefore
y 2 + 3y ≤ 0 =⇒ y = 0, −1, −2, −3.
The solution set is (1, 0), (1, −2), (−2, −3).
Training Problem 6
Problem 6
Find positive integers x, y , z such that xy + yz + zx − xyz = 2
Training Problem 6
Problem 6
Find positive integers x, y , z such that xy + yz + zx − xyz = 2
We may assume that x ≤ y ≤ z.
Training Problem 6
Problem 6
Find positive integers x, y , z such that xy + yz + zx − xyz = 2
We may assume that x ≤ y ≤ z.
1. If x = 1 then the equation is y + z = 2 =⇒ (x, y , z) = (1, 1, 1)
Training Problem 6
Problem 6
Find positive integers x, y , z such that xy + yz + zx − xyz = 2
We may assume that x ≤ y ≤ z.
1. If x = 1 then the equation is y + z = 2 =⇒ (x, y , z) = (1, 1, 1)
2. If x = 2 then the equation is
2y + 2z − yz = 2 = (z − 2)(y − 2) =⇒ z = 4, y = 3.
Training Problem 6
Problem 6
Find positive integers x, y , z such that xy + yz + zx − xyz = 2
We may assume that x ≤ y ≤ z.
1. If x = 1 then the equation is y + z = 2 =⇒ (x, y , z) = (1, 1, 1)
2. If x = 2 then the equation is
2y + 2z − yz = 2 = (z − 2)(y − 2) =⇒ z = 4, y = 3.
3. If x ≥ 3 then x, y , z, ≥ 3 which yield
xyz ≥ 3xy
xyz ≥ 3yz
xyz ≥ 3zx
Training Problem 6
Problem 6
Find positive integers x, y , z such that xy + yz + zx − xyz = 2
We may assume that x ≤ y ≤ z.
1. If x = 1 then the equation is y + z = 2 =⇒ (x, y , z) = (1, 1, 1)
2. If x = 2 then the equation is
2y + 2z − yz = 2 = (z − 2)(y − 2) =⇒ z = 4, y = 3.
3. If x ≥ 3 then x, y , z, ≥ 3 which yield
xyz ≥ 3xy
xyz ≥ 3yz
xyz ≥ 3zx
Adding the above relations it follows that
3x = z 2 − 4y = (z − 2y )(z + 2y ).
Then
z − 2y = 3m and z + 2y = 3n , m > n ≥ 0, m + n = x.
Training Problem 7
Problem 7
Find the positive integers x, y , z such that 3x + 4y = z 2 .
3x = z 2 − 4y = (z − 2y )(z + 2y ).
Then
z − 2y = 3m and z + 2y = 3n , m > n ≥ 0, m + n = x.
Subtracting,
2y +1 = 3n − 3m = 3m (3n−m − 1)
=⇒ 3m = 1, n = x =⇒ 3n − 1 = 2y +1
Training Problem 7
Problem 7
Find the positive integers x, y , z such that 3x + 4y = z 2 .
3x = z 2 − 4y = (z − 2y )(z + 2y ).
Then
z − 2y = 3m and z + 2y = 3n , m > n ≥ 0, m + n = x.
Subtracting,
2y +1 = 3n − 3m = 3m (3n−m − 1)
=⇒ 3m = 1, n = x =⇒ 3n − 1 = 2y +1
1. If y = 0, then n = x = 1 and z = 2.
2. If y ≥ 1 then x = n = 2, y = 2, z = 3n − 2y = 5.
Training Problem 8
Problem 8
Find the positive integers x, y , z such that 3x − 1 = y z .
Training Problem 8
Problem 8
Find the positive integers x, y , z such that 3x − 1 = y z .
If z is even we get a contradiction. So z = 2k + 1.
Training Problem 8
Problem 8
Find the positive integers x, y , z such that 3x − 1 = y z .
If z is even we get a contradiction. So z = 2k + 1. Now
3x = y z +1 = y 2k+1 +1 = (y +1)(y 2k −y 2k−1 +y 2k−2 −· · ·+y 2 −y +1).
Training Problem 8
Problem 8
Find the positive integers x, y , z such that 3x − 1 = y z .
If z is even we get a contradiction. So z = 2k + 1. Now
3x = y z +1 = y 2k+1 +1 = (y +1)(y 2k −y 2k−1 +y 2k−2 −· · ·+y 2 −y +1).
Then y ≡ −1 mod 3.
Training Problem 8
Problem 8
Find the positive integers x, y , z such that 3x − 1 = y z .
If z is even we get a contradiction. So z = 2k + 1. Now
3x = y z +1 = y 2k+1 +1 = (y +1)(y 2k −y 2k−1 +y 2k−2 −· · ·+y 2 −y +1).
Then y ≡ −1 mod 3.
y 2k −y 2k−1 +· · ·+y 2 −y +1 ≡ 1 {z· · · + 1} ≡ (2k+1) ≡ 0
|+1+ mod 3.
2k +1
Therefore z = 2k + 1 = 3p, some p:
3x = y 3p + 1 = (y p + 1)(y 2p − y p + 1) =⇒ y p + 1 = 3s .
3x = 1 + y 3p = 1 + (3s − 1)3
= 33s − 3.32s + 3.3s
= 3s+1 (32s−1 − 35 + 1)
=⇒ 32s−1 − 3s = 0 =⇒ s = 1
=⇒ y p = 3s − 1 = 2 =⇒ y = 2, p = 1, x = 2, z = 3.
Training Problem 9
1. b = c = 1, a ≥ 1 is a solution. Let b ≥ 2.
Training Problem 9
1. b = c = 1, a ≥ 1 is a solution. Let b ≥ 2.
2. ab + 1 = (a + 1)c ≡ (−1)b + 1 ≡ 0 mod a + 1 =⇒ b odd
Training Problem 9
1. b = c = 1, a ≥ 1 is a solution. Let b ≥ 2.
2. ab + 1 = (a + 1)c ≡ (−1)b + 1 ≡ 0 mod a + 1 =⇒ b odd
3. (a + 1 − 1)b + 1 ≡ b(a + 1) ≡ 0 mod (a + 1)2 =⇒ a even
Training Problem 9
1. b = c = 1, a ≥ 1 is a solution. Let b ≥ 2.
2. ab + 1 = (a + 1)c ≡ (−1)b + 1 ≡ 0 mod a + 1 =⇒ b odd
3. (a + 1 − 1)b + 1 ≡ b(a + 1) ≡ 0 mod (a + 1)2 =⇒ a even
4. ab + 1 ≡ 1 ≡ (a + 1)c ≡ ca + 1 mod a2 =⇒ a|c =⇒ c even
Training Problem 9
1. b = c = 1, a ≥ 1 is a solution. Let b ≥ 2.
2. ab + 1 = (a + 1)c ≡ (−1)b + 1 ≡ 0 mod a + 1 =⇒ b odd
3. (a + 1 − 1)b + 1 ≡ b(a + 1) ≡ 0 mod (a + 1)2 =⇒ a even
4. ab + 1 ≡ 1 ≡ (a + 1)c ≡ ca + 1 mod a2 =⇒ a|c =⇒ c even
5. (2x)b = (a + 1)2y − 1 = [(a + 1)y − 1][(a + 1)y + 1]
Training Problem 9
1. b = c = 1, a ≥ 1 is a solution. Let b ≥ 2.
2. ab + 1 = (a + 1)c ≡ (−1)b + 1 ≡ 0 mod a + 1 =⇒ b odd
3. (a + 1 − 1)b + 1 ≡ b(a + 1) ≡ 0 mod (a + 1)2 =⇒ a even
4. ab + 1 ≡ 1 ≡ (a + 1)c ≡ ca + 1 mod a2 =⇒ a|c =⇒ c even
5. (2x)b = (a + 1)2y − 1 = [(a + 1)y − 1][(a + 1)y + 1]
6. gcd((a + 1)y − 1, (a + 1)y + 1) = 2
Training Problem 9
1. b = c = 1, a ≥ 1 is a solution. Let b ≥ 2.
2. ab + 1 = (a + 1)c ≡ (−1)b + 1 ≡ 0 mod a + 1 =⇒ b odd
3. (a + 1 − 1)b + 1 ≡ b(a + 1) ≡ 0 mod (a + 1)2 =⇒ a even
4. ab + 1 ≡ 1 ≡ (a + 1)c ≡ ca + 1 mod a2 =⇒ a|c =⇒ c even
5. (2x)b = (a + 1)2y − 1 = [(a + 1)y − 1][(a + 1)y + 1]
6. gcd((a + 1)y − 1, (a + 1)y + 1) = 2
7. x|(a + 1)y − 1 = (2x + 1)y − 1 =⇒ (a + 1)y − 1 = 2x b
Training Problem 9
1. b = c = 1, a ≥ 1 is a solution. Let b ≥ 2.
2. ab + 1 = (a + 1)c ≡ (−1)b + 1 ≡ 0 mod a + 1 =⇒ b odd
3. (a + 1 − 1)b + 1 ≡ b(a + 1) ≡ 0 mod (a + 1)2 =⇒ a even
4. ab + 1 ≡ 1 ≡ (a + 1)c ≡ ca + 1 mod a2 =⇒ a|c =⇒ c even
5. (2x)b = (a + 1)2y − 1 = [(a + 1)y − 1][(a + 1)y + 1]
6. gcd((a + 1)y − 1, (a + 1)y + 1) = 2
7. x|(a + 1)y − 1 = (2x + 1)y − 1 =⇒ (a + 1)y − 1 = 2x b
8. 2b−1 = (a + 1)y + 1 > (a + 1)y − 1 = 2x b =⇒ x = 1
Training Problem 9
1. b = c = 1, a ≥ 1 is a solution. Let b ≥ 2.
2. ab + 1 = (a + 1)c ≡ (−1)b + 1 ≡ 0 mod a + 1 =⇒ b odd
3. (a + 1 − 1)b + 1 ≡ b(a + 1) ≡ 0 mod (a + 1)2 =⇒ a even
4. ab + 1 ≡ 1 ≡ (a + 1)c ≡ ca + 1 mod a2 =⇒ a|c =⇒ c even
5. (2x)b = (a + 1)2y − 1 = [(a + 1)y − 1][(a + 1)y + 1]
6. gcd((a + 1)y − 1, (a + 1)y + 1) = 2
7. x|(a + 1)y − 1 = (2x + 1)y − 1 =⇒ (a + 1)y − 1 = 2x b
8. 2b−1 = (a + 1)y + 1 > (a + 1)y − 1 = 2x b =⇒ x = 1
9. The only other solution is a = 2, b = c = 3.