The Mathematics Portal

Selected article

Example of a four color map

The four color theorem states that given any plane separated into regions, such as a political map of the counties of a state, the regions may be colored using no more than four colors in such a way that no two adjacent regions receive the same color. Two regions are called adjacent if they share a border segment, not just a point.

It is often the case that using only three colors is inadequate. This applies already to the map with one region surrounded by three other regions (even though with an even number of surrounding countries three colors are enough) and it is not at all difficult to prove that five colors are sufficient to color a map.

The four color theorem was the first major theorem to be proven using a computer, and the proof is not accepted by all mathematicians because it would be infeasible for a human to verify by hand (see computer-aided proof). Ultimately, in order to believe the proof, one has to have faith in the correctness of the compiler and hardware executing the program used for the proof.

The lack of mathematical elegance was another factor, and to paraphrase comments of the time, "a good mathematical proof is like a poem — this is a telephone directory!"

Picture of the month

Missing square puzzle animation.

The missing square puzzle is an optical illusion used in mathematics classes to help students reason about geometrical figures. It depicts two arrangements of shapes, each of which apparently forms a 13×5 right-angled triangle, but one of which has a 1×1 hole in it.

The puzzle works as the blue and red triangles are not similar so their hypotenuses are not parallel. In one arrangement the line bends one way, in one arrangement it bends the other way, and the gap between these bent lines is exactly one unit.

Categories

Did you know...

• ...that a nonconvex polygon with three convex vertices is called a pseudotriangle?
• ...that it is possible for a three dimensional figure to have a finite volume but infinite surface area? An example of this is Gabriel's Horn.
• ... that as the dimension of a hypersphere tends to infinity, its "volume" (content) tends to 0?
• ...that the primality of a number can be determined using only a single division using Wilson's Theorem?
• ...that the line separating the numerator and denominator of a fraction is called a solidus if written as a diagonal line or a vinculum if written as a horizontal line?
• ...that a monkey hitting keys at random on a typewriter keyboard for an infinite amount of time will almost surely type the complete works of William Shakespeare?
• ... that there are 115,200 solutions to the ménage problem of permuting six couples at a twelve-person table so that men and women alternate and are seated away from their partners?
• ... that mathematician Paul Erdős called the Hadwiger conjecture, a still-open generalization of the four-color problem, "one of the deepest unsolved problems in graph theory"?
• ...that the six permutations of the vector (1,2,3) form a hexagon in 3d space, the 24 permutations of (1,2,3,4) form a truncated octahedron in four dimensions, and both are examples of permutohedra?

WikiProjects

The Mathematics WikiProject is the center for mathematics-related editing on Wikipedia. Join the discussion on the project's talk page.

Project pages

• Participants
• Current activity
• Manual of style
• Conventions

Subprojects

• PlanetMath Exchange (Talk)
• Graphics (Talk)
• Article assessment (Talk)

Related projects

Things you can do

• Collaboration of the month:

  Polynomial identity ring

• Requested articles
• Requested images
• Pages needing attention (Category)
• Mathematics stubs

Topics in mathematics

Index of mathematics articles

Related portals

 Science:  History of science     Philosophy of science    Systems science    Mathematics    Biology    Chemistry    Physics    Earth sciences    Technology