

\[lem:thm\] Let $a$ and $b$ be relatively prime positive integers such that $a^{2}+b^{2}$ is not a perfect square.

Suppose $x^{2}- \left( a^{2}+b^{2} \right) y^{2}=-1$ has a solution and that all coprime integer solutions $(x,y)$ to the quadratic equation $\eqref{eq:quad-eqnc}$ are given by $\eqref{eq:14c}$.

Then $\eqref{eq:2}$ has at most one solution, $\left( X, Y \right)$, in coprime positive integers solutions with $Y>b^{2}/2$.

Suppose that $\left( X_{1}, Y_{1} \right)$ and $\left( X_{2}, Y_{2} \right)$ are two coprime positive integer solutions to with $Y_{2}>Y_{1}>b^{2}/2$ and that the assumptions in the statement of the lemma hold.

From Lemma \[lem:3.4\](a), we obtain $$\label{eq:25}
X_{1}^{2}= \left( a^{2}+b^{2} \right) Y_{1}^{4}-b^{2}
> \left( a^{2}+b^{2} \right) \left( Y_{1}^{4}-1 \right)
> 0.9984 \left( a^{2}+b^{2} \right) Y_{1}^{4},$$ and so $$\label{eq:26}
\sqrt{X_{1}^{2}+b^{2}}= \sqrt{\left(a^{2}+b^{2}\right) Y_{1}^{4}}
< 1.001 X_{1}.$$

By Lemma \[lem:3.2aa\], there are integers $r_{1},s_{1},r_{2},s_{2}$ such that $$\pm X_{j} \pm bi = (a+bi) \left( r_{j} \pm s_{j} i \right)^{4}, \hspace{1.0mm}
Y_{j}=r_{j}^{2}+s_{j}^{2}, \hspace{1.0mm} \gcd \left( r_{j}, s_{j} \right)=1,
\hspace{1.0mm
\[lem: thm\ ] Let $ a$ and $ b$ be relatively prime positive integers such that $ a^{2}+b^{2}$ is not a arrant public square. 

 presuppose $ x^{2}- \left (a^{2}+b^{2 } \right) y^{2}=-1 $ has a solution and that all coprime integer solution $ (x, y)$ to the quadratic equality $ \eqref{eq: quad - eqnc}$ are given by $ \eqref{eq:14c}$. 

 Then $ \eqref{eq:2}$ has at most one solution, $ \left (X, Y \right)$, in coprime cocksure integers solutions with $ Y > b^{2}/2$. 

 think that $ \left (X_{1 }, Y_{1 } \right)$ and $ \left (X_{2 }, Y_{2 } \right)$ are two coprime positive integer solutions to with $ Y_{2}>Y_{1}>b^{2}/2 $ and that the assumption in the statement of the lemma hold. 

 From Lemma   \[lem:3.4\](a), we prevail $ $ \label{eq:25 } 
 X_{1}^{2}= \left (a^{2}+b^{2 } \right) Y_{1}^{4}-b^{2 } 
 > \left (a^{2}+b^{2 } \right) \left (Y_{1}^{4}-1 \right) 
 > 0.9984 \left (a^{2}+b^{2 } \right) Y_{1}^{4},$$ and therefore $ $ \label{eq:26 } 
 \sqrt{X_{1}^{2}+b^{2}}= \sqrt{\left(a^{2}+b^{2}\right) Y_{1}^{4 } } 
 < 1.001 X_{1}.$$ 

 By Lemma   \[lem:3.2aa\ ], there are integers $ r_{1},s_{1},r_{2},s_{2}$ such that $ $ \pm X_{j } \pm bi = (a+bi) \left (r_{j } \pm s_{j } i \right)^{4 }, \hspace{1.0 mm } 
 Y_{j}=r_{j}^{2}+s_{j}^{2 }, \hspace{1.0 mm } \gcd \left (r_{j }, s_{j } \right)=1, 
 \hspace{1.0 mm


\[lem:hhm\] Let $a$ and $b$ be relatlvely prime posijice intxgers shch that $a^{2}+b^{2}$ is not a perfect square.

Snppowe $x^{2}- \oeft( a^{2}+b^{2} \right) y^{2}=-1$ has a rolution wnd that all xoprime invsger solutiona $(x,y)$ co the quadratic equation $\aqref{eq:quad-eqnw}$ xrz given by $\eqref{eq:14c}$.

Then $\eqref{eq:2}$ has wt most oje solution, $\lest( X, R \rifht)$, in coprime positive integers sklutionv with $Y>b^{2}/2$.

Supppse that $\left( X_{1}, Y_{1} \right)$ anf $\levt( X_{2}, Y_{2} \right)$ are tao coprime kksieuve integer rolutions uo with $Y_{2}>Y_{1}>b^{2}/2$ znd that the assumptions in the statzment of thg melka hold.

From Lemmw \[lem:3.4\](a), we obtain $$\laben{eq:25}
X_{1}^{2}= \legt( a^{2}+b^{2} \right) Y_{1}^{4}-b^{2}
> \leht( a^{2}+v^{2} \right) \left( Y_{1}^{4}-1 \right)
> 0.9984 \left( a^{2}+b^{2} \right) Y_{1}^{4},$$ agd so $$\labal{zq:26}
\sqrt{X_{1}^{2}+b^{2}}= \sqrt{\left(a^{2}+b^{2}\rithr) Y_{1}^{4}}
< 1.001 F_{1}.$$

By Nemmx \[oem:3.2xa\], uhece zre inhegxrs $r_{1},s_{1},r_{2},s_{2}$ sudh that $$\pm Z_{j} \pm bi = (a+bi) \left( t_{j} \ik s_{j} i \right)^{4}, \hspacq{1.0mi}
Y_{j}=r_{j}^{2}+s_{j}^{2}, \hspace{1.0mm} \gcd \left( r_{j}, s_{j} \right)=1,
\hskace{1.0mj
\[lem:thm\] Let $a$ and $b$ be relatively integers that $a^{2}+b^{2}$ not a perfect \right) has a solution that all coprime solutions $(x,y)$ to the quadratic equation are given by $\eqref{eq:14c}$. Then $\eqref{eq:2}$ has at most one solution, $\left( X, \right)$, in coprime positive integers solutions with $Y>b^{2}/2$. Suppose that $\left( X_{1}, Y_{1} and X_{2}, \right)$ two coprime positive integer solutions to with $Y_{2}>Y_{1}>b^{2}/2$ and that the assumptions in the statement of lemma hold. From Lemma \[lem:3.4\](a), we obtain $$\label{eq:25} \left( a^{2}+b^{2} \right) Y_{1}^{4}-b^{2} \left( a^{2}+b^{2} \right) \left( Y_{1}^{4}-1 > \left( a^{2}+b^{2} Y_{1}^{4},$$ so \sqrt{X_{1}^{2}+b^{2}}= \sqrt{\left(a^{2}+b^{2}\right) Y_{1}^{4}} 1.001 X_{1}.$$ By Lemma \[lem:3.2aa\], there are integers $r_{1},s_{1},r_{2},s_{2}$ such that $$\pm X_{j} \pm bi = (a+bi) r_{j} \pm \right)^{4}, \hspace{1.0mm} \hspace{1.0mm} \left( s_{j} \right)=1, \hspace{1.0mm


\[lem:thm\] Let $a$ and $b$ be relativelY prime posiTive iNteGerS sUch tHat $a^{2}+B^{2}$ is not a perfect SQuarE.

Suppose $x^{2}- \left( a^{2}+b^{2} \right) y^{2}=-1$ hAs a soLuTIon aND tHat alL coprimE InTEGer SoLuTioNs $(X,Y)$ tO the qUadRatic eqUation $\eqreF{eq:QuAd-eqnc}$ are givEN bY $\eqref{eq:14c}$.

THen $\Eqref{eq:2}$ has at MosT one soLuTioN, $\Left( X, y \riGht)$, in CoprimE PositiVe integerS sOLutionS With $Y>b^{2}/2$.

SUPPoSe thAt $\left( X_{1}, Y_{1} \right)$ and $\lEFt( x_{2}, y_{2} \right)$ are two coPrime pOsITiVE IntEgeR solutions To With $Y_{2}>y_{1}>B^{2}/2$ and thaT ThE ASSumPTions in the staTement of the LEmmA hold.

FRoM LeMMa \[lem:3.4\](a), We obtAiN $$\LabEl{eq:25}
X_{1}^{2}= \left( a^{2}+b^{2} \RighT) Y_{1}^{4}-b^{2}
> \left( a^{2}+b^{2} \Right) \lEFt( Y_{1}^{4}-1 \righT)
> 0.9984 \Left( a^{2}+b^{2} \rIght) Y_{1}^{4},$$ aNd sO $$\laBel{eQ:26}
\SqRt{x_{1}^{2}+b^{2}}= \sQrT{\LefT(A^{2}+b^{2}\RigHT) Y_{1}^{4}}
< 1.001 X_{1}.$$

by Lemma \[lEm:3.2Aa\], There Are iNTEGErs $r_{1},S_{1},r_{2},s_{2}$ Such That $$\pM X_{j} \pm bi = (a+bi) \lefT( r_{j} \Pm s_{j} I \RigHt)^{4}, \hspAce{1.0mm}
y_{j}=r_{j}^{2}+S_{j}^{2}, \HspacE{1.0mm} \gcd \Left( r_{J}, s_{J} \right)=1,
\hspace{1.0mm


\[lem:thm\] Let $a$ and$b$ be rel ative lypri me  pos itiv e integers suc h  tha t $a^{2}+b^{2}$ is not  a pe rf e ct s q ua re.
Suppose $x ^ { 2}-  \ le ft(  a ^ {2 }+b^{ 2}\right)  y^{2}=-1$  ha sa solution a n dthat all c opr ime integersol utions  $ (x, y )$ to  th e qua dratic equati on $\eqre f{ e q:quad - eqnc}$a r egive n by $\eqref{eq:1 4 c} $ .

Then $\eqre f{eq:2 }$ ha s atmos t one solu ti on, $ \ left( X ,  Y \ r igh t )$, in coprim e positivei nte gers s ol uti o ns wit h $Y> b^ { 2}/ 2$.

Suppos e th at $\left ( X_{1 } , Y_{1} \right) $ and$\l eft ( X_ { 2} ,Y_{ 2} \ri g ht )$a retwo copr im eposit ivei n t e gersol utio ns to  with $Y_{2}> Y_{ 1}>b ^ {2} /2$ a nd th at t he  assu mption s inth e statement ofthelemma hol d.
F rom  L emma\ [lem:3 .4\ ](a ), we o btain $ $ \la be l { e q: 25}
X_{1}^{2}= \le ft ( a^ {2}+b^{2 } \rig h t)  Y _ {1}^{4}- b^ {2} 
> \ l e ft( a ^{2} + b^ {2} \rig ht) \l e ft (Y_{1}^{ 4} -1 \ri gh t)> 0 .9984 \lef t( a^{ 2}+b^{2}  \rig h t) Y_{1}^{4},$ $  and so $$\la b el { e q: 2 6}
\ sqr t{X_{1}^{2} +b^{ 2 }}=\sqr t {\ lef t (a^{2 }+b^{ 2} \ ri g ht) Y_{1}^{4}}
< 1. 00 1 X_{1 }.$$
By Lemma \[l em:3.2aa\] , t here are  int e ge r s $r_{1},s_{1} ,r_{2 },s_{2}$ s u ch that$$\pm  X_{j} \ pm bi = ( a + bi) \lef t(r_{ j}\pm s _{ j} i \right)^ { 4 }, \ hs pace{1. 0mm }
Y_{j} =r_ {j} ^{2 }+s _{ j}^{2}, \ hspace{1 .0 mm }\g cd\left (  r_{j},s_ {j}  \ rig ht)=1 , 
\hspa ce{1. 0mm


\[lem:thm\] Let_$a$ and_$b$ be relatively prime_positive integers_such_that $a^{2}+b^{2}$_is_not a perfect_square.

Suppose $x^{2}- \left(_a^{2}+b^{2} \right) y^{2}=-1$ has_a solution and_that_all coprime integer solutions $(x,y)$ to the quadratic equation $\eqref{eq:quad-eqnc}$ are given by $\eqref{eq:14c}$.

Then_$\eqref{eq:2}$_has at_most_one_solution, $\left( X, Y \right)$,_in coprime positive integers solutions_with $Y>b^{2}/2$.

Suppose_that $\left( X_{1}, Y_{1} \right)$ and $\left( X_{2},_Y_{2}_\right)$ are two_coprime positive integer solutions to with $Y_{2}>Y_{1}>b^{2}/2$ and that_the assumptions in the statement of_the lemma hold.

From_Lemma \[lem:3.4\](a),_we_obtain $$\label{eq:25}
X_{1}^{2}= \left( a^{2}+b^{2}_\right) Y_{1}^{4}-b^{2}
> \left( a^{2}+b^{2} \right) \left(_Y_{1}^{4}-1 \right)
> 0.9984 \left( a^{2}+b^{2} \right)_Y_{1}^{4},$$ and so $$\label{eq:26}
\sqrt{X_{1}^{2}+b^{2}}= \sqrt{\left(a^{2}+b^{2}\right) Y_{1}^{4}}
< 1.001_X_{1}.$$

By Lemma \[lem:3.2aa\], there are integers $r_{1},s_{1},r_{2},s_{2}$_such that $$\pm X_{j} \pm_bi =_(a+bi) \left( r_{j} \pm s_{j}_i \right)^{4}, \hspace{1.0mm}
Y_{j}=r_{j}^{2}+s_{j}^{2},_\hspace{1.0mm} \gcd_\left( r_{j}, s_{j}_\right)=1,
\hspace{1.0mm