tag:blogger.com,1999:blog-37486255103489613422017-09-15T21:38:25.704-07:00solidangl.esBill Shillitohttp://www.blogger.com/profile/17774101901445053590noreply@blogger.comBlogger9125tag:blogger.com,1999:blog-3748625510348961342.post-14626193589859870922017-09-15T14:12:00.000-07:002017-09-15T21:38:25.756-07:00I'm Done with Two Column Proofs.Wow.<br /><br />It really has been a while since I've posted here, hasn't it?<br /><br />But I suppose having a mini-crisis in my geometry class that has forced me to reject our textbook's philosophy on what "proofs" should be is a good enough reason to resurrect this blog. I finally have the time this year, and I feel the need to share my probably overly opinionated beliefs about math education.<br /><br />This is the first year I have tried to integrate proofs into our school's geometry curriculum across the board. (In the past, proofs were only discussed in honors classes, but I felt somehow that reasoning through how you knew something was true was important for everyone.) I was trying to justify the two-column format, as much as I hate it, as a way to "scaffold" student thinking --- yay educational buzzwords! But when I actually did it, it got exactly the reaction that I knew it would --- it just served to overly obfuscate the material and utterly drain the life out of it. I realized I should have stuck to my guns and listened to the likes of <a href="https://www.maa.org/external_archive/devlin/LockhartsLament.pdf">Paul Lockhart</a> and <a href="https://mathwithbaddrawings.com/2013/10/16/two-column-proofs-that-two-column-proofs-are-terrible/">Ben Orlin</a>.<br /><br />So, after some reflection and course correction, here's the email I just sent my students.<br /><br />---<br /><blockquote class="tr_bq">Hello mathematicians. I have a rather bizarre request. </blockquote><blockquote class="tr_bq">Don't do your geometry homework this weekend. </blockquote><blockquote class="tr_bq">Yes, you read that right. Don't. </blockquote><blockquote class="tr_bq">Let me explain.</blockquote><blockquote class="tr_bq">We've spent the past couple of days looking at "proofs" in geometry. The reason I say "proofs" in quotations is that, in all honesty, I don't believe the two-column proofs that our book does are are all that useful. I have actually been long opposed to them, but against my better judgment, decided to give them a shot anyway and make them sound reasonable. But you know what they say ... if you put lipstick on a chazir*, it's still a chazir. (They do say that, right?) The thing is, that style of proof just ends up sounding like an overly repetitive magical incantation rather than an actual logical argument --- as some of you pointed out in class today. I truly do value that honesty, by the way, and I hope you continue to be that honest with me. </blockquote><blockquote class="tr_bq">Here is what I actually will expect of you going forward. It's quite simple: </blockquote><blockquote class="tr_bq">I expect you to be able to tell me how you know something is true, and back it up with evidence. </blockquote><blockquote class="tr_bq">That's it. </blockquote><blockquote class="tr_bq">It may be a big-picture kind of question, or it may be telling me how we get from step A to step B, but when it really comes down to it, it's all just "here's why I know this is true, based on this evidence". It doesn't have to be some stilted-sounding name like the "Congruent Supplements Theorem" either --- just explain it in your own words. That doesn't mean that any explanation is correct --- it still has to be valid mathematical reasoning. You can't tell me that two segments on a page are congruent because they're drawn in the same color, or something silly like that. But it doesn't have to be in some prescribed way --- just as long as you show me you really do understand it. </blockquote><blockquote class="tr_bq">With that in mind, by the way, I'm also not going to be giving you a quiz on Monday, either. Instead, we're going to focus on how to make arguments that are a lot more convincing than just saying the same thing in different words. I think you'll find that Monday's class will make a lot more sense than the past few classes combined. </blockquote><blockquote class="tr_bq">So, relax, take a much-deserved Shabbat, and when we come back, I hope to invite you to see geometry the way I see it --- not as a set of arbitrary rules, but as something both logical and beautiful. </blockquote><blockquote class="tr_bq">Shabbat Shalom.</blockquote><br /><i>* I teach at a Jewish private school. "Chazir" is Hebrew for "pig", which has the added bonus of being non-Kosher. Two-column proofs are treif... at least in the context of introductory geometry.</i><br /><i><br /></i><i>P.S. I am not saying that two-column proofs NEVER have a place in mathematics. I am merely saying that introductory geometry, when kids are still getting used to much of geometry as a subject, is not the proper place to introduce the building of an axiomatic system. Save that for later courses for the students who choose to become STEM majors.</i>Bill Shillitohttp://www.blogger.com/profile/17774101901445053590noreply@blogger.com0tag:blogger.com,1999:blog-3748625510348961342.post-69831562498495885932015-08-14T20:22:00.000-07:002015-08-14T20:22:40.357-07:00A Real-Life Paradox: The Banach-Tarski Burrito<b><i>Who knew the Axiom of Choice could help me decide whether to get guacamole for an extra $1.95?</i></b><br /><br />A couple of weeks ago, the popular YouTube channel <a href="https://www.youtube.com/user/Vsauce">Vsauce</a> released a video that tackles what it details as “one of the strangest theorems in modern mathematics”: the <a href="https://en.wikipedia.org/wiki/Banach%E2%80%93Tarski_paradox">Banach-Tarski Paradox</a>. In the video, Michael Stevens explains how a single sphere can be decomposed into peculiar-looking sets, after which those sets can be recombined to form two spheres, each perfectly identical to the original in every way. If you haven’t had a chance to watch the video, go ahead and do so here:<br /><br /><div class="separator" style="clear: both; text-align: center;"><iframe width="320" height="266" class="YOUTUBE-iframe-video" data-thumbnail-src="https://i.ytimg.com/vi/s86-Z-CbaHA/0.jpg" src="https://www.youtube.com/embed/s86-Z-CbaHA?feature=player_embedded" frameborder="0" allowfullscreen></iframe></div><br />Although this seems like a purely theoretical abstraction of mathematics, the video leaves us wondering if perhaps there could be a real-world application of such a bizarre phenomenon. Stevens asks, “is [the Banach-Tarski paradox] a place where math and physics separate? We still don’t know … The Banach-Tarski Paradox could actually happen in our real world … some scientists think it may be physically valid.”<br /><br />Well, my friends, I would like to make the bold claim that I have indeed discovered a physical manifestation of this paradox.<br /><br />And it happened a few years ago at my local <a href="http://www.chipotle.com/">Chipotle</a>.<br /><br />Let me start off by saying this: I <b><i>love</i> </b>Chipotle. It’s a particularly good day for me when I walk in and get my burrito with brown rice, fajita veggies, steak, hot salsa, cheese, pico de gallo, corn, sour cream, guacamole (yes I know it’s extra, just put it on my burrito already!), and a bit of lettuce. No chips, Coke, and about a half hour later I’m one happily stuffed math teacher.<br /><br />The only thing that I don’t like about Chipotle is that the construction of said burritos often ends up failing at the most crucial step – the rolling into one coherent, tasty package. Given the sheer amount of food that gets crammed into a Chipotle burrito, it’s unsurprising that they eventually lose their structural integrity and burst, somewhat defeating the purpose of ordering a burrito in the first place.<br /><br />If you have ever felt the pain of seeing your glorious Mexican monstrosity explode with toppings like something out of an Alien movie because of an unlucky burrito-roller, you have probably been offered the opportunity to “double-wrap” your burrito for no extra charge, giving it an extra layer of tortilla to ensure the safe deliverance of guacamole-and-assorted-other-ingredients into your hungry maw.<br /><br />Now, being a mathematically-minded kind of guy, I asked the employee who made me this generous offer:<br /><br />“Well, could I just get my ingredients split between two tortillas instead?”<br /><br />The destroyer-of-burritos gave that look that you always get from anybody who works at a business that bandies about words like “company policy” when they realize they have to deny a customer’s request even in the face of logic, and said:<br /><br />“If you do that, we’ll have to charge you for two burritos.”<br /><br />I was dumbfounded.<br /><br />“Wait … so you’re saying that if you put a second tortilla around my burrito, you’ll charge me for one burrito, but if you rearrange the <i>exact same ingredients</i>, you’ll charge me for two?”<br /><br />“Yes sir – company policy.”<br /><br />Utterly defeated, I begrudgingly accepted the offer to give my burrito its extra layer of protection, doing my best to smile at the girl who probably knew as well as I did the sheer absurdity of the words that had come out of her mouth. I paid the cashier, let out an audible “oof” as I lifted the noticeably heavy paper bag covered with trendy lettering, and exited the store.<br /><br />When I arrived home, I took what looked like an aluminum foil-wrapped football out of the bag (which was a great source of amusement for my housemates), laid it out on the kitchen table, and decided to dismantle the burrito myself and arrange it into two much more manageable Mexican morsels. I wondered whether I should have done this juggling of ingredients right there at Chipotle, just to see whether the staff’s heads would explode. <br /><br />It was in that moment, with my head still throbbing from the madness of the entire experience, that I began to realize what had just happened. How <i>was</i> it possible that a given mass of food could cost one amount one moment and another amount the next? I immediately began to deconstruct my burrito, laying out the extra tortilla onto a plate and carefully making sure that precisely one-half of the ingredients – especially the guacamole – found their way into their new home. As I carefully re-wrapped both tortillas, my suspicions were confirmed. Sitting right in front of me were two delicious burritos, each identical in price to my original.<br /><br />I had discovered the Banach-Tarski Burrito.Bill Shillitohttp://www.blogger.com/profile/17774101901445053590noreply@blogger.com1tag:blogger.com,1999:blog-3748625510348961342.post-2272902034172907032015-04-24T17:47:00.000-07:002015-04-28T14:00:36.302-07:00A Radical New Look for Logarithms<i>"A good notation has a subtlety and suggestiveness which at times make it almost seem like a live teacher."</i> — Bertrand Russell<br /><br /><i>"We could, of course, use any notation we want; do not laugh at notations; invent them, they are powerful. In fact, mathematics is, to a large extent, invention of better notations."</i> — Richard Feynman<br /><br />"<i>By relieving the brain of all unnecessary work, a good notation sets it free to concentrate on more advanced problems, and in effect increases the mental power of the race.</i>" — Alfred North Whitehead<br /><br /><br />Notation is perhaps one of the most important aspects of mathematics. The right choice of notation can make a concept clear as day; the wrong choice can make extracting its meaning hopeless. Of course, one great thing about notation is that even if there's a poor choice of notation out there (such as \(\left[x\right]\) or \(\pi\)), often someone comes along and creates a better one (such as \(\lfloor x\rfloor\) for the <a href="http://www.solidangl.es/2014/09/throw-outdated-notation-to-floor.html">floor function</a> or multiples of <a href="http://tauday.com/tau-manifesto">tau</a>, \(\tau\approx 6.28318\), for radian measure of angles).<br /><br />Which brings me to one such poor choice of notation, one that I believe needs fixing: the rather asymmetrical notation of powers, roots, and logarithms.<br /><br />Here we have three very closely related concepts — both roots and logarithms are ways to invert exponentiation, the former returning the base and the latter returning the exponent. And yet their notation couldn't be more different:<br />\[2^3=8\\<br />\sqrt[3]{8}=2\\<br />\log_2{8}=3\]This always struck me as annoyingly inelegant. Wouldn't it be nice if these notations bore at least some resemblance to each other?<br /><br />After giving it some thought, I believe I have found a possible solution. As an alternative to writing \(\log_2 {8}\), I propose the following notation:<br /><br /><div class="separator" style="clear: both; text-align: center;"><a href="http://4.bp.blogspot.com/-vyIGboQ3DkY/VTrVNLnYilI/AAAAAAAACmA/eAkvCZAFl3Y/s1600/new%2Blog%2Bnotation.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" src="http://4.bp.blogspot.com/-vyIGboQ3DkY/VTrVNLnYilI/AAAAAAAACmA/eAkvCZAFl3Y/s1600/new%2Blog%2Bnotation.png" /></a></div><br />This notation makes use of a reflected radical symbol, such that the base of the logarithm is written in a similar manner to the index of a radical but below the "point" (the pointy part of the radical symbol), and the argument of the logarithm is written "inside". The use of this notation has a number of advantages:<br /><br /><ol><li>The symmetry between the normal radical for roots and the reflected radical for logarithms highlights both their similarities and their differences — each one "undoes" an exponential expression, but each one gives a different part of the expression (the base and the exponent, respectively.)</li><li>The radical symbol can be looked at as a modified lowercase letter "r". (This may actually be the origin of the symbol, where the "r" stands for <i>radix</i>, the Latin word for "root".) In a similar way, the new symbol for logarithms resembles a capital "L".</li><li>The placement of the "small number" and the "point" can take on a secondary spatial meaning: </li><ul><li>The "small number" represents a piece of information we <u>know</u> about an exponential expression, and its placement indicates <u>which part</u> we know.</li><ul><li>For a root, the "small number" is on top, so <i>we know the <u>exponent</u></i>.</li><li>For a logarithm, the "small number" is on bottom, so <i>we know the <u>base</u></i>.</li></ul><li>The symbol seems to "point" to the piece of information that we are <u>looking for</u>.</li><ul><li>For a root, the "point" is pointing downward, so <i>we are looking for the <u>base</u></i>.</li><li>For a logarithm, the "point" is pointing upward, so <i>we are looking for the <u>exponent</u></i>.</li></ul><li>Looking at the image above, the new notation seems to say "We know the <i>base</i> is 2, so <i>what's the exponent</i> that will get us to 8?"</li><li>Similarly, the expression \(\sqrt[3]{8}\) now can be interpreted as saying "We know the <i>exponent</i> is 3, so <i>what's the base</i> that will get us to 8?"</li></ul></ol><div><div><br /></div><div>This notation would obviously not make much of a difference for seasoned mathematicians who are perfectly comfortable with the \(\log\) and \(\ln\) functions. But from a pedagogical standpoint, the reflected radical, with its multi-layered meaning and auto-mnemonic properties, could help students become more comfortable with a concept that many look at as just meaningless manipulation of symbols.<br /><br />When I first came up with this reflected-radical notation, I had originally imagined that it should <i>replace</i> the current notation. However, after some feedback from various people and some further consideration, I think a better course of action would be to have this notation be used <i>alongside</i> the current notation, much in the way that we have multiple notations for other concepts in math (such as the many ways to write derivatives). However, I would suggest that, if it were to become commonplace*, this notation would be best to use when first introducing the concept in schools. The current notation isn't <i>wrong</i> per se — it's just not very evocative of the underlying concept. Anything that can better elucidate that concept can't be a bad thing when it comes to students learning mathematics!</div><div><br /></div><div>It may seem like a <b>radical </b>idea.</div><div>But it's a <b>logical</b> one.<br /><br /><br /><i>* Of course, for this notation to become commonplace, somebody would need to figure out how to replicate it in LaTeX. Any takers?</i></div></div>Bill Shillitohttp://www.blogger.com/profile/17774101901445053590noreply@blogger.com9tag:blogger.com,1999:blog-3748625510348961342.post-68697028658403006552014-09-15T20:31:00.000-07:002014-09-18T05:29:00.808-07:00Infinity is my favorite number.<br /><br />Yes, you read that right.<br /><br />I've recently been embroiled in a lovely debate on <a href="http://numberphile.com/">Numberphile</a>'s video, "Infinity is bigger than you think", in which Dr. James Grime starts off: "We're going to break a rule. We're breaking one of the rules of Numberphile. We're talking about something that isn't a number. We're going to talk about infinity."<br /><br /><div class="separator" style="clear: both; text-align: center;"><iframe allowFullScreen='true' webkitallowfullscreen='true' mozallowfullscreen='true' width='320' height='266' src='https://www.youtube.com/embed/elvOZm0d4H0?feature=player_embedded' FRAMEBORDER='0' /></div><br /><br />I, too, was a longtime believer of what high school students all over are told: "Infinity is not a number; infinity is a concept." As my studies of mathematics progressed, however, I began to see that perhaps the things I had always taken for granted were not as black-and-white as they had seemed. There was a lot more nuance to mathematics than I had ever realized, and learning those nuances opened up an entire new level of understanding, unlocking all sorts of links between concepts that had previously seemed worlds apart. So it's no wonder that "Infinity Is Not A Number" (which I will occasionally abbreviate as "IINAN") was one of the first claims to which I took a fine-tooth comb. What I learned changed my stance on infinity and firmly cemented it as my favorite number - not just concept, but honest-to-god <i>number</i>.*<br /><br />The most common argument made IINAN proponents involves the curious property that \(\infty +1=\infty\). This, they say, leads to all sorts of contradictions, because all one has to do is simply subtract \(\infty\) from both sides:<br />\[<br />\infty+1=\infty\\<br />\underline{-\infty\ \ \ \ \ \ \ \ -\infty}\ \ \\<br />\ \ \ \ \ \ 1=0\]Oh no! We know that the statement \(1=0\) is obviously false, so there must be a false assumption somewhere. Many IINAN defenders claim that the false assumption was that we tried to treat \(\infty\) as a number. But that's not actually where the problem with infinity lies.<br /><br />The problem is that we tried to do algebra with it.<br /><br />For mathematicians, the most convenient place to do algebra is in a structure called a <b>field</b>. If you're already familiar with what a field is, great, but if not, you can think of a field as a number system in which the age-old operations of addition, subtraction, multiplication, and division <span style="color: #545454; font-family: arial, sans-serif; font-size: x-small;"><span style="line-height: 18.2000007629395px;">—</span></span> the four operations that my father often notes are the only ones he ever needs when I talk about the kinds of math I teach <span style="color: #545454; font-family: arial, sans-serif; font-size: x-small;"><span style="line-height: 18.2000007629395px;">—</span></span> work exactly as we'd like them to. The fields with which we are most familiar are the rational numbers (\(\mathbb{Q}\)), the badly-named so-called "real" numbers (\(\mathbb{R}\)), and often the complex numbers (\(\mathbb{C}\)). One basic thing about a field is that the <b>subtraction property of equality</b> holds: For any numbers \(a\), \(b\), and \(c\) in our field, if \(a=b\), then \(a-c=b-c\).<br /><br />What about \(\infty\) though? When we attempted to use \(\infty\) in an algebra problem, we got back complete garbage. And we know that the subtraction property of equality should hold for <span style="font-style: italic;">any</span> numbers in a field. What this means, then, is that \(\infty\) <i>is not part of that field</i> (or any field as far as I'm aware). So, when someone says "Infinity is not a number", what they <i>really</i> mean is <b>"Infinity is not a </b><i style="font-weight: bold;">real </i><b>number."</b><i style="font-weight: bold;"> </i>(It's not a complex number, either, for that matter.) It doesn't follow the same rules that the real numbers do.<br /><br />But that doesn't mean it's not a number at all.<br /><br />We've seen this sort of thing happen before. The Greek mathematician Diophantus, when faced the equation \(4x+20=0\), called its solution of \(-5\) "absurd" — yet now students learn about negative numbers as early as elementary school, and we barely blink an eye at their use in everyday life. Square roots of negative numbers seemed equally preposterous to the Italian mathematician Gerolamo Cardano, and the French mathematician René Descartes called them "imaginary", a term that we're unfortunately stuck with today. But imaginary numbers — and the complex numbers we build from them — are a vital part of physics, from alternating currents to quantum mechanics.<br /><br />So what makes infinity any different from \(i\)?<br /><br />Sure, it seems bizarre that a number plus one could equal itself. But it's equally bizarre that the square of a number could be negative. And sure, we can get a contradiction if we do certain things to infinity. But that happens with \(i\) as well! If we attempt to use the identity \(\sqrt{a}\cdot\sqrt{b}=\sqrt{ab}\), we can arrive at a similar contradiction:<br />\[\sqrt{-1}\cdot\sqrt{-1}=\sqrt{-1\cdot-1}\\<br />\ \ \ i\cdot i=\sqrt{1}\\<br />-1=1\ \]When this equation fails, you don't see mathematicians clamoring that "\(i\) isn't a number"! Instead, the response is that the original equation doesn't work like we thought it did when we extend our real number system to include the complex numbers — instead, the square root function takes on a new life as a multi-valued function. There's that nuance again! For the same reason, infinity makes us look closer at something as simple as subtraction, at which point we find that \(\infty-\infty\) is an <b>indeterminate form</b>, something that we need the tools of calculus to properly deal with.<br /><br />The truth is, mathematicians have been treating \(\infty\) as a number** for quite some time now.<br /><br />In <b>real analysis</b>, which was developed to give the techniques of calculus a rigorous footing, points labelled \(+\infty\) and \(-\infty\) can be added to either end of the real number line to give what we call the <b>extended real number line</b>, often denoted \(\overline{\mathbb{R}}\) or \(\left[-\infty,+\infty\right]\). The extended real number line is useful in describing concepts in measure theory and integration, and it has algebraic rules of its own, though analysts are still careful to mention that these two extra points are not <i>real</i> numbers. What's more, the extended real line is not a <i>field</i>, because it doesn't satisfy all the nice properties that a field does. (But that just makes us appreciate working in a field that much more!)<br /><br /><b>Projective geometry</b> gives us a different sort of infinity, what I like to call an "unsigned infinity", one that is obtained by letting \(-\infty\) and \(+\infty\) overlap and creating what is known as the <b>real projective line</b>. And <b>complex analysis</b>, which extends calculus to the complex plane,<b> </b>takes it even further, letting <i>all</i> the different infinities in all directions overlap to create a sort of "complex infinity", sometimes written \(\tilde{\infty}\), sitting atop the <b>Riemann sphere</b>. What I particularly like about these projective infinities is that, using them, <i>you can actually divide by zero!</i> ***<br /><br />So, since there are actually a number of different kinds of infinity that can be referred to, I would say that, more specifically, <i>complex infinity is my favorite number</i>.<br /><br />The tough thing about this situation is that the concept of "number" is a very difficult one to precisely and universally define — similar to how linguists still struggle to come up with a universal definition of "word". By trying to come up with such a description, you end up either including things that you don't want to be numbers (such as matrices) or excluding things that you do want to be numbers (such as complex numbers). The best we can really do is keep an open mind about what a "number" is.<br /><br />After all, there's infinitely many of them already — so there's bound to be new ones we haven't seen yet sooner or later.<br /><br /><div class="separator" style="clear: both; text-align: center;"><a href="http://3.bp.blogspot.com/-GCL0xZc_dCI/VBeqZtjo_nI/AAAAAAAAATM/HSzchObC2l4/s1600/Infinity.jpg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" src="http://3.bp.blogspot.com/-GCL0xZc_dCI/VBeqZtjo_nI/AAAAAAAAATM/HSzchObC2l4/s1600/Infinity.jpg" height="179" width="320" /></a></div><br /><br />∎<br /><br />*<i> I'm not saying that infinity isn't a concept. When it really comes down to it, every number is a concept. That's the beauty of having abstracted the number "two" as an adjective, as in "two sheep", to "two" as a noun.</i><br /><i><br /></i>**<i> There's an argument to be made that <b>treating</b> something like a number doesn't mean it <b>is</b> a number. But at some point, the semantic distinction between these two becomes somewhat blurred.</i><br /><i><br /></i>***<i> Don't worry, I'll make a post about how to legitimately divide by zero in the near future!</i>Bill Shillitohttp://www.blogger.com/profile/17774101901445053590noreply@blogger.com4tag:blogger.com,1999:blog-3748625510348961342.post-62208688449458893182014-09-08T06:27:00.001-07:002014-09-08T06:27:30.494-07:00Throw Outdated Notation to the FloorThere's no excuse for bad notation.<br /><br />Well, there used to be. In older times, mathematical notation and terminology were anything but standard - especially when the mathematics behind them were just coming into existence. What Newton called fluxions, Leibniz called derivatives. Even the now-ubiquitous \(\pi\) was one of many symbols used to represent the constant \(3.14159...\) by various mathematicians - and even then they weren't aware they only had half of the most fundamental circle constant.* But as the human species has progressed, so has our ability to communicate with each other, allowing us to collaborate and spread ideas more quickly and more extensively than ever before. It's no wonder that with the acceleration in communications technology, mathematicians have replaced clunky symbols with more elegant and consistent notations.<br /><br />The only problem is that the math textbooks haven't quite caught up.<br /><br />Let's take a look at a function that causes glazed-over eyes for many high schoolers every time it shows up in an Algebra II or Precalculus book: the <b>greatest integer function</b>, usually notated as \(\left[x\right]\) or occasionally \(\left[\!\left[x\right]\!\right]\). This function is defined as "the greatest integer that is less than or equal to \(x\)." For example:<br /><br />\[\left[5\right]=5\\\left[5.1\right]=5\\\left[5.9\right]=5\\\left[-5.1\right]=-6\]<br />The bracket notation was invented by Carl Friedrich Gauss, who used it in his 1808 proof of the law of quadratic reciprocity.**<br /><br />If you've taught high school students this function, you're probably familiar with the looks of confusion that come shortly after writing down the definition. "So wait, do we want something less than the number or greater than the number?" You could break down that definition piece by piece and hope your students can follow the roundabout logic, but perhaps you've found it's easier to link it to something that students are more familiar with - <b>rounding</b>. To find \(\left[x\right]\), all we need to do is round \(x\) <i>down </i>to the nearest integer (meaning to the left on the real number line). And of course, if \(x\) is <i>already</i> an integer, then \(\left[x\right]=x\), since no rounding needs to happen.<br /><br />So now it's a bit easier to describe \(\left[x\right]\), but the notation seems rather arbitrary, doesn't it? We already use square brackets for other things - mainly for grouping terms together in large expressions and to denote closed intervals. Writing \(\left[\!\left[x\right]\!\right]\) is at least unique, but even more clunky. And that's what Kenneth Iverson, the Canadian computer scientist who invented APL in 1962, must have thought as well. In his book <i>A Programming Language</i>, he gave the function a new name - the <b>floor function</b> - and a new notation:<br /><br />\[\lfloor x\rfloor\]<br />Now <i>there's </i>some solid notation! The name and the bottom half-brackets suggest exactly what to do: round \(x\) <i>down </i>to the nearest integer, just as described earlier. Take a look:<br /><br />\[\lfloor5\rfloor=5\\\lfloor5.1\rfloor=5\\\lfloor5.9\rfloor=5\\\lfloor-5.1\rfloor=-6\]<br />I showed this to my own students, most of whom vaguely remembered the "greatest integer function" and only half of whom knew which direction it went. It stuck. The light bulbs went off all around the room, and the comments were to the effect of "well, <i>that</i> makes a lot more sense!" and "why didn't they teach it this way in the first place?"<br /><br />But it gets better. Mathematics is all about patterns and symmetry. One of the students asked, "so if there's a floor function, is there a ceiling function?" Yes there is. The <b>ceiling function</b> is defined as "the least integer that is greater than or equal to \(x\)", and does exactly what you'd expect - it rounds the number <i>up</i> to the nearest integer. Can you guess what the notation is?<br /><br />\[\lceil x\rceil\]<br />And can you guess the answers to the following problems?<br /><br />\[\lceil5\rceil=?\\\lceil5.1\rceil=?\\\lceil5.9\rceil=?\\\lceil-5.1\rceil=?\]<br />If you guessed \(5\), \(6\), \(6\), and \(-5\), you're correct. See how easy math can be when the notation is evocative of the concept behind it?<br /><br />At this point, you may be wondering, as you should: why aren't textbooks aren't using this notation, given its obvious pedagogical advantage? If this notation were only invented in the past few years or so, it might be excusable that the publishers haven't caught up yet. But come on. It's been over 50 years. And with the way that textbook companies churn out new editions as often as they can, you'd think that one reason to do so would be to keep their math and their teaching up-to-date.<br /><br />...right?<br /><br />It seems that many people are under the unfortunate impression that math, unlike science or social studies, is already set in stone and nothing new really ever comes out of it. This impression couldn't be further from the truth. Mathematics is an ever-growing and ever-evolving body of knowledge.<br /><br />And our potential to understand it better - and teach it better - hasn't hit the ceiling yet.<br /><br /><br /><br /><br /><i>To read further about the floor and ceiling functions, visit the <span id="goog_2018768175"></span><a href="http://en.wikipedia.org/wiki/Floor_and_ceiling_functions">Wikipedia article</a> <span id="goog_2018768176"></span>on the subject.</i><br /><br /><i>* <a href="http://www.tauday.com/tau-manifesto">http://www.tauday.com/tau-manifesto</a></i><br /><br />** <i>The law of quadratic reciprocity is a theorem in number theory. Gauss thought it was so profound and beautiful that he occasionally referred to it as the "golden theorem".</i>Bill Shillitohttp://www.blogger.com/profile/17774101901445053590noreply@blogger.com0tag:blogger.com,1999:blog-3748625510348961342.post-41784786176470201052014-07-31T15:48:00.000-07:002014-07-31T19:37:28.487-07:00Poorly Executed Mnemonics Definitely Addle StudentsIf you've read my past two posts, you know by now that PEMDAS* (Parentheses, Exponents, Multiplication, Division, Addition, Subtraction) is one of my most hated mnemonics. There are two main reasons:<br /><ul><li>It's misleading.</li><li>It's unnecessary.</li></ul>First of all, why is PEMDAS misleading?<br /><br />Let's start with the "P" (Parentheses). People claim that PEMDAS <i>is</i> "the order of operations." This is already problematic because parentheses aren't really a mathematical operation.** Operations <i>do</i> things. Parentheses don't actually <i>do</i> anything - they just group things together. This distinction may seem like more of a technicality, but it actually brings to light the main issue: parentheses aren't the important thing, but the idea of grouping in general. There's lots of ways to group expressions.<br /><ul><li>You can group expressions using a fraction bar. \[\frac{1+2}{3+4}\]</li><li>You can group expressions under a radical. \[\sqrt{3^2+4^2}\]</li><li>You can even group expressions inside an exponent! \[2^{4+1}\](How are you supposed to "do" exponents before addition if there's addition <i>in</i> the exponent and you don't have parentheses to tell you what to do?)</li></ul><div>So in terms of grouping, PEMDAS is at best incomplete.</div><br />Though the "E" (Exponents) is pretty much unambiguous, the entire rest of the mnemonic causes problems. By putting the "MDAS" in linear order, a number of students get the idea that all Multiplication should be done before any Division, and that all Addition should be done before any Subtraction. Thus you get students who will make the following mistakes:\[4-1+2\\=4-3\\=1(?!)\]\[6\div2\times3\\=6\div6\\=1(?!)\]<br />What's even scarier is that PEMDAS has become so ingrained in our math education culture that <i>some teachers actually teach it this blatantly incorrect way</i>. Don't believe me? Take a look at this video from TED-Ed:<br /><br /><div class="separator" style="clear: both; text-align: center;"><iframe allowFullScreen='true' webkitallowfullscreen='true' mozallowfullscreen='true' width='320' height='266' src='https://www.youtube.com/embed/H6syI3xiBBg?feature=player_embedded' FRAMEBORDER='0' /></div><br />Try to tell me that doesn't lead you to believe that MDAS is done in linear order. And we wonder why kids have trouble.<br /><br />Of course, many teachers are careful to explain how the order of operations are <i>supposed </i>to work - that multiplication and division (which is just multiplication by the multiplicative inverse) are done in order from left to right as they appear. Likewise, subtraction is just addition by the additive inverse, so addition and subtraction are done left to right as well. Some teachers write the mnemonic as PE(MD)(AS) or in some other sort of arrangement to emphasize this fact. Others further extend the ridiculous mnemonic-for-a-mnemonic to say "Please Excuse My Dear Aunt Sally ... and Let her Rest".<br /><br />But now why is PEMDAS unnecessary?<br /><br />There is a way to bypass all of this mnemonic madness and teach the order of operations in a way that actually makes sense. How?<br /><br />By teaching <i>why</i> it works that way.<br /><br />When I've asked fellow teachers why order of operations the way it is, those who have been able to answer often gave something to the effect of "well, we needed to decide on <i>some</i> kind of convention to deal with possible ambiguity, so we decided on what we have today." This is half correct - getting rid of ambiguity is very much important. But it wasn't an arbitrary decision. It's not like we could have just as equally decided that addition and subtraction come first, then multiplication and division, and then exponents. There's a very good reason that the operations fall naturally in the order that they do.<br /><br />Think back to elementary school when all you knew about was addition and subtraction. Eventually you ran into expressions that looked like this:\[3+3+3+3+3+3+3\]You didn't want to write so many 3's, so you were introduced to a shorthand to write this expression. Since there were seven 3's being added together, you learned you could instead write:\[3\times7\]Thus you learned that <i>multiplication is repeated addition</i>.<br /><br />Fast forward a few years, when you had multiplication and division under your belt. Now you saw expressions like this instead:\[4\times4\times4\times4\times4\]Again, you were introduced to a shorthand to keep from having to write all those 4's. Since there were five 4's being multiplied together, you wrote:\[4^5\]Thus you learned that <i>exponentiation is repeated multiplication</i>.<br /><br />Now we come to an expression like this.\[5^2+4\times3\]What do we do first? Well, remembering that <i>exponentiation is repeated multiplication</i>, we rewrite our exponent to say what it really means.\[5\times5+4\times3\]Next, remembering that <i>multiplication is repeated addition</i>, we rewrite our multiplication in even more basic terms.\[5+5+5+5+5+4+4+4\]Now the expression is a cinch to evaluate - anyone can add! The value just comes out to 37. But, more remarkably, what we've just done is uncovered the reason <i>why</i> the order of operations is as it is:<br /><b style="font-style: italic;"><br /></b><b style="font-style: italic;">The most compact shorthand is evaluated first.</b><br /><br />Once students understand this, they won't need to actually write out the additions explicitly - they'll just evaluate things in the order they should be handled. But they'll know <i>why</i> to do it.<br /><i><b><br /></b></i>With this in mind, I propose a better way to teach order of operations. Students need only remember two things.<br /><ol><li><b><i>Pay attention to grouping.</i></b></li><li><b><i>Shorthand comes first.</i></b></li></ol><div>If we must use an acronym, instead of PEMDAS, let's use something like ... say ... GEMA. (Grouping, Exponentiation, Multiplication, Addition.) But if we do use GEMA or something similar, we shouldn't deprive students of the understanding that comes from knowing <i>why</i> the order of operations works.<br /><br /><br /><br /><i>* In other countries, variations on PEMDAS are used, such as BODMAS or BIDMAS. The "B" stands for Brackets, another word for parentheses, and "O" and "I" stand for Orders and Indices, respectively, which are both alternate words for exponents. Note that in BODMAS and BIDMAS, the "D" and "M" are interchanged - think about how much confusion that could cause for students!</i><br /><i><br /></i><i>** Thanks to Quintopia for pointing this out: Parentheses in the context of computer science CAN in fact be thought of as operators which let the computer know to make a call to a subroutine. It would be even harder to make this into an acronym ... unless it's a recursive acronym in which the G stands for GEMA, similar to how WINE stands for WINE Is Not an Emulator!</i></div>Bill Shillitohttp://www.blogger.com/profile/17774101901445053590noreply@blogger.com10tag:blogger.com,1999:blog-3748625510348961342.post-56485535321738134582014-07-17T07:03:00.000-07:002014-07-17T18:10:33.338-07:00The Implications of Being ImplicitIn my previous post, I presented three "tricky" (read: "inane") math problems from the Internet, the last of which was the following:<br /><br /><div class="separator" style="clear: both; text-align: center;"><a href="http://3.bp.blogspot.com/-pRfKJkGGzlw/U7h5BBs_Q9I/AAAAAAAAAQo/7UDFIv6L-Bo/s1600/multiplyordivide.jpg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" src="http://3.bp.blogspot.com/-pRfKJkGGzlw/U7h5BBs_Q9I/AAAAAAAAAQo/7UDFIv6L-Bo/s1600/multiplyordivide.jpg" height="192" width="320" /></a></div><br />I promised I'd come back to this one because it merits special discussion. Now it's time to do exactly that, as this one (as well as its many variations) has piqued my ire every time I've seen it.<br /><br />Most people who have had at least a basic prealgebra class tend to agree that the \(1+2\) in parentheses should be evaluated first, reducing the problem to \[6\div 2(3).\]<br />After that the battlefield gets bloody.<br /><br />Do we do the multiplication first, or do we do the division first?<br /><br />Some people say the multiplication needs to come first, valiantly shouting "PEMDAS" as their battle cry, arguing that since "M" comes before "D", the answer is \(1\).<br /><br />Those who have more experience with order of operations and don't just rely on a silly (and wrong) mnemonic say that the division comes first, since multiplication and division are really the same under the hood - after all, division is equivalent to multiplication by the reciprocal - and by convention* are performed from left to right in the order they appear. For these more seasoned warriors, the answer is "obviously" \(9\).<br /><br />Those in the latter camp definitely are applying better mathematical reasoning than those in the former. But do they have "the" correct answer? If you're like me, though you know that multiplication and division are <i>supposed</i> to happen in order from left to right, there's just something about that \(2(3)\) that catches your eye, that makes you <i>feel</i> like for some reason it "should" come first.<br /><br />And that's why we need to talk about <b>implicit </b>(or <b>implied</b>)<b> multiplication</b>.<br /><br />When we first learn multiplication, we write it with a cross (\(\times\)). But once variables like \(x\) start to come into play, we have to find new, less confusing ways to write multiplication. So instead of writing \(a\times b\), we have a few options.<br /><ul><li>We can use a dot: \[a\cdot b\]</li><li>We can use parentheses: \[a(b)\]</li><li>Or as long as both factors aren't numerals, we can just concatenate (attach) them: \[ab\]</li></ul>There's actually a subtle difference between multiplication with a cross or a dot and multiplication with parentheses or concatentation. The former two are called <b>explicit multiplication</b>, because we've explicitly indicated our operation using a symbol. The latter two are called <b>implicit </b><b>multiplication</b> - we know the intended operation is multiplication because no explicit symbol was provided.<br /><br />Why does this matter? As it turns out, in some conventions, implicit multiplication may actually take precedence over explicit multiplication and therefore division! For example, the "<a href="http://d22izw7byeupn1.cloudfront.net/files/styleguide-pr.pdf#page=23">Style and Notation Guide</a>" for <i>Physical Review</i>, an American scientific journal, specifies that implicit multiplication should come before division when submitting manuscripts**. Of course there are other conventions in which this is not the case, but the point to understand here is that multiple conventions do exist.<br /><br />What's more, we can't even turn to our trusty calculators to tell us which way is "the" correct way, because different calculators may follow different conventions!<br /><table align="center" cellpadding="0" cellspacing="0" class="tr-caption-container" style="margin-left: auto; margin-right: auto; text-align: center;"><tbody><tr><td style="text-align: center;"><a href="http://1.bp.blogspot.com/-xwr84YKoo6E/U8fOj-gtPvI/AAAAAAAAARQ/uWo0Uv5gHvs/s1600/casio.jpg" imageanchor="1" style="margin-left: auto; margin-right: auto;"><img border="0" src="http://1.bp.blogspot.com/-xwr84YKoo6E/U8fOj-gtPvI/AAAAAAAAARQ/uWo0Uv5gHvs/s1600/casio.jpg" height="258" width="320" /></a></td></tr><tr><td class="tr-caption" style="text-align: center;">Two Casio calculators</td></tr></tbody></table><br /><table align="center" cellpadding="0" cellspacing="0" class="tr-caption-container" style="margin-left: auto; margin-right: auto; text-align: center;"><tbody><tr><td style="text-align: center;"><img border="0" src="http://1.bp.blogspot.com/-6JYVvbxVwiI/U8fOjwnrQYI/AAAAAAAAARU/nQK_geBxI3k/s1600/ti.jpg" height="240" style="margin-left: auto; margin-right: auto;" width="320" /></td></tr><tr><td class="tr-caption" style="text-align: center;">Two TI calculators</td></tr></tbody></table><div class="separator" style="clear: both; text-align: center;"></div><div class="separator" style="clear: both; text-align: center;"><br /></div><div class="separator" style="clear: both; text-align: left;">(Try this on your own calculator and see which convention it uses!)</div><div class="separator" style="clear: both; text-align: left;"><br /></div><div class="separator" style="clear: both; text-align: left;">I'd like to posit one more reason that the \(2(3)\) may <i>feel</i> like it "should" come first. One unfortunate side effect of trying to use existing punctuation when possible to represent mathematics is that certain symbols become overloaded - the same symbols can represent different things. In this case, the notation \(2(3)\) for multiplication bears a very strong resemblance to the notation \(f(3)\) for function evaluation! If the question were \[6\div f(1+2),\] even though we have no idea what function \(f\) is, there's no question that it would be evaluated before the division took place! This may be a possible reason that the implicit-trumps-explicit convention is followed in some circles.</div><br />The inevitable conclusion is that there is no single correct answer - it all depends on what convention you're using. At this point you may be ready to throw your hands up in despair. But there is hope. The best way to solve this kind of problem is ... you guessed it ... to use better notation in the first place! (I mean who uses the obelus (\(\div\)) anymore past 5th grade anyway?)<br /><ul><li>If you mean for multiplication to be done first, then say so! \[\frac{6}{2(1+2)}=1\]</li><li>If you mean for division to be done first, then say so! \[\frac{6}{2}(1+2)=9\]</li></ul>And if you're using a calculator, it never hurts to have too many parentheses.***<br /><br />It all comes back to the point of the previous article, which I will make explicit one more time: Math isn't about symbols. Math is about ideas. If your symbols don't unambiguously convey your ideas, then use better symbols.<br /><br /><br /><br /><i>* The left-to-right convention is probably so because those who established the convention spoke the sorts of European languages for which \(6\div 2\) would be vocalized in that order - not always the case if you've ever heard how fractions are read out loud in Japanese or Korean!</i><br /><br /><i>** The guide may seem like it's claiming that all multiplication should come before division, but this is because they don't use explicit multiplication at all except in specific contexts such as indicating dimensions and performing operations on vectors.</i><br /><br /><i>*** If you have a newer calculator, you may have a nifty fraction template that you can use to clear up confusion even further! If you're using a TI-84+, and you've got the newest operating system on your calculator, try hitting [ALPHA] and then [Y=]. If you see a little menu come up, choose "n/d" and voilà - you can now do fractions without getting lost in a sea of parentheses!</i>Bill Shillitohttp://www.blogger.com/profile/17774101901445053590noreply@blogger.com2tag:blogger.com,1999:blog-3748625510348961342.post-80149003868457686052014-07-05T16:42:00.000-07:002014-07-05T16:42:01.394-07:0099% of People Get This Wrong!If you've been around social media recently, you've no doubt seen the influx of math questions whose sole purpose is supposedly to test whether people know their order of operations.<br /><br />Sometimes, it's a simple question of whether people know not to just blindly apply the operations in order from left to right (the results of which are often worrisome).<br /><br /><div class="separator" style="clear: both; text-align: center;"><a href="http://1.bp.blogspot.com/-_7QMAQlIVGU/U7h5FbxYLNI/AAAAAAAAAQs/RIZekNCocwY/s1600/original-question.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" src="http://1.bp.blogspot.com/-_7QMAQlIVGU/U7h5FbxYLNI/AAAAAAAAAQs/RIZekNCocwY/s1600/original-question.png" height="196" width="400" /></a></div><div class="separator" style="clear: both; text-align: center;"><br /></div><div class="separator" style="clear: both; text-align: center;"><br /></div><div class="separator" style="clear: both; text-align: left;">Sometimes, the spacing is modified to try to trick you into grouping things incorrectly.</div><div class="separator" style="clear: both; text-align: left;"><br /></div><div class="separator" style="clear: both; text-align: center;"><a href="http://4.bp.blogspot.com/-v_-02pJV8I4/U7h4q266MnI/AAAAAAAAAQc/1MANERDFRxY/s1600/5+5x5+5.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" src="http://4.bp.blogspot.com/-v_-02pJV8I4/U7h4q266MnI/AAAAAAAAAQc/1MANERDFRxY/s1600/5+5x5+5.png" height="200" width="166" /></a></div><div class="separator" style="clear: both; text-align: center;"><br /></div><div class="separator" style="clear: both; text-align: left;">But the worst offenders of all are the ones that combine single-line division, either with an obelus (÷) or a slash (/), with implied multiplication, i.e. multiplication without explicitly writing a dot (⋅) or cross (×) symbol.</div><div class="separator" style="clear: both; text-align: left;"><br /></div><div class="separator" style="clear: both; text-align: center;"><a href="http://2.bp.blogspot.com/-pRfKJkGGzlw/U7h5BBs_Q9I/AAAAAAAAAQk/54YdQ5PtAFs/s1600/multiplyordivide.jpg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" src="http://2.bp.blogspot.com/-pRfKJkGGzlw/U7h5BBs_Q9I/AAAAAAAAAQk/54YdQ5PtAFs/s1600/multiplyordivide.jpg" height="192" width="320" /></a></div><div class="separator" style="clear: both; text-align: center;"><br /></div><div class="separator" style="clear: both; text-align: left;">Most of the time, these pictures are accompanied by a caption such as "99% of People Get This Wrong!" in an attempt to amp up the clickbait factor. And you know what? They're right. But not for the reason you might think.</div><div class="separator" style="clear: both; text-align: left;"><br /></div><div class="separator" style="clear: both; text-align: left;">While the first question isn't too bad, the second and third questions commit a major faux pas in mathematics: introducing ambiguity. Even as a math teacher, I had to give the second one a double-take because of the deceptive spacing. And the ambiguity of the third example is so profound that I'll be dedicating a separate blog post to that problem specifically.</div><div class="separator" style="clear: both; text-align: left;"><br /></div><div class="separator" style="clear: both; text-align: left;">You can cite "order of operations" or "PEMDAS"* all you want - and many people do, with an air of intellectual superiority - but in doing so you're missing the point. The point of establishing the order of operations is to <i>reduce </i>ambiguity. And if there's still a possibility of ambiguity after that, well, that's what we have parentheses for! By deliberately trying to deceive people, those who create and share these images aren't showing how clever they are, since they're actually doing the exact <i>opposite </i>of the thing they're supposedly trying to test people on.</div><div class="separator" style="clear: both; text-align: left;"><br /></div><div class="separator" style="clear: both; text-align: left;">I stress this to my students all the time: Math isn't about symbols. It's about ideas. If the symbols on your page aren't clearly conveying those ideas to the reader, then you need to use better symbols. (And words don't hurt either.)</div><div class="separator" style="clear: both; text-align: left;"><br /></div><div class="separator" style="clear: both; text-align: left;">So why do 99%** of people get these questions wrong?<br /><br />Because they bother to answer them at all.</div><div class="separator" style="clear: both; text-align: left;"><br /></div><div class="separator" style="clear: both; text-align: left;"><br /></div><div class="separator" style="clear: both; text-align: left;"><br /></div><div class="separator" style="clear: both; text-align: left;"><i>* Please don't cite PEMDAS. It's a horrible mnemonic, it's not even correct, and it too will be the subject of a future post.</i></div><div class="separator" style="clear: both;"><i>** 99% of statistics are made up on the spot.</i></div><div><br /></div>Bill Shillitohttp://www.blogger.com/profile/17774101901445053590noreply@blogger.com4tag:blogger.com,1999:blog-3748625510348961342.post-19916448443802781182014-07-01T13:08:00.002-07:002014-07-01T13:23:33.898-07:00Welcome!Hello everyone, and welcome to <b>SolidAngl.es</b>! This website is where I'll be posting my thoughts, observations, tips, and ideas with regard to mathematics, education, and their intersection. Discussion is very much welcome on the comments of each blog post - I want to hear what you all have to say on these issues as well!<br /><br />In the About section of this site, you can find information about how and why I teach, and in the Resume section, you can see where I've been and what I've done thus far.<br /><br />(There's also a Music section if you're interested. I don't imagine I'll be blogging much about music, but who knows - mathematics and music are quite related!)<br /><br />If you have any topics in mathematics and/or education you think should discussed on here, feel free to contact me using the Contact form above.<br /><br />Subscription links can be found to the right, so you can keep up with the latest posts.<br /><br />Enjoy your stay!Bill Shillitohttp://www.blogger.com/profile/17774101901445053590noreply@blogger.com1