Problem #PRU-100277

Problems Set theory and logic Mathematical logic

Problem

Do you remember the example from the previous maths circle?

“Take any two non-equal numbers a and b, then we can write; a22ab+b2=b22ab+a2.

Using the formula (xy)2=x22xy+y2, we complete the squares and rewrite the equality as (ab)2=(ba)2.

As we take a square root from the both sides of the equality, we get ab=ba. Finally, adding to both sides a+b we get ab+(a+b)=ba+(a+b). It simplifies to 2a=2b, or a=b. Therefore, All NON-EQUAL NUMBERS ARE EQUAL! (This is gibberish, isn’t it?)”

Do you remember what the mistake was? In fact we have mixed up two things. It is indeed true “if x=y, then x2=y2”. But is not always true “if x2=y2, then x=y.” For example, consider 22=(2)2, but 2(2)! Therefore, from (ab)2=(ba)2 we cannot conclude ab=ba.