Maths Olympiad Prep

Library / /20 of 22

Combinatorics Difficulty 5.6 AIME, harder Prove it United States

Problem:

Let P\mathcal{P} be a regular 1717-gon; we draw in the (172)\left(\begin{array}{c}17 \\ 2\end{array}\right) diagonals and sides of P\mathcal{P} and paint each side or diagonal one of eight different colors. Suppose that there is no triangle (with vertices among vertices of P\mathcal{P}) whose three edges all have the same color. What is the maximum possible number of triangles, all of whose edges have different colors?

Solution

Solution:

We approach the problem by finding the minimum number of triangles with a pair of edges of the same color; we call such triangles "isosceles". We can count the number of such triangles by instead considering:
The number of isosceles triangles is equal to the number of pairs of adjacent edges of the same color.
So, if we let ni,vn_{i, v} denote the number of edges of the iith color touching vertex vv, the number of isosceles triangles can be written as
v vertexi=18(ni,v2) \sum_{v \text{ vertex}} \sum_{i=1}^{8}\left(\begin{array}{c} n_{i, v} \\ 2 \end{array}\right)
Since i=18ni,v=16\sum_{i=1}^{8} n_{i, v}=16, by Jensen's Inequality we actually have
v vertexi=18(ni,v2)v vertex8(16/82)=178=136 \sum_{v \text{ vertex}} \sum_{i=1}^{8}\left(\begin{array}{c} n_{i, v} \\ 2 \end{array}\right) \geq \sum_{v \text{ vertex}} 8\left(\begin{array}{c} 16 / 8 \\ 2 \end{array}\right)=17 \cdot 8=136
So, the number of triangles with all different colors is at most (173)178=544\left(\begin{array}{c}17 \\ 3\end{array}\right)-17 \cdot 8=544. We leave the construction of a maximal example as an exercise to the reader.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.