AngouriMath

Navigation

← Back to list of members

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 number k, 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 times sec(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.

Remarks

(a + i a tan(x))^(7/2) (A + B tan(x))/(c - i c tan(x))^(9/2) is
e^(8 i x) (A cos(x) + B sin(x)) up to that constant, and ran past the budget with
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.
The constant is not written, as for one sum beside the secant: the answer is the integrand
times the antiderivative in w over what that differentiates back to, a quotient
constant wherever it is continuous. The antiderivative in w is checked there, where
it is the only thing computed; checked at sampled x, the quotient's constant need
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