オノの不等式

幾何学におけるオノの不等式（おののふとうしき）は、三角形の辺と面積に関する不等式である。
1914年に T.オノはこの式が任意の三角形について成り立つと予想したが、1916年に Balitrand によって予想が誤りであることと鋭角三角形であればこの式が成り立つことが示された。
不等式.
鋭角三角形の3辺を "a", "b", "c" 、面積を "S" としたとき、以下の不等式が成り立つ。
この式は鈍角三角形だと成り立たないことがある。反例としては "a" = 3, "b" = 2, "c" = 4 のような例があげられる。
証明.
与式の両辺を formula_2 で割る。
左辺に余弦定理を適用し、右辺に formula_4 などを適用する。
formula_6 を利用して変形する。
各角の正接は正なので相加相乗平均の関係より上の式は成り立つ。