A Unified Substitution Method for Integration
Abstract
We present a branch-consistent framework for integrals involving quadratic radicals by expressing exponentials of principal inverse trigonometric functions in algebraic form. Two identities for and on principal branches yield five explicit substitution templates that map common radicals and half-angle composites to rational functions of a single parameter. The resulting differentials are independent of the sign choice once the branches are fixed, reducing domain bookkeeping across circular and hyperbolic regimes. We recover Euler's first and second substitutions from these transforms up to trivial reparametrizations and provide worked examples; in particular, the classical Weierstrass substitution is obtained as a direct corollary of Transform 5. A binomial-difference identity streamlines back-substitution terms such as . A CAS benchmark of 100 integrals indicates improved predictability and reduced expression swell relative to general-purpose integration routines.
Cite
@article{arxiv.2505.03754,
title = {A Unified Substitution Method for Integration},
author = {Emmanuel Antonio José García},
journal= {arXiv preprint arXiv:2505.03754},
year = {2026}
}
Comments
24 pages. Revised version: corrected the limiting behavior of Euler's second parameter at X=0, fixed the Transform remark references from Examples 7/5 to Examples 6/4, and made minor presentation updates. Main results unchanged