Corollary: Reciprocity of Exponential Function of General Base, Non-Zero Property

(related to Proposition: Functional Equation of the Exponential Function of General Base)

The exponential function of general base \(a > 0 \) is never zero (non-zero property) \[\exp_a(x)\neq 0\] for all \(x\in\mathbb R\), and it fulfills the following reciprocity law:

\[\exp_a(-x)=\frac1{\exp_a(x)}.\]

Proofs: 1

Proofs: 1 2


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs


References

Bibliography

  1. Forster Otto: "Analysis 1, Differential- und Integralrechnung einer Veränderlichen", Vieweg Studium, 1983