I wanted to verify the integral $\int\limits_0^{2\pi}\frac{d\phi}{(a^2+b^2)+(a^2-b^2)\cos(n\phi)}=\frac{\pi}{ab}$ (where $b>a>0$ and $n$ is a positive integer).
Individual values of $n$ work:
$Assumptions = {b > a > 0};
Integrate[1/((a^2 + b^2) + (a^2 - b^2) Cos[x]), {x, 0, 2Pi}]
*** Pi/(ab) ***
Integrate[1/((a^2 + b^2) + (a^2 - b^2) Cos[2 x]), {x, 0, 2Pi}]
*** Pi/(ab) ***
Integrate[1/((a^2 + b^2) + (a^2 - b^2) Cos[3 x]), {x, 0, 2Pi}]
*** Pi/(ab) ***
and so on.
But then, when I want to solve it for general $n$, I get:
$Assumptions = {b > a > 0, n \[Element] Integers, n >= 1};
Integrate[1/((a^2 + b^2) + (a^2 - b^2) Cos[n x]), {x, 0, 2 Pi}]]
*** Pi/(abn) ***
What is going on? (I'm using 11.0.1.0 on OSX.)
Block[{$Assumptions = {b > a > 0, n \[Element] Integers, n >= 1}} , Integrate[1/((a^2 + b^2) + (a^2 - b^2) Cos[n x]), {x, 0, 2 Pi}]]
, I got0
. (v10.0 on Mac OSX). $\endgroup$Block
I get zero for v 11.1.1 on Windows 10. $\endgroup$Integrate[1/((a^2 + b^2) + (a^2 - b^2) Cos[n x]), {x, 0, 2 Pi}, Assumptions -> {a ∈ Reals, b ∈ Reals, n ∈ Integers, n >= 1}], followed by
FullSimplify[%, {b > a > 0, n ∈ Integers, n >= 1}]` givesπ/(a b n)
, not0
. Also,GenerateConditions -> True
doesn't. Looks like a bug to me. $\endgroup$