sin(x+π/2)=cosxを利用して1/cosxの不定積分を求めたいのですが発想がでてきません