<?xml version="1.0" encoding="UTF-8" ?>
  <resource>
  <id>6384</id>
  <path>/www/nrich/html/content/id/6384/</path>
  <resourceTypeID>1</resourceTypeID>
  <last_published>2011-07-19T08:40:06</last_published>
  <indexXML>&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot;?&gt;
&lt;mdoxml version=&quot;1.0&quot;&gt;&lt;p&gt;Consider these dodgy proofs. Although the results are obviously wrong, where, precisely, do the &amp;#39;proofs&amp;#39; break down? There are five fun introductory questions, four main questions and four extension questions. Good luck!&lt;br&gt;&lt;/br&gt;
 &lt;br&gt;&lt;/br&gt;
 &lt;br&gt;&lt;/br&gt;
&lt;span style=&quot;font-weight: bold&quot;&gt;INTRODUCTORY QUESTIONS &lt;/span&gt;&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
&lt;span style=&quot;font-weight: bold&quot;&gt;F1. A pound equals a penny&lt;/span&gt;   &lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
Proof: £$1 = 100 p = (10p)^2 = ($£$ 0.1)^2 = $£$0.01 = 1p$&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
&lt;span style=&quot;font-weight: bold&quot;&gt;F2.&lt;/span&gt; ${\mathbf{2 = 3}}$&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
Proof: $2\times 0 =0$, so $2=0\div 0$. Also, $3\times 0 = 0$, so $3=0 \div 0$. Since $0\div 0$, however it is defined, is clearly the same as $0\div 0$, we must have $2=3$.&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
&lt;span style=&quot;font-weight: bold&quot;&gt;F3. The perimeter of a square is four times its area&lt;/span&gt;&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
Proof: Choose units so that the side of the square is length 1. Then the perimeter equals 4 units and the area equals $1\times 1=1$ unit. Thus, the perimeter of the square is four times its area.&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
 &lt;br&gt;&lt;/br&gt;
&lt;span style=&quot;font-weight: bold&quot;&gt;F4.&lt;/span&gt; ${\mathbf{0 = 1}}$  &lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
Proof: $0=0+0+0+\cdots$. But $0=1-1$, so $$ 0=(1-1)+(1-1)+(1-1)+\cdots $$ So, by rearranging the brackets, we have $$ 0=1+(-1+1)+(-1+1)+(-1+1)+\cdots = 1+0+0+0+\cdots = 1 $$&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
&lt;span style=&quot;font-weight: bold&quot;&gt;F5. There is a living man with at least four heads&lt;/span&gt;   &lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
Proof: No man has three heads. Any living man has at least one head more than no man. Therefore, there is a living man with at least four heads.&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
 &lt;br&gt;&lt;/br&gt;
MAIN QUESTIONS  &lt;br&gt;&lt;/br&gt;
 &lt;br&gt;&lt;/br&gt;
 &lt;br&gt;&lt;/br&gt;
&lt;span style=&quot;font-weight: bold&quot;&gt;M1. Any two real numbers are the same&lt;/span&gt;  &lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
Proof: Pick any three real numbers $a$, $b$ and $c$. If $a^b = a^c$, then $b = c$. Therefore, since $1^x = 1^y$, we may deduce $x = y$ for any two real numbers $x$ and $y$.&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
&lt;span style=&quot;font-weight: bold&quot;&gt;M2.&lt;/span&gt; ${\mathbf{\infty = -1}}$&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
Proof: Let $$x=1+2+4+8+\dots $$ Thus, $$1+2x = 1+2(1+2+4+\cdots) = 1+2+4+8+\cdots = x$$ Thus, $1+2x=x$. Rearranging this gives $x=-1$. However, $x$ is also obviously infinite. Thus, $\infty = -1$.&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
 &lt;br&gt;&lt;/br&gt;
 &lt;br&gt;&lt;/br&gt;
&lt;span style=&quot;font-weight: bold&quot;&gt;M3. All numbers are the same &lt;/span&gt;&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
Proof: Suppose that all numbers were not the same. Choose two numbers $a$ and $b$ which are not the same. Therefore one is bigger; we can suppose that $a&amp;amp;gt; b$. Therefore, there is a positive number $c$ such that $a=b+c$. Therefore, multiplying sides by $(a-b)$ gives $$a(a-b) = (b+c)(a-b)$$ Expanding gives $$a^2-ab = ab-b^2+ac -bc $$ Rearranging gives $$a^2-ab-ac= ab-b^2-bc$$ Taking out a common
factor gives $$ a(a-b-c) = b(a-b-c) $$ Dividing through gives $a=b$, therefore $a$ and $b$ could not have been different after all, hence all numbers are the same.&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
 &lt;br&gt;&lt;/br&gt;
 &lt;br&gt;&lt;/br&gt;
&lt;span style=&quot;font-weight: bold&quot;&gt;M4. All numbers are equal  &lt;/span&gt;  &lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
Proof: Choose any two numbers $a$ and $b$ and let $a+b=s$.&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
Thus, $(a+b)(a-b) = s(a-b)$&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
Thus, $a^2-b^2 = sa - sb$&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
Thus, $a^2 -sa = b^2-sb$&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
Thus, $a^2-sa+s^2/4 = b^2-sb+s^2/4$&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
Thus, $(a-s/2)^2 = (b-s/2)^2$&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
Thus, $a-s/2 = b-s/2$&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
Thus, $a=b$&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
&lt;span style=&quot;font-weight: bold&quot;&gt;E1.&lt;/span&gt; ${\mathbf{3 = 0}}$&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
Proof: Consider the quadratic equation $ x^2+x+1=0 $. Then, we can see that $ x^2=-x-1 $. Assuming that $x$ is not zero (which it clearly isn&amp;#39;t, from the equation) we can divide by $x$ to give $$ x= -1-\frac{1}{x} $$ Substitute this back into the $x$ term in the middle of the original equation, so $$ x^2 +\left(-1-\frac{1}{x}\right)+1=0 $$ This reduces to $$x^2=\frac{1}{x}$$ So, $x^3=1$, so $x=1$
is the solution. Substituting back into the equation for $x$ gives $$ 1^2+1+1=0 $$ Therefore, $3=0$. &lt;br&gt;&lt;/br&gt;
 &lt;br&gt;&lt;/br&gt;
 &lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
 &lt;br&gt;&lt;/br&gt;
&lt;span style=&quot;font-weight: bold&quot;&gt;E2. The smallest positive number is 1&lt;/span&gt; &lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
Proof: Suppose that $x$ is the smallest positive number. Clearly $x\le 1$ and also $x^2&amp;amp;gt; 0$. Since $x$ is the smallest positive number, $x^2$ can&amp;#39;t be smaller then $x$, so we must have $x^2\geq x$. We can divide both sides of this by the positive number $x$ to get $x \geq 1$. Since $x$ is both less than or equal to $1$ and greater than or equal to $1$, $x$ must equal $1$. Thus the smallest
positive number is $1$. &lt;br&gt;&lt;/br&gt;
 &lt;br&gt;&lt;/br&gt;
 &lt;br&gt;&lt;/br&gt;
 &lt;br&gt;&lt;/br&gt;
&lt;span style=&quot;font-weight: bold&quot;&gt;E3.&lt;/span&gt; ${\mathbf{1=-1}}$.&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;
Proof: Clearly, $-1=-1$ and $\frac{1}{1} = \frac{-1}{-1}$ Therefore, $-1\times \frac{1}{1}=-1\times \frac{-1}{-1}$ Therefore, $\frac{-1\times 1 }{1}=\frac{-1\times -1}{-1}$ Therefore, $\frac{-1}{1}=\frac{1}{-1}$ Therefore, $\sqrt{\frac{-1}{1}}=\sqrt{\frac{1}{-1}}$ Therefore, $\frac{\sqrt{-1}}{1}=\frac{1}{\sqrt{-1}}$ Multipliying both sides by $\sqrt{-1}\times 1$ gives $\sqrt{-1}\times \sqrt{-1} =
1\times 1$ Therefore, $-1=1$&lt;/p&gt;
&lt;p&gt; &lt;/p&gt;
&lt;p&gt;&lt;strong&gt;E4. All cows in a field are the same colour&lt;/strong&gt;&lt;/p&gt;
&lt;p&gt;Proof : by induction on the number of cows.&lt;/p&gt;
&lt;p&gt;Induction hypothesis: &lt;i&gt;n&lt;/i&gt; cows in a field are the same colour, for all &lt;i&gt;n&lt;/i&gt;=1,2,3,4,...&lt;/p&gt;
&lt;p&gt;Initial Step: Clearly &lt;em&gt;one&lt;/em&gt; cow in a field is the same colour as itself, so the induction hypothesis is true for n=1.&lt;/p&gt;
&lt;p&gt;Inductive Step: Now suppose &lt;i&gt;n&lt;/i&gt; is at least 1, we have &lt;i&gt;n&lt;/i&gt; cows in a field &lt;i&gt;F&lt;/i&gt;, and that the induction hypothesis has been proved for all fields containing at most &lt;i&gt;n&lt;/i&gt; cows. By the induction hypothesis all the cows in &lt;i&gt;F&lt;/i&gt; are the same colour. Now, remove any cow from &lt;i&gt;F&lt;/i&gt; and put it to one side. Then take
a cow from some &lt;em&gt;other&lt;/em&gt; field and put it in field &lt;i&gt;F&lt;/i&gt;. We again have &lt;i&gt;n&lt;/i&gt; cows in field &lt;i&gt;F&lt;/i&gt;, so by the induction hypothesis they are all the same colour. Finally, put back the first cow you thought of. We already know that it&amp;#39;s the same colour as all the other cows in &lt;i&gt;F&lt;/i&gt;, and so now we have &lt;i&gt;n&lt;/i&gt;+1 cows in field &lt;i&gt;F&lt;/i&gt;,
and they&amp;#39;re all the same colour. This completes the induction step!&lt;/p&gt;
&lt;p&gt; &lt;/p&gt;
&lt;br&gt;&lt;/br&gt;
&lt;br&gt;&lt;/br&gt;&lt;/mdoxml&gt;</indexXML>
  <solutionXML/>
  <noteXML>&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot;?&gt;
&lt;mdoxml version=&quot;1.0&quot;&gt;&lt;br&gt;&lt;/br&gt;
&lt;h3&gt;Why do this problem?&lt;/h3&gt;
&lt;p&gt;Proof is, of course, a central part of mathematics. However constructing proofs is often difficult for novices. This problem provides a bridge through the device of classic faulty proofs of &amp;#39;obviously&amp;#39; wrong results. Analysing these faulty proofs will provide training in reading proofs, raise awareness of mathematical hazards, such as division by zero, and provide motivation for rigour. You
might wish to use some of these proof every so often throughout the year.&lt;/p&gt;
&lt;p&gt; &lt;/p&gt;
&lt;h3&gt;Possible approach&lt;/h3&gt;
&lt;div&gt;Make it a race to find errors in as many proofs as possible in the available time. Split the class into small groups and give them one of the first three proofs to work on. Let everyone know that the next proof will be given out when the group has convinced you of the location of the error.&lt;/div&gt;
&lt;div&gt; &lt;/div&gt;
&lt;div&gt;When a group wishes to try to convince you of an error choose one member of the group at random: only this member is permitted to speak or write. If you are convinced, give the group the next dodgy proof; otherwise give minimal feedback such as &amp;quot;Sorry, I&amp;#39;m not convinced&amp;quot; or &amp;quot;That explanation didn&amp;#39;t seem clear to me&amp;quot; and leave them to attempt to tighten up their argument.&lt;/div&gt;
&lt;div&gt; &lt;/div&gt;
&lt;div&gt;Use common sense to judge the acceptable level of rigour.&lt;/div&gt;
&lt;div&gt; &lt;/div&gt;
&lt;div&gt;Be on the lookout for the tell-tale signs of &amp;#39;um&amp;#39;, &amp;#39;er&amp;#39;, &amp;#39;the thing&amp;#39; and &amp;#39;it&amp;#39; which so often indicate confused thinking.&lt;/div&gt;
&lt;div&gt; &lt;/div&gt;
&lt;div&gt; &lt;/div&gt;
&lt;div&gt; &lt;/div&gt;
&lt;h3&gt;Key questions&lt;/h3&gt;
&lt;div&gt;Does that argument sound clear to you? (students will probably know when they are bluffing!)&lt;/div&gt;
&lt;div&gt; &lt;/div&gt;
&lt;h3&gt;Possible extension&lt;/h3&gt;
&lt;div&gt;Students might be asked to invent their own dodgy proofs.&lt;/div&gt;
&lt;div&gt; &lt;/div&gt;
&lt;h3&gt;Possible support&lt;/h3&gt;
&lt;div&gt;You could simply discuss the proofs as a group or you could draft in some helpers who assist you in deciding if explanations are acceptably clear.&lt;/div&gt;
&lt;br&gt;&lt;/br&gt;&lt;/mdoxml&gt;</noteXML>
  <clueXML/>
  <canonXML/>
  <end_user_role>2</end_user_role>
  <difficulty>5</difficulty>
  <keystage1>0</keystage1>
  <keystage2>0</keystage2>
  <keystage3>0</keystage3>
  <keystage4>0</keystage4>
  <keystage4plus>1</keystage4plus>
  <title>Dodgy proofs</title>
  <description>These proofs are wrong. Can you see why?</description>
  <spec_group>Using, Applying and Reasoning about Mathematics
    <specifier>Mathematical reasoning &amp; proof</specifier>
  </spec_group>
</resource>