Imagine rotating a square. It might look different, but some things stay constant. Its side lengths don't change. Its angles remain 90 degrees. These unchanging properties are called invariants.

Invariants are like secret rules in a game. They help us understand what is possible and what is impossible. Once you start looking for them, you'll see them everywhere in math and logic. They are powerful tools for solving tricky problems.

Let's start with a simple shape: a triangle. You can have a long, skinny triangle or a perfectly balanced one. You can make it bigger or smaller. No matter what you do to it, one thing remains constant: the sum of its internal angles is always 180 degrees.

This property is an invariant under transformations like resizing, rotating, or stretching. Knowing this invariant means you don't have to measure the angles of every triangle to know their sum. It's a fundamental truth you can rely on.

Invariants are fantastic for proving that something is impossible. Consider a standard 8x8 chessboard and a pile of dominoes. Each domino is the perfect size to cover exactly two adjacent squares.

It's easy to cover the entire 64-square board with 32 dominoes. But what if we remove two squares from the board: the top-left and the bottom-right corners? Can you now cover the remaining 62 squares with 31 dominoes?

Trying to place the dominoes will always leave you with two empty squares that aren't next to each other. It seems impossible. An invariant proves it.

A standard chessboard has 32 white squares and 32 black squares. The top-left and bottom-right corners are always the same color. In this case, they are both white. So, when we remove them, we are left with 32 black squares but only 30 white squares.

So, 31 dominoes must cover 31 white squares and 31 black squares. But our modified board doesn't have 31 white squares. It only has 30. The task is impossible. The invariant here is that any domino tiling must cover an equal number of black and white squares. Our setup violates this invariant from the start.

Invariants also exist in logic. A logical statement has a property called a truth value: it's either true or false. We can change the form of a statement without changing its truth value. For example, the statement "It is not the case that both A and B are true" sounds different from "Either A is false, or B is false." But logically, they mean the exact same thing. If one is true, the other is always true.

This is an example of logical equivalence. The form changes, but the meaning and truth value are invariant. Logicians use these rules to simplify complex statements into easier ones, knowing the core logic remains intact.

Spotting these constant properties is a skill. The more you practice, the easier it becomes to find the simple, unchanging rule at the heart of a complex system.