Details:
Title  Computation with pentagons.  Author(s)  Pavel Pech  Type  Article in Journal  Abstract  The paper deals with properties of pentagons in a plane which are related to the area of a pentagon. First the formulas of Gauss and Monge holding for any pentagon in a plane are studied. Both formulas are derived by the theory of automated theorem proving. In the next part the area of cyclic pentagons is investigated. On the base of the NagyRédey theorem and other results, the formula for the area of a cyclic pentagon which is given by its side lengths is rediscovered. This is the analogue of wellknown Heron and Brahmagupta formulas for triangles and cyclic quadrilaterals. The method presented here could serve as a tool for solving this problem for cyclic ngons for a higher n.  ISSN  14338157 
URL 
http://www.heldermann.de/JGG/JGG12/JGG122/jgg12015.htm 
Language  English  Journal  J. Geom. Graph.  Volume  12  Number  2  Pages  151160  Publisher  Heldermann, Lemgo  Year  2008  Edition  0  Translation 
No  Refereed 
No 
