Diophantine equation has no solution

  • Context: MHB 
  • Thread starter Thread starter evinda
  • Start date Start date
Click For Summary

Discussion Overview

The discussion revolves around the diophantine equation \(15x^2 - 7y^2 = 9\) and whether it has any integer solutions. Participants explore various methods to demonstrate the absence of solutions, including modular arithmetic and specific calculations.

Discussion Character

  • Exploratory
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • One participant suggests checking the equation modulo several numbers (2, 3, 4, 5, 7, and 9) to see if a square can fit.
  • Another participant analyzes the equation modulo 3, concluding that if \(15x^2 \equiv 0 \mod 3\) and \(9 \equiv 0 \mod 3\), then \(7y^2 \equiv 0 \mod 3\) must also hold, leading to the conclusion that \(y\) must be divisible by 3.
  • The same participant further develops this argument by substituting \(x\) and \(y\) in terms of their divisibility by 3 and derives a series of inequalities and congruences, ultimately suggesting that the equation has no solution.
  • Another participant provides a shorter version of the argument using modulo 5, stating that since \(y^2\) can only take certain values, there is no solution.
  • A participant expresses confusion about the steps taken to derive certain modular equations and requests clarification.
  • A later reply explains the reasoning behind multiplying by 2 to find the modular equivalences, emphasizing the significance of 2 being the inverse of 3 modulo 5.

Areas of Agreement / Disagreement

Participants present various methods and reasoning to argue that the diophantine equation has no solution, but there is no explicit consensus on the correctness of each approach or the final conclusion.

Contextual Notes

Some assumptions and dependencies on modular arithmetic properties are present, but these are not fully resolved within the discussion.

evinda
Gold Member
MHB
Messages
3,741
Reaction score
0
Hello! :)
I have a question..How can I show that the diophantine equation $15x^2-7y^2=9$ has no solution?
Could you give me a hint? :rolleyes:
 
Mathematics news on Phys.org
Re: diophantine equation has no solution

evinda said:
Hello! :)
I have a question..How can I show that the diophantine equation $15x^2-7y^2=9$ has no solution?
Could you give me a hint? :rolleyes:

Hey! :o

Have you tried to calculate modulo a number and see if a square can fit?
Typically I would check mod 2, mod 3, mod 4, mod 5, mod 7, and mod 9.
 
Re: diophantine equation has no solution

I like Serena said:
Hey! :o

Have you tried to calculate modulo a number and see if a square can fit?
Typically I would check mod 2, mod 3, mod 4, mod 5, mod 7, and mod 9.

I thought that,as $15 x^2 \mod 3=0$ and $9 \mod 3=0$, $7y^2 \mod 3$ should also be equal to $0$.So, $3| y^2 \Rightarrow 3|y$.
So,we set $x=3^a \cdot k , y=3^b \cdot l , 3 \nmid k, 3 \nmid l, a,b \geq 0.$
Therefore,we have $3^{2a+1} \cdot 5 \cdot k^2-7 \cdot 3^{2b} \cdot l^2=3^2$
We see that it must be $2b>0 \Rightarrow b \geq 1 \Rightarrow 2b \geq 2$.
Also, $2a+1 \geq 2 \Rightarrow a \geq 1 \Rightarrow 2a+1 \geq 3$

Then we get $3^{2a-1} \cdot 5 \cdot k^2-7 \cdot 3^{2b-2} \cdot l^2=1$ with $2a-1 \geq 1$.So,it must be $2b-2=0 \Rightarrow b=1$

$3|3^{2a-1} \cdot 5 \cdot k^2=1+7 \cdot l^2$

As $3 \mid l \Rightarrow l=3n+1 \text{ or } l=3n+2$

$1+7 \cdot l^2=1+7(3m+1)=21m+8$,that is not divisible by $3$.
So,the diophantine equation $15 \cdot x^2−7 \cdot y^2=9$ has no solution.
Is it right or have I done somethig wrong? (Blush)
 
Re: diophantine equation has no solution

evinda said:
I thought that,as $15 x^2 \mod 3=0$ and $9 \mod 3=0$, $7y^2 \mod 3$ should also be equal to $0$.So, $3| y^2 \Rightarrow 3|y$.
So,we set $x=3^a \cdot k , y=3^b \cdot l , 3 \nmid k, 3 \nmid l, a,b \geq 0.$
Therefore,we have $3^{2a+1} \cdot 5 \cdot k^2-7 \cdot 3^{2b} \cdot l^2=3^2$
We see that it must be $2b>0 \Rightarrow b \geq 1 \Rightarrow 2b \geq 2$.
Also, $2a+1 \geq 2 \Rightarrow a \geq 1 \Rightarrow 2a+1 \geq 3$

Then we get $3^{2a-1} \cdot 5 \cdot k^2-7 \cdot 3^{2b-2} \cdot l^2=1$ with $2a-1 \geq 1$.So,it must be $2b-2=0 \Rightarrow b=1$

$3|3^{2a-1} \cdot 5 \cdot k^2=1+7 \cdot l^2$

As $3 \mid l \Rightarrow l=3n+1 \text{ or } l=3n+2$

$1+7 \cdot l^2=1+7(3m+1)=21m+8$,that is not divisible by $3$.
So,the diophantine equation $15 \cdot x^2−7 \cdot y^2=9$ has no solution.
Is it right or have I done somethig wrong? (Blush)

Looks good! (Cool)

Here's a slightly shorter version:
\begin{array}{lcrl}
15x^2−7y^2 &\equiv& 9 &\pmod 5 \\
3y^2 &\equiv& -1 &\pmod 5 \\
6y^2 &\equiv& -2 &\pmod 5 \\
y^2 &\equiv& -2 &\pmod 5
\end{array}
Since the only possibilities for $y^2$ are $0,\pm 1 \pmod 5$, there is no solution.
 
Re: diophantine equation has no solution

Why did you find these:

I like Serena said:
\begin{array}{lcrl}

3y^2 &\equiv& -1 &\pmod 5 \\
6y^2 &\equiv& -2 &\pmod 5 \\

\end{array}

I haven't understood it.. (Blush) Could you explain it to me? :)
 
Re: diophantine equation has no solution

evinda said:
Why did you find these:

I haven't understood it.. (Blush) Could you explain it to me? :)

I multiplied both sides with $2$.
That's a special number because $2$ is the inverse of $3 \pmod 5$.
That is:
$$2\cdot 3 \equiv 1 \pmod 5$$
Alternatively, we could also write it out.
It means that there is some $k \in \mathbb Z$ such that:
$$3y^2 = -1 + 5k$$
Multiply by 2 to get:
$$6y^2 = -2 + 5\cdot 2k$$
Which implies that:
$$6y^2 \equiv -2 \pmod 5$$
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 12 ·
Replies
12
Views
8K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 27 ·
Replies
27
Views
5K
  • · Replies 19 ·
Replies
19
Views
6K