- 953 名前：１３２人目の素数さん mailto:sage [2009/06/10(水) 16:04:31 ]
- >>951上
a[i]/a[i+1]=x[i]、a[n]/a[1]=x[n]とおくと
(右辺)=(1+x[1])/(1+1/x[2])+(1+x[2])/(1+1/x[3])+……+(1+x[n])/(1+1/x[1])≦(1+x[1])/(1+1/x[1])+(1+x[2])/(1+1/x[2])+……+(1+x[n])/(1+1/x[n]) (チェビシェフ)
=x[1]+x[2]+……+x[n]=(左辺)
>>951下
左辺を整理すると
1+4abc/(b+c)(c+a)(a+b)
よりabc/(b+c)(c+a)(a+b)≦1/8
をしめせばよいが
2√bc≦b+c,2√ca≦c+a,2√ab≦a+b
を辺々掛ければ明らか
(a=tanA,b=tanB,c=tanCとおいても解ける)
