MathDB
Squares may be put into the other square

Source:

September 22, 2010
combinatoricsSquarespackingcombinatorial geometryIMO Shortlist

Problem Statement

Prove that the squares with sides 11,12,13,\frac{1}{1}, \frac{1}{2}, \frac{1}{3},\ldots may be put into the square with side 32\frac{3}{2} in such a way that no two of them have any interior point in common.