オノの不等式

幾何学におけるオノの不等式（オノのふとうしき、Ono's inequality）は、三角形の辺と面積に関する不等式である。

1914年に T.オノ^[1]はこの式が任意の三角形について成り立つと予想したが、1916年に Balitrand によって予想が誤りであることと鋭角三角形であればこの式が成り立つことが示された。

不等式

鋭角三角形の3辺を a, b, c 、面積を S としたとき、以下の不等式が成り立つ。

27 (b^{2} + c^{2} - a^{2})^{2} (c^{2} + a^{2} - b^{2})^{2} (a^{2} + b^{2} - c^{2})^{2} \leq (4 S)^{6} .

この式は鈍角三角形だと成り立たないことがある。反例としては a = 3, b = 2, c = 4 のような例が挙げられる。

与式の両辺を $64 (a b c)^{4}$ で割る。

27 \frac{(b^{2} + c^{2} - a^{2})^{2}}{4 b^{2} c^{2}} \frac{(c^{2} + a^{2} - b^{2})^{2}}{4 a^{2} c^{2}} \frac{(a^{2} + b^{2} - c^{2})^{2}}{4 a^{2} b^{2}} \leq \frac{4 S^{2}}{b^{2} c^{2}} \frac{4 S^{2}}{a^{2} c^{2}} \frac{4 S^{2}}{a^{2} b^{2}}

左辺に余弦定理を適用し、右辺に $S = \frac{b c \sin A}{2}$ などを適用する。

27 (\cos A \cos B \cos C)^{2} \leq (\sin A \sin B \sin C)^{2}

任意の三角形について成り立つ恒等式 $\tan A + \tan B + \tan C = \tan A \tan B \tan C$ を利用して変形する。

27 \tan A \tan B \tan C \leq (\tan A + \tan B + \tan C)^{3}

鋭角三角形であれば各内角の正接は正なので、相加相乗平均の関係より上の式は成り立つ。