分类：教育/科学-理工学科-数学
问题：三角形问题设a,b,c表示三角形三边长,求证a^3+b^3+c^ 
设a,b,c表示三角形三边长,求证
a^3+b^3+c^3+3abc>4√3｜(a-b)(b-c)(c-a)｜
回答：设a,b,c表示三角形三边长,求证 
a^3+b^3+c^3+3abc>12√3｜(a-b)(b-c)(c-a)｜ 

read bottest9;
cmax(a^3+b^3+c^3+3*a*b*c>k*(a-b)*(a-c)*(b-c),[a>b,b>c],k);

OUTPUT RESULT:`
The best possible maximal const `.k.` is a root of the following polynomial :`
k^2-432=0
`which is between （`, 62/3, `，`, 33, `）`

机器证明k=12√3是最佳的.