IMC 2022 · Problem 5

Day 229th IMC · Blagoevgrad, Bulgaria

Statement

We colour all the sides and diagonals of a regular polygon PP with 4343 vertices either red or blue in such a way that every vertex is an endpoint of 2020 red segments and 2222 blue segments. A triangle formed by vertices of PP is called monochromatic if all of its sides have the same colour. Suppose that there are 20222022 blue monochromatic triangles. How many red monochromatic triangles are there?

Official solution

Hidden so you can work on the problem first.

Proposed by Mike Daas, Universiteit Leiden.