Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleComputation with pentagons.
Author(s) Pavel Pech
TypeArticle in Journal
AbstractThe 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 Nagy-Ré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 well-known Heron and Brahmagupta formulas for triangles and cyclic quadrilaterals. The method presented here could serve as a tool for solving this problem for cyclic n-gons for a higher n.
ISSN1433-8157
URL http://www.heldermann.de/JGG/JGG12/JGG122/jgg12015.htm
LanguageEnglish
JournalJ. Geom. Graph.
Volume12
Number2
Pages151--160
PublisherHeldermann, Lemgo
Year2008
Edition0
Translation No
Refereed No
Webmaster