доказательство без вычислений
Oct. 6th, 2015 05:29 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
avvaИррациональность квадратного корня из 2: геометрическое "доказательство без вычислений", придуманное Стэнли Тэнненбаумом в 60х:
Предположим, что есть два одинаковых квадрата с целой длиной сторон, так, что их площадь вместе равна площади большего квадрата с целой длиной сторон. Поместим эти два меньших квадрата в противоположные углы большего, как на картинке. Раз сумма их площадей равна площади большего, они должны пересекаться внутри него. Их пересечение - тоже квадрат, и области внутри большего квадрата, которые они не покрывают - еще два квадрата в двух других углах. Из-за того, что есть пересечение, два "непокрытых" квадрата размером меньше двух исходных. Поскольку площади исходных вместе дают площадь большого квадрата, сумма площадей "непокрытых" равна площади пересечения, т.е. "дважды покрытого". Однако длины сторон "непокрытых" и "дважды покрытого" выражаются вычитанием из исходных длин, поэтому они тоже целые, и притом меньше исходного примера. Значит, не существует минимального примера двух целых квадратов, в сумме дающих третий целый.
Предположим, что есть два одинаковых квадрата с целой длиной сторон, так, что их площадь вместе равна площади большего квадрата с целой длиной сторон. Поместим эти два меньших квадрата в противоположные углы большего, как на картинке. Раз сумма их площадей равна площади большего, они должны пересекаться внутри него. Их пересечение - тоже квадрат, и области внутри большего квадрата, которые они не покрывают - еще два квадрата в двух других углах. Из-за того, что есть пересечение, два "непокрытых" квадрата размером меньше двух исходных. Поскольку площади исходных вместе дают площадь большого квадрата, сумма площадей "непокрытых" равна площади пересечения, т.е. "дважды покрытого". Однако длины сторон "непокрытых" и "дважды покрытого" выражаются вычитанием из исходных длин, поэтому они тоже целые, и притом меньше исходного примера. Значит, не существует минимального примера двух целых квадратов, в сумме дающих третий целый.
