An artificial proof of a geometric inequality in a triangle

DOI10.1186/1029-242X-2013-329zbMath1286.51013WikidataQ59299674 ScholiaQ59299674MaRDI QIDQ2437691

Shi-Chang Shi, Yu-Dong Wu

Publication date: 13 March 2014

Published in: Journal of Inequalities and Applications (Search for Journal in Brave)

zbMATH Keywords

trianglecircumradiusgeometric inequalityinradiusmedians

Mathematics Subject Classification ID

Inequalities and extremum problems involving convexity in convex geometry (52A40) Inequalities and extremum problems in real or complex geometry (51M16)

Related Items (1)

Sharp bounds for cyclic sums of the ratio of the exradius to the sides of a triangle

Cites Work

• Recent advances in automated theorem proving on inequalities

This page was built for publication: An artificial proof of a geometric inequality in a triangle