>>726
答えは　(3π/4)(√2 - 1) - (2√2 - 1)　　？
なら　dk=3sinθdθ　とすればいい。