For (4.38.1) expand by the binomial
theorem and integrate term by term. For (4.38.2), write
, , and
then expand and integrate. For the constant of integration note that for
large , behaves like and the constant is
. (4.38.3) is proved similarly.
(4.38.4)–(4.38.7) follow from the
corresponding series for inverse trigonometric functions in
§4.24.
The above equations are interpreted in the sense that every value of the
left-hand side is a value of the right-hand side and vice-versa. All square
roots have either possible value.