Powers and Roots

Integer Powers

• Powers with natural number exponents form the primary foundation for repeated multiplication in algebra.

• Definition for Natural Exponents: For any real number $a \in \mathbb{R}$ and any positive integer $n \in \mathbb{N}^*$, the $n$th power of $a$ represents the product of $n$ factors of $a$:   $a^n = \underbrace{a \times a \times \dots \times a}_{n \text{ factors}}$

• Fundamental Conventions:

  • For any non-zero real number $a \neq 0$, $a^1 = a$.
  • For any non-zero real number $a \neq 0$, $a^0 = 1$.
  • The expression $0^0$ is an indeterminate form in analysis and algebra, though defined as $1$ in discrete mathematics and power series contexts depending on conventions.

• Algebraic Properties of Natural Exponents:

  • Product of Powers: When multiplying powers with the same base, add the exponents:     $a^m \times a^n = a^{m+n}$
  • Quotient of Powers: When dividing powers with the same non-zero base $a \neq 0$, subtract the exponent of the denominator from the exponent of the numerator:     $\frac{a^m}{a^n} = a^{m-n}$
  • Power of a Power: Raising a power to another exponent requires multiplying the exponents:     $(a^m)^n = a^{m \times n}$
  • Power of a Product: A product raised to an exponent equals the product of each factor raised to that exponent:     $(a \times b)^n = a^n \times b^n$
  • Power of a Quotient: A quotient raised to an exponent equals the quotient of the numerator raised to that exponent and the denominator raised to that exponent, for $b \neq 0$:     $\left(\frac{a}{b}\right)^n = \frac{a^n}{b^n}$

• Powers with Integer Exponents:

  • The concept of exponentiation extends to negative integers to represent repeated division or multiplicative inverses.
  • Definition for Negative Exponents: For any non-zero real number $a \neq 0$ and any positive integer $n \in \mathbb{N}^*$, $a^{-n}$ is defined as the multiplicative inverse of $a^n$:     $a^{-n} = \frac{1}{a^n}$
  • Special identity for fractions with negative exponents:     $\left(\frac{a}{b}\right)^{-n} = \left(\frac{b}{a}\right)^n = \frac{b^n}{a^n}$
  • Sign Rules for Base and Integer Exponents:
  • Positive Base ($a > 0$): $a^n > 0$ for all $n \in \mathbb{Z}$.
  • Negative Base ($a < 0$):
    • If $n$ is an even integer ($n \in 2\mathbb{Z}$), then $a^n > 0$.
    • If $n$ is an odd integer ($n \in 2\mathbb{Z} + 1$), then $a^n < 0$.
  • Distinction between $-a^n$ and $(-a)^n$:
    • $-a^n = -(a^n)$ applies the negative sign after calculating the power.
    • $(-a)^n$ applies the power to the negative base directly.

• Scientific Notation:

  • Scientific notation provides a standardized representation for very large or extremely small numbers.
  • Standard Form: A non-zero real number $x$ is expressed in scientific notation as:     $x = a \times 10^n$     where $a$ is a real number satisfying $1 \le |a| < 10$ (known as the mantissa or significand), and $n \in \mathbb{Z}$ is an integer representing the order of magnitude.
  • Rules for Operations in Scientific Notation:
  • Multiplication: Multiply the mantissas and add the exponents of $10$:       $(a \times 10^m) \times (b \times 10^n) = (a \times b) \times 10^{m+n}$       If $|a \times b| \ge 10$, adjust the product to maintain $1 \le |a'| < 10$ by incrementing the exponent.
  • Division: Divide the mantissas and subtract the exponents of $10$:       $\frac{a \times 10^m}{b \times 10^n} = \left(\frac{a}{b}\right) \times 10^{m-n}$
  • Addition and Subtraction: Rewrite both numbers so that they share the exact same power of $10$ before factoring out the power:       $(a \times 10^n) + (b \times 10^n) = (a + b) \times 10^n$

Roots and Radicals

• Definition of an $n$th Root:

  • For an integer $n \ge 1$, an $n$th root of a real number $x$ is any real number $y$ that satisfies:     $y^n = x$

• Existence, Uniqueness, and the Ill-Defined Root Problem:

  • Even Degree Roots ($n$ is even):
  • If $x < 0$, there exists no real number $y \in \mathbb{R}$ such that $y^n = x$. Even roots of negative numbers are undefined within the real number system $\mathbb{R}$.
  • If $x = 0$, there is a unique root: $\sqrt[n]{0} = 0$.
  • If $x > 0$, there exist two distinct real numbers whose $n$th power equals $x$: one strictly positive number and one strictly negative number.
  • Principal Root Definition: To ensure that the radical symbol $\sqrt[n]{\phantom{x}}$ represents a well-defined mathematical function, the symbol $\sqrt[n]{x}$ is explicitly defined as the unique non-negative real number $y \ge 0$ such that $y^n = x$
  • Common Misconception: The equation $y^2 = 9$ has two solutions ($y = 3$ and $y = -3$), but the radical expression $\sqrt{9}$ refers exclusively to the principal root $\sqrt{9} = 3$
  • Odd Degree Roots ($n$ is odd):
  • For any real number $x \in \mathbb{R}$, there exists exactly one real number $y \in \mathbb{R}$ such that $y^n = x$
  • Odd roots preserve the sign of the radicand: if $x > 0$, $\sqrt[n]{x} > 0$; if $x < 0$, $\sqrt[n]{x} < 0$
  • The Absolute Value Identity:
  • For any real number $x \in \mathbb{R}$ and even integer $n$:       $\sqrt[n]{x^n} = |x|$
  • Writing $\sqrt{x^2} = x$ is incorrect unless it is specified that $x \ge 0$

• Essential Calculation Reflexes for Roots:

  • Domain Verification Reflex: Before carrying out calculations with square roots or even-degree roots, strictly establish the condition that the expression under the radical is non-negative ($\text{radicand} \ge 0$).
  • Simplification Properties:
  • Product rule for radicals:       $\sqrt[n]{a \times b} = \sqrt[n]{a} \times \sqrt[n]{b}$       (holds for all $a, b \in \mathbb{R}$ if $n$ is odd; holds for $a \ge 0, b \ge 0$ if $n$ is even).
  • Quotient rule for radicals:       $\sqrt[n]{\frac{a}{b}} = \frac{\sqrt[n]{a}}{\sqrt[n]{b}}$       (holds for $b \neq 0$ if $n$ is odd; holds for $a \ge 0, b > 0$ if $n$ is even).
  • Nested radicals rule:       $\sqrt[m]{\sqrt[n]{x}} = \sqrt[m \times n]{x}$
  • Rationalizing Denominators Reflex:
  • When a radical appears in the denominator of a fraction, eliminate it by multiplying the numerator and denominator by a suitable factor.
  • For a single square root in the denominator:       $\frac{1}{\sqrt{a}} = \frac{\sqrt{a}}{a} \quad (a > 0)$
  • For sums or differences involving square roots, multiply by the conjugate using the algebraic identity $(u-v)(u+v) = u^2 - v^2$:       $\frac{1}{\sqrt{a} + \sqrt{b}} = \frac{\sqrt{a} - \sqrt{b}}{(\sqrt{a} + \sqrt{b})(\sqrt{a} - \sqrt{b})} = \frac{\sqrt{a} - \sqrt{b}}{a - b} \quad (a \ge 0, b \ge 0, a \neq b)$

Powers with Rational Exponents

• Definition of Rational Exponents:

  • Rational exponents bridge the concept of integer powers and radicals into a unified algebraic framework.
  • For a strictly positive real number $a > 0$ and a rational number $q = \frac{m}{n}$ with $m \in \mathbb{Z}$ and $n \in \mathbb{N}^*$:     $a^{\frac{m}{n}} = \sqrt[n]{a^m} = (\sqrt[n]{a})^m$
  • Unit rational exponent definition:     $a^{\frac{1}{n}} = \sqrt[n]{a}$

• Consistency and Well-Definedness:

  • Rational numbers have multiple fraction representations (e.g., $\frac{1}{2} = \frac{2}{4} = \frac{3}{6}$). For the rational exponent definition to be consistent, the value must be independent of the choice of fraction representation:     $a^{\frac{k \times m}{k \times n}} = \sqrt[k \times n]{a^{k \times m}} = a^{\frac{m}{n}}$
  • This consistency is strictly guaranteed when the base $a > 0$

• Algebraic Rules for Rational Exponents:

  • All standard exponent rules for integer exponents extend fully to rational exponents $r, s \in \mathbb{Q}$ when $a > 0$ and $b > 0$:
  • $a^r \times a^s = a^{r+s}$
  • $\frac{a^r}{a^s} = a^{r-s}$
  • $(a^r)^s = a^{r \times s}$
  • $(a \times b)^r = a^r \times b^r$
  • $\left(\frac{a}{b}\right)^r = \frac{a^r}{b^r}$

• Crucial Restrictions and Pitfalls:

  • Extending rational exponents to negative bases ($a < 0$) leads to algebraic contradictions if simplified improperly.
  • Example of contradiction with negative bases:     $(-8)^{\frac{1}{3}} = -2$     However, if rewritten with an equivalent fraction $\frac{2}{6}$:     $(-8)^{\frac{2}{6}} = \sqrt[6]{(-8)^2} = \sqrt[6]{64} = 2$     Since $-2 \neq 2$, rational power operations are restricted strictly to positive bases $a > 0$ to preserve algebraic consistency.

Powers with Real Exponents

• Extension from Rational to Real Exponents:

  • Any real number $x \in \mathbb{R}$ (including irrational numbers like $\sqrt{2}$, $\pi$, or $e$) can be represented as the limit of a sequence of rational numbers $(q_k)_{k \in \mathbb{N}}$ such that:     $\lim_{k \to \infty} q_k = x$
  • For a fixed base $a > 0$, the power $a^x$ for an irrational exponent $x$ is defined as the limit:     $a^x = \lim_{k \to \infty} a^{q_k}$

• Analytic Definition via Exponential and Natural Logarithm Functions:

  • In real analysis, powers with real exponents are rigorously defined using the natural exponential function $e^x$ and the natural logarithm function $\ln(a)$.
  • For any positive real base $a > 0$ and any real exponent $x \in \mathbb{R}$:     $a^x = e^{x \times \ln(a)}$

• Properties of General Exponential Functions ($f(x) = a^x$):

  • Domain and Range:
  • Domain: $\mathbb{R}$
  • Range: $(0, +\infty)$ for $a \neq 1$
  • Monotonicity:
  • If $a > 1$, the function $f(x) = a^x$ is strictly increasing on $\mathbb{R}$.
  • If $0 < a < 1$, the function $f(x) = a^x$ is strictly decreasing on $\mathbb{R}$.
  • If $a = 1$, $f(x) = 1^x = 1$ is a constant function.
  • Preservation of Exponent Rules:
  • For all $a, b > 0$ and all real numbers $x, y \in \mathbb{R}$:       $a^{x+y} = a^x \times a^y$$a^{x-y} = \frac{a^x}{a^y}$$(a^x)^y = a^{x \times y}$$(a \times b)^x = a^x \times b^x$$\left(\frac{a}{b}\right)^x = \frac{a^x}{b^x}$