Problem

Source: Tuymaada 2001, day 1, problem 4.

Tags: geometry, perimeter, combinatorics proposed, combinatorics



Unit square $ABCD$ is divided into $10^{12}$ smaller squares (not necessarily equal). Prove that the sum of perimeters of all the smaller squares having common points with diagonal $AC$ does not exceed 1500. Proposed by A. Kanel-Belov