Squares may be put into the other square
Source:
September 22, 2010
combinatoricsSquarespackingcombinatorial geometryIMO Shortlist
Problem Statement
Prove that the squares with sides may be put into the square with side in such a way that no two of them have any interior point in common.