A Computer Verification of a Conjecture About Erdos-Mordell Curve


Abstract in English

In this paper we consider Erdos-Mordell inequality and its extension in the plane of triangle to the Erdos-Mordell curve. Algebraic equation of this curve is derived, and using modern computer tools in mathematics, we verified one conjecture that relates to Erdos-Mordell curve.

Download