The Timpson Lyceum seal

The Timpson Lyceum · College Algebra

Lecture 7 (College Algebra)

Overview

This lecture builds the algebraic vocabulary that the rest of the course relies on, moving from arithmetic of powers up through the language of sets. It defines integer exponents and proves the three core exponent laws (product, power-of-a-power, and quotient), then extends the definition to the zero exponent. From there it introduces sets, set membership, and set-builder notation, formalizes the idea of a variable versus a constant, classifies polynomials by their building-block monomials, and finishes with a careful treatment of square roots — including why a negative number has no real square root and why x2=∣x∣\sqrt{x^2} = |x|.

Key Concepts

Absolute value (review). For any real number xx, ∣x∣={xx≥0−xx<0|x| = \begin{cases} x & x \ge 0 \\ -x & x < 0 \end{cases} So if a<0a < 0, then ∣a∣=−a|a| = -a is a positive number (e.g. ∣−3∣=−(−3)=3|-3| = -(-3) = 3).

Definition of a positive-integer exponent. For a number aa and a natural number mm, ama^m is the product of mm copies of aa: am=a⋅a⋯a⏟m timesa^m = \underbrace{a \cdot a \cdots a}_{m \text{ times}} We name a2a^2 "aa squared" (the area of a square of side aa) and a3a^3 "aa cubed" (the volume of a cube of side aa).

Exponent laws (each provable by counting factors).

Zero exponent. For a≠0a \ne 0 we define a0=1a^0 = 1. This is consistent with the other rules: an⋅a0=an+0=ana^n \cdot a^0 = a^{n+0} = a^n, and anan=an−n=a0=1\dfrac{a^n}{a^n} = a^{n-n} = a^0 = 1. (a0a^0 is the empty product, just as an empty sum is 00.)

Sets. A set is any unordered collection of unique objects, written between curly braces. Because order and duplicates do not matter, {1,2,3}={3,2,1}={1,1,2,3}\{1,2,3\} = \{3,2,1\} = \{1,1,2,3\}

Set-builder notation. Specify a dummy variable, a colon, and a condition: { x:P(x) }\{\,x : P(x)\,\}. If the variable is drawn from a known set, that set is usually placed before the colon. Examples: N={ m∈Z:m≥1 },Q={ x∈R:∃ m,n∈Z, n≠0, x=mn }\mathbb{N} = \{\, m \in \mathbb{Z} : m \ge 1 \,\}, \qquad \mathbb{Q} = \{\, x \in \mathbb{R} : \exists\, m,n \in \mathbb{Z},\ n \ne 0,\ x = \tfrac{m}{n} \,\}

Variable vs. constant. A variable is a symbol (typically x,y,zx,y,z) standing for any element of a non-empty set SS, its domain; each member of SS is a possible value. Saying "x<2x < 2" is the same as "x∈Sx \in S" where S={ x∈R:x<2 }S = \{\,x \in \mathbb{R} : x < 2\,\}. A constant (typically a,b,ca,b,c) represents one fixed number. In A=πr2A = \pi r^2, π\pi is a constant, rr is the independent variable, and AA is the dependent variable.

Monomials and polynomials.

Square roots. xx is a square root of bb provided x2=bx^2 = b.

Perfect squares. A rational number is a perfect square if it equals the square of another rational, e.g. 16925=(135)2\dfrac{169}{25} = \left(\dfrac{13}{5}\right)^2. The idea extends to monomials and to quotients of monomials.

Worked Example

Simplify a10a2\dfrac{a^{10}}{a^{2}} using the quotient rule, then simplify (32)4\left(\dfrac{3}{2}\right)^4.

aman=am−n(m>n, a≠0)a10a2=a10−2=a8(pq)k=pkqk(32)4=3424=8116\begin{aligned} \frac{a^{m}}{a^{n}} &= a^{m-n} \quad (m > n, \ a \ne 0) \\ \frac{a^{10}}{a^{2}} &= a^{10-2} = a^{8} \\ \left(\frac{p}{q}\right)^{k} &= \frac{p^{k}}{q^{k}} \\ \left(\frac{3}{2}\right)^{4} &= \frac{3^{4}}{2^{4}} = \frac{81}{16} \end{aligned}

A short representative proof — why x2=∣x∣\sqrt{x^2} = |x|. Take any real xx and check the three cases.

x>0:x2=x=∣x∣x=0:x2=0=0=∣x∣x<0:x2=−x=∣x∣(−x>0 is the non-negative root)\begin{aligned} x > 0:&\quad \sqrt{x^2} = x = |x| \\ x = 0:&\quad \sqrt{x^2} = \sqrt{0} = 0 = |x| \\ x < 0:&\quad \sqrt{x^2} = -x = |x| \quad (-x > 0 \text{ is the non-negative root}) \end{aligned}

In every case x2=∣x∣\sqrt{x^2} = |x|. For instance (−5)2=∣−5∣=5\sqrt{(-5)^2} = |-5| = 5.

Summary