2014-04-04 16:41:24 8 Comments

solve

$ 3x^2+3xy-5y^2=55$

using number theory tools ,i have found the following

$\Delta=3^2+4(5)(3)=9+60=69$

$d=69,u=1$

$w_{69}=\frac{1+\sqrt{69}}{2}$

$O_{69}=\theta_{-11}=[1,\frac{1+\sqrt{69}}{2}]$

$3x^2+3xy-5y^2=55\\9x^2+9xy-15y^2=(3x+\frac{3}{2}y)^2-69(\frac{y}{2})^2=55\times 3=163$

$|x+\frac{3}{2}y|\le \sqrt{163},\sqrt{69}|\frac{y}{2}|\le \sqrt{163}$

using the inequality $a^2+b^2=c^2\implies |a|,|b|\le|c|$

$|y|\le 3$

$|x+\frac{3}{2}y|\le |x|+\frac{3}{2}|y|\le |x|+\frac{3}{2}2\le \sqrt{55}\le \sqrt{64}=8\implies |x|\le5$

hence we should check for solutions

$y=0,\pm 1$

$x=0\pm 1,\pm 2\pm 3,\pm4,\pm 5,\pm 6$

**case 1**

$y=1\implies 3x^2+3x-5=55\implies x^2+x-20=(x-4)(x+5)=0$

$x=-5,4$

**case 2**

$y=-1\implies 3x^2-3x-5=55\implies x^2-x-20=(x+4)(x-5)=0$

$x=-4,5$

**case 3** $x=0 \implies $ NA

hence solutions are

$(1,5),(1,-4),(-1,5),(-1,4)$

**i am searching for other possible roots,specifically a generalisation in $n$**

**or a general METHOD**

### Related Questions

#### Sponsored Content

#### 2 Answered Questions

### [SOLVED] Limit $ a_{n+1} = \frac{1}{3}(2a_n + \frac{5}{a_n^{2}}), a_1 > 0 $

**2018-11-21 16:28:24****Moshe****74**View**2**Score**2**Answer- Tags: calculus sequences-and-series analysis recursion

#### 2 Answered Questions

### [SOLVED] Infinite sum of reciprocals of squares of lengths of tangents from origin to the curve $y=\sin x$

**2018-09-18 16:42:01****Rohan Shinde****311**View**10**Score**2**Answer- Tags: calculus sequences-and-series trigonometry coordinate-systems

#### 0 Answered Questions

### Integer factors of rational and irrational numbers

**2018-10-06 12:11:21****Maged Saeed****77**View**0**Score**0**Answer- Tags: number-theory elementary-number-theory divisibility factoring

#### 2 Answered Questions

### [SOLVED] Solution of a quadratic equation to satisfy a constraint

**2018-09-23 08:45:54****Shana****62**View**2**Score**2**Answer- Tags: calculus inequality polynomials

#### 0 Answered Questions

### Binary quadratic form $f$ represents at least one integer relatively prime to a given integer $M$

**2016-11-29 03:47:35****Mathfish****69**View**0**Score**0**Answer- Tags: number-theory elementary-number-theory prime-numbers quadratic-forms

#### 1 Answered Questions

#### 1 Answered Questions

### [SOLVED] Definition: rational prime, rational integer

**2018-02-23 05:45:56****user534352****1182**View**4**Score**1**Answer- Tags: number-theory definition rational-numbers

#### 1 Answered Questions

### Quartic Equation Inequality

**2017-04-26 09:08:34****KangHoon You****56**View**1**Score**1**Answer- Tags: calculus quartic-equations

#### 1 Answered Questions

### [SOLVED] Counting the number of solutions/intersections/fixed points

**2015-07-19 17:42:34****Ennar****103**View**1**Score**1**Answer- Tags: calculus real-analysis

#### 6 Answered Questions

### [SOLVED] Other interesting consequences of $d=163$?

**2013-12-17 00:14:40****Tito Piezas III****1078**View**37**Score**6**Answer- Tags: number-theory algebraic-number-theory special-functions big-list modular-forms

## 1 comments

## @Will Jagy 2014-04-04 16:53:31

EDIT, March 2016: I wrote a program that finds this stuff quickly, also identifies the "fundamental" solutions from which all others may be derived. Good if the question is to solve for one specific target value. Oh, I told it to use only $x,y \geq 0.$ Going backwards by the automorphism matrix does give solutions with smaller absolute values, for a while. This method includes an effective bound on the entries that allows proving that all such "fundamental" solutions have been found.

Given a solution $(x,y),$ you get another solution from $$ (8x+15y,9x+17y). $$ Repeat forever. Going backwards is $$ (17x-15y,-9x+8y). $$

For $y=1,$ it should have been $3x^2 + 3 x - 60 = 0,$ so $x^2 + x - 20 = 0.$ Also you got the xy order wrong at the end, start with $$ (4,1)(-5,1)(-4,-1)(5,-1). $$ These are just $$ \pm (4,1); \pm (5,-1). $$

EEDDIITT: unfortunate, you missed two infinite strings. I carefully drew Conway's topograph for one cycle. The four solutions with small entries, in distinct orbits, are $(4,1), (5,-1),(5,4), (9,-4).$

The

fourstrings, continued in both directions, become $$ \ldots (32972,-17497);(1321,-701);(53,-28); (4,1); (47,53) ; (1171,1324); (29228,33047); \ldots $$ $$ \ldots (62275,-33047);(2495,-1324);(100,-53);(5,-1); (25,28) ; (620,701); (15475,17497); \ldots $$ $$ \ldots (15475,-8212);(620,-329);(25,-13);(5,4); (100,113) ; (2495,2821); (62275,70412); \ldots $$ $$ \ldots (132687,-70412);(5316,-2821);(213,-113);(9,-4); (12,13) ; (291,329); (7263,8212); \ldots $$I decided to make a very careful tree outline so that I could fill in the relevant bits of the Conway topograph and have it clearly visible. In brief, one diagram shows behavior along the "river." However, specific representations of a number with larger absolute value happen a bit away from the river, in trees... I have carefully shown how the four representations of $55$ with small entries, arise in the diagram.

Here is a jpeg of the relevant portion of Conway's topograph for this problem. This is from The First Lecture in The Sensual Quadratic Form. Note that the 2 by 2 matrix

$$ A \; = \; \left( \begin{array}{rr} 8 & 15 \\ 9 & 17 \end{array} \right) $$ is visible towards the right of the diagram, the value $3$ with coordinate vector $$ \left( \begin{array}{r} 8 \\ 9 \end{array} \right), $$ and on the lower right of that we find the value $-5$ with coordinate vector $$ \left( \begin{array}{r} 15 \\ 17 \end{array} \right). $$ That 2 by two matrix, which is where I got the formula $ (8x+15y,9x+17y), $ is the generator of the automorphism group of the quadratic form, also called the orthogonal group, the rotation group, etc. The traditional name for it was "automorph," not so many use that any more except me, i guess. The automorph also comes, quickly, from the Lagrange cycle method, illustrated in the computer output below that. The best book for that is Duncan A. Buell,

Binary Quadratic Forms.Places I have talked about this or posted diagrams:

Generate solutions of Quadratic Diophantine Equation

Another quadratic Diophantine equation: How do I proceed?

How to find solutions of $x^2-3y^2=-2$?

Generate solutions of Quadratic Diophantine Equation

Finding all solutions of the Pell-type equation $x^2-5y^2 = -4$

Find all integer solutions for the equation $|5x^2 - y^2| = 4$

Maps of primitive vectors and Conway's river, has anyone built this in SAGE?

Infinitely many systems of $23$ consecutive integers

Finding integers of the form $3x^2 + xy - 5y^2$ where $x$ and $y$ are integers, using diagram via arithmetic progression

Small integral representation as $x^2-2y^2$ in Pell's equation

Solving the equation $ x^2-7y^2=-3 $ over integers

## @Jonas Kgomo 2014-04-04 17:06:23

oh yes,thank you,how do we know other solutions are of this from $(8x+15y,9x+17y)$

## @Jonas Kgomo 2014-04-04 17:16:55

i see how you found out the other forms from the c++ algorithm,but how is $M_{ratio}=[a,\frac{b+u\sqrt{d}}{2}]$

## @Jonas Kgomo 2014-04-04 19:05:08

Dr William ,i notice that you are more interested with quadratic forms,would you please send a link of one of your work or similar example ,as i am more concerned with the process,for exam preparation,esp for getting $M_{Ratio}$ ,and Gram Matrix,thank you

## @Jonas Kgomo 2014-04-05 09:50:33

this is extremely helpful,and your method is a conquerer,finally i would like to search for non-integer solutions,i am sorry for not saying this initially ,i realised ,the question is looking for real numbers as a generalisation,the book gives the noninteger solutions as$\pm(\dfrac{17\pm\sqrt{29}}{2})(2+\dfrac{1\pm\sqrt{29}}{2})^{2n}\cup \pm(\dfrac{41\pm 7\sqrt{29}}{2})(2+\dfrac{1\pm\sqrt{29}}{2})^{2n}$

## @Jonas Kgomo 2014-04-05 09:56:53

this method is through fundamental units,i am looking for an alternative method,or a detailed solutions

## @janmarqz 2016-01-03 04:26:19

my (+1) added : )

## @Will Jagy 2016-01-03 04:34:01

@janmarqz thanks. I edited in my list of answers either talking about the diagrams or having drawings. The answer above gives fairly good examples of two tree parts of the diagram, it is actually the "river" that is less predictable and may need more than one try to fit on a page.

## @janmarqz 2016-01-03 04:36:45

if I will lecture Number Theory this next semester I will include this subject