Related papers: Sharygin triangles and elliptic curves
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…
Triangle centers are usually studied individually or through special geometric relationships, but little attention has been given to global structure among them. In this paper we introduce several natural ways to order triangle centers,…
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…
We prove a symmetric version of B\'ezout's theorem. More precisely, we show that the symmetric orbit type of a transverse intersection of complex symmetric hypersurfaces in projective space is determined by the degrees. In the projective…
Let $(X, A)$ be a polarized nonsingular toric 3-fold with not effective $A+K_X$. Then for any ample line bundle $L$ on $X$ the image of the embedding by the complete linear system of $L$ is an intersections of quadrics.
This is a survey of metric properties of non-Euclidean conics, mainly based on works of Chasles and Story. A spherical conic is the intersection of the sphere with a quadratic cone; similarly, a hyperbolic conic is the intersection of the…
We introduce a special class of supersingular curves over $\mathbb{F}_{p^2}$, characterized by the existence of non-integer endomorphisms of small degree. A number of properties of this set is proved. Most notably, we show that when this…
We give an infinite family of congruent number elliptic curves, each with rank at least two, which are related to integral solutions of $m^2=n^2+nl+l^2$.
We establish a correspondence between trisections of smooth, compact, oriented $4$--manifolds with connected boundary and diagrams describing these trisected $4$--manifolds. Such a diagram comes in the form of a compact, oriented surface…
A square trisection is a problem of assembling three identical squares from a larger square, using a minimal number of pieces. This paper presents an historical overview of the square trisection problem starting with its origins in the…
A curve in the plane is $x$-monotone if every vertical line intersects it at most once. A family of curves are called pseudo-segments if every pair of them have at most one point in common. We construct $2^{\Omega(n^{4/3})}$ families, each…
We give an explicit correspondence between stated skein algebras, which are defined via explicit relations on stated tangles in [Costantino F., L\^e T.T.Q., arXiv:1907.11400], and internal skein algebras, which are defined as internal…
We obtain an infinite family of orthogonal hypergeometric groups, which are higher rank arithmetic groups. We also list cases of arithmetic hypergeometric groups whose real Zariski closure is O(2,3).
Any four mutually tangent spheres in R^3 determine three coincident lines through opposite pairs of tangencies. As a consequence, we define two new triangle centers.
In this paper, we deal with the problem of bisecting binomial coefficients. We find many (previously unknown) infinite classes of integers which admit nontrivial bisections, and a class with only trivial bisections. As a byproduct of this…
A perfect triangle is a triangle with rational sides, medians, and area. In this article, we use a similar strategy due to Pocklington to show that if $\Delta$ is a perfect triangle, then it cannot be an isosceles triangle. It gives a…
We study the relative Hilbert scheme of a family of nodal (or smooth) curves via its (birational) cycle map, going to the relative symmetric product. We show the cycle map is the blowing up of the discriminant locus, which consists of…
The {\it largest angle bisection} procedure is the operation which partitions a given triangle, $T$, into two smaller triangles by constructing the angle bisector of the largest angle of $T$. Applying the procedure to each of these two…
The purpose of this paper is to exhibit infinite families of conjugate projective curves in a number field whose complement have the same abelian fundamental group, but are non-homeomorphic. In particular, for any $d>3$ we find Zariski…
The incircle of a triangle touches the sides of the triangle in three points. It is well known that the lines from these points to the opposite vertices meet at a point known as the Gergonne point of the triangle. We use a computer to…