17/07/20 17:16:57.28 27eqirM3.net
>>62-63
小野ちゃんの不等式から、三角形絡みの不等式を検索して、フランダースの不等式に辿り着いた。
ところが過去スレを検索すると、既に初代スレに載っていたでござった…。全く記憶にござらぬ…。
[不等式 第1章]
> 668 名前：580[sage] 投稿日：04/11/22(月) 11:39:24
> 【補題】A+B+C=π, 0<A,B,C<π のとき、
> 0 < sin(A)sin(B)sin(C) ≦ {(3√3)/2π}^3 ABC ≦ (3√3)/8.
> -1 < cos(A)cos(B)cos(C) ≦ [1-cos(A)][1-cos(B)][1-cos(C)] ≦ 1/8.
>
> フランダースの不等式 とか言うらしい．．．
> URLﾘﾝｸ(mathworld.wolfram.com)
> ぬるぽ
,.-─-、
/ /_wゝ-∠l
ヾ___ノ,. - >
/|／（ヽY__ノﾐ
.{ rｲ ノ
パトラッシュ、疲れたろう。
�