2004 JBMO Problems/Problem 4

Problem

Consider a convex polygon having $n$ vertices, $n\geq 4$. We arbitrarily decompose the polygon into triangles having all the vertices among the vertices of the polygon, such that no two of the triangles have interior points in common. We paint in black the triangles that have two sides that are also sides of the polygon, in red if only one side of the triangle is also a side of the polygon and in white those triangles that have no sides that are sides of the polygon.

Prove that there are two more black triangles that white ones.


Solution

First we shall state a $lemma$:

$Lemma$: A convex polygon with $n$ sides can be arbitrarily decomposed into exactly $n-2$ triangles having all the vertices among the vertices of the polygon, such that no two of the triangles have interior points in common.

$Proof of Lemma$: Sum of internal angles of a convex polygon with $n$ sides is $(n-2) \pi$. Since triangles are using all of the vertices of the polygon, the aggregate sum of angles of all the triangles must equal the sum of internal angles of a convex polygon = $(n-2) \pi$. Thus, number of triangles = $(n-2) \pi / \pi = n-2$.


$Proof of problem$: Let there be a total of $x Black$ triangles in $n$ sided convex polygon $P1$.

Now consider the polygon $P2$ formed after removing all the $x$ black triangles from polygon $P1$. It's not hard to see that $P2$ has exactly $(n - x)$ sides.

Now, in polygon $P2$, we are left with exactly $(n - x) - x = n - 2x$ sides which are still part of the original Polygon $P1$.

No two adjacent sides of these $(n - 2x)$ can be joined to form another $Black$ triangle (since we have assumed a total of $x Black$ triangles exist).

So that leaves us with $(n - 2x)$ $Red$ triangles in total.

So, now all the triangles that remain must be $White$ triangles.

From lemma, $P2$ has exactly $(n - x - 2)$ triangles satisfying the conditions of the problem, so the number of $White$ triangles = $(n - x - 2) - (n - 2x) = x - 2$

Thus total number of $White$ triangles = $x - 2$ which is $2$ less than total number of $Black$ triangles.


$Kris17$