A fake proof

Prooftoys does not fall into mathematical fallacies, and will prevent you from doing so when you use it. In cases like this one, the steps are all allowable, but the end result only superficially looks like the one you may have imagined!

Here is a Prooftoys version of a fake “proof” that 2 = 1 based on fallacious reasoning. This one seems to have originated in Michael Spivak’s Calculus (1967). It is customarily described as a sequence of proof steps applied to two arbitrary nonzero, equal numbers x and y. Although Prooftoys reaches something closely resembling the incorrect conclusion, the end result is based on assumptions that are false. Prooftoys keeps track of them, and they turn out to be important to the meaning of the proof. proving the final result above in a single step.

Here is the entire proof in glorious detail:

The final result above is “trivially true”, because \F implies anything. You can prove this with the proof builder in just a step or two. When nothing is selected in the editor, the basic menu lets you \check a tautology. Selecting that menu item and entering \F => a will give you a general form, and you can then substitute for a. Or if you select \check a tautology instance, you can enter a more specific formula immediately such as \F => 2 = 1,

About the steps

The step where both sides of an equation are both divided by x - y, is usually pointed out as the incorrect step because it uses division by zero. The Prooftoys rendition of it simply introduces the assumption that x - y != 0, which is inconsistent with the assumption that x = y. The combination of the two is always false.

The proof here postpones showing that the assumptions cannot all be true until after transforming the conclusion into 2 = 1, but that part could be done immediately after dividing by x - y. All of the reasoning is still correct in both versions — just pointless, because false implies anything. The final step is an instance of the tautology F => a — one typical result of trying fallacious reasoning in Prooftoys.

Remember, when viewing a simplification step, if you click on the word “simplify”, the display will show step by step how the simplification is done.

Playing around

Feel free to play around with the proof editor, below. Pressing the “Solve” button enters the entire proof into the proof builder. That may take a moment, so be patient.