MathDB
The unit square is divided into 10^12 squares..

Source: Tuymaada 2001, day 1, problem 4.

April 30, 2007
geometryperimetercombinatorics proposedcombinatorics

Problem Statement

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