Равновеликие и равносоставленные фигуры

Равновеликие и равносоставленные фигуры. Равновеликие фигуры — плоские (пространственные) фигуры одинаковой площади (объёма); равносоставленные фигуры — фигуры, которые можно разрезать на одинаковое число соответственно конгруэнтных (равных) частей. Обычно понятие равносоставленности применяется только к многоугольникам и многогранникам. Равносоставленные фигуры являются равновеликими. Венгерский математик Я. Больяй (1832) и немецкий математик П. Гервин (1833) доказали, что равновеликие многоугольники являются равносоставленными (теорема Больяй — Гервина). Поэтому разрезанием на части и перекладыванием их можно любой многоугольник превратить в равновеликий ему квадрат. Понятие равносоставленности лежит в основе «метода разбиения», применяемого для вычисления площадей многоугольников: параллелограмм «разрезанием и перекладыванием» сводят к прямоугольнику, треугольник — к параллелограмму, трапецию — к треугольнику. Эквивалентным понятию равносоставленности является понятие равнодополняемости, которое лежит в основе «метода дополнения», т. е. дополнения двух фигур равными частями так, чтобы получившиеся после такого дополнения фигуры были равны.

  Равновеликие многогранники не всегда являются равносоставленными. (Поэтому при выводах формулы объёма треугольной пирамиды используют исчерпывания метод или иное завуалированное интегрирование, например Кавальери принцип. См. также Объём.) Так, например, куб и равновеликий ему правильный тетраэдр не являются равносоставленными — т. н. теорема Дена, доказанная немецким математиком М. Деном (1901) и составившая отрицательное решение третьей проблемы Гильберта. Для доказательства Ден построил некоторую систему аддитивных инвариантов, равенство которых необходимо для равносоставленности многогранников, и убедился, что среди его инвариантов есть такие, которые принимают разные значения для куба и равновеликого ему правильного тетраэдра. Эти работы были продолжены швейцарским математиком Х. Хадвигером и его учениками; в частности, Ж. П. Зидлер установил, что совпадение инвариантов Дена двух многогранников не только необходимо, но и достаточно для их равносоставленности.

  Лит.: Проблемы Гильберта. Сб., М., 1969; Болтянский В. Г., Равновеликие и равносоставленные фигуры, М., 1956; Энциклопедия элементарной математики, книга 5, М., 1966.

  В. Г. Болтянский.