17/07/14 18:29:25.42 54s0BI7v.net
〔B.3987.改〕の略証を
>>76
a_2 + a_3 + … + a_k = s とおく。
(a_1+a_2+…+a_k)(a2+a3+…+a(k+1)) = (a_1 + s)(s + a_(k+1)) > s{a_1 + s + a_(k+1)}
巡回的に掛ける。
>>79
k=L のときは >>76
k<L のときも
{Ｐ_k Ｐ_L}/{Ｐ_(k-1) Ｐ_(L+1)｝=｛(Ｐ_k)^2/Ｐ_(k-1)Ｐ_(k+1)}×{(Ｐ_(k+1))^2/Ｐ_k Ｐ_(k+2)}×
…… ×{(Ｐ_L)^2/Ｐ_(L-1)Ｐ_(L+1)} > 1,