17/07/13 01:19:17.26 aYclV8OY.net
不等式スレの第１章より前から集めているコレクションから引っ張り出してきた。
（つい最近まで出典をメモする習慣がなかったことを激しく後悔…）
実数 a,b,c に対して、
(b^2 + c^2 - a^2)(c^2 + a^2 - b^2)(a^2 + b^2 - c^2) ≦ {(b+c-a)(c+a-b)(a+b-c)}^2
さて、a,b,cを鋭角三角形の3辺の長さとして、この右辺と Ono Inequality の右辺の大小とか定まるかな？