Dowieść, że nie można tak pociąć kwadratu wzdłuż skończonej liczby odcinków i łuków okręgów, by z otrzymanych części można było złożyć koło (części można odwracać).
Przypuśćmy, że podział, o jakim mowa w zadaniu, jest wykonalny. Otrzymane w jego wyniku części kwadratu oznaczmy przez
. Brzeg każdej figury
składa się ze skończonej liczby odcinków oraz łuków okręgów. Spośród łuków okręgów będących fragmentami brzegu
niektóre są zwrócone wypukłością na zewnątrz
, inne są zwrócone wypukłością do wewnątrz
. Sumę długości tych pierwszych łuków oznaczmy przez
, a tych drugich - przez
. Przyjmijmy
.
Weźmy pod uwagę sumę
.
Figury
powstały z podziału kwadratu. Brzeg kwadratu składa się z odcinków linii prostych. Zatem każdy fragment okręgu będący linią podziału kwadratu jest jednocześnie podzbiorem brzegu dwóch figur
, przy czym w jednej z tych figur jego długość wchodzi do sumy
ze znakiem plus, a w drugiej --- ze znakiem minus. Tak więc
.
Założyliśmy, że z figur
można złożyć koło. Niektóre z rozważanych łuków muszą być wtedy zużyte na utworzenie brzegu tego koła. Przy obliczaniu sumy
długości tych łuków będą liczone jednokrotnie, stale ze znakiem plus. Natomiast długości pozostałych łuków okręgów, tworzących linie podziału koła, ulegną redukcji, jak w przypadku kwadratu. Suma
będzie więc równa obwodowi koła.
Otrzymana sprzeczność (
i jednocześnie
) kończy dowód.