Problem

Source: 2019 Belarus Team Selection Test 5.3

Tags: combinatorics, analytic geometry



A polygon (not necessarily convex) on the coordinate plane is called plump if it satisfies the following conditions: $\bullet$ coordinates of vertices are integers; $\bullet$ each side forms an angle of $0^\circ$, $90^\circ$, or $45^\circ$ with the abscissa axis; $\bullet$ internal angles belong to the interval $[90^\circ, 270^\circ]$. Prove that if a square of each side length of a plump polygon is even, then such a polygon can be cut into several convex plump polygons. (A. Yuran)