n 1852, Francis Guthrie conjectured that any map drawn on a planecould be colored with at most four colors. For over a century, this deceptively simple claim resisted all mathematical assault, until Appel andHaken finally broke through in 1976 with a computer–assisted proof thatchecked nearly two thousand unavoidable configurations(see 3). It wasa triumph of brute force, yet it left a lingering question: Where is theelegant, human–readable proof?This paper presents such a proof. The argument proceeds by the classical method of minimal counterexample, but abandons the traditionalreliance on Kempe chain flipping—the very technique that had led Alfred Kempe to his famous error in 1879 and had trapped generations ofmathematicians in a web of intersecting chains. Instead, we introduce astrategy of local point recoloring. In the critical case of a degree–five vertex, we show that the two chains, once thought to be obstacles that mustbe cut, actually form isolating walls that partition the pentagon into safezones. Within these zones, individual vertices can be freely reassignedcolors without propagating any conflict along the chains. The chains arenever flipped; they are simply rendered irrelevant.The result is a proof that avoids computational brute force entirely,relying only on elementary planar graph theory and the geometry of triangulations. With quiet regret, we note that the argument is accessibleto a high school student—a fact that makes one wonder why it remainedundiscovered for 174 years.
Q Chen (Mon,) studied this question.