Invariance Math Example 2

Follow the full solution, then compare it with the other examples linked below.

Example 2

medium
A sequence starts at 1 and each step either doubles the value or adds 3. Show that the parity (odd/even) of the value changes predictably and identify an invariant.

Solution

  1. 1
    Start with 1 (odd). Doubling an odd number gives an even number. Adding 3 to an odd number gives an even number.
  2. 2
    From an even number: doubling gives even; adding 3 gives odd.
  3. 3
    Observe: starting odd, after one step we are always even. From even, we may go to odd or even.
  4. 4
    Invariant: after any 'double' step, the result is always even. This parity behaviour is preserved regardless of how many steps we take.

Answer

Invariant: doubling always produces an even number, regardless of starting parity\text{Invariant: doubling always produces an even number, regardless of starting parity}
Invariants are quantities or properties that remain unchanged (or change in a predictable, rule-governed way) across a process. Identifying invariants often unlocks the analysis of a dynamic system.

About Invariance

A property of a mathematical object that remains unchanged when the object undergoes a particular transformation or operation.

Learn more about Invariance →

More Invariance Examples