Difference between revisions of "Partition of a rectangle into squares problem"
m (stubbed) |
|||
| Line 1: | Line 1: | ||
| + | {{stub}} | ||
==Problem statement== | ==Problem statement== | ||
Show that a rectangle can be partitioned into finitely many squares if and only if the ratio of its sides is rational | Show that a rectangle can be partitioned into finitely many squares if and only if the ratio of its sides is rational | ||
==Proof via Dirichlet's simultaneous [[rational approximation]] theorem== | ==Proof via Dirichlet's simultaneous [[rational approximation]] theorem== | ||
We can choose an integer <math>q</math> such that the product of every coordinate of any vertex of | We can choose an integer <math>q</math> such that the product of every coordinate of any vertex of | ||
Revision as of 22:42, 24 June 2006
This article is a stub. Help us out by expanding it.
Problem statement
Show that a rectangle can be partitioned into finitely many squares if and only if the ratio of its sides is rational
Proof via Dirichlet's simultaneous rational approximation theorem
We can choose an integer 
such that the product of every coordinate of any vertex of
