Originally posted by JerzZzzZ:
You see, in Algebra, they give you a problem. From the problem, you can assume a + b = c, for a reason.
I.e. They say, James gave an unknown amount of apple to Jeremy, so did Jane.
By letting amt of apples James and Jane gave be 'a' and 'b' respectively, and amt of apples Jeremy received be 'c', we can assume a + b = c. But in this case, the assumption is baseless, and you cannot proceed to solve an equation you just made up from nowhere.

Jerzz, the eqn a + b - c = 0 does not need a base/question/story per say in order to "mean something". By itself, in its raw form if you may, its just simply 3 variables (a, b and c) amounting to a value of 0. Perhaps due to the systematic mathematical education of our Singaporean education, it has lead most of us to attribute Algebra solely to its APPLICATION without appreciating its fundamental qualities. To quote an article in Wikipedia regarding Algebra:
"... While in arithmetic only numbers and their arithmetical operations (such as +, - , ×, ÷) occur, in algebra one also uses symbols (such as x and y, or a and b) to denote numbers. These are called variables. This is useful because:
* It allows the generalization of arithmetical equations (and inequalities) to be stated as laws (such as a + b = b + a for all a and b), and thus is the first step to the systematic study of the properties of the real number system.
* It allows reference to numbers which are not known. In the context of a problem, a variable may represent a certain value of which is uncertain, but may be solved through the formulation and manipulation of equations.
* It allows the exploration of mathematical relationships between quantities (such as "if you sell x tickets, then your profit will be 3x - 10 dollars" )..."The very basic a + b = c, by itself, may seem "baseless", but in reality, its simply a representation of fixed numbers of figures, governed by Algebraic Laws of equality, that through formulation and manipulation of equations, the solver is able to derive the deterministic value of a, b and c concerning the mathematical study of structure, relation and quantity.
For the sake of the argument and the "jist of the joke", since there isn't any situation/question/problem/story associated with the eqn, simply manipulation of the figures,
as long as its fulfills the Algebraic Laws of equality, is just fine.
What do I mean by that?
I.e.
Suppose a = b and b = c, then a = c (transitivity of equality).
Suppose a = a (reflexivity of equality).
Suppose a = b then b = a (symmetry of equality).
Suppose a = b then a + c = b + c for any c (addition property of equality).
Suppose a = b then ac = bc for any c (multiplication property of equality).
Suppose two symbols are equal, then one can be substituted for the other at will (substitution principle).
.
.
.
I can go on and on, but thats besides the point. The fact is that any Algebraic eqn is
forever hold true, as long as it is constructed and manipulated under the Algebraic Laws of equality, even though the end result of the manipulation does not necessarily solve the deterministic values of the eqn.
No doubt it might initially appear "baseless" and IS indeed formed from nowhere, it does not necessarily make it unsolvable just because of the word "Suppose".
Originally posted by eagle:
Theorem: 3=4
Proof:
Suppose:
a + b = c
.
.
.
Take the constants out of the brackets:
4 * (a+b-c) = 3 * (a+b-c)
Remove the same term left and right:
4 = 3
Originally posted by JerzZzzZ:
And that is why I said the error was in a+b-c=0, because you can 'suppose' anything. Okay, maybe error is the wrong word.
Now, the fallacy and ultimately the "jist" of the joke is NOT caused by the word SUPPOSE but rather, the operation of dividing both sides by (a+b-c) goes directly against the basic Algebraic Laws of equality! With the "bastardized" end result of 5=4, the joke proceeds to conclude that 5 does indeed equal to 4, even after going through a series of meaningful Algebraic manipulation which ultimately went wrong at the illegal division operation.
And that, my friend, is what makes this all "funny".
Edit: Typos.