Skip to main content
OlympiadHQ

Browse · MathNet

Print

Vietnamese MO

Vietnam counting and probability

Problem

In the space, there is a convex polyhedron such that for every vertex of , there are an even number of edges passing through that vertex. We choose a face of . Then we assign each edge of a positive integer such that for all faces of different from , the sum of the numbers assigned on the edges of that face is a positive integer divisible by 2024. Prove that the sum of the numbers assigned on the edges of is also a positive integer divisible by 2024.
Solution
We have the following two observations.

Lemma 1. The surface of any convex polyhedron can be projected to a plane so that the faces of are in one-to-one correspondence with the faces of a planar graph and edges of the are in one-to-one correspondence with the edges of .

Proof. First, we choose a sufficiently small sphere within this convex polyhedron and project this polyhedron onto the spherical surface. Then choose a point on the sphere which is different from the projection images of the vertices of the polyhedron. An inversion in a sphere centered at turns the sphere into a plane.

Lemma 2. Suppose that all faces of a planar graph are bounded by a cycle of even length then every cycle is of even length.

Proof. Consider the cycle of the planar graph . Notice that we can subdivide the cycle into disjoint cycles , where each cycle cannot be divided into smaller cycles. Consider any cycle , the region bounded by can be partitioned into disjoint union of faces of . This implies that each cycle has even length since each face of has even length. Therefore the cycle has even length.

Let be the planar graph obtained from the polyhedron by using Lemma 1. We denote its dual graph by . The vertices of are the faces of , and two vertices are adjacent iff the corresponding two faces have a common edge in . This dual graph is also a planar graph. The faces of the planar graph correspond to the vertices of the graph . Because every vertex of has even degree, every face of is bounded by even cycles. By Lemma 2, has no odd cycles, it is bipartite. Therefore, the vertices of can be colored in red and blue such that no two adjacent vertices have the same color. In other words, the faces of can be colored in red and blue such that no two faces which share a common edge are of the same color. Combining this with Lemma 1, we see that the faces of the convex polyhedron can be colored in red and blue such that two faces that share an edge have different colors. Without loss of generality, suppose that is colored blue.

We denote by the sum of the numbers assigned on the edges of the face . We have By the hypothesis, is divisible by 2024 for all the faces . So each term on the right hand side of the above equality is divisible by 2024. We deduce that is divisible by 2024.

Techniques

Graph TheoryColoring schemes, extremal argumentsInversionOther 3D problemsOther