Menu

#4369 incorrect atan2 --> atan substitution in definite integral

None
open
nobody
5
2024-09-08
2024-09-08
No

integrate(log(5 - 4*cos(x)), x) returns an antiderivative containing atan2(2*sin(x), 1 - 2*cos(x)), but when integrate (log(5 - 4*cos(x)), x, 0, %pi) is evaluated, somewhere along the way atan2 is replace by atan, which introduces a discontinuity at %pi/3, and therefore changes the final result.

See also #4368 about a different problem having to do with that same integral.

Discussion


Log in to post a comment.

MongoDB Logo MongoDB