Invariants Formula

The Formula

If T is a transformation, then P is an invariant when P(\text{before}) = P(\text{after } T)

When to use: Rearranging an equation keeps both sides equal—equality is the invariant.

Quick Example

Area is invariant under translation. Perimeter is invariant under rotation.

Notation

An invariant is a property P that satisfies P(x) = P(T(x)) for all valid inputs

What This Formula Means

Quantities or properties that remain unchanged during a process, operation, or transformation—values that stay the same no matter how the system is rearranged or acted upon.

Rearranging an equation keeps both sides equal—equality is the invariant.

Formal View

I \text{ is an invariant of } T \iff \forall x \in D: I(T(x)) = I(x)

Worked Examples

Example 1

medium
A sequence starts at 1 and each term is 3 times the previous minus 2: \(a_{n+1} = 3a_n - 2\). Show that the quantity \(a_n - 1\) grows by a factor of 3 each step (i.e., \(a_n - 1 = 3^{n-1}(a_1 - 1)\) is an invariant structure).

Solution

  1. 1
    Define \(b_n = a_n - 1\). Then \(b_{n+1} = a_{n+1} - 1 = (3a_n - 2) - 1 = 3a_n - 3 = 3(a_n-1) = 3b_n\).
  2. 2
    So \(b_n\) forms a geometric sequence: \(b_n = b_1 \cdot 3^{n-1}\).
  3. 3
    With \(a_1=1\): \(b_1 = 0\), so \(b_n = 0\) for all \(n\), meaning \(a_n = 1\) for all \(n\).
  4. 4
    Invariant: if \(a_1=1\), the fixed point \(a=1\) is preserved.

Answer

\(a_n = 1\) for all \(n\); fixed point is an invariant
An invariant is a quantity that doesn't change under the transformation. Here \(a_n = 1\) is a fixed point of the recurrence — once there, the sequence stays.

Example 2

hard
In a game, you can add 3 or subtract 5 from a number. Starting at 0, can you reach 1? Use an invariant (parity or modular) argument.

Common Mistakes

  • Assuming a property is invariant under all transformations — area is invariant under rotation but not under scaling
  • Confusing invariance with equality: two objects can share an invariant property without being identical
  • Forgetting to check whether a claimed invariant actually stays constant — always verify with a specific example

Why This Formula Matters

Invariants are powerful problem-solving tools—if a quantity is preserved, it constrains what outcomes are possible. They appear everywhere: conservation of energy in physics, checksum digits in computing, and parity arguments in competition math.

Frequently Asked Questions

What is the Invariants formula?

Quantities or properties that remain unchanged during a process, operation, or transformation—values that stay the same no matter how the system is rearranged or acted upon.

How do you use the Invariants formula?

Rearranging an equation keeps both sides equal—equality is the invariant.

What do the symbols mean in the Invariants formula?

An invariant is a property P that satisfies P(x) = P(T(x)) for all valid inputs

Why is the Invariants formula important in Math?

Invariants are powerful problem-solving tools—if a quantity is preserved, it constrains what outcomes are possible. They appear everywhere: conservation of energy in physics, checksum digits in computing, and parity arguments in competition math.

What do students get wrong about Invariants?

Identifying which properties are invariant under which transformations.

What should I learn before the Invariants formula?

Before studying the Invariants formula, you should understand: equal.