Ebener Graph/Sechs Farben/Fakt/Beweis/Aufgabe/Lösung


Wir führen Induktion über die Anzahl der Knoten, wobei die Aussage bei höchstens Knoten unmittelbar klar ist. Es liege also ein ebener Graph mit Knoten vor und für jeden ebenen Graphen mit weniger als Knoten wissen wir, dass es eine zulässige Färbung mit höchstens Farben gibt. Nach Fakt  (2)

gibt es einen Knoten mit höchstens Nachbarn. Es sei der Graph, der aus entsteht, wenn man und die an anliegenden Kanten herausnimmt. Nach Induktionsvoraussetzung besitzt eine zulässige Färbung mit höchstens sechs Farben. Die Nachbarn von verwenden höchstens Farben davon und daher kann man für eine sechste Farbe wählen, was insgesamt eine zulässige Färbung von mit Farben ergibt.