0<a<bとして　x<bにおいて関数 f(x)= x+√{(a-x)(b-x)} が単調減少
であることは示せますか。
微分してもf'が複雑で困りってます。