Search

Let $S_l(M,N)$ denote a set of $\ell$ triples of positive integers whose parts have the same sum $M$ and the same product $N$. For each $2\leq\ell\leq 4$ we establish a connection between the set $S_l(M,N)$ and a family of elliptic curves. When $\ell=2$ and $3$, we use certain known parametrised sets $S_l(M,N)$ and respectively find families of elliptic curves of generic rank~$\geq 5$ and $\geq 6$, while for $\ell=4$ we first obtain a parametrised set $S_l(M,N)$, then construct a family of elliptic curves of generic rank $\geq 8$. Finally, we perform a computer search within these families to find specific curves with rank~$\geq 11$. The highest rank examples we found were two curves of rank~$14$., Comment: 11 pages, 4 tables

A pair $(a, b)$ of positive integers is a pythagorean pair if $a^2 + b^2$ is a square. A pythagorean pair $(a, b)$ is called a pythapotent pair of degree $h$ if there is another pythagorean pair $(k,l)$, which is not a multiple of $(a,b)$, such that $(a^hk, b^hl)$ is a pythagorean pair. To each pythagorean pair $(a, b)$ we assign an elliptic curve $\Gamma_{a^h ,b^h}$ for $h\ge 3$ with torsion group isomorphic to $\mathbb Z/2\mathbb Z \times \mathbb Z/4\mathbb Z$ such that $\Gamma_{a^h,b^h}$ has positive rank over $\mathbb Q$ if and only if $(a,b)$ is a pythapotent pair of degree $h$. As a side result, we get that if $(a, b)$ is a pythapotent pair of degree $h$, then there exist infinitely many pythagorean pairs $(k,l)$, not multiples of each other, such that $(a^hk,b^hl)$ is a pythagorean pair. In particular, we show that any pythagorean pair is always a pythapotent pair of degree 3. In a previous work, pythapotent pairs of degrees 1 and 2 have been studied., Comment: 11 pages. arXiv admin note: text overlap with arXiv:2101.08163

Since 1772, when Euler first described two methods of obtaining two pairs of biquadrates with equal sums, several methods of solving the diophantine equation $x^4+y^4=z^4+w^4$ have been published. All these methods yield parametric solutions in terms of homogeneous bivariate polynomials of odd degrees. In this paper we describe a method that yields three parametric solutions of the aforesaid diophantine equation in terms of homogeneous bivariate polynomials of even degrees, namely degrees~$74$, $88$ and $132$ respectively., Comment: 8 pages

We obtain two parametric solutions of the diophantine equation $\phi(x_1, x_2, x_3)=\phi(y_1, y_2, y_3)$ where $\phi(x_1, x_2, x_3)$ is the octic form defined by $\phi(x_1, x_2, x_3)=x_1^8+ x_2^8 + x_3^8 - 2x_1^4x_2^4 - 2x_1^4x_3^4 - 2x_2^4x_3^4$. These parametric solutions yield infinitely many examples of two equiareal triangles whose sides are perfect squares of integers. Further, each of the two parametric solutions leads to a family of elliptic curves of rank~$5$ over $\mathbb{Q}(t)$. We study one of the two families in some detail and determine a set of five free generators for the family., Comment: 8 pages

Let $k \subset {\mathbb C}$ be a number field and ${\mathcal E}$ be an elliptic curve that is isomorphic to the generic fiber of an elliptic surface defined over the rational function field $k(t)$ of the projective line ${\mathbb P}^1_k$. The set ${\mathcal E}(K)$ of $K$-rational points of ${\mathcal E}$ is known to be a finitely generated abelian group for any subfield $K$ of ${\mathbb C}(t)$. The splitting field of ${\mathcal E}$ over $k(t)$ is the smallest subfield ${\mathcal K}$ of ${\mathbb C}$ which is a finite extension of $k$ and ${\mathcal E} ({\mathbb C} (t)) ={\mathcal E} ({\mathcal K}(t))$. In this paper, we consider the elliptic $K3$ surfaces defined over $k={\mathbb Q}$ with the generic fiber given by the Weierstrass equation ${\mathcal E}_n: \displaystyle y^2=x^3 + t^n + 1/t^n.$ We will determine the splitting field ${\mathcal K}_n$ and find an explicit set of independent generators for ${\mathcal E}_n ({\mathcal K_n}(t))$ for $1\leq n \leq 6$.

We give new parametrisations of elliptic curves in Weierstrass normal form $y^2=x^3+ax^2+bx$ with torsion groups $\mathbb{Z}/10\mathbb{Z}$ and $\mathbb{Z}/12\mathbb{Z}$ over $\mathbb{Q}$, and with $\mathbb{Z}/14\mathbb{Z}$ and $\mathbb{Z}/16\mathbb{Z}$ over quadratic fields. Even though the parametrisations are equivalent to those given by Kubert and Rabarison, respectively, with the new parametrisations we found three infinite families of elliptic curves with torsion group $\mathbb{Z}/12\mathbb{Z}$ and positive rank. Furthermore, we found elliptic curves with torsion group $\mathbb{Z}/14\mathbb{Z}$ and rank $3$, which is a new record for such curves, as well as some new elliptic curves with torsion group $\mathbb{Z}/16\mathbb{Z}$ and rank $3$., Comment: 21 pages, 1 figure

In this paper we consider the problem of finding pairs of triangles whose sides are perfect squares of integers, and which have a common perimeter and common area. We find two such pairs of triangles, and prove that there exist infinitely many pairs of triangles with the specified properties., Comment: 6 pages

We introduce a new generalization of $\theta$-congruent numbers by defining the notion of rational $\theta$-parallelogram envelope for a positive integer $n$, where $\theta \in (0, \pi)$ is an angle with rational cosine. Then, we study more closely some problems related to the rational $\theta$-parallelogram envelopes, using the arithmetic of algebraic curves. Our results generalize the recent work of T.~Ochiai, where only the case $\theta=\pi/2$ was considered. Moreover, we answer the open questions in his paper and their generalizations for any Pythagorean angle., Comment: 21 pages

A positive integer $N$ is called a $\theta$-congruent number if there is a $\ta$-triangle $(a,b,c)$ with rational sides for which the angle between $a$ and $b$ is equal to $\theta$ and its area is $N \sqrt{r^2-s^2}$, where $\theta \in (0, \pi)$, $\cos(\theta)=s/r$, and $0 \leq |s|

In this paper we obtain parametric as well as numerical solutions of the sextic diophantine chain $ \phi(x_1,\,y_1,\,z_1)=\phi(x_2,\,y_2,\,z_2)=\phi(x_3,\,y_3,\,z_3)=k$ where $\phi(x,\,y,\,z)$ is a sextic form defined by $\phi(x,\,y,\,z)$ $=x^6+y^6+z^6-2x^3y^3-2x^3z^3-2y^3z^3$ and $k$ is an integer. Each numerical solution of such a sextic chain yields, in general, nine rational points on the Mordell curve $y^2=x^3+k/4$. While all of these nine points are not independent in the group of rational points of the Mordell curve, we have constructed a parameterized family of Mordell curves of generic rank $\geq 6$ using the aforementioned parametric solution of the sextic diophantine chain. Similarly, the numerical solutions of the sextic chain yield additional examples of Mordell curves whose rank is $\geq 6$., Comment: 13 pages

A Huff curve over a field $K$ is an elliptic curve defined by the equation $ax(y^2-1)=by(x^2-1)$ where $a,b\in K$ are such that $a^2\ne b^2$. In a similar fashion, a general Huff curve over $K$ is described by the equation $x(ay^2-1)=y(bx^2-1)$ where $a,b\in K$ are such that $ab(a-b)\ne 0$. In this note we express the number of rational points on these curves over a finite field $\mathbb{F}_q$ of odd characteristic in terms of Gaussian hypergeometric series $\displaystyle {_2F_1}(\lambda):={_2F_1}\left(\begin{matrix} \phi&\phi & \epsilon \end{matrix}\Big| \lambda \right)$ where $\phi$ and $\epsilon$ are the quadratic and trivial characters over $\mathbb{F}_q$, respectively. Consequently, we exhibit the number of rational points on the elliptic curves $y^2=x(x+a)(x+b)$ over $\mathbb{F}_q$ in terms of ${_2F_1}(\lambda)$. This generalizes earlier known formulas for Legendre, Clausen and Edwards curves. Furthermore, using these expressions we display several transformations of ${_2F_1}$. Finally, we present the exact value of $_2F_1(\lambda)$ for different $\lambda$'s over a prime field $\mathbb{F}_p$ extending previous results of Greene and Ono.

By the theory of elliptic curves, we study the nontrivial rational parametric solutions and rational solutions of the Diophantine equations $z^2=f(x)^2 \pm g(y)^2$ for some simple Laurent polynomials $f$ and $g$., Comment: 7 pages. Submitted for publication. arXiv admin note: substantial text overlap with arXiv:1608.03810

By the theory of elliptic curves, we study the nontrivial rational parametric solutions and rational solutions of the Diophantine equations $z^2=f(x)^2 \pm f(y)^2$ for some simple Laurent polynomials $f$., Comment: 8 pages. Submitted for publication. Any comments are welcome. arXiv admin note: text overlap with arXiv:1608.03809

An elliptic curve defined by an equation of the type $y^2=x^3+d$ is called a Mordell curve. We obtain a parametrised family of Mordell curves whose rank, in general, is at least three, and whose torsion group is $\mathbb{Z}/3\mathbb{Z}$., Comment: 6 pages

In Euclidean geometry, a bicentric quadrilateral is a convex quadrilateral that has both a circumcircle passing through the four vertices and an incircle having the four sides as tangents. Consider a bicentric quadrilateral with rational sides. We discuss the problem of finding such quadrilaterals where the ratio of the radii of the circumcircle and incircle is rational. We show that this problem can be formulated in terms of a family of elliptic curves given by $E_a:y^2=x^3+(a^4-4a^3-2a^2-4a+1)x^2+16a^4x$ which have, in general, \(\mathbb Z/8\mathbb Z\), and in rare cases \(\mathbb Z/2\mathbb Z\times\mathbb Z/8\mathbb Z\) as torsion subgroups. We show the existence of infinitely many elliptic curves $E_a$ of rank at least two with torsion subgroup $\mathbb Z/8\mathbb Z$, parameterized by the points of an elliptic curve of rank at least one, and give five particular examples of rank $5$. We, also, show the existence of a subfamily of $E_a$ whose torsion subgroup is $\mathbb Z/2\mathbb Z\times\mathbb Z/8\mathbb Z$., Comment: 11 pages

In this paper, we construct a family of elliptic curves of rank at least five. To do so, we use the Brahmagupta formula for the area of cyclic quadrilaterals $(p^3,q^3,r^3,q^3)$ not necessarily standing for the genuine sides of quadrilaterals. It turns out that, as parameters of the curves, the integers $p,q,r,s$, along with the extra integers $u$, $v$ satisfy $u^6+v^6+p^6+q^6=2(r^6+s^6)$, $uv=pq$. However, we utilize a subset of the solutions of the above system via the rational points of a specific elliptic curve of positive rank lying on the system., Comment: 5 pages