Archive for the 'mathematics' Category

Want to learn how to prove a theorem? Go for a mountain bike ride

Because this blogpost covers both mountain biking and proving theorems, it is being simultaneously published by the Mathematical Association of America in my Devlin’s Angle series.

Mountain biking is big in the San Francisco Bay Area, where I live. (In its present day form, using specially built bicycles with suspension, the sport/pastime was invented a few miles north in Marin County in the late 1970s.) Though there are hundreds of trails in the open space preserves that spread over the hills to the west of Stanford, there are just a handful of access trails that allow you to start and finish your ride in Palo Alto. Of those, by far the most popular is Alpine Road.

My mountain biking buddies and I ascend Alpine Road roughly once a week in the mountain biking season (which in California is usually around nine or ten months long). In this post, I’ll describe my own long struggle, stretching over many months, to master one particularly difficult stretch of the climb, where many riders get off and walk their bikes.

[SPOILER: If your interest in mathematics is not matched by an obsession with bike riding, bear with me. My entire account is actually about how to set about solving a difficult math problem, particularly proving a theorem. I’ll draw the two threads together in a subsequent post, since it will take me into consideration of how the brain works when it does mathematics. For now, I’ll leave the drawing of those conclusions as an exercise for the reader! So when you read mountain biking, think math.]

Alpine Road used to take cars all the way from Palo Alto to Skyline Boulevard at the summit of the Coastal Range, but the upper part fell into disrepair in the late 1960s, and the two-and-a-half-mile stretch from just west of Portola Valley to where it meets the paved Page Mill Road just short of  Skyline  is now a dirt trail, much frequented by hikers and mountain bikers.

Alpine Road. The trail is washed out just round the bend

Alpine Road. The trail is washed out just round the bend

A few years ago, a storm washed out a short section of the trail about half a mile up, and the local authority constructed a bypass trail. About a quarter of a mile long, it is steep, narrow, twisted, and a constant staircase of tree roots protruding from the dirt floor. A brutal climb going up and a thrilling (beginners might say terrifying) descent on the way back. Mountain bike heaven.

There is one particularly tricky section right at the start. This is where you can develop the key abilities you need to be able to prove mathematical theorems.

So you have a choice. Read Polya’s classic book, or get a mountain bike and find your own version of the Alpine Road ByPass Trail. (Better still: do both!)

My mountain bike at the start of the bypass trail

My mountain bike at the start of the bypass trail

When I first encountered Alpine Road Dirt a few years ago, it took me many rides before I managed to get up the first short, steep section of the ByPass Trail.

What lies around that sharp left-hand turn?

What lies around that sharp left-hand turn?

It starts innocently enough – because you cannot see what awaits just around that sharp left-hand turn.

The short, narrow descent

The short, narrow descent

After you have made the turn, you are greeted with a short narrow downhill. You will need it to gain as much momentum as you can for what follows.

I’ve seen bikers with extremely strong leg muscles who can plod their way up the wall that comes next, but I can’t do it that way. I learned how to get up it by using my problem-solving/theorem-proving skills.

The first thing was to break the main problem – get up the insanely steep, root strewn, loose-dirt climb – into smaller, simpler problems, and solve those one at a time. Classic Polya.

But it’s Polya with a twist – and by “twist” I am not referring to the sharp triple-S bend in the climb. The twist in this case is that the penalty for failure is physical, not emotional as in mathematics. I fell off my bike a lot. The climb is insanely steep. So steep that unless you bend really low, with your chin almost touching your handlebar, your front wheel will lift off the ground. That gives rise to an unpleasant feeling of panic  that is perhaps not unlike the one that many students encounter when faced with having to prove a theorem for the first time.

Steep. If you are not careful, your front wheel will lift off the ground.

Steep. If you are not careful, your front wheel will lift off the ground.

The photo above shows the first difficult stretch. Though this first sub-problem is steep, there is a fairly clear line to follow to the right that misses those roots, though at the very least its steepness will slow you down, and on many occasions will result in an ungainly, rapid dismount. And losing momentum is the last thing you want, since the really hard part is further up ahead, near the top in the picture.

Also, do you see that rain- and tire-worn groove that curves round to the right just over half way up – just beyond that big root coming in from the left? It is actually deeper and narrower than it looks in the photo, so unless you stay right in the middle of the groove you will be thrown off line, and your ascent will be over. (Click on the photo to enlarge it and you should be able to make out what I mean about the groove. Staying in the groove can be tricky at times.)

Still, despite difficulties in the execution, eventually, with repeated practice, I got to the point of  being able to negotiate this initial stretch and still have some forward momentum. I could get up on muscle memory. What was once a series of challenging problems, each dependent on the previous ones, was now a single mastered skill.

[Remember, I don’t have super-strong leg muscles. I am primarily a road bike rider. I can ride for six hours at a 16-18 mph pace, covering up to 100 miles or more. But to climb a steep hill I have to get off the saddle and stand on the pedals, using my body weight, not leg power. Unfortunately, if you take your weight off the saddle on a mountain bike on a steep dirt climb, your rear wheel will start to spin and you come to a stop – which on a steep hill means jump off quick or fall. So I have to use a problem solving approach.]

Once I’d mastered the first sub-problem, I could address the next. This one was much harder. See that area at the top of the photo above where the trail curves right and then left? Here is what it looks like up close.

The crux of the climb/problem. Now it is really steep.

The crux of the climb/problem. Now it is really steep.

(Again, click on the photo to get a good look. This is the mountain bike equivalent of being asked to solve a complex math problem with many variables.)

Though the tire tracks might suggest following a line to the left, I suspect they are left by riders coming down. Coming out of that narrow, right-curving groove I pointed out earlier, it would take an extremely strong rider to follow the left-hand line. No one I know does it that way. An average rider (which I am) has to follow a zig-zag line that cuts down the slope a bit.

Like most riders I have seen – and for a while I did watch my more experienced buddies negotiate this slope to get some clues – I start this part of the climb by aiming my bike between the two roots, over at the right-hand side of the trail. (Bottom right of picture.)

The next question is, do you go left of that little tree root nipple, sticking up all on its own, or do you skirt it to the right? (If you enlarge the photo you will see that you most definitely do not want either wheel to hit it.)

The wear-marks in the dirt show that many riders make a sharp left after passing between those two roots at the start, and steer left of the nobbly root protrusion. That’s very tempting, as the slope is notably less (initially). I tried that at first, but with infrequent  success. Most often, my left-bearing momentum carried me into that obstacle course of tree roots over to the left, and though I sometimes managed to recover and swing  out to skirt to the left of that really big root, more often than not I was not able to swing back right and avoid running into that tree!

The underlying problem with that line was that thin looking root at the base of the tree. Even with the above photo blown up to full size, you can’t really tell how tricky an obstacle it presents at that stage in the climb. Here is a closer view.

The obstacle course of tree roots that awaits the rider who bears left

The obstacle course of tree roots that awaits the rider who bears left

If you enlarge this photo, you can probably appreciate how that final, thin root can be a problem if you are out of strength and momentum. Though the slope eases considerably at that point, I – like many riders I have seen – was on many occasions simply unable make it either over the root or circumventing it on one side – though  all three options would clearly be possible with fresh legs. And on the few occasions I did make it, I felt I just got lucky – I had not mastered it. I had got the right answer, but I had not really solved the problem. So close, so often. But, as in mathematics, close is not good enough.

After realizing I did not have the leg strength to master the left-of-the-nipple path, I switched to taking the right-hand line. Though the slope was considerable steeper (that is very clear from the blown-up photo), the tire-worn dirt showed that many riders chose that option.

Several failed attempts and one or two lucky successes convinced me that the trick was to steer to the right of the nipple and then bear left around it, but keep as close to it as possible without the rear wheel hitting it, and then head for the gap between the tree roots over at the right.

After that, a fairly clear left-bearing line on very gently sloping terrain takes you round to the right to what appears to be a crest. (It turns out to be an inflection point rather than a maximum, but let’s bask for a while in the success we have had so far.)

Here is our brief basking point.

AD8

The inflection point. One more detail to resolve.

As we oh-so-briefly catch our breath and “coast” round the final, right-hand bend and see the summit ahead, we come – very suddenly – to one final obstacle.

AD9

The summit of the climb

At the root of the problem (sorry!) is the fact that the right-hand turn is actually sharper than the previous photo indicates, close to a switchback. Moreover, the slope kicks up as you enter the turn. So you might not be able to gain sufficient momentum to carry you over one or both of those tree roots on the left that you find your bike heading towards. And in my case, I found I often did not have any muscle strength left to carry me over them by brute force.

What worked for me is making an even tighter turn that takes me to the right of the roots, with my right shoulder narrowly missing that protruding tree trunk. A fine-tuned approach that replaces one problem (power up and get over those roots) with another one initially more difficult (slow down and make the tight turn even tighter).

And there we are. That final little root poking up near the summit is easily skirted. The problem is solved.

To be sure, the rest of the ByPass Trail still presents several other difficult challenges, a number of which took me several attempts before I achieved mastery. Taken as a whole, the entire ByPass is a hard climb, and many riders walk the entire quarter mile. But nothing is as difficult as that initial stretch. I was able to ride the rest long before I solved the problem of the first 100 feet. Which made it all the sweeter when I finally did really crack that wall.

Now I (usually) breeze up it, wondering why I found it so difficult for so long.

Usually? In my next post, I’ll use this story to talk about strategies for solving difficult mathematical problems. In particular, I’ll look at the role of the subconscious in being able to put together a series of mastered steps in order to solve a big problem. For a very curious thing happened after I took the photos to illustrate this post. I walked back down to collect my bike from the ByPass sign where I’d left it, and rode up to continue my ride.

It took me four attempts to complete that initial climb!

And therein lies one of the biggest secrets of being able to solve a difficult math problem.

To be continued …

How to design video games that support good math learning: Level 6

Show me the action!
Part 6 of a series 

Whether you view mathematics as a collection of procedures or a way of thinking (see my last post), math is something you do. Or cannot do, as the case may be.

When I meet people for the first time and tell them my profession, they frequently reply, “I never could do math.” What they never say is, “I don’t know math.” Everyone, whether mathematically able or not, realizes that math is not stuff that you know, but an activity you do.

Of course, sleeping, sitting on the beach daydreaming, and watching TV are also activities, but they are passive activities. I am using the word “activity” in its stronger sense. That stronger sense certainly includes mental activity. As a simple rule of thumb, you know something is an activity in my sense if doing it makes you tired. By that metric, math is one of the most strenuous activities I know — and I’m one of those people who spend their weekends cycling over mountain passes for seven or more hours at a stretch.

What is the most efficient way to learn how to do something? We all know the answer, and we did so long before Nike turned it into a commercial slogan: Just do it!

If you want to learn to ride a bike, drive a car, ski, play tennis, play golf, play chess, play the piano, and so forth, you don’t start out by attending a lecture or reading a book. Those can be useful supplements when you have reached a sufficient level of proficiency and want to get better. But learning from a lecture or a book require interpretation and assimilation of incoming information (a static commodity), and that in turn requires sufficient prior understanding. No, what you do is start to do it.

Very likely you don’t start out doing it unaided. You seek guidance, from a parent, relative, friend, instructor, professional coach, or whatever. And in the course of helping you learn, that person may well give you instructions and advice. But they do so in the course of you performing the activity you are trying to learn, when what they say makes sense and has immediate, recognizable value.

With everyone, it seems, in agreement that mathematics is an activity, and given our collective experience that mastering an activity is best achieved through doing it, we have to ask ourselves how mathematics education has come to be dominated by the math textbook?

Though there is an argument to be made about the self-interest of textbook publishers, the fact is that mathematics instruction has been delivered through textbooks since the subject began. Archimedes’ Method, Euclid’s Elements, al Khwarizmi’s Al-Jabr, Leonardo of Pisa’s Liber abbaci, and on throughout mathematical history, the symbol-heavy, written text has been the primary vehicle for storing and disseminating mathematical knowledge.

Why? Because putting words and symbols on a flat surface was the only technology available for the task!

But video games — or rather, video game technologies —  provide us with an alternative. The digital framework in which a typical video game is embedded is dynamic and interactive, and can provide the experience of moving around in a 3D world. In other words, video game technologies provide platforms or environments suited (by design) for action. Which makes them ideal for representing and doing mathematics (an activity).

The task facing the designer of a video game to provide good mathematics learning experiences is to represent the mathematics using the natural affordances of the medium. This means putting aside the familiar symbolic representation. My own experience, having been doing this for over five years now, and working with others doing the same thing, is that it is initially very difficult. People have been using symbolic representations or one form or another for several millennia and that has conditioned how we think of mathematics. But it is worth making the effort, because the potential payoff  is massive: it will circumvent the Symbol Barrier, which I discussed in the third post in this series.

In addition, by representing the mathematics in a medium-native fashion, we will minimize, and in some cases eliminate, the degree to which “doing the math” detracts from the game mechanics. For some students — the ones with a natural affinity to mathematical thinking — this is not a big deal, since they will gain satisfaction from solving the mathematical problem, but for many students, advancement in the game will be the main driver.

I should stress that what I am advocating is not watering down mathematical thinking to a “video game version” of mathematical thinking. At a conceptual level, it is the same thinking; only the representation is changing. Once the student has mastered mathematical thinking presented in “video-game language”, a teacher could use that experience as a foundation on which to base instruction in the symbolic representation of the same concepts and thinking.

That last step is an important one, in part because mastery of symbolic mathematics is what is required to perform well in standardized math tests, and regardless of your views on the educational value of such instruments, they are currently a fact of life for our students. But there are two other reasons why it is important to transition the students to symbolic mathematics. First, mastering multiple representations greatly assists good conceptual learning, and the abstract symbolic representation, by virtue of its abstractness, is particularly powerful in that regard. Second, the symbolic representations make it much easier to apply mathematical thinking to a wide variety of new problems in novel domains.

I’ll pursue these ideas further in subsequent postings. In the meantime, let me leave you with three examples of video games that present mathematics in a medium-native fashion: Motion Math, Number Bonds, and Jiji. Notice that in each case the mathematical concept involved is represented in a medium-native, and dynamic fashion. The player interacts directly with the concept, not indirectly via a symbolic representation, in the same way that a person playing a piano interacts directly with the music, not indirectly via a symbolic musical score.

To my mind, this is one of the most significant, and potentially disruptive benefits of using video games in mathematics education: they offer the possibility of direct manipulation of mathematical concepts, thereby circumventing the symbol barrier. Achieving this direct connection to the concepts is not easy. Those three games may look simple. Indeed, to the player, they are simple, and that is the point! But I know for a fact that all three took some very smart folks a lot of time and effort to produce. That’s usually the case with any tool that looks simple and works naturally. Designing simplicity is hard.


ABOUT ME

I’m Dr. Keith Devlin, an emeritus mathematician at Stanford University, an author, and was for many years “the Math Guy” on NPR’s Weekend Edition. Off duty, I’m an avid cyclist. (The header photo is me halfway up Mt. Baldy in Southern California.)

New book 2017

New book 2012

New e-book 2011

New book 2011

New Book 2011

June 2023
M T W T F S S
 1234
567891011
12131415161718
19202122232425
2627282930  

%d bloggers like this: