Difference between revisions of "Antiderivative of arccos"
From specialfunctionswiki
| Line 9: | Line 9: | ||
[[Category:Theorem]] | [[Category:Theorem]] | ||
| + | [[Category:Unproven]] | ||
Revision as of 07:29, 8 June 2016
Theorem
The following formula holds: $$\displaystyle\int \mathrm{arccos}(z) \mathrm{d}z = z\mathrm{arccos}(z)-\sqrt{1-z^2}+C,$$ where $\mathrm{arccos}$ denotes the inverse cosine function and $C$ denotes an arbitrary constant.
