arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.22970

Rational Area Profiles of Regular Polygons Cut by Two Congruent Diagonals

Shoichi Inoue·Keiichi Watanabe
View original source ↗Read source document ↗Export metadata ↓

Abstract

Two congruent diagonals of a regular hexagon cut it into four regions whose areas are all rational multiples of the area of the hexagon. We determine when this phenomenon occurs in a regular $n$-gon. For every regular polygon cut by two intersecting congruent diagonals, neither of which is a diameter, we classify all unions of the four resulting regions whose areas are rational fractions of the total area. The hexagon is the only configuration in which all four regions are simultaneously rational. One of the two regions on the axis of symmetry is rational in exactly five sporadic configurations, with $n=6,18,30$, whereas the other region and the adjacent two-region unions belong to infinite families with simple geometric explanations. The two lateral regions have rational area ratios in exactly two configurations, with $n=6$ and $n=12$. The proof reduces each area ratio to a trigonometric quotient, bounds its rational values by norms in cyclotomic fields, and settles the remaining equations using Myerson's classification of equal products of two sines and the Poonen--Rubinstein classification of a three-sine-product equation.

Explore related subjects

math.MGmath.NT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Shoichi Inoue, Keiichi Watanabe. 2026-10-16. Rational Area Profiles of Regular Polygons Cut by Two Congruent Diagonals. https://arxiv.org/abs/2610.22970

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

The Spherical Hadwiger Theorem

We prove the spherical Hadwiger theorem in every dimension: for $n\geq1$, every continuous $\mathrm{SO}(n+1)$-invariant valuation on all closed spherical convex sets in the unit sphere $\mathbb{S}^n$ is a unique linear combination of the spherical intrinsic volumes $V_0,\ldots,V_n$. The same classification holds on sets contained in an open hemisphere, with unique continuous invariant extension to the full domain. We first classify simple invariant valuations by an independent induction on dimension. Averaging a signed cone identity gives the spherical volume term; the remaining terms are signed coning transforms that vanish by the lower-dimensional simple classification. A second induction, together with extension to non-proper sets, gives the general classification. The cone--sphere correspondence yields, for $d\geq2$, the corresponding classification on all closed convex cones in $\mathbb{R}^d$, without normalization at the zero cone. In both settings, $\mathrm{SO}$-invariance implies $\mathrm{O}$-invariance.

math.MG↗
arXiv2026

Infinitesimally Euclidean metric surfaces

We prove the equivalence of several notions of infinitesimally Euclidean-like behaviour for metric surfaces appearing in the literature. We obtain in particular that metric surfaces with property (ET) are universally infinitesimally Hilbertian.

math.MG↗
arXiv2026

Tiling a triangle into a prime number of congruent triangles

We prove that if a triangle is cut into $N$ congruent triangles and $N$ is prime, then $N=2$, $N=3$, or $N\equiv 1 \pmod 4$, and every such $N$ occurs. In particular, if $N > 3$ then $N$ is not a prime congruent to $3$ modulo $4$. The argument divides into cases according to possible shapes of the tiled triangle. Let $α,β,γ$ be the angles of the tile. Prior to this posting, there remained several open shapes. The two most difficult shapes were $(2α,β,α+β)$, the {\em triquadratic} shape, and $(β,β,3α)$, the {\em isosceles-$β$} shape, in which $3α+2β= π$ and $α$ is not a rational multiple of $π$. A previous version of this paper relied on incorrect proofs of those cases, which have been retracted, and are replaced here by correct proofs. For each of those two shapes the number of tiles has the form $N = j^2 N_0$, where $N_0 > 1$ is determined by the shape of the tile and $j$ is a positive integer; so $N$ is prime, or even squarefree, only if $j = 1$. We prove by geometric reasoning that neither shape admits a tiling with $j = 1$, which shows that for both shapes $N$ is never prime, and indeed never squarefree. The shape $(β,β,3α+β)$ (where $3α+ 3β= π$) has been settled by Bonfioli. In this paper, we settle the remaining cases, by number-theoretic arguments based on the area equation. Those proofs rule out $N$ prime, but not $N$ squarefree, and we give examples to show that tilings with squarefree $N$ do sometimes exist.

math.MG↗