f(x)＝(1/2)sin(2x)log(1/tan(x))とする。
方程式f(x)＝0の0＜x＜π/4の範囲の実数解はただ1つであることを示せ。


f´(x)＝cos(2x)log(1/tan(x))−1
f´´(x)＝tan(x)−(1/tan(x))−2sin(2x)log(1/tan(x))
は出してみたのですが・・・