>>595
そんなにシンプルに示せるとは驚きました。本当に有難うございます。

やはり三次方程式の解の配置に帰着させて解くのは無理なのかもしれませんね。
a < b < c (対象性より)を三次方程式の３解と考えると、 a < 1 < b < c となることが言えれば
結論にたどり着く筈なのですが…これがとても難しい。

もしできる人がいましたら、是非知らせてください。いつまでもお待ちしています。