English

On the Diophantine Equation $x_1^{3}-x_2^{2}x_1+1=0$ over $\mathbb{Q}(\sqrt{2})$

General Mathematics 2026-07-22 v1

Abstract

I investigate the Diophantine equation x13x22x1+1=0x_1^{3}-x_2^{2}x_1+1=0 where x1Q(2)x_1\in\mathbb{Q}(\sqrt{2}) and x2Z[2]x_2\in\mathbb{Z}[\sqrt{2}]. Using the arithmetic of the quadratic integer ring Z[2]\mathbb{Z}[\sqrt{2}], together with norm arguments, divisibility properties, and the explicit description of its unit group, I prove that the equation has exactly two solutions, namely (x1,x2)=(1,0)  and  (1,2)(x_1,x_2)=(-1,0)~\text{ and }~(1,\sqrt{2}) As an application, I consider the family of elliptic curves Cm:Y2=X3m2X+1, mZ[2],C_m:Y^{2}=X^{3}-m^{2}X+1,~ m\in\mathbb{Z}[\sqrt{2}], and deduce that, for every m0,2m\neq0,\sqrt{2} the Mordell--Weil group Cm(Q(2))C_m(\mathbb{Q}(\sqrt{2})) contains no rational point of order two.

Keywords

Cite

@article{arxiv.2607.26079,
  title  = {On the Diophantine Equation $x_1^{3}-x_2^{2}x_1+1=0$ over $\mathbb{Q}(\sqrt{2})$},
  author = {Pinki Khatun},
  journal= {arXiv preprint arXiv:2607.26079},
  year   = {2026}
}