a＝√3とします。f(x)=asinx+sinh(ax)-(asinx)^2がx>0のとき正だと思うのですが示せますか？