0<b<a<π/2とする。
(a-b)/2=∫[cos(a),cos(b)]√(1-(x^2))dxを満たすa,bが存在するようなaの条件を求めよ。