Skip to section
Foundationsfor rotation-free search
Section 7 of 5213% of course
Contents
Chapter 2 Section 2.1 52 min

Part I · Mathematical foundations

Powers as position labels

Use powers of x as bookkeeping labels and review why exponents add.

Review powers by expanding them out

At its core, a power just records repeated multiplication. For any symbol x:

x⁰defined as 1xx × xx × x × xx⁴x × x × x × x

That small raised number is the exponent. It literally just counts how many copies of x are in the multiplication.

Why exponents add

Let's multiply x² by x³. If we expand both powers, join their factors together, and then count them, we see the magic happen:

x² × x³ = (x×x) × (x×x×x) = x×x×x×x×x = x⁵

Two copies plus three copies naturally makes five copies. This gives us our golden rule:

xⁱ × xᵏ = xⁱ⁺ᵏ

Prove the rule by counting factors

This rule isn't some arbitrary pattern you have to memorize on faith. xⁱ just means a product containing i copies of x, and xᵏ means a product containing k more copies. Joining those two groups produces i+k total copies. We never even needed to know the numerical value of x!

It's always worth checking the zero case. Since x⁰=1, it contains zero x factors. So x⁰xᵏ = 1·xᵏ = xᵏ. The exponent rule perfectly agrees because 0+k = k. Testing edge cases like this is a great habit for proving that our symbolic rules actually say what we think they say.

Check your understanding

What is x³ × x⁴?

Use powers as address labels

Let's do something clever: let's attach x⁰ to list position 0, x¹ to position 1, x² to position 2, and so on. Because x⁰=1, the very first label is usually just written simply as 1.

position0123
power label1x
stored value4−271

In this context, the symbol x is NOT a variable we need to plug a number into. It's strictly acting as a label. And it comes with a super useful built-in multiplication rule: labels at positions i and k will combine perfectly into the label at position i+k.

Worked example

Predict a destination

Imagine a value at position 2 carrying the label x², and a value at position 5 carrying the label x⁵. Their product carries x⁷, meaning it inherently belongs at output position 7.

Keep label arithmetic entirely separate from value arithmetic

A term like −3x² actually contains two completely separate fields of information. The coefficient −3 is the stored numerical value, while the exponent 2 is just its position. When you multiply (−3x²)(4x⁵), you multiply the values normally, and independently combine the labels:

(−3 × 4)(x² × x⁵) = −12x⁷

The output value is −12 and its output position is 7. Treating a term as this cleanly separated value–position pair is usually much easier than trying to stare at the compact algebra.

Check your understanding

What are the value and destination of (5x³)(−2x⁴)?

Check your understanding

A product carries the label x⁹. What does that 9 actually tell us?

Retrieval check: explain xⁱxᵏ=xⁱ⁺ᵏ without just quoting the rule

The first power gives us i copies of x, and the second gives us k copies. Multiplying them joins the groups, leaving us with i+k total copies of x.

Section summary

  • A power simply counts repeated factors.
  • Multiplying powers of the same base adds their exponents together.
  • Using xⁱ as a position label makes multiplication automatically compute i+k.

Repository layer · second pass

Why can powers act as addresses instead of mysterious algebra?

In this course, x is initially a label-making machine. The coefficient beside x⁰ belongs to position 0, the coefficient beside x¹ belongs to position 1, and so on. Multiplying labels adds their exponents because repeated multiplication concatenates the counts of x factors.

This interpretation removes the need to solve for x. We care about which labeled products land together. The exponent is therefore an output address, and exponent addition is address routing.

Reasoning chain

  1. 1

    Read xⁱ as “position i.”

  2. 2

    Separate the numeric coefficient from its position label.

  3. 3

    When labels multiply, add their positions.

  4. 4

    When labels match, their coefficients belong to the same output bucket.

Worked trace

Count factors, then translate to positions

  1. x³ means x·x·x.
  2. x⁴ means four more factors of x.
  3. Together there are seven factors.
  4. The product is labeled x⁷.

Result. A contribution from positions 3 and 4 is routed to output position 7.

Executable lens · Python

Make the hidden state visible

left_position = 3
right_position = 4
destination = left_position + right_position
assert destination == 7

Retype this example, predict each intermediate value, and then change one input that touches a boundary.

Misconception clinic

Tempting mistakes

  • Adding coefficients because exponents add; coefficients multiply.
  • Treating x as a numeric input that must be chosen.

Retrieval and transfer

Close the book first

  1. Explain x⁰ without using the phrase “nothing.”
  2. Where does a product from positions 6 and 9 land?
  3. Separate coefficient and label in −5x⁴.