A Computer Verification of a Conjecture About Erdös-Mordell Curve

Bojan D. Banjac,Branko J. Malesevic,Maja M. Petrovic,Marija Dj. Obradovic
DOI: https://doi.org/10.48550/arXiv.1309.7927
2013-09-30
Metric Geometry
Abstract:In this paper we consider Erd\"os-Mordell inequality and its extension in the plane of triangle to the Erd\"os-Mordell curve. Algebraic equation of this curve is derived, and using modern computer tools in mathematics, we verified one conjecture that relates to Erd\"os-Mordell curve.
What problem does this paper attempt to address?