Tag Archives: theorem proving

October 16, 2007, 9:32 pm

Fear, courage, and place in problem solving

Sorry for the slowdown in posting. It’s been tremendously busy here lately with hosting our annual high school math competition this past weekend and then digging out from midterms.

Today in Modern Algebra, we continued working on proving a theorem that says that if \(a\) is a group element and the order of \(a\) is \(n\), then \(a^i = a^j\) if and only if \(i \equiv j \ \mathrm{mod} \ n\). In fact, this was the third day we’d spent on this theorem. So far, we had written down the hypothesis and several equivalent forms of the conclusion and I had asked the students what they should do next. Silence. More silence. Finally, I told them to pair off, and please exit the room. Find a quiet spot somewhere else in the building and tell me where you’ll be. Work on the proof for ten minutes and then come back.

As I wandered around from pair to pair I was very surprised to…

Read More