AngouriMath
SolveAConjugatePairOfImaginaryTangentSums(AngouriMath.Entity,AngouriMath.Entity.Variable,System.Boolean)
Method (no overloads)
Summary
Powers of the two conjugate sums a + i a tan(z) and c - i c tan(z) , not both
whole and adding up to a whole numberk , beside a function of the tangent, the
secant or the cosine of the same argument, integrated as the exponential they are:
a + i a tan(z) is a sec(z) e^(i z) on the real line and
c - i c tan(z) is c sec(z) e^(-i z) , so the pair is a constant on every
interval where it is continuous timessec(z)^k e^(i (p - q) z) , and in
w = e^(i z) the whole is a rational function of w times a power of it.
whole and adding up to a whole number
secant or the cosine of the same argument, integrated as the exponential they are:
interval where it is continuous times
Remarks
the rest of Rubi's 4.3.2.1 and 4.3.3.1 that put half-odd powers on both sums: the rule for
one of them integrates in it beside a whole power of the other, and with both half-odd
neither is.
times the antiderivative in
constant wherever it is continuous. The antiderivative in
it is the only thing computed; checked at sampled
not be the same on both sides of the points, and right answers were declined.
https://github.com/asc-community/AngouriMath/issues/718
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4862 pages online