u

^{2}+ Dv

^{2}= F

then it must also be true that

(u-Dv)

^{2}+ D(u+v)

^{2}= F(D+1)

-------------------------------------------------------------

In general true binary quadratics, except for the cases D = 0 or D = -1, F = 0, are connected to an infinity of others, as all can be reduced to this form, so it's what I like to call an infinity result.

By true binary quadratic I mean one that does not have a form like this example:

x

^{2}+ 2xy + y

^{2}= c

_{4}+ x + y

is: (x+y)

^{2}- (x+y) - c

_{4}= 0

So I don't consider that to be a true binary quadratic because it behaves like a single variable equation, with x+y as the single variable.

One of my favorite discoveries I've decided to call it a binary quadratic Diophantine iterator.

The beauty of the iterator is that an already reduced equation simply gives you another of the same basic form, as:

(u-Dv)

^{2}+ D(u+v)

^{2}= F(D+1)

Is equivalent to the original as notice, with u' = u-Dv, v' = u+v, and F' = F(D+1), you have:

u'

^{2}+ Dv'

^{2}= F'

You get the iterator when you use my method for generally reducing binary quadratic Diophantine equations on the already reduced form, and to me is one of the coolest things ever. Looks like I first gave it in its general form back October 2008. This thing conceivably could have been discovered 2000 years ago, but somehow it wasn't so I had the honor of finding it.

While it is derived it can be verified to be correct simply by using the equations given.

Given: u

^{2}+ Dv

^{2}= F

Verify: (u-Dv)

^{2}+ D(u+v)

^{2}= F(D+1)

*Verification:*

Expand out: (u-Dv)

^{2}+ D(u+v)

^{2}= F(D+1),

which gives:

u

^{2}- 2Duv + D

^{2}v

^{2}+ Du

^{2}+ 2Duv + Dv

^{2}= FD + F

Notice -2Duv cancels out +2Duv, and then it's just a matter of grouping:

u

^{2}+ Dv

^{2 }- F + Du

^{2}+D

^{2}v

^{2}= FD

And: u

^{2}+ Dv

^{2 }- F = 0, so: Du

^{2}+ D

^{2}v

^{2}= FD, and dividing off D, gives:

u

^{2}+ Dv

^{2}= F

**Verification complete.**

__Example using iterator:__

Let F = 1, u=x, v=y, and D = -2.

1. x

^{2}- 2y

^{2}= 1

2. (x+2y)

^{2}- 2(x+y)

^{2}= -1

3. (3x+4y)

^{2}- 2(2x + 3y)

^{2}= 1

4. (7x + 10y)

^{2}- 2(5x + 7y)

^{2}= -1

5. (17x + 24y)

^{2}- 2(12x + 17y)

^{2}= 1

and you can keep going out to infinity, but I'll stop with 4 iterations.

Notice now you can use the simple case of x=1 and y = 0:

1. 1

^{2}= 1

2. (1)

^{2}- 2(1)

^{2}= -1

3. (3)

^{2}- 2(2)

^{2}= 1

4. (7)

^{2}- 2(5)

^{2}= -1

5. (17)

^{2}- 2(12)

^{2}= 1

And you have answers to x

^{2}- 2y

^{2}= 1 and x

^{2}- 2y

^{2}= -1.

When I found it years ago back in 2008 I extended the symbolic version further. Copying four of the five I see in that post to here for convenience. Here I'm using u = x, v = y.

1. x

^{2}+ Dy

^{2}= F

2. (x-Dy)

^{2}+ D(x+y)

^{2}= F(D+1)

3. ((1-D)x-2Dy)

^{2}+ D(2x + (1-D)y)

^{2}= F(D+1)

^{2}

4. ((1-3D)x + (D

^{2}- 3D)y)

^{2}+ D((3-D)x + (1-3D)y)

^{2}= F(D+1)

^{3}

^{}

James Harris