tag:blogger.com,1999:blog-7245208048685880741.post2476067623310690296..comments2017-02-10T11:18:37.932-05:00Comments on Rational Expressions: The Extended Family of Pythagorean Theorem ProofsMichael Pershannoreply@blogger.comBlogger11125tag:blogger.com,1999:blog-7245208048685880741.post-17410227472936168742015-01-25T12:12:47.078-05:002015-01-25T12:12:47.078-05:00I'm generating a list, but right now my list i...I'm generating a list, but right now my list is very very short. Understanding proof is a long-term project for me, but I still don't think that I really understand congruence/similarity proofs. That's what I'm really obsessed with at the moment.Michael Pershanhttp://www.blogger.com/profile/17046644130957574890noreply@blogger.comtag:blogger.com,1999:blog-7245208048685880741.post-25429650051978945262015-01-15T02:49:50.490-05:002015-01-15T02:49:50.490-05:00Nice. I find that pretty persuasive.
I was being ...Nice. I find that pretty persuasive.<br /><br />I was being a little sneaky with my comment: "need" is rarely the right standard for math teaching. They don't really "need" anything in particular from grades 8-12. But they benefit immensely from a lot if it, and that's what counts.<br /><br />Do you have an example of an equivalence-relationship argument? I'd be curious.<br /><br />"The landscape of proof" is a tricky thing. Lots of ways to map that landscape (e.g., I often characterize geometry as "we study triangles really carefully, then build everything out of triangles," which is a type of description that's orthogonal to the type you're seeking). That said, I love the idea of classifying proof strategies. There's only a few I've ever seen explicitly taught:<br /><br />-Induction<br />-Proof by contradiction<br />-Counterexample (as a way of disproving a general statement)<br /><br />Do you have a list you're generating? Is there an existing list out there?<br /><br />-Ben Orlin [sorry for the 'Anonymous' thing, but my accounts all have weirdo names]Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-7245208048685880741.post-79696943100863026032015-01-14T17:14:41.426-05:002015-01-14T17:14:41.426-05:00Replying to Anonymous a.k.a. Ben Orlin:
I'm n...Replying to <b>Anonymous a.k.a. Ben Orlin</b>:<br /><br /><i>I'm not sure kids need so much scaffolding with different genres of proof.</i><br /><br />That's some solid skepticism. I can't really make the case that this sort of scaffolding is especially important -- did it help my students? would it help your students? who knows? -- but I think that's an OK state of affairs.<br /><br />First, I'm OK with this scaffolding being minimally helpful (though for me it was <i>quite</i> helpful). Second, because this might not be scaffolding as much as a way to build deeper connections for students. By making the deeper structure of proof explicit, maybe we can teach students some powerful paradigms for mathematical proof, instead of a smattering of interesting proofs. <br /><br />If we want students to understand the properties that polygons have, we'll likely start by studying triangles, studying quadrilaterals, and then generalizing to the general polygon case. Similarly, if we want students to understand things about proof ("a proof has to be very careful and airtight") then we might start with one category of proofs ("area-equivalence arguments") and then another category ("equivalence-relationship arguments") and then we might generalize to proof. My ambition here is to lay out the landscape of proof a bit so that we might better do all the things that we might want to do as teachers -- scaffold, generalize, connect, compare and reflect.Michael Pershanhttp://www.blogger.com/profile/17046644130957574890noreply@blogger.comtag:blogger.com,1999:blog-7245208048685880741.post-23223965423671856372015-01-14T16:22:33.505-05:002015-01-14T16:22:33.505-05:00But I accept that kids think logically, and I said...But I accept that kids think logically, and I said so. Actually I find it odd that teachers think otherwise.<br /><br />But just because we can assemble logical structures mentally doesn't mean all proofs are available to us. I struggle to keep hold in my mind multi-stage proofs that use number theory. They just don't stick, because my brain is unable to hold them (whereas multi-stage geometric reasoning is a piece of cake, by the genetic lottery).<br /><br />Proofs, as other comments have noted, are not about thinking logically at all. Kids can do long, complicated logical thinking with hard numbers well before they can do them with abstract quantities. <br /><br />The issue with proofs is their abstractness, not the use of logic, and it requires a certain brain maturity to hold abstract thought. I don't think most students have that until 15 years old. <br /><br />It's why we teach proof through geometry. Because the ability to see an example of what is being shown makes things much easier. It reduces the abstract loading.Markhttp://www.blogger.com/profile/14049701479076034749noreply@blogger.comtag:blogger.com,1999:blog-7245208048685880741.post-70824943805679156222015-01-13T16:31:37.330-05:002015-01-13T16:31:37.330-05:00Michael, I think you're honing in on exactly t...Michael, I think you're honing in on exactly the right problem: kids don't struggle with all logical reasoning. They struggle with mathematical proof specifically.<br /><br />That's because mathematical proof ISN'T pure logic. It's a communicative and conceptual framework with its own conventions, vocabulary, history, and culture. It's a worthy object of study in its own right.<br /><br />Now, as much as I love your analysis and your collection of analogous problems, I'm not sure kids need so much scaffolding with different genres of proof. (I find that "the whole is the sum of its parts" essence of the Pythagorean proof goes down smooth if I give it about three minutes of clear, punchy direct instruction.)<br /><br />I do find, though, that they need an engaging introduction into the realm of proof itself.<br /><br />For this, I find the standby story of the Wiles-Fermat theorem works. (Guy claims he's "proved" something ~1650, but doesn't write it down. It takes 3+ centuries for someone to actually prove it, and when he does, it's a 200-page behemoth building on ideas that didn't even exist in 1650."<br /><br />Hearing that story covers a lot of bases:<br /><br />-Proof is the essence of a mathematician's work.<br />-Just a few examples can't prove something; it needs to be shown in all possible cases.<br />-Sometimes a proof is really hard.<br />-Sometimes a proof is really long.<br />-A proof often builds on previously-proved things.<br />-A proof has to be very careful and airtight.<br />-A proof needs to be clear and understandable to others, so they can see your reasoning.<br />-Even something that seems obvious can be hard to prove.<br /><br />Anyway, looking forward to your continued taxonomization of proof strategies, if that's where you're headed. And if not, I quite like this family tree you've charted.<br /><br />-Ben OrlinAnonymousnoreply@blogger.comtag:blogger.com,1999:blog-7245208048685880741.post-65175955325653667372015-01-13T11:18:51.574-05:002015-01-13T11:18:51.574-05:00Shifting between those ideas and modes is obvious ...<i>Shifting between those ideas and modes is obvious and natural with practice, but was a big source of confusion for these students.</i><br /><br />Totally agreed. I think this is a great way into the idea that mathematical proof is different than everyday reasoning.Michael Pershanhttp://www.blogger.com/profile/17046644130957574890noreply@blogger.comtag:blogger.com,1999:blog-7245208048685880741.post-42266912225870630082015-01-13T09:49:32.950-05:002015-01-13T09:49:32.950-05:00If you haven't done it, I heartily recommend a...If you haven't done it, I heartily recommend an activity to directly engage with what the students consider to be a proof. This happened to involve the pythagorean theorem as well. Gave out 2 proofs of the theorem (einstein's scaling proof, a cut-and-paster), one proof of the converse (if a^2+b^2= c^2 then right triangle) and a table of illustrations (showing a, b, c, a^2, b^2, a^2+b^2 and c^2 in columns). Then, we had a discussion about what was:<br />(a) easier to understand<br />(b) more convincing<br />(c) more elegant/beautiful<br /><br />This helped me get a much clearer view of the students' understanding and led to some very interesting discussions. One of the most interesting things, for me, was the students' confusion about mathematical argument and non-mathematical argument. To give a small taste, examples are often very compelling in non-mathematical argument, but carry very little weight toward a mathematical proof. Shifting between those ideas and modes is obvious and natural with practice, but was a big source of confusion for these students.Joshua Greenehttp://www.blogger.com/profile/11702319994021721608noreply@blogger.comtag:blogger.com,1999:blog-7245208048685880741.post-19586301555083060142015-01-12T20:38:00.248-05:002015-01-12T20:38:00.248-05:00My read of the research literature (bolstered with...My read of the research literature (bolstered with some generous anecdotal experience) is that this just aint the case. Kids can reason logically, that's my opinion. I know that lots of teachers disagree with me, but I think my argument is well-supported. One place where I've argued this on the blog is here. (<a href="http://rationalexpressions.blogspot.com/2014/08/kids-dont-need-practice-thinking.html" rel="nofollow">link</a>) Michael Pershanhttp://www.blogger.com/profile/17046644130957574890noreply@blogger.comtag:blogger.com,1999:blog-7245208048685880741.post-49804648475003446262015-01-12T20:18:58.632-05:002015-01-12T20:18:58.632-05:00Yeah, her arithmetic is bad. It's part of an a...Yeah, her arithmetic is bad. It's part of an activity that asks students to understand and then improve the proofs, including Penelope's. Michael Pershanhttp://www.blogger.com/profile/17046644130957574890noreply@blogger.comtag:blogger.com,1999:blog-7245208048685880741.post-25002735052174740512015-01-12T18:02:13.074-05:002015-01-12T18:02:13.074-05:00I think that students find proofs of the Pythagore...<i>I think that students find proofs of the Pythagorean Theorem difficult in the main because they do not understand how this genre of proof works.</i><br /><br />I think that it is worse than that. I think young students cannot hold the multiple steps together as a whole in their brains. <br /><br />They don't understand how proofs work because they cannot follow one, even laid out, as a whole. To them it is a series of steps, each logical but which -- mysteriously -- are said to form a whole. <br /><br />Like the colour blind unable to see what is plainly there, they cannot see it, no matter how simple and "obvious" we make the red dots inside the green dots. <br /><br />They think perfectly logically, provided you do not ask them to assemble more than two steps by themselves towards an abstract goal. They have persistence, they basically don't see the target to which they are meant to be aiming.<br /><br />I have a saying "no matter what you want to be true, biology wins every time". Lots of well meaning people have tried to conquer our biological flaws, and all have lost.Markhttp://www.blogger.com/profile/14049701479076034749noreply@blogger.comtag:blogger.com,1999:blog-7245208048685880741.post-30528481217959923732015-01-12T18:01:16.168-05:002015-01-12T18:01:16.168-05:00On looking at the diagram it is not at all evident...On looking at the diagram it is not at all evident that this has anything to do with Pythagoras. It is almost an accident that a^2 + b^2 = c^2. I devised a different cutting up of a square, for a different purpose, and then saw that it was in effect another proof of Pythagoras. I would be interested to know how the Penelope diagram arose in the first place.<br />In passing, Penelope's arithmetic is so bad that it looks like "working backwards".Howard Phillipshttp://howardat58.wordpress.comnoreply@blogger.com