Inverse Secant of Imaginary Number
Jump to navigation
Jump to search
Theorem
- $\sec^{-1} x = \pm i \sech^{-1} x$
Proof
\(\ds y\) | \(=\) | \(\ds \sec^{-1} x\) | ||||||||||||
\(\ds \leadsto \ \ \) | \(\ds \sec y\) | \(=\) | \(\ds x\) | Definition of Inverse Secant | ||||||||||
\(\ds \leadsto \ \ \) | \(\ds \map \sec {\pm \, y}\) | \(=\) | \(\ds x\) | Secant Function is Even | ||||||||||
\(\ds \leadsto \ \ \) | \(\ds \map \sech {\pm \, i y}\) | \(=\) | \(\ds x\) | Secant in terms of Hyperbolic Secant | ||||||||||
\(\ds \leadsto \ \ \) | \(\ds \pm \, i y\) | \(=\) | \(\ds \sech^{-1} x\) | Definition of Inverse Hyperbolic Secant | ||||||||||
\(\ds \leadsto \ \ \) | \(\ds y\) | \(=\) | \(\ds \pm \, i \sech^{-1} x\) | multiplying both sides by $\pm \, i$ |
$\blacksquare$
Sources
- 1968: Murray R. Spiegel: Mathematical Handbook of Formulas and Tables ... (previous) ... (next): $\S 8$: Hyperbolic Functions: $8.100$: Relationship between Inverse Hyperbolic and Inverse Trigonometric Functions