arXiv math/04073002004-07-16math.MG

On the Areas of Cyclic and Semicyclic Polygons

F. Miller Maley, David P. Robbins, Julie Roskies

备注：: 22 pages

英文摘要：

We investigate the ``generalized Heron polynomial'' that relates the squared area of an n-gon inscribed in a circle to the squares of its side lengths. For a (2m+1)-gon or (2m+2)-gon, we express it as the defining polynomial of a certain variety derived from the variety of binary (2m-1)-forms having m-1 double roots. Thus we obtain explicit formulas for the areas of cyclic heptagons and octagons, and illuminate some mysterious features of Robbins' formulas for the areas of cyclic pentagons and hexagons. We also introduce a companion family of polynomials that relate the squared area of an n-gon inscribed in a circle, one of whose sides is a diameter, to the squared lengths of the other sides. By similar algebraic techniques we obtain explicit formulas for these polynomials for all n <= 7.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Morse index of a cyclic polygon

It is known that cyclic configurations of a planar polygonal linkage are critical points of the signed area function. In the paper, we announce an explicit formula of the Morse index for the signed area of a cyclic configuration. It depends not only on the combinatorics of a cyclic configuration, but also includes some metric characterization.

2010-09-03math.MG

Cyclic polygons in classical geometry

Formulas about the side lengths, diagonal lengths or radius of the circumcircle of a cyclic polygon in Euclidean geometry, hyperbolic geometry or spherical geometry can be unified.

2010-09-15math.MG

General method of Complex Polynomial for determining the radius of the circle circumscribed to a cyclic polygon an arbitrary number of sides, and some important consequences

This paper presents a general method for obtaining radius of the corresponding circumference to a cyclical polygon $n$ sides given the lengths of said sides, using the notion of complex number. As of radius $r$, obtained, can then be calculated polygon area in question applying known expressions which requires, after $n=4$, a powerful calculation tool. Are also given like elements regarding non convex polygons cyclic, although in this respect it deepens less and is not considered, course, the calculation of areas.

2015-12-19math.MG

A variational principle for cyclic polygons with prescribed edge lengths

We provide a new proof of the elementary geometric theorem on the existence and uniqueness of cyclic polygons with prescribed side lengths. The proof is based on a variational principle involving the central angles of the polygon as variables. The uniqueness follows from the concavity of the target function. The existence proof relies on a fundamental inequality of information theory. We also provide proofs for the corresponding theorems of spherical and hyperbolic geometry (and, as a byproduct, in $1+1$ spacetime). The spherical theorem is reduced to the euclidean one. The proof of the hyperb…

2016-11-23math.MG

The geometry of cyclic hyperbolic polygons

A hyperbolic polygon is defined to be cyclic, horocyclic, or equidistant if its vertices lie on a metric circle, horocycle, or a component of the equidistant locus to a hyperbolic geodesic, respectively. Convex such $n$-gons are parametrized by the subspaces of $(0,\infty)^n$ that contain their side length collections, and area and circumcircle or "collar" radius determine symmetric, smooth functions on these spaces. We give formulas for and bounds on the derivatives of these functions, and make some observations on their behavior. Notably, the monotonicity properties of area and circumcircle …

2015-06-30math.GTmath.MG

The area of cyclic polygons: Recent progress on Robbins' Conjectures

In his works [R1,R2] David Robbins proposed several interrelated conjectures on the area of the polygons inscribed in a circle as an algebraic function of its sides. Most recently, these conjectures have been established in the course of several independent investigations. In this note we give an informal outline of these developments.

2004-08-09math.COmath.MG

更多相关论文收起更多论文

Points and lines configurations for perpendicular bisectors of convex cyclic polygons

We characterize the topological configurations of points and lines that may arise when placing n points on a circle and drawing the n perpendicular bisectors of the sides of the corresponding convex cyclic n-gon. We also provide exact and asymptotic formulas describing a random realizable configuration, obtained either by sampling the points uniformly at random on the circle or by sampling a realizable configuration uniformly at random.

2022-03-23math.COmath.MGmath.PR

The Area of a Polygon with an Inscribed Circle

Heron's formula states that the area $K$ of a triangle with sides $a$, $b$, and $c$ is given by $$ K=\sqrt {s(s-a) (s-b) (s-c)} $$ where $s$ is the semiperimeter $(a+b+c)/2$. Brahmagupta, Robbins, Roskies, and Maley generalized this formula for polygons of up to eight sides inscribed in a circle. In this paper we derive formulas giving the areas of any $n$-gon, with odd $n$, in terms of the ordered list of side lengths, if the $n$-gon is circumscribed about a circle (instead of being inscribed in a circle). Unlike the cyclic polygon problem, where the order of the sides does not matter, for th…

2012-03-15math.MG

A "right" path to cyclic polygons

It is well known that Heron's theorem provides an explicit formula for the area of a triangle, as a symmetric function of the lengths of its sides. It has been extended by Brahmagupta to quadrilaterals inscribed in a circle (cyclic quadrilaterals). A natural problem is trying to further generalize the result to cyclic polygons with a larger number of edges, which, surprisingly, has revealed to be far from simple. In this paper we investigate such a problem by following a new and elementary approach. We start from the simple observation that the incircle of a right triangle touches its hypothen…

2019-10-17math.COmath.HOmath.MG

Dual-cyclic polytopes of convex planar polygons with fixed vertex angles

If we fix the angles at the vertices of a convex planar $n$-gon, the lengths of its edges must satisfy two linear constraints in order for it to close up. If we also require unit perimeter, our vectors of $n$ edge lengths form a convex polytope of dimension $n-3$, each facet of which consists of those $n$-gons in which the length of a particular edge has fallen to zero. Bavard and Ghys require unit area instead, which gives them a hyperbolic polytope. Those two polytopes are combinatorially equivalent, so either is fine for our purposes. Such a fixed-angles polytope is combinatorially richer w…

2020-02-19math.COmath.GTmath.MG

A linear-time algorithm for the maximum-area inscribed triangle in a convex polygon

Given the n vertices of a convex polygon in cyclic order, can the triangle of maximum area inscribed in P be determined by an algorithm with O(n) time complexity? A purported linear-time algorithm by Dobkin and Snyder from 1979 has recently been shown to be incorrect by Keikha, Löffler, Urhausen, and van der Hoog. These authors give an alternative algorithm with O(n log n) time complexity. Here we give an algorithm with linear time complexity.

2017-06-09cs.CGmath.MG

面积为1的多边形及其顶点位于平面无限测度集合中

Polygons of unit area with vertices in sets of infinite planar measure

研究探讨了面积为1的多边形顶点在无限测度集合中的存在性，分别回答了循环四边形和等边凸多边形的问题。

2025-11-10math.CAmath.COmath.MG

Random Cyclic Quadrilaterals

The circumcircle of a planar convex polygon P is a circle C that passes through all vertices of P. If such a C exists, then P is said to be cyclic. Fix C to have unit radius. While any two angles of a uniform cyclic triangle are negatively correlated, any two sides are independent. In contrast, for a uniform cyclic quadrilateral, any two sides are negatively correlated, whereas any two adjacent angles are uncorrelated yet dependent.

2016-10-03math.HOmath.MGmath.PR

核亏空主导两倍的凸包亏空：中野不等式的严格强化

The Kernel Deficit Dominates Twice the Hull Deficit: A Sharp Strengthening of Nakano's Inequality

该研究强化了中野不等式，证明多边形核亏空主导两倍凸包亏空，通过凸体帽并集等方法推导，结果有Lean 4机器验证。

2026-08-27math.MG

Geometry of pentagons: from Gauss to Robbins

An almost forgotten gem of Gauss tells us how to compute the area of a pentagon by just going around it and measuring areas of each vertex triangles (i.e. triangles whose vertices are three consecutive vertices of the pentagon). We give several proofs and extensions of this beautiful formula to hexagon etc. and consider special cases of affine--regular polygons. The Gauss pentagon formula is, in fact, equivalent to the Monge formula which is equivalent to the Ptolemy formula. On the other hand, we give a new proof of the Robbins formula for the area of a cyclic pentagon in terms of the side le…

2004-03-29math.MG