Related papers: Rational quadrilaterals
We present a geometric theorem on a porism about cyclic quadrilaterals, namely the existence of an infinite number of cyclic quadrilaterals through four fixed collinear points once one exists. Also, a technique of proving such properties…
Rational quartic spectrahedra in 3-space are semialgebraic convex subsets in $\mathbb{R}^3$ of semidefinite, real symmetric $(4 \times 4)$-matrices, whose boundary admits a rational parameterization. The Zariski closure in…
This note gives a very succinct conceptual proof of Brahmagupta's formula for cyclic quadrilaterals, and then a long discussion about how the proof is inspired by ideas from modern mathematics.
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 k be an algebraically closed field. A polynomial F in k[X,Y] is said to be "generally rational" if, for almost all c in k, the curve " F= c '' is rational. It is well known that, if char(k)=0, F is generally rational iff there exists G…
An $n$-dimensional manifold $M$ is said to be rationally $4$-periodic if there is an element $e\in H^4(M;\mathbb{Q})$ with the property that cupping with $e$, $\cdot \cup e:H^\ast(M;\mathbb{Q})\rightarrow H^{\ast + 4}(M;\mathbb{Q})$ is…
A seminal result of E. Ehrhart states that the number of integer lattice points in the dilation of a rational polytope by a positive integer $k$ is a quasi-polynomial function of $k$ --- that is, a "polynomial" in which the coefficients are…
A polygon $P$ is called a reptile, if it can be decomposed into $k\ge 2$ nonoverlapping and congruent polygons similar to $P$. We prove that if a cyclic quadrilateral is a reptile, then it is a trapezoid. Comparing with results of U. Betke…
A quadrilateral of factors is an irreducible inclusion of factors $N \subset M$ with intermediate subfactors $P$ and $Q$ such that $P$ and $Q$ generate $M$ and the intersection of $P$ and $Q$ is $N$. We investigate the structure of a…
We develop a characterization for the existence of symmetries of canal surfaces defined by a rational spine curve and rational radius function. In turn, this characterization inspires an algorithm for computing the symmetries of such canal…
We recall that diagonals of rational functions naturally occur in lattice statistical mechanics and enumerative combinatorics. We find that a seven-parameter rational function of three variables with a numerator equal to one (reciprocal of…
We prove that every rational angled hyperbolic triangle has transcendental side lengths and that every rational angled hyperbolic quadrilateral has at least one transcendental side length. Thus, there does not exist a rational angled…
We consider nearly-perfect cuboids (NPC), where the only irrational is one of the face diagonals. Obtained are three rational parametrizations for NPC with one parameter.
Cubic fourfolds of discriminant 24 contain special codimension-two algebraic cycles of degree 6 and self-intersection 20. Such cycles may be represented by singular scrolls or del Pezzo surfaces. A discriminant 24 cubic fourfold gives rise…
In this paper we present some results related to the problem of finding periodic representations for algebraic numbers. In particular, we analyze the problem for cubic irrationalities. We show an interesting relationship between the…
Motion polynomials (polynomials over the dual quaternions with nonzero real norm) describe rational motions. We present a necessary and sufficient condition for reduced bounded motion polynomials to admit factorizations into monic linear…
In this note we present a construction of an infinite family of diagonal quintic threefolds defined over $\Q$ each containing infinitely many rational points. As an application, we prove that there are infinitely many quadruples $B=(B_{0},…
Two perpendicular segments which divide a given triangle into 4 regions of equal area is called a quadrisection of the triangle. Leonhard Euler proved in 1779 that every scalene triangle has a quadrisection with its triangular part on the…
It is easy to find a right-angled triangle with integer sides whose area is 6. There is no such triangle with area 5, but there is one with rational sides (a `\emph{Pythagorean triangle}'). For historical reasons, integers such as 6 or 5…
We apply a symbolic approach of the general quadratic decomposition of polynomial sequences - presented in a previous article referenced herein - to polynomial sequences fulfilling specific orthogonal conditions towards two given…