>>91
展開した後の
=AB+BC+CA-ABC
=AB(1-(C/3))+BC(1-(A/3))+CA(1-(B/3))＞0

がわからないです・・・

>>93
なるほど！　a,bがともに負であれば、ab>1になってしまいますね。
ありがとうございます。

>>95
a,bの条件のもとに、新たな変数を代入するということであってますか？