Mathematical the Four Color Theorem and Computer Proof

Take a walk through time, 1852 to 2005, following the mathematical history, development, and solution of the Four-Color Theorem. Learners take on the role of cartographers to study a United States map that is to be...

Take a walk through time, 1852 to 1994, following the mathematical history and development of the Four-Color Theorem. Learners take on the role of cartographers to study an imaginary world of countries that need to be...

What's the least number of colors needed to color a U.S. map? The lesson begins by having pupils view a video clip on continuous and discrete phenomenon, then launches into an activity reminiscent of Zeno's paradox. A separate video...

Isn't paper pushing supposed to be boring? Learners attempt a paper-pushing puzzle to develop ideas about angles inscribed on a diameter of a circle. Learners then formalize Thales' theorem and use geometric properties to develop a proof...

Looking to challenge your students that have mastered basic triangle congruence proofs? A collection of proofs employ previously learned definitions, theorems, and properties. Pupils draw on their past experiences with proofs to...

A great discussion of the Four Color Theorem and its history.

An explanation and proof of the Four Color Map Theorem. Includes illustrative images and a plethora of information.

The University of St. Andrews offers a brief history of the first math problem to be solved with computers.

Your geometry learners will enjoy this color-coded foldable that simply asks them to find the lengths of different legs and the hypotenuse of a right triangle using the Pythagorean Theorem.

A GIF of the color picker finding the correct color.