1. Five-Color Theorem Application:
- Given a finite simple planar graph G, we start by coloring the vertices of G using the Five-Color Theorem. This theorem states that any planar graph can be colored with at most five colors such that no two adjacent vertices share the same color. Let the colors be {1,2,3,4,5}.
2. **Defining the Oriented Graph G1**:
- Construct an oriented graph G1 with vertex set V(G1)={1,2,3,4,5} and directed edges as follows:
1→2,1→3,1→4,2→3,2→4,4→3,1→5,5→2,5→3,5→4
3. **Orienting the Edges of G**:
- For each edge uv∈E(G), orient uv as u→v or v→u based on the orientation of the corresponding colors in G1. Specifically, if c(u)→c(v) in G1, then orient uv as u→v; otherwise, orient it as v→u.
4. **Analyzing Cycles in G**:
- Consider any cycle in G. Suppose the cycle has k edges. We need to show that at most 43k edges in the cycle share the same orientation.
- Observe that in G1, any path of four edges (e.g., u1u2,u2u3,u3u4,u4u5) will have at least two edges with different orientations. This is because the directed edges in G1 are arranged such that no four consecutive edges can all have the same orientation.
5. **Conclusion for G**:
- Since the orientation of edges in G is derived from G1, the same property holds for G. Therefore, in any cycle of G, at most 43k edges can share the same orientation.
6. Optimality of the Bound:
- Consider the complete graph K4. It is a planar graph with 6 edges and 4 vertices. Any orientation of the edges of K4 will have cycles where exactly 43 of the edges share the same orientation. This shows that the bound of 43 is the best possible.
■