Proof strategy for 4-Colour-Theorem

If your proof strategy worked, it would prove too much.

Define a locally planar graph on a surface such as the torus to be a graph which looks like a planar graph within any "small region". (By "small", we can mean the neighborhood of a triangle, or more generally the subgraph within some fixed constant distance of any vertex). Then if your proof strategy worked, it would show that all locally planar graphs are 4-colorable as well.

However, there are counterexamples on other surfaces: for example, here is a counterexample on the torus, taken from Locally planar toroidal graphs are 5-colorable by Albertson and Stromquist. (Opposite sides of the rectangle in this diagram wrap around.)

It can be shown that in any 4-coloring of any triangulation on any surface, if there are only two vertices of odd degree, they must have the same color. However, in the example above, there are two such vertices, and they are adjacent: so this graph has no 4-coloring.

Nevertheless, we can pick any triangle within this graph, and 4-color that triangle and its neighborhood (by the 4-color theorem). It is the global properties of this graph that ultimately stop us. To take your argument, and turn it into a proof of the 4-color theorem, you would have to show that in a planar graph, there cannot be a global obstacle.

Note that the property you stated only refers to "local" properties of the triangulation. However, the 4-color theorem is a global property (i.e. involving all parts of the triangulation at the same time). So in general it is not a valid logical inference.

Indeed, the 4-color theorem depends in an essential way on (global) topological information of the plane. So if you replace the plane with, say, a torus, it becomes the 7-color theorem. However, if your argument were true then you would prove the 4-color theorem on tori also, which is absurd.

Trebor has already given an answer that more than suffices to show to that we shouldn't expect this method to work for map colouring, but it is worth pointing that similar difficulties arise even for general graph colouring.

The problems of colouring a graph optimally, and `extending' a colouring are quite different. I can have a graph $G$, with a subgraph $H$, and then find an optimal colouring of $H$ that cannot be extended to an optimal colouring of $G$. So by colouring $\Delta_i$ and its surrounds in what looks like an optimal way, you can inadvertently get stuck with something that cannot be part of a 4-colouring.

For a concrete example, in the picture below, we can colour $H$ optimally in 2 ways, one of which does not extend to an optimal colouring. Inside of $H$, there's no real way of telling apart these colourings.

Further, there is another difficulty. 4-Coloring a triangle and all its neighbors amounts to finding a 4-colouring of some arbitrary maximal planar graph of diameter 3 or less, which is still very, very difficult in general.