>>626

574 名前：１３２人目の素数さん[sage] 投稿日：2008/10/12(日) 21:22:11
>>437の(2)

0≦x＜y＜zとしてよい
>>540のように与式の分母分子を(z-y)^3で割って
t＝(y-x)/(z-y)＞0、r＝3x/(z-y)と変換すると

与式＝[r+(2t+1)](t^2+t+1)/[t(t+1)]

r≧0（等号はx＝0）より(1)に帰着