Answer & Explanation
The answer expands on my comment, which remarked that the integrand of the given integral is twice the Gudermannian function, gd, which appears most famously in the equation governing the Mercator projection in cartography.
Differentiating the integrand gives
In particular, this derivative is even. Since evaluating the integrand at x=0 gives
for any a: In particular, the occurrence of
Most Popular Questions