Uniqueness of Positive Root of Positive Real Number/Negative Exponent
Jump to navigation
Jump to search
Theorem
Let $x \in \R$ be a real number such that $x > 0$.
Let $n \in \Z$ be an integer such that $n < 0$.
Then there is at most one $y \in \R: y \ge 0$ such that $y^n = x$.
Proof
Let $m = -n$.
Let $g$ be the real function defined on $\hointr 0 \to$ defined by:
- $\map g y = y^m$
From the definition of power:
- $\map g y = \dfrac 1 {\map f y}$
Hence $\map g y$ is strictly decreasing.
This article, or a section of it, needs explaining. In particular: Needs to invoke a result about reciprocals inverting the sense. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Explain}} from the code. |
From Strictly Monotone Mapping with Totally Ordered Domain is Injective:
- there is at most one $y \in \R: y \ge 0$ such that $y^n = x$.
$\blacksquare$