Two inequalities about the pedal triangle

Journal of Inequalities and Applications

Fangjian Huang¹ 

[1] School of Automation Engineering, University of Electronic Science and Technology of China;

关键词: Interior point;    Pedal triangle;    Inequality;    Automated inequality proving;   

DOI  :  10.1186/s13660-018-1661-7

来源: DOAJ

【 摘 要 】

Abstract Two conjectures about the pedal triangle are proved. For the first conjecture, the product of the distances from an interior point to the vertices is mainly considered and a lower bound is obtained by the geometric method. To prove the other one, an analytic expression of the distance between the circumcenter and an interior point is achieved by the distance geometry method. A procedure to transform the geometric inequality to an algebraic one is presented. And then the proof is finished with the help of a Maple package, Bottema. The proof process could be applied to similar problems.

【 授权许可】

Unknown