INTRINSIC GEOMETRY OF CYCLIC HEPTAGONS AND OCTAGONS

Dragutin SVRTAN

Department of Mathematics, University of Zagreb, Bijenička c.30. 10000 Zagreb, Croatia

Abstract

Finding formulas for the area or circumradius of polygons inscribed in a circle in terms of side lengths is a classical subject . For the area of a triangle we have famous Heron formula and for cyclic quadrilaterals we have Brahmagupta’s formula. A decade ago D.P.Robbins found a minimal equations satisfied by the area of cyclic pentagons and hexagons by a method of undetermined coefficients and he wrote the result in a nice compact form. The method he used could hardly be used for heptagons due to computational complexity of the approach. In another approach with two collaborators (see Ref.2) a concise heptagon/octagon area formula was obtained recently (not long after D.P.Robbins premature death). This approach uses covariants of binary quintics. It is not clear if this approach could be effectively used for cyclic polygons with nine or more sides. A nice survey on this and other Robbins conjectures is written by I.Pak (see Ref.4).

In this talk we shall present an intrinsic proof of the Robbins formula for the area (circumradius and area times circumradius) of cyclic hexagon based on an intricate direct elimination of diagonals (the case of pentagon was treated in Ref.5) and using a new algorithm from Ref.6. In the early stage we used computations with MAPLE (which sometimes lasted several days, nowdays several hours!). Based on our new intermediate Brahmagupta formula we get simpler systems of equations for the area and area times circumradius of cyclic heptagons and cyclic octagons.Also computations of all diagonals will be discussed (cf..Ref 10) .It seems remarkable that our approach ,with a help of Groebner basis technics leads to minimal equations ,what is not the case with iterated resultants approach.

References

A.F. Moebius, Ueber die Gleichungen, mittelst welcher aus der Seiten eines in einen Kreis zu beschriebenden Vielecks der Halbmesser des Kreises un die Flahe des Vielecks gefunden werden, Crelle's Journal, 3:5--34. 1828.

F.Miller Maley, David P.Robbins, Julie Roskies, On the areas of cyclic and semicyclic polygons, Adv. Applied Math. Vol34(2005),669-689.

math.MG/0407300v1.

D.P.Robbins, Areas of polygons inscribed in a circle, Discrete Computational Geometry, 12:223--236, 1994.

I. Pak, The area of cyclic polygons: recent progress on Robbins conjectures, Adv. Applied Math. Vol34(2005),690-696.

D. Svrtan, D.Veljan and V.Volenec, Geometry of pentagons: from Gauss to Robbins, math.MG/0403503.

D.Svrtan, A new approach to rationalization of surds, submitted.

D.Svrtan, Intrinsic proof of Robbins formula for the area of cyclic hexagons,. submitted.

D.Svrtan, Equations for the Circumradius and Area of cyclic polygons via Wiener-Hopf factorization. Computational aspects and some new formulas. In preparation.

10.V.V.Varfolomeev, Inscribed polygons and Heron polynomials, Sb. Math. 194 (2003),311- 331.

Abstract: MATH/CHEM/COMP 2009, Dubrovnik, June 08-13, 2009

1

pokric

2009-05-05

IRB