Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Prove that whenever the equation $x^2 - dy^2 = c$ is solvable, then it has infinitely many solutions.

I consider that, if $u$ and $v$ satisfy $x^2 -dy^2 = c$ and then $r$ and $s$ satisfy $x^2 -cy^2 = 1$, then $$(ur \pm dvs)^2 - d(us \pm vr)^2 = (u^2 - dv^2)(r^2 - ds^2) = c\;.$$ But, still I failed to complete the proof. I am requesting members to spare some time for this. Thanks in advnace.

share|cite|improve this question
@Brain M. Scott! thank you so much for editing – gandhi Apr 7 '12 at 10:28
Shouldn't it be $(u^2-dv^2)\color{red}{(r^2-cs^2)}=c$? – draks ... Apr 7 '12 at 11:30
Where is the difficulty? You seem to have done most of the work. You know there are infinitely many solutions to Pell's equation right? There's infinitely many $r,s$ you can use, so infinitely many pairs $ (ur + dvs, us + vr) $ that solve $x^2-dy^2=c $. – Ragib Zaman Apr 7 '12 at 12:27
@gandhi : I agree with the above comment, it seems you have everything done, but before that please read FAQ in asking questions and TeX your questions properly. Some papers that can add something to it are here and here . Thank you. Try googling your answers before putting them here. It will help you and others in case of saving time. – Iyengar Apr 7 '12 at 16:35
@Ragib Zaman! I got it sir, where I was stacked. Thank you. – gandhi Apr 8 '12 at 4:44

Pell's equation $x^2 - d y^2 = 1$ always has a fundamental solution $(x_0, y_0)$ (solution with smallest $x > 1$). All other solutions can be expressed: $$ x_n - y_n \sqrt{d} = (x_0 - y_0 \sqrt{d})^n $$ It so happens that if you define the norm in the ring $\mathbb{Z}(\sqrt{d}) = \{a + b \sqrt{d} \colon a, b \in \mathbb{Z}\}$ by: $$ N(a + b \sqrt{d}) = a^2 - b^2 d $$ then if you define the conjugate of $z = x + y \sqrt{d}$ by $\overline{z} = x - y \sqrt{d}$ you have: $$ N(z) = N(\overline{z}) = z \cdot \overline{z} $$ Also, since $\overline{u \cdot v} = \overline{u} \cdot \overline{v}$, it is also: $$ N(u \cdot v) = (u \cdot v) \cdot (\overline{u \cdot v}) = (u \cdot \overline{u}) \cdot (v \cdot \overline{v}) = N(u) \cdot N(v) $$ Your given solution is $N(r - s \sqrt{d}) = c$, and we have $N(x_0 - y_0 \sqrt{d}) = 1$: $$ N((r - s \sqrt{d}) \cdot (x_0 - y_0 \sqrt{d})^{\pm n}) = N(r - s \sqrt{d}) \cdot \left(N(x_0 - y_0 \sqrt{d})\right)^{\pm n} = c $$ I.e., $(r - s \sqrt{d}) \cdot (x_0 - y_0 \sqrt{d})^n$ defines a solution for all $n \in \mathbb{Z}$.

share|cite|improve this answer

For proof, you can use the solutions of the equation Pell: $x^2-dy^2=1$

If the ratio is not a square, then the answer is always there. $(x_0;y_0)$

If we have any solution of the equation Pell: $x^2-dy^2=c$

Having a form: $(x_1;y_1)$

The following solution we can always be obtained by the formula:



Obtained these values should be substituted back into the formula. And so this process can continue indefinitely. And we will get an infinite number of solutions.

share|cite|improve this answer

Thought it possible to simplify in order to be able to write the solutions of the equation. For this we use the decomposition of the number $c$ on the multipliers.


To record decisions have to know first the solution of the Pell equation $(Z_1;R_1)$.

And solving the following equation Pell $(k_0;n_0)$.


Then the formula is as follows.



The problem in finding the first solution for General Pell equation $(Z_1;R_1)$.

The meaning of the solution is that to factor the number. $c=ab$

Then degradable factoring the difference. $xy=a-b$

If the following expression may be a square.


Then the first solution is written simply.



Such record these formulas will greatly simplify the calculations. Always better to have a formula.

share|cite|improve this answer

Your Answer


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.