AngouriMath

Navigation

Home Quick start Wiki Almanac Research What's new Try Use Angouri.org GitHub Report a bug ~~Donate~~ Contacts

← Back to list of members

SolveByDividingByTheRoot(AngouriMath.Entity,AngouriMath.Entity.Variable)

Method (no overloads)

Summary

A rational function of x^n times (c + d x^n)^(k - 1/n) for a whole
k, rationalised by u = x/(c + d x^n)^(1/n).

Remarks

du/dx is c (c + d x^n)^(-(n + 1)/n), so dx/(c + d x^n)^(1/n) is
(c + d x^n) du/c; and u^n = x^n/(c + d x^n) gives x^n = c u^n/(1 - d u^n) and c + d x^n = c/(1 - d u^n), so everything in x^n is rational in
u^n and the integrand is a rational function of u. Timofeev's
1/((1 + x^4)(2 + x^4)^(1/4)) is 1/(1 + u^4) under it, and his
(1 + x^4)^(3/4)/(2 + x^4)^2, whose root is (1 + x^4)^(1 - 1/4), is
rational the same way; Welz's 1/((1 - x^3)(a + b x^3)^(1/3)) is
1/(1 - (a + b) u^3). Rubi's rule for (c + d x^n)^p/(a + b x^n) at
p = -1/n is this substitution.
The identity holds wherever the root is real, which is where the answer is
asked; u goes back in as x (c + d x^n)^(-1/n).
https://github.com/asc-community/AngouriMath/issues/718

AngouriMath

Table of contents

AngouriMath

SolveByDividingByTheRoot​(AngouriMath.​Entity,​AngouriMath.​Entity.​Variable)

SolveByDividingByTheRoot(AngouriMath.Entity,AngouriMath.Entity.Variable)