グラフ理論における4色の定理の最も長く誤った誤った証明は、1879年にKempeによって生成されました。彼は、「不条理の削減」として知られる技術を使用して定理を証明したと主張しました。会っていませんでした。しかし、この証拠は後に欠陥があることが発見され、すぐに他の数学者によって修正されました。多くの数学者による1世紀にわたって、4つの色の定理を厳密に証明するのに1世紀以上かかりました。最初の正しい証明は1976年に公開されました。
The longest-standing incorrect proof of the Four Color Theorem in graph theory was produced by Kempe in 1879. He claimed to have proved the theorem using a technique known as “reduction to absurdity”, which involved coloring maps and deriving a contradiction when certain conditions were not met. However, this proof was later discovered to be flawed and was soon corrected by other mathematicians. It took over a century of work by many mathematicians to finally prove the Four Color Theorem rigorously, with the first correct proof being published in 1976.