>>881
http://www.riruraru.com/cfv21/math/tum04f3.htm

x = f(θ) が単調減少関数であることを示していませんが、こういう解答はOKなんですか？

（１） x = f(θ) が区間[0, 3*π/5] で単調減少であることを示す。

（２） θ = f^{-1}(x) は f([0, 3*π/5]) = [10*cos(3*π/5), 10] で連続である。

（３） 2つの連続関数の合成関数 y = g(f^{-1}(x)) は [10*cos(3*π/5), 10] で連続である。

（４） x = f(θ) は明らかに C^1 級関数である。

（５） 置換積分の公式が適用でき、

∫_{10*cos(3*π/5)}^{10} g(f^{-1}(x)) dx = …

みたいに書かないとまずいですよね？