Bicentric quadrilateral

Abstract: In this article we present a condition that a tangential quadrilateral is also a chordal one. The main results are exposed in Theorems 1 and 2.

Abstract: 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$.

Abstract: 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$.