In mathematics, Ono's inequality is a theorem about triangles in the Euclidean plane. In its original form, as conjectured by Tôda Ono (小野藤太) in 1914, the inequality is actually false; however, the statement is true for acute triangles, as shown by F. Balitrand in 1916.
Statement of the inequality Consider an acute triangle (meaning a triangle with three acute angles) in the Euclidean plane with side lengths a, b and c and area S. Then
27 ( b 2 + c 2 − a 2 ) 2 ( c 2 + a 2 − b 2 ) 2 ( a 2 + b 2 − c 2 ) 2 ≤ ( 4 S ) 6 . {\displaystyle 27(b^{2}+c^{2}-a^{2})^{2}(c^{2}+a^{2}-b^{2})^{2}(a^{2}+b^{2}-c^{2})^{2}\leq (4S)^{6}.}
This inequality fails for general triangles (to which Ono's original conjecture applied), as shown by the counterexample a = 2 , b = 3 , c = 4 , S = 3 15 / 4. {\displaystyle a=2,\,\,b=3,\,\,c=4,\,\,S=3{\sqrt {15}}/4.}
The inequality holds with equality in the case of an equilateral triangle, in which up to similarity we have sides 1 , 1 , 1 {\displaystyle 1,1,1} and area 3 / 4. {\displaystyle {\sqrt {3}}/4.}
Proof Dividing both sides of the inequality by 64 ( a b c ) 4 {\displaystyle 64(abc)^{4}} , we obtain:
… excerpt ends here. Continue reading the full article.
