MathDB
SMT 2010 Geometry #9

Source:

February 11, 2012
geometrycircumcircleincentertrigonometryalgebrasystem of equations

Problem Statement

For an acute triangle ABCABC and a point XX satisfying ABX+ACX=CBX+BCX\angle{ABX}+\angle{ACX}=\angle{CBX}+\angle{BCX}.
Fi nd the minimum length of AXAX if AB=13AB=13, BC=14BC=14, and CA=15CA=15.