Related papers: Computing rational solutions to $Ax^p+By^p+Cz^p=0$

We exhibit an algorithm to compute equations of an algebraic curve over a computable characteristic 0 field from the power series expansions of its regular 1-forms at a nonrational point of the curve, extending a 2005 algorithm of Baker,…

The original version of this paper did not take into account that there may be solutions (x_0, y_o)in Z X Z of f(x,y) = x^3 + p(y)x + q(y) = 0 even though w_0 = (-3D(y_0))^(1/2) is irrational.

In this paper we prove new cases of the asymptotic Fermat equation with coefficients. This is done by solving remarkable $S$-units equations and applying a method of Frey-Mazur.

Guo and Yang give defining equations for all geometrically hyperelliptic Shimura curves $X_0(D,N)$. In this paper we compute the $\mathbb{Q}$-rational points on the Atkin-Lehner quotients of these curves using a variety of techniques. We…

Several problems which could be thought of as belonging to recreational mathematics are described. They are all such that solutions to the problem depend on finding rational points on elliptic curves. Many of the problems considered lead to…

We solve the diophantine equations x^4 + d y^2 = z^p for d=2 and d=3 and any prime p>349 and p>131 respectively. The method consists in generalizing the ideas applied by Frey, Ribet and Wiles in the solution of Fermat's Last Theorem, and by…

Here we study the positive solutions of the equation \begin{equation*} -\Delta _{p}u+\mu \frac{u^{p-1}}{\left\vert x\right\vert ^{p}}+\left\vert x\right\vert ^{\theta }u^{q}=0,\qquad x\in \mathbb{R}^{N}\backslash \left\{ 0\right\}…

Consider the smooth projective models C of curves y^2=f(x) with f(x) in Z[x] monic and separable of degree 2g+1. We prove that for g >= 3, a positive fraction of these have only one rational point, the point at infinity. We prove a lower…

Using elementary number theory we study Diophantine equations over the rational integers of the following form, $y^2=(x+a)(x+a+k)(x+b)(x+b+k)$, $y^2=c^2x^4+ax^2+b$ and $y^2=(x^2-1)(x^2-\alpha^2)(x^2-(\alpha+1)^2).$ We express their integer…

Given an elliptic quartic of type $Y^2=f(X)$ representing an elliptic curve of positive rank over $\Q$, we investigate the question of when the $Y$-coordinate can be represented by a quadratic form of type $ap^2+bq^2$. In particular, we…

Let $\overline{\mathbb{Q}}$ be an algebraic closure of $\mathbb{Q}$ and $\mathbb{Q}^{tr}$ be the subfield of $\overline{\mathbb{Q}}$ obtained by taking the union of all totally real number fields. For any prime $p\geq 3$, let…

The coordinate-free solutions of the multivector equation $ax+xb=c$ are discussed and presented for the Clifford algebras $Cl_{p,q}$ when $p+q\le 3$.

In this paper we mainly study sums of four rational squares with certain restrictions. Let $\mathbb Q_{\ge0}$ be the set of nonnegative rational numbers. We establish the following four-square theorem for rational numbers: For any…

Let $C$ be a hyperelliptic curve given by the equation $y^2=f(x)$, where $f\in\Z[x]$ and $f$ hasn't multiple roots. We say that points $P_{i}=(x_{i}, y_{i})\in C(\Q)$ for $i=1,2,..., n$ are in arithmetic progression if the numbers $x_{i}$…

Let $C: y^2=ax^4+bx^2+c$, be an elliptic curve defined over $\mathbb Q$. A set of rational points $(x_i,y_i) \in C(\mathbb Q)$, $i=1,2,\cdots,$ is said to be a sequence of consecutive squares if $x_i= (u + i)^2$, $i=1,2,\cdots$, for some…

For the hyperelliptic curve C_p with equation y^2=x(x-2p)(x-p)(x+p)(x+2p) with p a prime number, we discuss bounds for the rank of its Jacobian over Q, find many cases having 2-torsion in the associated Shafarevich-Tate group, and we…

In this paper, we investigate solutions to the Diophantine equation $ A a^p + B b^p = C c^3 $ over number fields using the modular method. Assuming certain standard modularity conjectures, we first establish an asymptotic result for general…

Let $K$ be a field, $a, b\in K$ and $ab\neq 0$. Let us consider the polynomials $g_{1}(x)=x^n+ax+b, g_{2}(x)=x^n+ax^2+bx$, where $n$ is a fixed positive integer. In this paper we show that for each $k\geq 2$ the hypersurface given by the…

Let X be a non-singular projective hypersurface of degree 4, which is defined over the rational numbers. Assume that X has dimension 39 or more, and that X contains a real point and p-adic points for every prime p. Then X is shown to…

Let X be a geometrically integral projective cubic hypersurface defined over the rationals, with dimension D and singular locus of dimension at most D-4. For any \epsilon>0, we show that X contains O(B^{D+\epsilon}) rational points of…