Rozstrzygnąć, dla jakich par liczb naturalnych
i
prostokąt o bokach długości
i
można pociąć na części przystające do figury na rysunku. Każdy z czterech kwadratów na rysunku ma bok długości
.

Odpowiedź: Żądany podział jest możliwy wtedy i tylko wtedy, gdy
oraz iloczyn
jest podzielny przez
.
Załóżmy najpierw, że udało nam się pociąć prostokąt
na części przystające do danej figury (które w dalszej części rozwiązania będziemy nazywać klockami). Oczywiście
. Wykażemy, że
.
Każdy klocek składa się z czterech kwadratów jednostkowych, zatem iloczyn
(pole prostokąta) musi być liczbą podzielną przez
. Stąd w szczególności wynika, że długość jednego z boków prostokąta
jest liczbą parzystą. Przyjmijmy więc, bez straty ogólności, że szerokość prostokąta, np. wielkość
, jest parzysta.
Podzielmy dany prostokąt na
kwadratów jednostkowych (które będziemy dalej nazywać kratkami). Wówczas prostokąt składa się z
(a więc parzystej liczby) kolumn, z których każda zawiera
kratek (rys. 1).


Pomalujmy kolumny prostokąta na przemian na czarno i biało (rys. 2). Każdy klocek wycięty z tak pomalowanego prostokąta zawiera trzy kratki jednego koloru i jedną kratkę drugiego koloru. Ponieważ liczba kratek białych danego prostokąta jest równa liczbie kratek czarnych, więc klocków zawierających trzy kratki białe musi być tyle samo, co klocków zawierających trzy kratki czarne. Liczba klocków, na które składa się cały prostokąt, jest więc parzysta, co oznacza, że iloczyn
jest podzielny przez
.
Załóżmy teraz, że
oraz
. Wykażemy, że prostokąt
da się pociąć na klocki.
Zauważmy, że prostokąty
oraz
da się pociąć na klocki (rys. 3, 4). Zatem wystarczy wykazać, że prostokąt
da się pociąć na prostokąty
oraz
.


Jeśli jedna z liczb
,
jest podzielna przez
, a druga parzysta, to prostokąt
da się pociąć na prostokąty
(rys. 5), bez konieczności używania prostokątów
.


Pozostał do rozpatrzenia przypadek, w którym jedna z liczb
,
jest podzielna przez
(bez straty ogólności przyjmijmy, że jest nią
), zaś druga (czyli
) jest nieparzysta i nie mniejsza niż
. Prostokąt
dzielimy wówczas na dwa prostokąty
i
, z których pierwszy dzielimy na prostokąty
, a drugi na prostokąty
(rys. 6). Zatem również i w tym przypadku żądany podział jest możliwy.