>>681
どうかんがえてもx=tantでした本当に（ｒｙ
何れにせよもう一回置き直してみろ
=dt/cos^3t sint=k dt=-dk/cost
=-dk/cos^4t
=-dk(1-k^2)^2

ちょっと書きながらやってるから自信ないけど