Задача

Существует ли выпуклый многогранник, у которого совпадают числовые значения объема, площади поверхности и суммы длин всех ребер?


Подсказка

Такой многогранник существует, например, среди правильных призм.


Решение

Следуя подсказке, поищем подходящую призму. Правильная призма определяется числом n сторон многоугольника основания, стороной основания a и высотой h.

Сумма длин всех ее ребер равна:

\[P=2na+nh.\]

Поскольку многоугольник основания правильный, его площадь, как несложно найти, равна \(\frac14na^2\mathrm{ctg}\,\frac{\pi}n\). Теперь легко найти остальные фигурирующие в задаче параметры призмы.

Ее объем V равен:

\[V=\frac14na^2\mathrm{ctg}\,\frac{\pi}n \cdot h.\]

Площадь поверхности S равна:

\[S=\frac12na^2\mathrm{ctg}\,\frac{\pi}n +nah.\]

Из равенства V = S находим, что \(a\cdot\mathrm{ctg}\,\frac{\pi}n=\frac{4h}{h-2}\). Значит, h > 2. Также можно переписать выражение для объема в виде \(V=\frac14na\cdot\frac{4h}{h-2}\cdot h=\frac{nah^2}{h-2}\).

Из равенства V = P получаются соотношения \(a=\frac{h^2-2h}{h^2-2h+4}\) и

\(\mathrm{ctg}\,\frac{\pi}n=\frac{4h}{a(h-2)}=\frac{4(h^2-2h+4)}{(h-2)^2}=4+\frac{8h}{(h-2)^2}.\)

Ясно, что функция \(f(x)=\frac{8x}{(x-2)^2}\) на промежутке \((0;\;{+\infty})\) принимает все положительные значения (и никакие другие). Поэтому необходимое и достаточное условие существования искомой призмы такое: выполнение неравенства \(\mathrm{ctg}\,\frac{\pi}n>4\), что верно при \(n>12\).


Послесловие

Посмотрим, что происходит в аналогичной ситуации на плоскости. Например, у квадрата 4×4 числовые значения площади и периметра совпадают. Таким же свойством обладают прямоугольник 3×6 и прямоугольный треугольник с катетами 5 и 12 (рис. 1).

Рис. 1.

Рис. 1.

Как известно, прямоугольник не является жесткой фигурой: если в его вершины поместить шарниры, то они не будут зафиксированы сами собой (как, например, происходит в случае треугольника или тетраэдра). Воспользовавшись этим, можно показать, что существует параллелограмм с равными значениями площади и периметра. Нетрудно найти прямоугольник, у которого площадь больше периметра: подойдет прямоугольник со сторонами 8 и 5. Если постепенно уменьшать один из прямых углов прямоугольника от 90° до 0°, то, во-первых, прямоугольник сразу превратится в параллелограмм, периметр остается равным 26, а во-вторых, его площадь непрерывно будет уменьшаться от 40 до 0, и в какой-то момент она станет равна 26. Это и будет нужный параллелограмм. Этот процесс показан на рамочной модели прямоугольника (рис. 2). Понятно, что таких параллелограммов бесконечно много.

Рис. 2.

Рис. 2.

Покажем, что существует бесконечно много треугольников, у которых числовые значения площади и периметра равны. Разобьем все треугольники на классы, в каждом из которых находятся все подобные друг другу треугольники. Оказывается, что в каждом таком классе есть треугольник, у которого числовые значения площади и периметра равны. Рассмотрим какой-нибудь один из треугольников какого-нибудь класса. Пусть его площадь равна S1, а периметр — P1, тогда подобный ему треугольник с коэффициентом k имеет площадь S2 = k2S1 и периметр P2 = kP1. Если в качестве коэффициента подобия взять k = P1/S1, то получим треугольник, у которого \(S_2=P_2=\frac{P_1^2}{S_1}\). Что и требовалось.

Для примера возьмем египетский треугольник. Его периметр \(P_1=3+4+5=12\), а площадь \(S_1=\frac12\cdot3\cdot4=6\). Подобный ему с коэффициентом подобия 2 треугольник будет обладать указанным свойством: это прямоугольный треугольник с катетами 6 и 8 (рис. 3, слева). Можно рассмотреть и равносторонние треугольники. Среди них нужным свойством обладает треугольник со стороной \(4\sqrt{3}\): его площадь и периметр равны \(12\sqrt{3}\).

Рис. 3.

Рис. 3.

Рассуждая аналогично, можно показать, что в каждом классе подобных многоугольников существует такой, у которого числовые значения площади и периметра равны.

В трехмерном пространстве естественно добавить условие на равенство объема, как и было сделано в условии задачи. Из решения видно, что уже не каждый «тип» многогранника допускает равенство объема, площади поверхности и суммарной длины ребер: среди правильных n-угольных призм при n < 12 таких нет.

В частности, нет таких куба и прямоугольного параллелепипеда (потому что это четырехугольные призмы). Для таких многогранников, впрочем, легко сделать проверку «в лоб». Например, для куба это делается так. Куб с ребром a имеет объем V = a3, площадь поверхности S = 6a2 и сумму длин ребер P = 12a. Если S = P, то 6a2 = 12a, то есть a = 2. Но тогда S = P = 24, а V = 8.

Тем не менее для некоторых многогранников могут работать рассуждения, аналогичные тем, что были приведены для треугольника. Если рассматривать все многогранники, подобные данному, то сумма длин ребер будет меняться пропорционально первой степени коэффициента подобия, площадь поверхности — пропорционально второй степени, а объем — пропорционально третьей степени. То есть задача сводится к такому вопросу: пересекаются ли соответствующие прямая, парабола и кубика в одной точке? Изменение формы многогранника в такой формулировке соответствует сдвигам этих кривых на плоскости. И довольно очевидно, что в каких-то случаях их получится расположить так, чтобы они пересеклись в одной точке. Но вот можно ли как-то разумно описать все соответствующие многогранники?.. Если у вас будут идеи на этот счет — пишите в комментариях к задаче!


13
Показать комментарии (13)
Свернуть комментарии (13)

  • mgr  | 15.06.2018 | 15:48 Ответить
    Ответить на вопрос задачи можно и без вычислений. Пусть V, S, P – объем, площадь поверхности, и сумма длин ребер многогранника. Для многогранника, полученного из данного растяжением с коэффициентом подобия k, соответствующие величины равны V*k^3, S*k^2, P*k. Равенство этих трех величин достигается при k=V/S=S/P. Оно возможно тогда, и только тогда, когда P=S^2/V.
    В единичном кубе P = 12 < 36 = S^2/V. Нарисуем на верхней грани куба некоторое количество квадратов с вершинами на этих диагоналях. Эту картинку можно понимать как вид сверху на последовательность поставленных друг на друга правильных четырехугольных усеченных пирамид (верхняя пирамида не усечена). Если углы наклона боковых граней этих пирамид убывают снизу вверх, то замена верхней грани куба на пирамидальную надстройку даст выпуклый многогранник. Если высота всей надстройки очень мала (например, 0.000001) то площадь и объем построенной фигуры (а значит и S^2/V) изменятся крайне незначительно. В то же время P можно неограниченно увеличивать (увеличивая количество квадратов в рисунке на грани) и непрерывно уменьшать (стягивая нарисованные квадраты к центру верхней грани). Так как при фиксированном числе квадратов зависимость S^2/V и P от параметров надстройки непрерывна, то можно подобрать параметры надстройки так, чтобы P=S^2/V.
    Ответить
  • Олег Полубасов  | 16.06.2018 | 02:48 Ответить
    Эту задачу с подачи Николая Авилова обсуждали в группе https://www.facebook.com/groups/mathpuz/ . mgr совершенно прав, на плоскости равенство P = S для любой невырожденной фигуры достигается просто масштабированием, так что и задачи нет. В пространстве требуется обеспечить два равенства P = S = V, что возможно не для всех фигур, но для многих видов фигур. Интересно было бы рассмотреть задачу в четырёхмерном пространстве P = S = V = W, где V - суммарный объём гиперграней, а W - гиперобъём тела.
    Ответить
  • Nik  | 16.06.2018 | 07:27 Ответить
    На плоскости задача действительно проста. Но если среди треугольников поискать те, у которых площадь и периметр одинаковые и при этом целые, то возникает интересная задача. Оказывается, что существует всего 5 таких треугольников. Попробуйте их найти. Об этом можно прочитать в статье: https://arxiv.org/pdf/1710.11245.pdf , в которой в самом начале написано, что эта находка была сделана в 1904 году.
    Ответить
  • eugenfs  | 16.06.2018 | 08:34 Ответить
    В порядке занудства - надо было обговорить единицы измерения.
    Ответить
    • dmvk > eugenfs | 16.06.2018 | 22:19 Ответить
      это точно )))...
      Давайте найдем на Земле городок, население которого равно количеству волос на теле мера этого города, причем кол-во седых волос должно ровняться общему кол-ву книг в библиотека нашего волшебного городка...
      Ответить
  • Nik  | 16.06.2018 | 09:29 Ответить
    Мне симпотичны рассуждения читателя mgr. Выдержка: "Для многогранника, полученного из данного растяжением с коэффициентом подобия k, соответствующие величины равны V*k^3, S*k^2, P*k. Равенство этих трех величин достигается при k=V/S=S/P. Оно возможно тогда, и только тогда, когда P=S^2/V."
    Всё логично, в том числе и для прямоугольных параллелепипедов.
    Но на самом деле не существуют прямоугольных параллелепипедов, у которых V=S=P. Покажу это. Числовые характеристики прямоугольного параллелепипеда с измерениями a, b и c таковы: V=abc, S=2(ab+bc+ac), P=4(a+b+c).
    Если V=S=P, то S^2=VP. Проверим, выполняется ли это равенство? Для этого, найдем разность
    S^2-VP=4(ab+bc+ac)^2-4(a+b+c)∙abc=4(a^2 b^2+b^2 c^2+a^2 b^2+a^2 bc+ab^2 c+abc^2).
    Разность оказалась положительной, значит, S^2>VP, поэтому прямоугольного параллелепипеда VSP не существует.
    В чём дело? Получается, что утверждение mgr неверно!
    И является необходимым условием, но недостаточным!
    Ответить
  • Олег Полубасов  | 17.06.2018 | 09:58 Ответить
    Утверждение mgr верно. Если удалось построить невырожденный многогранник, у которого PV = S^2, то с помощью его масштабирования можно достичь P = S = V. Среди прямоугольных параллелепипедов нет таких многогранников.
    Ответить
    • Nik > Олег Полубасов | 17.06.2018 | 12:46 Ответить
      С масштабированием понятно!
      Олег, ну хорошо, допустим я не знаю, существует ли прямоугольный параллелепипед P = S = V. и рассуждаю так: "Рассмотрим прямоугольный параллелепипед у которого V, S и P. Для прямоугольного параллелепипеда, полученного из данного растяжением с коэффициентом подобия k, соответствующие величины равны V*k^3, S*k^2, P*k. Равенство этих трех величин достигается при k=V/S=S/P. Оно возможно тогда, и только тогда, когда P=S^2/V." При таких рассуждениях получается, что прямоугольный параллелепипед существует! Вот в чем вопрос!
      Ответить
      • Юрий Фёдоров > Nik | 17.06.2018 | 20:38 Ответить
        Чего-то Вы, уважаемый Ник, не то... При таких рассуждениях получается лишь, что если мы найдём нужную фигуру, это равенство будет у нее налицо)
        Разве нет?
        А вот после того, как это проконстатировано, собссно и начинается поиск фигуры. Но поиск вовсе не среди параллелепипедов, а среди довольно специфических наборных пирамид-гармошек.
        Мне так показалось...

        А вот интересно бы почитать, какие еще типичные для решения такого рода задач фигуры-"гармошки" используются. Есть ли алгоритм поиска гармошек, нужных для конкретных задач, или именно поиск этих фигур и есть само решение задачи?
        Ответить
  • mgr  | 17.06.2018 | 23:41 Ответить
    Очень правильное замечание eugenfs о важности единиц измерения длины, площади и объема!

    Однако ответ на вопрос задачи не зависит от их выбора. Правда, решение из первого комментария опирается на стандартные единицы измерения в неравенстве P=12<36=S^2/V для единичного куба. Если, в силу выбора единиц измерения (например, ангстрем / квадратный световой год / галлон) неравенство P<S^2/V окажется ложным, то можно предложить другое решение.

    Начнем обтесывать куб, отрезая от него куски плоскостями, касательными к вписанному в куб шару. Плоскости проводим произвольно, но стараемся получить многогранник, близкий к вписанному шару – отрезая наиболее выступающие углы. С ростом числа шагов наша фигура будет приближаться к вписанному в куб шару, ее площадь поверхности и объем будут стремиться к площади и объему шара, а отношение S^2/V будет стремиться к некоторой константе (зависящей от выбранных единиц измерения). Длина же периметра будет неограниченно возрастать, поскольку вся фигура будет похожа на шар, составленный из множества мельчайших многоугольных граней. Следовательно, на каком-то шаге выполнится неравенство P<S^2/V.

    После этого можно продолжить старое решение, построив серию усеченных пирамид (вовсе не обязательно правильных и четырехугольных) на одной из граней. Но проще последнюю (перед достижением неравенства P<S^2/V) плоскость провести так, чтобы она отрезала уголок поменьше – чтобы сразу добиться равенства P=S^2/V. Конечно, эта последняя плоскость уже не обязана касаться вписанного шара.
    Ответить
    • Юрий Фёдоров > mgr | 18.06.2018 | 02:55 Ответить
      Кажется, наоборот, после этого обстругивания окажется, что периметр больше отношения квадрата площади к объему.
      И сделать его меньше этого отношения в таком положении будет оч трудно...
      Или я что-то не понял?
      Ответить
      • mgr > Юрий Фёдоров | 18.06.2018 | 06:42 Ответить
        Уважаемый Юрий Федоров, спасибо за то, что открыли мне глаза на мою вопиющую ошибку! Конечно же, рассуждение с шаром относится к уже рассмотренному случаю. Случай P>S^2/V, как и вопрос о зависимости ответа от единиц измерения, остается (по крайней мере, для меня) открытым.
        Ответить
      • mgr > Юрий Фёдоров | 19.06.2018 | 07:24 Ответить
        Все же выпуклый многогранник с равными величинами периметра, пощади поверхности и объема существует при любом выборе единиц измерения.

        Пусть выбраны некоторые единицы измерения длины, площади и объема, и с1, с2, с3 - коэффициенты для перевода измерений в стандартных величинах (линейный, квадратный, кубический метр) в новые единицы измерения. Пусть длина, площадь и объем некоторой фигуры в стандартных единицах есть P, S, V. Растянув фигуру с коэффициентом k и переведя ее размеры в новые единицы измерения, получим значения P*k*c1, S*k^2*c2, V*k^3*c3. Подобрать k, для которого эти три числа окажутся равными, можно тогда, и только тогда, когда (P*c1)/(S*c2) = (S*c2)/(V*c3), т.е. если P*V/S^2 = с2/(с1*с3).

        Константа T= с2/(с1*с3) зависит только от выбора единиц измерения, и может оказаться любым неотрицательным вещественным числом. Покажем, что для любого T>0 можно построить выпуклый многогранник, в котором P*V/S^2=T (здесь P,S,V выражены в стандартных единицах), после чего искомую фигуру можно получить растяжением с коэффициентом k=P*c1/(S*c2).

        Начнем с единичного куба. Если для него окажется, что P*V/S^2=T, то он и является искомой фигурой.

        Если P*V/S^2 < T то путем обстругивания куба до многогранного приближения вписанного шара (как описано в предыдущем комментарии), мы можем неограниченно и непрерывно (на нужном участке процесса) увеличивать P, в то время как S и V будут стремиться к конечному положительному пределу. При этом P*V/S^2 будет неограниченно и непрерывно возрастать, и на некотором этапе станет равным T.

        Если же для исходного куба P*V/S^2 > T, то начнем сжимать куб по вертикали, устремляя его высоту к нулю. При этом периметр фигуры будет стремиться к удвоенному периметру основания, а площадь – к удвоенной площади основания. В то же время ее объем будет стремиться к нулю. Следовательно, величина P*V/S^2 будет стремиться к нулю (очевидно, непрерывно) и, при некотором положении F, достигнет величины T.
        Ответить
Написать комментарий
Элементы

© 2005–2026 «Элементы»