Equality (mathematics)

Two things can be the same.

They can have the same amount. This is called equality.

We use a special sign to show this. It has two lines. These lines are side by side. A man named Robert Recorde made this sign. He used two lines because they are equal. No two things can be more equal.

This sign helps us solve math puzzles. It shows us when things match.

Imagine you have two piles of blocks. If both piles have five blocks, they are equal. In math, equality means two things have the same value.

We use a special sign to show this. It is two lines side by side. This is the equals sign.

A man named Robert Recorde first used this sign in 1557. He used two lines because they are the same length. He felt no two things could be more equal than that.

Before this, people just wrote out the words.

Equality has some special rules. One rule is called symmetry. This means if A equals B, then B equals A. Another rule is called transitivity. This means if A equals B, and B equals C, then A equals C.

A thinker named Gottfried Leibniz helped explain how things match. We use these rules to solve equations. An equation is a math sentence with an equals sign. It helps us find unknown numbers in a puzzle.

Equality is a special relationship between two things in math. It tells us that two different expressions have the exact same value.

When we see this relationship, we call it an equation. An equation is like a math sentence that uses an equals sign to connect two parts. If the two sides are not the same, we say they are distinct.

This idea is very important because it helps us understand how numbers and shapes work together. It is the foundation for almost everything we do in mathematics.

There are several rules that make equality work correctly. One rule is called reflexivity, which means a thing is always equal to itself. Another rule is symmetry, which says if A equals B, then B must also equal A. There is also transitivity, which means if A equals B and B equals C, then A must equal C.

Another key idea is substitution. This means if two things are equal, you can swap one for the other in a math problem without changing the answer. These rules allow us to move numbers around to solve hard puzzles.

People have thought about equality for a very long time. The Greek thinker Aristotle wrote about it in his book called Categories around 350 BC.

He believed that you could only talk about equality when you were measuring quantities like length or number. Later, in the late 1800s, a mathematician named Giuseppe Peano wrote down the basic properties of equality as formal rules.

These thinkers helped turn a simple feeling of "sameness" into a precise tool for science.

We use a specific symbol to show equality today. A Welsh mathematician named Robert Recorde first used the equals sign in his 1557 book, The Whetstone of Witte.

He chose to use two parallel lines because he thought no two things could be more equal than two lines of the same length. His symbol was much wider than the one we use now. It took many years for his idea to become popular. By 1631, it was being used in England, and later it spread across Europe thanks to famous mathematicians like Isaac Newton.

Equality links to many things you see in your daily life. You can think of an equation like a balanced see-saw or a scale.

If you add weight to one side, you must add the same amount to the other to keep it level. In school, you use equality to solve for unknown numbers, which are often called variables. This is the main goal of algebra. Whether you are splitting a pizza or measuring a room, you are using the logic of equality to make sure things are fair and correct.

In mathematics, equality is a fundamental relationship between two quantities or expressions. It states that they possess the same value or represent the same mathematical object.

When we write this relationship using a symbol, we call the result an equation. If two objects do not share this relationship, they are described as distinct. While it seems simple, equality is often treated as a primitive notion. This means it is not formally defined by other ideas, but is instead seen as a basic relation that every thing bears to itself.

To understand how equality functions, we look at its core logical properties. The first is reflexivity, which states that every object is equal to itself. The second is symmetry, meaning if one value equals a second, then the second must equal the first. The third is transitivity, which dictates that if A equals B and B equals C, then A must equal C.

Beyond these, there is the substitution property. This allows a mathematician to replace one part of an expression with an equal value without changing the overall meaning. These rules ensure that mathematical logic remains consistent and predictable.

Mathematicians formalize equality in two primary ways: through logic or through set theory. In the field of logic, equality is treated as a primitive predicate. This includes the reflexive property, known as the law of identity, and the substitution property. From these starting points, all other necessary properties can be derived. In contrast, set theory provides a different foundation. In this system, specifically Zermelo–Fraenkel set theory, two sets are defined as equal if they contain exactly the same members. This specific rule is known as the axiom of extensionality.

The history of equality spans thousands of years of human thought. Around 350 BC, the Greek philosopher Aristotle discussed equality in his work, *Categories*. He argued that equality is a mark of quantity, such as number, length, or volume. He believed that qualities, like the whiteness of an object, could be similar but not truly equal. Much later, in the late 19th century, Giuseppe Peano began to explicitly state the fundamental properties of equality as formal mathematical rules.

These developments moved equality from an intuitive concept to a rigorous logical tool.

Our modern symbol for equality has a specific origin. Before the 16th century, mathematicians used words like *aequales* or *gleich* to show equality. The equals sign (=) was first recorded by the Welsh mathematician Robert Recorde in his 1557 book, *The Whetstone of Witte*.

Recorde chose two parallel lines because he believed no two things could be more equal than two lines of the same length. His original symbol was much wider than the one we use today. It was not immediately popular, appearing again in print only 61 years later in 1618. Eventually, influential mathematicians like Isaac Newton and Gottfried Leibniz helped it spread across Europe.

Equations serve many different purposes in mathematical practice. An equation can be a simple statement that is either true or false, such as 2 + 2 = 4. In algebra, equations often contain variables, which are unknown values. Solving an equation means finding the specific values that make the equality true.

This is often visualized using a balance scale, where both sides must remain level. There is also a distinction between an equation and an identity. An identity is a special kind of equality that remains true for every possible value of its variables. For example, certain mathematical rules work for every real number, making them identities rather than conditional equations.

Equality connects deeply to many advanced branches of mathematics. In calculus, the study of change, equations often involve functions and their derivatives. A functional equation is one where the unknown is a function rather than a single number. When these equations involve derivatives, they are called differential equations. Furthermore, equality is essential to the concept of functions. The extensionality of functions allows mathematicians to view an identity as an equality between two different functional mappings. This interconnectedness makes equality the bedrock of mathematical reasoning and discovery.