A computer verification of a conjecture about the Erdös-Mordell curve
Abstract
In this paper we consider Erdös-Mordell inequality and its extension in the plane of triangle to the Erdös-Mordell curve. Algebraic equation of this curve is derived, and using modern computer tools in mathematics, we verified one conjecture that relates to Erdös-Mordell curve.
Keywords:
algebraic equation / computer verification / conjecture / Erdös-Mordell curveSource:
2013 21st Telecommunications Forum Telfor, TELFOR 2013 - Proceedings of Papers, 2013, 1031-1034Funding / projects:
- Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education (RS-44006)
- Analysis and algebra with applications (RS-174032)
DOI: 10.1109/TELFOR.2013.6716408