Math 101: Simple Flawed Proofs

I wanted to post on types of proofs that I find highly interesting: ones that are completely and utterly wrong based on very simple mathematics. With these types of proofs, we can seemingly “prove” that 1=2 or 10 = 1,396. I have always found it interesting that most people cannot spot the mistakes in these proofs. I’ll give a simple example (there are many others, but I like this one most) and then go through some of the reasons why I think most people do not immediately understand the flaws.

“Proof”
Consider this simple statements:


Let \(a \in \mathbb{R}\)

Assume a = b

Isolating the equation, multiply both sides by a:

\[ a^2 = ab \]

Subtract \( b^2 \) from both sides:

\[ a^2 - b^2 = ab - b^2 \]

Now let us factor each side:

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

We can now divide each side by \((a-b)\):

\[ \frac{(a+b)(a-b)}{(a-b)}=\frac{b(a-b)}{(a-b)} \]

This reduces to:

\[ a+b = b \]

Now since a and b are both equal (from the first statement), let us set them to 1 which produces:

\[ \begin{aligned}
1+1 & = 1 \\
2 & = 1 \; \; \mathbb{QED} \\
\end{aligned} \]

Can you spot the error? I’ll give you a second…

To most people, their immediate answer/reaction is that mathematics cannot be trusted and the above “proves” that Mathematics is sometimes wrong and untrustworthy (Mathematics is the problem, basically)… This could not be further from the truth! But why do they think this way? I believe it is a fundamental problem in the way that Mathematics is taught at a young age in the United States (I cannot vouch for other students around the world, this is just something I have noticed here in the states). The American education system is not a very good one when it comes to Mathematics (among other things). Case in point, more than half of the Mathematics I learned in college is learned by international students in their high school years! But I digress, this is not the main issue here. I do not necessarily care for this post that others learn more than we do (that is another issue), just that we learn things at a fundamental level wrong! It would be fine if the Mathematics that we are currently teaching is taught correctly, but it is not. This causes many problems down the road throughout people’s lives, such as balancing their checkbooks and keeping up with their finances. Most people are forced to learn Mathematics in the most boring fashion when they are young and it does nothing for them. They are not taught the beauty of Mathematics.

This is a tragic mistake in our education system. Mathematics is vital to being able to keep a structured and stable life, even if it just means that you can sit down and plan out your finances so your family can eat! These types of things are so important but the fundamentals of them are taught as if they are chores instead of activities. If Mathematics is mentioned to the layperson, they usually get a disgusted look on their face and say something to the effect of “Oh I never use math, who wants to use that? That’s for the smart people, it’s useless to me!” This cannot be further from how we should view Mathematics.

This viewpoint stems from how we teach Mathematics. Children/young adults are pushed to learn and memorize formulas without understanding how or why any of it works. Most students have a deep hatred for Mathematics starting at a young age. This is most unfortunate because Mathematics is a beautiful and rich subject that should be treated as such when being taught. Unfortunately, this is not so (I am not here to describe how we can reform the system, that shall be another post at some point). Even something as simple as the Pythagorean Theorem has a beautiful representation if presented right. It is not such some symbols you memorize for a test! However, Mathematics teachers do not teach this way… But, as I said, that is for another post! Let us look at that proof…

What was the flaw? Let us examine the proof and oust the fundamental problem that lies within!

First off, when dealing with Mathematics, you have to have a very good memory sometimes. You cannot skip over even the smallest detail. I believe this is why most people see Mathematics as laborious and do not want to put forth the added brain power to fully understand what they are seeing/learning. The whole problem with this “proof” would be mitigated if people really understood the very first line and the implications of it: \( a=b \). What does this imply? Many things actually. The most basic is that what ever a is, b is also. Or, some might see it as whatever b is, a is as well (it does not matter which way you look at it in this case). But when we say this, there are direct implications like if a is even, then b is even, and if we multiply a and b then the result is even. We can pull out many properties like this depending on what the properties of the values we give a (and thus b) are.

So now that we are thinking down the path of implications of knowing properties of numbers, what would you say about subtraction? What can we imply about subtracting a and b after we make them equal? Well, the first thing that you should think of is “0″! And that is correct!

But we are still not done. We know that this should now yield a 0 value if we subtract them. There should be a fundamental rule of Mathematics that should immediately be coming to mind at this moment and be screaming at you… NO DIVISION BY ZERO!

Ah ha! We have realized a fundamental law that could be violated if we simply use the statement \( a-b \) where a and b are equal. This logical progression should be almost immediate to anyone that has learned Mathematics at its most basic levels. And this all comes from just the first line, all of this should have been going through your mind on the very first line of this proof! If this did occur to you on the first line, or even throughout the proof, then you most likely would not catch the error in the proof. Even if this did occur to you at some point, it still might not have registered with you. But why is this?

Another problem I would like to discuss is people’s fundamental block in going from symbols to numbers. They do not understand that a, in this situation, can be any number. So, when they see “a”, they do not see a number, they just see “a”. That is why many people cannot make the jump from \(a-b\) means \(1-1\) or \(2-2\) or any other number. That means they will miss that it could yield a 0 result which could be problematic with division further down the road in the proof!

Well, that is my two cents on the subject. I love these types of proof but I wish more lay people could spot the error(s) in them.

MCS 2011: Journey to Germany

If you have not read the previous post, you should. It is the first one in this series.

The first leg of my trip went off without a hitch! The flight from Roanoke to Detroit was uneventful. I got an aisle seat and the guy beside me respected the unspoken plane seat agreement so all was good.

Detroit’s airport was probably one of the nicest I had ever been in. They had lots of neat things around and the tunnel between terminals A and B/C was pretty awesome. They also had a really nice fountain in the main terminal.

The layover was 4 hours in Detroit so I had awhile to do… nothing pretty much. Unfortunately, the internet was not free so that blew. I (again) did not bring any movies or shows to watch. I did, however, bring a Differential Equation book so I read over that for a little bit. I just happen to look up at some moment and see that the gate I was at had changed its “next flight” status. So, I went to the screen and saw that my flight was delayed by 5 hours! Fortunately, I ran to a gate across the airport where another flight for Amsterdam was getting ready for take off and they let me on! This caused my bags to get delayed but I was okay with that (at the time) since I could still make my connecting flight in Amsterdam.

They provided a dinner half way through the flight to Amsterdam. It was so so. I was actually impressed by the salad, brownie, and roll but the main course (chicken or pasta, I chose chicken) was terrible! It had a side of green beans and potatoes and I don’t think I have ever eaten something so gross. I was hungry though that it didn’t matter. I was just glad to get food! I managed to watch 3 movies during the flight: Adjustment Bureau, Limitless, and Fast Five. Fast Five was the best of the 3 and I’m glad Delta provided these for free and not pay!

8 hours later I arrived in Amsterdam. I was expecting more from the airport but that doesn’t really mean much. My layover was uneventful and I then flew to Bremen, Germany from there. Only hitch was that I had to file a claim for my bags once I arrived but I received them later that night so it was all good!

I finally arrived 2 hours later at the Hermes Hotel in Oldenburg, Germany! And that pretty much concludes my journey TO Oldenburg.

The Quantum Pontiff Relinquishes Control

Recently Dave Bacon ditched his life as a Quantum Computer Scientist/Physicist and took up a post at Google as a Software Engineer. I commend him on his new appointment and am happy to see that he has relinquished his powers at The Quantum Pontiff and appointed a set of 3 new quantum pontificators:

These three people are brilliant physicists/computer scientists/mathematicians that have each made their impacts in Quantum Computation (and Science in general). Bennett is an IBM Fellow, Harrow is currently a lecturer at the University of Bristol (on leave at University of Washington where Dave just left), and Flammia who was a Postdoc at Perimeter until recently where he moved to IQI at CalTech. I think this selection of giants in the field was an excellent choice and I am looking forward to what they are going to pontificate on in the future!

MCS 2011: Intro

I am delighted to report that a few months ago I was accepted into an international summer school on Modern Computational Science: Simulation of Extreme Events. This summer school will be held in Oldenburg, Germany for a duration of 2 weeks. I will be making daily blog posts about my experiences, both educational and recreational! Hopefully I will learn some new things and be able to convey them here.

Meagan and I got up this morning around 7 AM to prepare for our flights. She, unfortunately, will not be going with me to Germany so she is heading back to Clarksville, TN and Huntsville, AL to visit her family and friends (Hopefully next time she will have her passport so that she can go as well!) We decided to walk to the airport this morning since it was only 1.8 miles… mistake! It was too early to be walking to the airport. Next time we will definitely call a cab!

Meagan’s flight was a little behind (6 minutes or so) but she took off at around 10:20 AM from the Roanoke, VA airport. I am currently sitting in the terminal waiting on flight which takes off at 1 PM.

I am extremely excited about the summer school. I received a full grant to attend so it is essentially a free trip to do some awesome mathematics/computational science! I hope my trip to and from Oldenburg goes off without a hitch so that I can really enjoy my trip.

Well, that is it for now! I will post daily about my trip (and sometimes more) so check back for updates often!

Current Reads

As I start my new job as a Research Engineer, I am hoping to have a lot more time on my hands to continue some of my readings. I am always interested in new areas of science and new perspectives on old ideas. Below are a few of the books I am currently reading and a short blurb about what I think of them so far. Enjoy!

  • Road To Reality by Sir Roger Penrose
    Awesome book so far and one of the most comprehensive texts I have ever read on anything. Roger Penrose is a master Mathematical Physicist and does a brilliant job at explaining a ton of ideas extremely well. The exercises are very interesting so far and I enjoy working them when I have time. I plan on spending a lot more time on the exercises in the next few months. If I had to recommend one book to anyone in the sciences, this would be it!
  • Explorations In Quantum Computing by Colin P. Williams
    I am on Chapter 3 of this book and as of now, I think it is a good text for someone who already has a good understanding of both quantum computation and quantum mechanics. It seems that some of the information is misplaced and Colin goes into too much detail too early in the book, mainly in some of the examples. He introduces some concepts without explaining them (such as the Pauli gates) and doesn’t get around the telling you what they are till about 50 pages later. This is why I think that this book is more for the reader who knows a little about the subject. Other than that, I love the book. Colin gives a great introduction to the field and gives very interesting examples that I have not seen other places. I hope the rest is as good as what I have already read!
  • Quantum Computation and Quantum Information by Michael Nielsen & Isaac Chuang
    An amazing book that I should have read cover to cover years ago. It is THE text on quantum computing and is extremely in depth and provides the best introduction to the subject around. I recommend reading this text and then picking up Colin’s book above for a more “Computer Science and Computer Engineering” viewpoint on the subject. Everyone who is anyone in quantum computation knows that this book is a great book. Peter Shor, Charles Bennet, and Michael Freedman all are recommenders for this book and they give it praise (if you don’t know who these people are, look them up and you will see my point). Read it!
  • The Fabric of Reality by David Deutsch
    I am not very far into this book yet and I am sad to say it has taken me this long to start reading it. David is one of the founders of the field of quantum computing and I love many of his views on fundamental physics. I look forward to finishing this book quite soon.

Hopefully I will be finishing these books in the next few months and continuing onto other ones. I have a ton books on my bookshelf and I assume I will be adding to them just out of shear love for reading (and buying books!). We shall see how it goes, just thought I would gather my thoughts on which books I am currently reading.