4
$\begingroup$

Given a closed rectangle $R$ are there closed squares $(S_{i})_{1\leq i\leq n}$ such that $R=\underset{1\leq i\leq n}{\cup}S_{i}$ and $S_{i}^{\circ}\cap S_{j}^{\circ}=\varnothing$ for $i\neq j$ ?

  • 0
    If your rectangle has incommensurable sides, I don't see how it can be a finite union of almost disjoint squares.2012-04-27
  • 0
    I don't either. But I really don't see how to show it can't.2012-04-27
  • 0
    A proof that this isn't possible in the case of incommensurable side lengths is in 'Proofs from the book' - Google Books has a preview (http://books.google.com.au/books?id=CuTpgZaLahkC&pg=PA177#v=onepage&q&f=false) which is unfortunately (or perhaps fortunately) missing a page of the proof. I'd post this as an answer, but I haven't figured out the rest of the proof for myself yet!2012-04-27
  • 0
    Another Google Books-able proof is available in "Problems and theorems in classical set theory" by Komjath and Totik (search within the book for "union of squares"). AFAIK the result is originally due to Max Dehn, who used similar ideas to solve Hilbert's third problem. (This brings to mind a good exercise in proof writing: give a short, rigorous proof that if a rectangle is a finite and essentially disjoint union of other rectangles, then every edge of each of these other rectangles is either parallel to (or perpendicular to, or contained in) an edge of the original rectangle.)2012-04-27
  • 0
    See also Tiling a Rectangle by Squares, which is item 12 (pages 39-40) of Jiri Matousek, Thirty-three Miniatures. This is a book of attractive applications of Linear Algebra.2012-04-27
  • 0
    Thanks to you all, I'll try to find those proofs. Apparently, it wasn't as trivial as I thought it was.2012-04-27

0 Answers 0