AngouriMath
SolveByWritingAPowerOfTheCotangentInTheTangent(AngouriMath.Entity,AngouriMath.Entity.Variable,System.Boolean)
Method (no overloads)
Summary
A power of the cotangent that is not whole below the bar of an integrand with the
tangent of the same argument in it, written as a power of the tangent above it:
1/cot(z)^p = K tan(z)^p with K = 1/(cot(z)^p tan(z)^p) , which is 1
wherever the tangent is positive and a constant on every interval where it keeps its
sign, so it stands in front of the answer, the way Rubi writes it.
tangent of the same argument in it, written as a power of the tangent above it:
wherever the tangent is positive and a constant on every interval where it keeps its
sign, so it stands in front of the answer, the way Rubi writes it.
Remarks
writes the cotangent as
the bar is read by no rule. Only below the bar: above it the substitution's
seconds so, ran past a minute as
And only beside the tangent; a power of the cotangent alone keeps the answer it had.
Rubi's 4.3.2.1 and 4.3.3.1.
https://github.com/asc-community/AngouriMath/issues/718
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4862 pages online