The four color theorem (maths)

In 1852, Francis Guthrie (mathematician and botanist), was the one who concluded that only four colors were enough to illustrate the division of English counties, whose cartography was drawing.

Faced with a seemingly simple observation, demonstrate that for drawing any plane so that no bordering regions of the same color, only four colors are enough, has been more than 100 years.

Mathematicians Kenneth Appel and Wolfgang Haken in 1976, proved this problem of pure mathematics. They discussed with the help of a computer, thousands of cases with the same pattern.