Hosted on GitHub Pages using the Dinky theme
Suppose a large rectangle is divided into finitely many small squares.
Show that the ratio of the height to the width of the large rectangle is a rational number.
There is a proof in Proofs from THE BOOK . A great explanation can also be found in this Ebima Lab’ YouTube video (in Japanese but English subtitles are available). I think that this Cirno in this video is too smart…