Monday, May 30, 2005
An argument from continuity
Two sophomores approached my colleague Josh with a question: “How can we construct a fair 5-sided die?”
Josh posed a prior question: Is it even possible to construct such a die? He fashioned an interesting argument from continuity: Consider two square pyramids with the same height — one with a tiny base (much smaller than the lateral faces) and one with a very large base (much larger than the lateral faces). Clearly the first has a very small chance of landing on its base and the second has a very large chance of doing so. By gradually moving from the one to the other, there must be an intermediate point that makes the pyramid a fair die.
Josh used this teachable moment to explain the difference between an existence proof and a constructive proof. We now know that a fair 5-sided die is possible, but we have no idea how to construct one!
Josh posed a prior question: Is it even possible to construct such a die? He fashioned an interesting argument from continuity: Consider two square pyramids with the same height — one with a tiny base (much smaller than the lateral faces) and one with a very large base (much larger than the lateral faces). Clearly the first has a very small chance of landing on its base and the second has a very large chance of doing so. By gradually moving from the one to the other, there must be an intermediate point that makes the pyramid a fair die.
Josh used this teachable moment to explain the difference between an existence proof and a constructive proof. We now know that a fair 5-sided die is possible, but we have no idea how to construct one!
Labels: math, teaching and learning
ARCHIVES
- May 2005
- June 2005
- July 2005
- August 2005
- September 2005
- October 2005
- November 2005
- December 2005
- January 2006
- February 2006
- March 2006
- April 2006
- May 2006
- August 2006
- September 2006
- November 2006
- December 2006
- January 2007
- February 2007
- March 2007
- April 2007
- May 2007
- December 2007
- January 2008
- February 2008
- March 2008
- April 2008
- May 2008
- July 2008
- November 2008
- December 2008
- January 2009