f(x)=1/3x三次方+x+sinx,如果至少存在一个实数x 似的f(a-x)+f(ax方-1)小于0成立