In [1] Jian Liu established a novel inequality about an arbitrary point in the plane ofa triangle. He also put forward a conjecture about a parameterized version of this inequality. Inthis paper, we proceed to give a proof of this inequality facilitated by a combination of computeraidedcalculations and traditional planar geometry. This proof demonstrates again the strengthsof the real algebra methodology develped over time by Ritt, Wu, Yang, Yang, Xia, et. al.
展开▼
