# (1 + 1) = 1? **URL:** \ **Category:** Factual Questions\ **Created:** [September 14, 2015, 1:27am UTC](https://boards.straightdope.com/t/1-1-1/731166 "2015-09-14T01:27:43Z")\ **Posts on this page:** 20\ **Page:** 1
**Author:** ![Johnny\_L.A](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/johnny_l.a/32/1084_2.png) [@Johnny\_L.A](https://boards.straightdope.com/u/Johnny_L.A)\ **Post date:** [September 14, 2015, 1:27am UTC](https://boards.straightdope.com/t/1-1-1/731166/1 "2015-09-14T01:27:43Z")
I saw this T-shirt: x = y x[sup]2[/sup] = xy x[sup]2[/sup] - y[sup]2[/sup] = xy -y[sup]2[/sup] (x + y)(x - y) = y(x - y) ((x + y)(x - y) / (x - y)) = (y(x - y) / (x - y)) [therefore] (x + y) = y If x = 1 and y = 1, **(1 + 1) = 1** The first four steps work. The fifth step contains division by zero, and so will not work. Question: Is this anything more than a math joke? Or is it used in teaching math to illustrate that ‘figures don’t lie, but liars figure’? ---
**Author:** ![Mikeisskeptical](https://avatars.discourse-cdn.com/v4/letter/m/c0e974/32.png) [@Mikeisskeptical](https://boards.straightdope.com/u/Mikeisskeptical)\ **Post date:** [September 14, 2015, 1:40am UTC](https://boards.straightdope.com/t/1-1-1/731166/2 "2015-09-14T01:40:02Z")
I think in the t-shirt context it’s definitely a joke, although you could pose it as a kind of riddle in the classroom. Challenging your students to find the fallacy. ---
**Author:** ![Calihankl](https://avatars.discourse-cdn.com/v4/letter/c/ad7895/32.png) [@Calihankl](https://boards.straightdope.com/u/Calihankl)\ **Post date:** [September 14, 2015, 2:22am UTC](https://boards.straightdope.com/t/1-1-1/731166/3 "2015-09-14T02:22:25Z")
nevermind ---
**Author:** ![robert\_columbia](https://avatars.discourse-cdn.com/v4/letter/r/e79b87/32.png) [@robert\_columbia](https://boards.straightdope.com/u/robert_columbia)\ **Post date:** [September 14, 2015, 2:58am UTC](https://boards.straightdope.com/t/1-1-1/731166/4 "2015-09-14T02:58:31Z")
The fallacious step is: On line 5, when you divide each side by (x - y). Since x=y, x-y=0. You can’t divide by zero. ---
**Author:** ![Xema](https://avatars.discourse-cdn.com/v4/letter/x/9de053/32.png) [@Xema](https://boards.straightdope.com/u/Xema)\ **Post date:** [September 14, 2015, 3:04am UTC](https://boards.straightdope.com/t/1-1-1/731166/5 "2015-09-14T03:04:26Z")
When you see anything along these lines, simply say to yourself “Right - division by zero.” You then look for - and soon find - where this has happened. ---
**Author:** ![j\_sum1](https://avatars.discourse-cdn.com/v4/letter/j/8baadc/32.png) [@j\_sum1](https://boards.straightdope.com/u/j_sum1)\ **Post date:** [September 14, 2015, 5:05am UTC](https://boards.straightdope.com/t/1-1-1/731166/6 "2015-09-14T05:05:16Z")
> [@Xema](#): > > When you see anything along these lines, simply say to yourself “Right - division by zero.” > > You then look for - and soon find - where this has happened. Not always the case. I forget the details but I came across a similar one where the overlooked detail was that log(z) has more than one value in the domain of complex numbers. Another good one is a nice geometric proof that all triangles are isosceles: which relies on a slightly distorted diagram that implies a certain point is contained within the triangle; whereas the actual construction means that it is always exterior. The point to get from that one is that good geometric reasoning can stand without needing a diagram (and is bloody difficult to do.) I can spot the error with the diagram, but if it was presented to me as text only I would have a very hard time of it. I think these kind of conundrums have value in that they emphasis the need for precision and rigour in communication and they force a person to reflect properly on what they think they know. ---
**Author:** ![Urbanredneck](https://avatars.discourse-cdn.com/v4/letter/u/ea5d25/32.png) [@Urbanredneck](https://boards.straightdope.com/u/Urbanredneck)\ **Post date:** [September 14, 2015, 5:09am UTC](https://boards.straightdope.com/t/1-1-1/731166/7 "2015-09-14T05:09:10Z")
Well if you take one drop of water, add in another drop of water, you still get ONE drop of water (albeit twice as large). So when it gets down to it, (1+1) can equal 1 under the right circumstances. ---
**Author:** ![buddha\_david](https://avatars.discourse-cdn.com/v4/letter/b/ee7513/32.png) [@buddha\_david](https://boards.straightdope.com/u/buddha_david)\ **Post date:** [September 14, 2015, 5:31am UTC](https://boards.straightdope.com/t/1-1-1/731166/8 "2015-09-14T05:31:39Z")
Or if you round to the nearest whole number: 0.51 + 0.51 = 1.02, so 1 + 1 = 1 ---
**Author:** ![Senegoid](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/senegoid/32/6606_2.png) [@Senegoid](https://boards.straightdope.com/u/Senegoid)\ **Post date:** [September 14, 2015, 6:47am UTC](https://boards.straightdope.com/t/1-1-1/731166/9 "2015-09-14T06:47:53Z")
Raymond Smullyan, in _What Is The Name Of This Book?_ discusses the logical theorem that a false proposition implies _any_ proposition. (That is, if something false is true, then _anything_ is true.) He uses this to prove that, if 2 = 1, then I (that is, Smullyan) am the Pope. He starts with the classic proof that 2 = 1 (as shown in the OP), then continues: > [@Smullyan](#): > > Now, the Pope and I are two. But we have just shown that 2 = 1. Therefore, the Pope and I are one. Therefore, I am the Pope. ---
**Author:** ![Senegoid](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/senegoid/32/6606_2.png) [@Senegoid](https://boards.straightdope.com/u/Senegoid)\ **Post date:** [September 14, 2015, 6:52am UTC](https://boards.straightdope.com/t/1-1-1/731166/10 "2015-09-14T06:52:18Z")
The proof shown in the OP is a classic example of a fallacy, quite commonly shown to beginning algebra students. Beginning students, asked to find the fallacy, will often argue that the very first line, ```auto Let x = y ``` is the error. The thinking is always something along the lines of: You can’t just assume that two variables have the same value, absent any evidence of that. (Or any variation of substantially that reasoning.) ---
**Author:** ![Senegoid](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/senegoid/32/6606_2.png) [@Senegoid](https://boards.straightdope.com/u/Senegoid)\ **Post date:** [September 14, 2015, 6:55am UTC](https://boards.straightdope.com/t/1-1-1/731166/11 "2015-09-14T06:55:26Z")
> [@j\_sum1](#): > > Not always the case [that any such fallacy probably involves division by zero]. I forget the details but I came across a similar one where the overlooked detail was that log(z) has more than one value in the domain of complex numbers. Similarly, I once saw a “proof” (the details of which I forget) that 2 = 1 that somehow involved the square root of -1, with some incorrect rules for working with square roots of negative numbers. ETA: [Here’s an example of such a proof](https://www.math.toronto.edu/mathnet/falseProofs/second1eq2.html) that I just found. As best I recall, the proof I saw was much simpler than this one, though. ---
**Author:** ![Sr\_Siete](https://avatars.discourse-cdn.com/v4/letter/s/6de8d8/32.png) [@Sr\_Siete](https://boards.straightdope.com/u/Sr_Siete)\ **Post date:** [September 14, 2015, 9:26am UTC](https://boards.straightdope.com/t/1-1-1/731166/12 "2015-09-14T09:26:45Z")
> [@robert\_columbia](#): > > You can’t divide by zero. Not with that attitude, you can’t. ---
**Author:** ![Ranger\_Jeff](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/ranger_jeff/32/2065_2.png) [@Ranger\_Jeff](https://boards.straightdope.com/u/Ranger_Jeff)\ **Post date:** [September 14, 2015, 9:55am UTC](https://boards.straightdope.com/t/1-1-1/731166/13 "2015-09-14T09:55:13Z")
1 + 1 = 1 for small values of 1. ---
**Author:** ![Thudlow\_Boink](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/thudlow_boink/32/320_2.png) [@Thudlow\_Boink](https://boards.straightdope.com/u/Thudlow_Boink)\ **Post date:** [September 14, 2015, 12:52pm UTC](https://boards.straightdope.com/t/1-1-1/731166/14 "2015-09-14T12:52:52Z")
> [@Johnny\_L.A](#): > > Question: Is this anything more than a math joke? Or is it used in teaching math to illustrate that ‘figures don’t lie, but liars figure’? It can indeed be used in teaching math. What lesson this example teaches depends on how specific you want to get. At the lowest level, it’s “Be careful when dividing: watch out for division by zero.” I’ve seen students “solve” equations like x[sup]2[/sup] = 6x by dividing both sides by x and getting the solution x = 6 (thereby missing the other solution x = 0). More generally, it teaches, as **j\_sum1** said, “the need for precision and rigour,” and that a false assumption or invalid step in an otherwise sound argument (mathematical or otherwise) can lead to a ludicrous conclusion. ---
**Author:** ![Thudlow\_Boink](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/thudlow_boink/32/320_2.png) [@Thudlow\_Boink](https://boards.straightdope.com/u/Thudlow_Boink)\ **Post date:** [September 14, 2015, 12:53pm UTC](https://boards.straightdope.com/t/1-1-1/731166/15 "2015-09-14T12:53:56Z")
On a T-shirt, it also teaches the lesson: “Beware. The wearer of this shirt is a raging math geek.” (Not that there’s anything wrong with that.) ---
**Author:** ![Doughbag](https://avatars.discourse-cdn.com/v4/letter/d/aeb1de/32.png) [@Doughbag](https://boards.straightdope.com/u/Doughbag)\ **Post date:** [September 14, 2015, 12:59pm UTC](https://boards.straightdope.com/t/1-1-1/731166/16 "2015-09-14T12:59:09Z")
It’s like 7x13=28 [Cite](http://www.dailymotion.com/video/x5bcwk_abbott-and-costello-13-x-7-is-28_fun) Enjoy! ---
**Author:** ![robert\_columbia](https://avatars.discourse-cdn.com/v4/letter/r/e79b87/32.png) [@robert\_columbia](https://boards.straightdope.com/u/robert_columbia)\ **Post date:** [September 14, 2015, 1:33pm UTC](https://boards.straightdope.com/t/1-1-1/731166/17 "2015-09-14T13:33:15Z")
> [@Senegoid](#): > > Raymond Smullyan, in _What Is The Name Of This Book?_ discusses the logical theorem that a false proposition implies _any_ proposition. (That is, if something false is true, then _anything_ is true.) He uses this to prove that, if 2 = 1, then I (that is, Smullyan) am the Pope. > > He starts with the classic proof that 2 = 1 (as shown in the OP), then continues: The second, Pope-related argument also displays the problem of equivocation, in which “one” is taken to mean both the number one as well as a term meaning “the same person”. ---
**Author:** ![robert\_columbia](https://avatars.discourse-cdn.com/v4/letter/r/e79b87/32.png) [@robert\_columbia](https://boards.straightdope.com/u/robert_columbia)\ **Post date:** [September 14, 2015, 1:41pm UTC](https://boards.straightdope.com/t/1-1-1/731166/18 "2015-09-14T13:41:45Z")
> [@Senegoid](#): > > The proof shown in the OP is a classic example of a fallacy, quite commonly shown to beginning algebra students. > > Beginning students, asked to find the fallacy, will often argue that the very first line, > > ```auto > > Let x = y > > ``` > > is the error. The thinking is always something along the lines of: You can’t just assume that two variables have the same value, absent any evidence of that. (Or any variation of substantially that reasoning.) That type of thinking is also encountered in _formal_ software requirements specifications (e.g. SRS’s). There is a critical difference between the following clauses: - The system _will_ support. Meaning: The customer, owner, or someone other than the developer/engineer guarantees that this statement will be true and the developer/engineer may justly rely on this statement being true if necessary to guarantee that something else will work. E.g. if the system _will_ support 120v mains power input, then the customer is guaranteeing that they will buy, make, or install whatever 120v power input interface is required. - The system _shall_ support. Meaning: The developer/engineer is required to implement or otherwise ensure, as part of their job, that this statement becomes true for the system. E.g. if the system _shall_ support 120v mains power input, then the developer/engineer must find some way to make that a reality, for example via design, implementation, and installation of a 120v mains power input interface. ---
**Author:** ![Saint\_Cad](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/saint_cad/32/18907_2.png) [@Saint\_Cad](https://boards.straightdope.com/u/Saint_Cad)\ **Post date:** [September 14, 2015, 2:00pm UTC](https://boards.straightdope.com/t/1-1-1/731166/19 "2015-09-14T14:00:34Z")
> [@Senegoid](#): > > Similarly, I once saw a “proof” (the details of which I forget) that 2 = 1 that somehow involved the square root of -1, with some incorrect rules for working with square roots of negative numbers. > > ETA: [Here’s an example of such a proof](https://www.math.toronto.edu/mathnet/falseProofs/second1eq2.html) that I just found. As best I recall, the proof I saw was much simpler than this one, though. Those proof seem to always center around a number having two swuare roots, a positive and a negative one. Ultimately they boil down to: 1 = 1 sqrt(1) = sqrt(1) therefore -1 = 1 ---
**Author:** ![SpyOne](https://avatars.discourse-cdn.com/v4/letter/s/82dd89/32.png) [@SpyOne](https://boards.straightdope.com/u/SpyOne)\ **Post date:** [September 14, 2015, 2:02pm UTC](https://boards.straightdope.com/t/1-1-1/731166/20 "2015-09-14T14:02:28Z")
> [@Johnny\_L.A](#): > > Question: Is this anything more than a math joke? Or is it used in teaching math to illustrate that ‘figures don’t lie, but liars figure’? When I was learning Algebra I was shown a similar proof, although it’s end result IIRC was that 2+2=3. In hinged on the same division by zero snag. It was used to illustrate that one can get lost in algebra. The entire proof works, and it seems pointless to go back and redo each step using hte numbers instead of the variables, but that’s the only way you’ll notice that, if x or y is 1 (same thing, per step 1), then line 5 includes division by zero. So what you’ve really proven is that x can’t = 1. [Next page](https://boards.straightdope.com/t/1-1-1/731166.md?page=2)