θ=asin(x)＋acos(x)=とおくと、加法定理から sin(θ)=x^2+(1-x^2)=1、θ=π/2