Exponent Combination Laws/Negative Power

From ProofWiki
Jump to: navigation, search

Theorem

Let $a \in \R_{>0}$ be a strictly positive real number.

Let $x \in \R$ be a real number.

Let $a^x$ be defined as $a$ to the power of $x$.


Then:

$a^{-x} = \dfrac 1 {a^x}$


Proof

\(\displaystyle a^{-x}\) \(=\) \(\displaystyle \exp \left({-x \ln a}\right)\)          Definition of Power to Real Number          
\(\displaystyle \) \(=\) \(\displaystyle \left({\exp \left({x \ln a}\right)}\right)^{-1}\)          Exponent of Product          
\(\displaystyle \) \(=\) \(\displaystyle \frac 1 {\exp \left({x \ln a}\right)}\)                    
\(\displaystyle \) \(=\) \(\displaystyle \frac 1 {a^x}\)          Definition of Power to Real Number          

$\blacksquare$


Sources