Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Difference between revisions of "Fallacy"

(→‎All Numbers are Equal)
(→‎All horses are the same color)
 
(8 intermediate revisions by 2 users not shown)
Line 1: Line 1:
−
A '''fallacious proof''' is a an attempted [[proof]] that is [[logic]]ally flawed in some way.  The fact that a proof is fallacious says nothing about the validity of the original proposition.
+
A '''fallacy''' is a step an attempted [[proof]] that is [[logic]]ally flawed in some way.  The fact that a proof is fallacious says nothing about the validity of the original proposition.
  
 
== Common false proofs ==
 
== Common false proofs ==
Line 19: Line 19:
 
[[Fallacious proof/2equals1 | Explanation]]
 
[[Fallacious proof/2equals1 | Explanation]]
  
−
=== All horses are the same color ===
+
=== Polya's Proof That All horses Are the Same Color ===
 
We shall prove that all horses are the same color by [[induction]] on the number of horses.
 
We shall prove that all horses are the same color by [[induction]] on the number of horses.
  
−
First we shall show our base case, that all horses in a group of 1 horse have the same color, to be true.  Of course, there's only 1 horse in the group so certainly our base case holds.
+
First we shall show our base case, that all horses in a group of 1 horse have the same color to be true.  Of course, there's only 1 horse in the group so certainly our base case holds.
  
 
Now assume that all the horses in any group of <math>k</math> horses are the same color.  This is our inductive assumption.
 
Now assume that all the horses in any group of <math>k</math> horses are the same color.  This is our inductive assumption.
Line 30: Line 30:
 
[[Fallacious proof/all horses are the same color | Explanation]]
 
[[Fallacious proof/all horses are the same color | Explanation]]
  
−
=== All Numbers are Equal ===
+
=== All numbers are equal ===
 +
Consider arbitrary reals <math>a</math> and <math>b</math>, and let <math>t</math> = <math>a + b</math>. Then
 +
<cmath>a + b = t</cmath>
  
−
Proof: Choose arbitrary a and b, and let t = a + b. Then
+
<cmath>(a + b)(a - b) = t(a - b)</cmath>
−
<div style="text-align:center"><math>a + b = t</math></div>
 
  
−
<div style="text-align:center"><math>(a + b)(a - b) = t(a - b</math>)</div>
 
  
−
<div style="text-align:center"><math>a^2 - b^2 = ta - tb</math></div>
+
<cmath>a^2 - b^2 = ta - tb</cmath>
−
<div style="text-align:center"><math>a^2 - ta = b^2 - tb</math></div>
 
  
−
<div style="text-align:center"><math>a^2 - ta + \dfrac{t^2}{4} = b^2 - tb + \dfrac{t^2}{4}</math></div>
 
  
−
<div style="text-align:center"><math>(a - \dfrac{t}{2})^2 = (b - \dfrac{t}{2})^2</math></div>
+
<cmath>a^2 - ta = b^2 - tb</cmath>
  
−
<div style="text-align:center"><math>a - \dfrac{t}{2} = b - \dfrac{t}{2}</math></div>
 
  
−
<div style="text-align:center"><math>a = b</math></div>
+
<cmath>a^2 - ta + \dfrac{t^2}{4} = b^2 - tb + \dfrac{t^2}{4}</cmath>
−
''QED''
+
 
 +
 
 +
<cmath>\left(a - \dfrac{t}{2}\right)^2 = \left(b - \dfrac{t}{2}\right)^2</cmath>
 +
 
 +
 
 +
<cmath>a - \dfrac{t}{2} = b - \dfrac{t}{2}</cmath>
 +
 
 +
 
 +
<cmath>a = b</cmath>
 +
 
 +
[[Fallacious proof/All numbers are equal|Explanation]]
 +
=== Bread ===
 +
*Nothing is better than fame, happiness and success.
 +
*A few small crumbs of bread are better than nothing.
 +
*Thus, a few small crumbs of bread are better than fame, happiness, and success.
 +
 
 +
 
 +
[[Fallacious proof/Bread|Explanation]]
  
 
== See also ==
 
== See also ==
 
* [[Proof writing]]
 
* [[Proof writing]]

Latest revision as of 07:27, 5 June 2013

A fallacy is a step an attempted proof that is logically flawed in some way. The fact that a proof is fallacious says nothing about the validity of the original proposition.

Common false proofs

The fallacious proofs are stated first and then links to the explanations of their fallacies follow.

2 = 1

Let $a=b$.

Then we have

$a^2 = ab$ (since $a=b$)
$2a^2 - 2ab = a^2 - ab$ (adding $a^2-2ab$ to both sides)
$2(a^2 - ab) = a^2 - ab$ (factoring out a 2 on the LHS)
$2 = 1$ (dividing by $a^2-ab$)

Explanation

Polya's Proof That All horses Are the Same Color

We shall prove that all horses are the same color by induction on the number of horses.

First we shall show our base case, that all horses in a group of 1 horse have the same color to be true. Of course, there's only 1 horse in the group so certainly our base case holds.

Now assume that all the horses in any group of $k$ horses are the same color. This is our inductive assumption.

Using our inductive assumption, we will now show that all horses in a group of $k+1$ horses have the same color. Number the horses 1 through $k+1$. Horses 1 through $k$ must be the same color as must horses $2$ through $k+1$. It follows that all of the horses are the same color.

Explanation

All numbers are equal

Consider arbitrary reals $a$ and $b$, and let $t$ = $a + b$. Then \[a + b = t\]

\[(a + b)(a - b) = t(a - b)\]


\[a^2 - b^2 = ta - tb\]


\[a^2 - ta = b^2 - tb\]


\[a^2 - ta + \dfrac{t^2}{4} = b^2 - tb + \dfrac{t^2}{4}\]


\[\left(a - \dfrac{t}{2}\right)^2 = \left(b - \dfrac{t}{2}\right)^2\]


\[a - \dfrac{t}{2} = b - \dfrac{t}{2}\]


\[a = b\]

Explanation

Bread

  • Nothing is better than fame, happiness and success.
  • A few small crumbs of bread are better than nothing.
  • Thus, a few small crumbs of bread are better than fame, happiness, and success.


Explanation

See also

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=Fallacy&oldid=52957"