Komentarz

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 .

Rozwiązanie

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.