MathDB
Compatible polygons

Source: IGO 2022 Intermediate P4

December 13, 2022
combinatorics

Problem Statement

We call two simple polygons P,QP, Q <spanclass=latexitalic>compatible</span><span class='latex-italic'>compatible</span> if there exists a positive integer kk such that each of P,QP, Q can be partitioned into kk congruent polygons similar to the other one. Prove that for every two even integers m,n4m, n \geq 4, there are two compatible polygons with mm and nn sides. (A simple polygon is a polygon that does not intersect itself.)
Proposed by Hesam Rajabzadeh