The properties, precisely

In Discover you met the properties through chairs, laddoos and kirana bills. Now we make them precise. That means three things:

1. Say exactly which numbers a rule is about (natural numbers? whole numbers?).
2. Say exactly which operation it is about. A rule that is true for addition may be false for subtraction.
3. Write it with letters, so that one short line covers every number at once.

Writing a + b = b + a is not showing off. It is a promise: "whatever whole numbers you put in place of a and b, the two sides will be equal." That promise, made once, saves us from checking 3 + 5, 17 + 42, 1,000 + 1 and every other pair separately. By the end of this layer you should be able to state each property in words and with letters, give an example and a counterexample, and use each one to calculate faster.

The natural numbers are 1, 2, 3, 4, … The whole numbers are 0, 1, 2, 3, … The only difference is the number 0. (A few books outside India include 0 among the natural numbers. NCERT does not, and neither do we.)

Some facts that follow directly:

• There is no largest natural or whole number. If someone claims N is the largest, then N + 1 is larger. This is a tiny proof by contradiction, and it is airtight.
• The smallest natural number is 1; the smallest whole number is 0.
• Successor: the successor of n is n + 1. Every whole number has exactly one successor.
• Predecessor: the predecessor of n is n − 1. Every whole number except 0 has one. 0 has no whole-number predecessor; 1 has predecessor 0, which is whole but not natural.
• Between two whole numbers there is a definite count of whole numbers. Between 10 and 20 (not counting 10 and 20) there are 20 − 10 − 1 = 9 of them: 11 to 19.

Notice the difference between the two halves of this table. A "Not closed" entry needs one counterexample and it is done. A "Closed" entry is a claim about infinitely many pairs, so no list of examples can prove it. Why, then, are we sure the whole numbers are closed under addition?

Because of what addition means. Adding b to a means taking b more steps to the right on the number line starting from a. Every step lands on the next whole number, and the road never runs out to the right. So you always land on a whole number. Multiplication is repeated addition (a jumps of size b), so it inherits the same guarantee. For odd numbers under multiplication, the reason is the pairing argument you will see in chapter 9.

Why is addition commutative? Put a counters in a row and b counters after them. Read the row from left to right and you count a + b. Read it from right to left and you count b + a. It is the same row of counters, so the totals are equal.

Why is multiplication commutative? Arrange counters in a rectangle with a rows and b columns. Counting row by row gives a × b; counting column by column gives b × a. It is the same rectangle. This works for every rectangle, however big.

Why do subtraction and division fail? One counterexample each is enough. 9 − 4 = 5, but 4 − 9 is not even a whole number. 20 ÷ 5 = 4, but 5 ÷ 20 = ¼. In fact 8 − 3 and 3 − 8 are opposites (5 and −5), and 20 ÷ 5 and 5 ÷ 20 are reciprocals (4 and ¼). Swapping turns the answer inside out.

Students often mix up associative and commutative. Here is the clean difference:

• Commutative is about order: which number comes first. 5 + 8 versus 8 + 5.
• Associative is about grouping: which pair you do first, with the order unchanged. (5 + 8) + 2 versus 5 + (8 + 2).

In real calculations we usually use both together. To do 25 × 17 × 4, we swap 17 and 4 (commutative) to get 25 × 4 × 17, then group (25 × 4) × 17 (associative) = 100 × 17 = 1700. Because + and × have both properties, you can rearrange a long sum or product in any order and any grouping you like. That is the real superpower.

The distributive property is the only one of the big three that links two different operations. It says a multiplier can be "handed out" to every part of a sum or difference.

The picture is a rectangle. A rectangle 7 wide and 23 long has area 7 × 23. Cut it into a 7 × 20 piece and a 7 × 3 piece. The area has not changed, so 7 × 23 = 7 × 20 + 7 × 3 = 140 + 21 = 161. Every use of the distributive property is a rectangle being cut into pieces.

Two-digit by two-digit works the same way, cutting both sides. For 23 × 14, split 23 = 20 + 3 and 14 = 10 + 4. The rectangle falls into four pieces:

Check: 23 × 14 = 322. ✓ The column method of long multiplication you learned in school is exactly this table, written compactly: first 23 × 4 = 92, then 23 × 10 = 230, then add. Long multiplication is the distributive property on paper.

The property also works backwards, which is called taking out a common factor. In 37 × 68 + 37 × 32, both products share the 37. So 37 × 68 + 37 × 32 = 37 × (68 + 32) = 37 × 100 = 3,700. What looked like two hard multiplications became one easy one.

Why "whichever side"? Look at subtraction. It is true that a − 0 = a for every a. But 0 − a is not a (for example 0 − 5 is not 5; it is not even a whole number). So 0 only works on the right. For division, a ÷ 1 = a but 1 ÷ a is usually not a. So subtraction and division have no true identity; 0 and 1 are only "right-hand identities" for them.

Identities matter more than they look. The whole idea of undoing an operation is built on them. Subtracting 7 undoes adding 7 because a + 7 − 7 = a + 0 = a. Dividing by 7 undoes multiplying by 7 because a × 7 ÷ 7 = a × 1 = a. When you learn about negative numbers and fractions you will meet inverses: numbers that combine with a to give the identity. The inverse of 7 for addition is −7; for multiplication it is 1/7.

Why is a × 0 = 0? a × 0 means a groups of 0, or 0 added to itself a times: 0 + 0 + … + 0 = 0. And by the commutative property, 0 × a is the same.

Why is 0 ÷ a = 0? Division asks "what times a gives 0?" The answer 0 works, because 0 × a = 0. And nothing else works: if q is not 0, then q × a is not 0 either. So 0 ÷ a = 0, exactly one answer.

Why is a ÷ 0 undefined? Every division can be checked by multiplication: 20 ÷ 4 = 5 because 5 × 4 = 20. So 20 ÷ 0 = q would need q × 0 = 20. But q × 0 = 0 for every q. No number works. The question has no answer, so we call it undefined. It is not "infinity" and it is not "0"; it simply is not a number.

What about 0 ÷ 0? Now we need q × 0 = 0. That is true for q = 0, q = 1, q = 7, q = 1,000 … every number works! A calculation that could equal anything is useless, so 0 ÷ 0 is also left undefined.

The number 1 has a few more jobs:

• Building numbers. Every natural number can be made by adding 1 again and again, starting from 1. That is what "counting" is.
• Neither prime nor composite. A prime has exactly two factors; 1 has only one factor (itself). This is why 1 is left out of both lists in the Prime and composite numbers topic.
• A factor of everything. 1 divides every whole number exactly.
• Making equivalent forms. Because multiplying by 1 changes nothing, and 1 can be written as 4 ÷ 4 or 100 ÷ 100, you can rewrite a number without changing its value. That is the secret behind equivalent fractions (½ = 2/4) and changing units (1 m = 100 cm).

Why? Think of each odd number as "some pairs plus one spare".

• odd + odd: the two spares join to make a new pair, so nothing is left over: even.
• even + odd: only one spare, so odd.
• even × anything: a × b with b even means a groups, each made of pairs. All pairs: even.
• odd × odd: 3 × 5 means 3 groups of (2 pairs + 1 spare). The pairs stay paired. The 3 spares are an odd number of spares: two of them pair up, one is left over. Odd.

Several numbers at once: a sum of whole numbers is odd exactly when it contains an odd number of odd numbers. So 3 + 5 + 7 (three odds) is odd: 3 + 5 + 7 = 15. And 1 + 3 + 5 + 7 (four odds) is even: 1 + 3 + 5 + 7 = 16. A product is odd only if every factor is odd.