88

Having a bit of a problem calculating the volume of a take-away box:

enter image description here

I originally wanted to use integration to measure it by rotating around the x-axiz, but realised that when folded the top becomes a square, and the whole thing becomes rather irregular. Since it differs in circumference I won't be able to measure it like I planned.

Is there any method or formula that can be used to measure a shape like this, or do I just have to approximate a cylinder and approximate a box and add those two together?

Blue
  • 75,673
Nemui
  • 867
  • 34
    Fill it with water then measure the volume of said water? – Peter Foreman Apr 26 '20 at 17:29
  • 15
    @PeterForeman The easiest solution for sure, but sadly the point is to calculate it somehow, not just find it. – Nemui Apr 26 '20 at 17:31
  • 8
    What a cool shape! – JonathanZ Apr 26 '20 at 19:11
  • 1
    For ideas, look for "prismoid" or "prismatoid" ... https://en.wikipedia.org/wiki/Prismatoid – GEdgar Apr 27 '20 at 09:18
  • If you opened the lids, allowing the top edge to assume a circular shape, wouldn't the volume be simply that of a cone section? – yurez Apr 27 '20 at 14:24
  • 2
    The industrial point of view : https://www.yorkshireprofiles.co.uk/square-to-round/ – Jean Marie Apr 27 '20 at 15:54
  • 1
    If you open the lid and allow the cone to fall apart and assume a flat shape, wouldn't the volume simply be zero? Changing the shape to something different, without ensuring volume is kept equal, doesn't solve the problem. @yurez – Nij Apr 27 '20 at 20:08
  • Now who is going to make the master answer comparing the presented formulae? – Džuris Apr 27 '20 at 22:07
  • This shape looks like a conical frustum whose top has been cut up into 4 parts and the folding made the top look "squary". – GDGDJKJ Apr 28 '20 at 06:52
  • 8
    A reasonable assumption that any answer should make is that the box is folded from flat cardboard (and glued to the bottom circle). Hence the surface of the object can only have a single axis of curvature at any point. – Joooeey Apr 28 '20 at 09:41
  • Find a cubical container. Fill your takeout box full of water. Pour the water into the cubical container. If the takeout box leaks, use fine sand instead. This workaround goes back at least to Thomas Edison. – Howard Miller Apr 28 '20 at 14:50

5 Answers5

115

A different approximation could be to take the cross-section at each height not as a linear interpolation between top and bottom surface, but as squares with rounded corners. This fits the photograph more closely, as the linear interpolation approach has a discontinuity in the radius of curvature at the bottom: The point that at the top is an edge of the square is modelled a crease along the entire side, while in the photograph, no such crease can be seen.

The cross-section of the model, having side length a, corner radius r and straight side length b

If we take the cross-section to have the above shape of a rounded square, we can calculate its area by using the formulas for circles and rectangles:

$$A = \pi \cdot r^2 + 2 \cdot a \cdot b - b^2$$

Using $b=a-2\cdot r$, we can eliminate that variable:

$$A = a^2 + (\pi -4) \cdot r^2$$

Now we assume that those variables vary linearly between top and bottom: $r$ goes from $r_0$ at the bottom to $0$ at the top, and $a$ goes from $2r_0$ at the bottom to $a_0$ at the top, giving us:

$$r(h) = \left(1-\frac{h}{h_0}\right)\cdot r_0$$

$$a(h) = \left(1-\frac{h}{h_0}\right)\cdot 2r_0 + \frac{h}{h_0} \cdot a_0$$

and thus:

$$A(h) = \left(1-\frac{h}{h_0}\right)^2 \cdot \pi \cdot r_0^2 + \left(1-\frac{h}{h_0}\right) \cdot \frac{h}{h_0} \cdot 4 \cdot r_0 \cdot a_0 + \left(\frac{h}{h_0}\right)^2 \cdot a_0^2$$

or, better ordered for integration:

$$A(h) = \pi \cdot r_0^2 + \frac{h}{h_0} \cdot \left( 4\cdot r_o \cdot a_0 - 2 \cdot \pi \cdot r_0^2 \right) + \left(\frac{h}{h_0}\right)^2 \cdot \left( a_0^2 - 4\cdot r_0 \cdot a_0 + \pi \cdot r_0^2\right) $$

Which gives us then:

$$ V = \int_0^{h_0} A(h) \mathrm{d}h= h_0 \cdot \pi \cdot r_0^2 + \frac{1}{2} \cdot \frac{h_0^2}{h_0} \cdot \left( 4\cdot r_o \cdot a_0 - 2 \cdot \pi \cdot r_0^2 \right) + \frac{1}{3}\cdot\frac{h_0^3}{h_0^2} \cdot \left( a_0^2 - 4\cdot r_0 \cdot a_0 + \pi \cdot r_0^2\right)$$

$$=h_0\cdot\left(\frac{1}{3}\pi r_0^2 + \frac{2}{3} r_0 a_0 + \frac{1}{3} a_0^2\right)$$

And here is a quick render of what this looks like in 3d:

e3d render of box model as given above

This result can be obtained classically without any integrals as well, using only the formulas for the volume of conic solid and for cuboids. To do this, we split the solid into nine parts:

The takeaway box split into coloured parts

The central, yellow part is simply a square pyramid, and has a volume of $\frac{1}{3}\cdot h_0\cdot a_0^2$. The four magenta pieces are oblique cones with a quarter-circle as base. Again, using the formula for conic solids, their volume is each $\frac{1}{12}\cdot h_0\cdot\pi\cdot r_0^2$

And the four cyan pieces are irregularly shaped tetrahedrons, but we can determine their volume by adding a few pieces to see how they fit into a cuboid of the measurements $a_0\times r_0 \times h_0$:

How adding some pieces to the cyan tetrahedron gives a cuboid

In the more general case of $\frac{a_0}{2} \neq r_0$, there will be a fourth green piece needed (which would go in front and block our view of everything). However, the green pieces together form a prisma of height $a_0$ and a top surface area of $\frac{1}{2} \cdot r_0 \cdot h_0$, and the two blue-grey pieces are two pyramids with height $h_0$ and rectangular bases of size $\frac{1}{2} a_0 \times r_0$. Therefore, the volume of the tetrahedron is:

$$a_0 \cdot h_0 \cdot r_0 - a_0 \cdot \frac{1}{2} \cdot r_0 \cdot h_0 - 2 \cdot \frac{1}{3} \cdot h_0 \cdot \frac{1}{2} a_0 \cdot r_0 = \frac{1}{6} h_0 \cdot r_0 \cdot a_0$$

Putting it all together, we get the volume as:

$$V=\frac{1}{3}\cdot h_0\cdot a_0^2 + 4\cdot \frac{1}{12}\cdot h_0\cdot\pi\cdot r_0^2 + 4 \cdot \frac{1}{6} h_0 \cdot r_0 \cdot a_0$$ $$=h_0\cdot\left(\frac{1}{3}\pi r_0^2 + \frac{2}{3} r_0 a_0 + \frac{1}{3} a_0^2\right)$$

A more smooth model along the same lines would be to interpolate superellipses between the bottom and top, which similarly would give a creaseless change in the radius of curvature beneath the corners. However, superellipse areas have a formula involving the gamma function, and are therefore not easy to integrate again to get a volume.

  • 2
    Nice model! The resulting lateral surface is then formed by four triangles and four quarters of an oblique cone, right? – Intelligenti pauca Apr 27 '20 at 09:54
  • 3
    @Aretino Yes, that's correct. The cones are heavily oblique, in fact, as their apex is not above the base. – AlienAtSystem Apr 27 '20 at 10:10
  • The last picture was done in Blender, yes? – J. M. ain't a mathematician Apr 27 '20 at 11:58
  • @J.M.isn'tamathematician yes. Less than a minute's work, really. – AlienAtSystem Apr 27 '20 at 12:05
  • This looks very clean! – justhalf Apr 27 '20 at 13:20
  • The volume could also be computed without integrals, by decomposing the solid into 4 cone slices, 4+4 tetrahedra and 1 square pyramid. The result agrees with your formula. – Intelligenti pauca Apr 27 '20 at 14:31
  • 2
    @Aretino I was rendering the images for that bit as you were typing ^^ – AlienAtSystem Apr 27 '20 at 14:43
  • Out of curiosity, how did you parametrized the box for rendering with blender? – Margaret Bloom Apr 28 '20 at 06:58
  • 2
    @MargaretBloom I didn't. I took a circle mesh of radius 1, added four vertices at height 2 and coordinates of +-1 in x and y, and connected the vertices along a quarter-circle with the corresponding top-layer vertex via triangular faces. Then it closed it off with triangles at the sides and a square face on top. The edges and vertices you see in the render are the only vertices the model has. – AlienAtSystem Apr 28 '20 at 07:05
  • 11
    An *astounding* first answer! Welcome to the site! – gen-ℤ ready to perish Apr 28 '20 at 07:07
  • Can this volume be folded from flat cardboard? I would think so but I'm not sure. – Joooeey Apr 28 '20 at 09:33
  • 4
    @Joooeey It can. The flat triangular sides are flat already, and oblique cones still have flat nets. – AlienAtSystem Apr 28 '20 at 10:08
  • 1
    That property (ability to be constructed from a flat piece of cardboard) is why I think this is the correct answer to the question. – David K Apr 29 '20 at 13:06
  • @DavidK There are other surfaces which also fulfil this property (including, I suspect but will not set out to prove, Aretino's proposal), so it's not really a decisive test. The true test would be to prove the unfolded net is the same as for a truncated cone, which is the shape of the box when the top is not folded. – AlienAtSystem Apr 29 '20 at 14:50
  • If the surface follows a straight line segment from the middle of the square to the closest point on the circle, and if the surface has zero curvature, is differentiable along that line, and satisfies some other conditions of differentiability that the box apparently satisfies (such as no extra “wrinkles” along the top edge except possibly at the corners of the square), it seems it should be possible to show the surface includes the triangle that circumscribes the edge and line segment. It then would remain only to show the conical parts. – David K Apr 29 '20 at 18:16
  • I’m sure there are other ways to join a circle to a square using a zero-curvature surface, for example by pushing a truncated cone into a square hole; I just doubt whether any others would end up looking sufficiently like this container. – David K Apr 29 '20 at 18:22
  • @DavidK You say "for example by pushing a truncated cone into a square hole" to get a different solution that also has zero gaussian curvature. I don't quite see what you have in mind here; could you say more? – Don Hatch Apr 29 '20 at 21:17
  • @DonHatch Consider a rigid sheet of metal with a square opening. take a paper cone whose base circumference is larger than the perimeter of the square and try to push or pull it through the opening. The sides of the square will push parts of the paper cone inward. In principle I think the cone would eventually touch the sides of the square all the way into the corners, so you would have something with a square cross section above and a circular cross section below. I admit I am not 100% sure how well this works. – David K Apr 29 '20 at 23:41
  • On further thought I think the actual container is probably not quite like any of the shapes that have been offered. It has no creases along the sides, which rules out most of the answers; on the other hand, the cardboard presumably was bent to this shape, not molded, and it defies belief that the bending moment goes from a constant non-zero value to zero exactly where the conical part of the surface meets the flat part. So I think there is some bending all around the lateral surface. But I still think this answer is the closest so far to the shape the box was designed to take. – David K Apr 30 '20 at 00:06
  • Worth noting, I think: your decomposition into pyramids and tetrahedra is a geometric interpretation of the prismatoid volume formula V = h/6(A1 + 4 A2 + A3). That is: the volume of the yellow inverted pyramid is h/6 A1, the total volume of the magenta pieces is h/6 A3, and the total volume of the four cyan tetrahedra is 4/6 h A2. – Don Hatch Apr 30 '20 at 06:02
  • Note that your decomposition can be integrated by simpson's rule if you know the cross section area of the top, the middle, and the bottom. – richard1941 May 01 '20 at 01:23
  • Alien at system i liked this explanation just one thing where you made the figures or is it possible to share the code? – ProblemDestroyer Mar 03 '22 at 19:16
73

As the shape of the solid is not clearly defined, I'll make the simplest assumption: lateral surface is made of lines, connecting every point $P$ of square base to the point $P'$ of circular base with the same longitude $\theta$ (see figure below).

In that case, if $r$ is the radius of the circular base, $2a$ the side of the square base, $h$ the distance between bases, a section of the solid at height $x$ (red line in the figure) is formed by points $M$ having a radial distance $OM=\rho(\theta)$ from the axis of the solid given by: $$ \rho(\theta)={a\over\cos\theta}{x\over h}+r\left(1-{x\over h}\right), \quad\text{for}\quad -{\pi\over4}\le\theta\le{\pi\over4}. $$ A quarter of the solid has then a volume given by: $$ {V\over4}=\int_0^h\int_{-\pi/4}^{\pi/4}\int_0^{\rho(\theta)}r\,dr\,d\theta\,dx= \frac{h}{12} \left(4 a^2+\pi r^2 + 2ar \ln{\sqrt2+1\over\sqrt2-1}\right). $$

enter image description here

Intelligenti pauca
  • 50,470
  • 4
  • 42
  • 77
  • 1
    Oh wow, thank you for the elaborate and easy-to-follow answer. Do you mind elaborating a bit more on how the different factors/operations done in your first equation gives us ρ(θ)? – Nemui Apr 26 '20 at 21:29
  • 1
    Would then be interesting to compare the volume obtained this way with an empirically measured volume by Archimedes' method and see how good it is (what percent error there is). – The_Sympathizer Apr 27 '20 at 04:31
  • 1
    @Nemui It's a linear interpolation: $M=(1-t)P+t P'$ and then, by similitude: $$t={PM\over PP'}={x\over h}.$$ – Intelligenti pauca Apr 27 '20 at 06:44
  • 4
    The surface in question is obviously one with zero curvature everywhere. Does yours satisfy that? – user21820 Apr 27 '20 at 08:46
  • 4
    My surface doesn't have zero curvature. If you want a surface without curvature (and smoother than mine) you can consider AlienAtSystem's answer. – Intelligenti pauca Apr 27 '20 at 09:44
  • 2
    By expanding the fraction inside the ln by $\sqrt{2}+1$, it can be simplified to $3+2\cdot\sqrt{2}$. This is the same coefficient as in J. M.'s answer, as expected, as both are based on the same model. – AlienAtSystem Apr 27 '20 at 10:30
  • Although this answer is twice J.M.'s answer for the $4a^2+\pi r^2$ term. – Teepeemm Apr 27 '20 at 12:30
  • @Teepeemm For $r\to0$ and $a\to0$ one should recover the volume of a cone or pyramid, i.e. $V=4a^2h/3$ and $V=\pi r^2h/3$ respectively. – Intelligenti pauca Apr 27 '20 at 12:57
  • 1
    QUOTE As the shape of the solid is not clearly defined, I'll make the simplest assumption: lateral surface is made of lines, connecting every point $P$ of square base to the point $P′$ of circular base with the same longitude $θ$ END QUOTE But another simple assumption is that you seek the volume of the convex hull of the disk and the interior of the square. – Michael Hardy Apr 27 '20 at 23:58
  • 3
    This is a clever answer, yet sadly incorrect as your linear approximation causes sharp points at the 'corners' while the physical container is smooth right up until it is a square. – Turksarama Apr 28 '20 at 05:53
  • @MichaelHardy Of course, but how do you compute the volume of the convex hull? – Intelligenti pauca Apr 28 '20 at 09:14
  • The container in the picture never becomes a square at the top, the corners remain curved (for obvious material constraint and ease of construction reasons) along their entire height. If it was actually a square (and assuming the same material constraints) this model would work exactly. @Turksarama – Nij Apr 28 '20 at 09:36
  • @Nij I think you may have missed the point of Turksarama's objection. Consider the cross section halfway between the bottom and top. In the real box, that cross section is quite smooth (radius of cuvature approx half that of the base). In this answer's approximation, that cross section isn't smooth at all; it makes 4 abrupt turns (see the red contour). So the shape proposed in this answer is quite different from the real one. – Don Hatch Apr 29 '20 at 23:37
15

Since it differs in circumference

Are you sure about this? One thing to note about the box is are the vertical stripes. Your image suggests that they have equal width and I see production- or design-wise reason why they shouldn’t have. However, this would make stacking them impossible (as noted by AlienAtSystem), if the boxes come partially pre-folded – which is hard to say. For this answer, I assume that cross sections of the box must have the same circumference, in particular the bottom and the top.

If the bottom is a circle with radius $r$, its area is $A_\text{bot} := πr^2$ and its circumference is $c := 2πr$. If the top is a square, it must have edges of length $a := \frac{c}{4} = \frac{πr}{2}$ and thus an area of $A_\text{top} := a^2 = \frac{π^2r^2}{4}.$

Now, for all the other horizontal cross sections, we have to make assumptions regarding their shape. The easiest assumption is that their area changes linearly along the height of the box¹. With this, we get that the average area of a horizontal cross section is $A_\text{av} = \frac{1}{2} (A_\text{top}+A_\text{bot})$. With $h$ as the height of the box, we arrive at:

$$V = A_\text{av}h = \frac{h}{2} (A_\text{top}+A_\text{bot}) = \frac{πhr^2 (π+4)}{8}.$$

Since there is little difference between the top and bottom area ($\frac{A_\text{bot}}{A_\text{top}} = \frac{4}{π} ≈ 1.27$), this approximation should suffice for most practical purposes.

If my initial assumption should be wrong, you can do the same calculation with $a$ decoupled from $c$ and arrive at $V=\frac{1}{2} h (πr^2+a^2)$.


¹ One might argue that it is the square root of the area should change linearly, as it does for cones, pyramids, and similar, but that is as much an assumption as a linearly changing area, given that we have bulging and similar.

Wrzlprmft
  • 5,718
  • 1
    Very nice observation regarding the stripes! – Džuris Apr 27 '20 at 22:06
  • One reason why they shouldn't is that if the circumference at the bottom and top is the same, the boxes can't be stacked efficiently. A box that is tapered even in its unfolded state can be put into a copy itself very easily, one that is exactly cylindrical cannot. Here's an unfolded example – AlienAtSystem Apr 28 '20 at 05:13
  • @AlienAtSystem: Good point, see my edit. – Wrzlprmft Apr 28 '20 at 06:46
  • 1
    I'm afraid your generalized answer fails the $a \to 0$ and $r \to 0$ test, in which the formula should turn into the volume formulas for a cone or pyramid, respectively. This is because your assumption that the cross section of those shapes changes linearly with height is wrong: They are proportional to the square of the height. You could adjust your answer while keeping the "average of areas" assumption, by using the volume formula of a prismatoid instead, which should give a result passing the limit test. – AlienAtSystem Apr 28 '20 at 07:11
  • 2
    @AlienAtSystem: I disagree that this test should be fulfilled. A corresponding box with $a→0$ or $r→0$ would not be a perfect cone or pyramid, but still bulge and similar. A linear change of root of area is as bad or good an assumption as a linear change of area. – Wrzlprmft Apr 28 '20 at 07:38
  • 1
    @AlienAtSystem your prismatoid observation is a good one. I agree the conceptually simplest and most plausible assumption is that the thing is a prismatoid, leading to a simple volume calculation by the prismatoid volume formula (from the height and three sample cross section areas, as in the wikipedia reference). Wrzlprmft's alternative hypothesis of linearly changing cross section area leads to a simpler formula (needing only two sample cross section areas) but I don't find it to be very physically plausible; in particular it certainly isn't going to have zero gaussian curvature. – Don Hatch Apr 29 '20 at 22:44
  • BTW I think "One might argue that it is the square root of the area that should change linearly" is a mischaracterization of @AlienAtSystem's suggestion. The suggestion is that the thing be modelled as simply a prismatoid with given base and top; as such, the area doesn't necessarily vary with square of height, but it does vary quadratically with height. (The examples being: a cone or pyramid resting on its apex varies with square of height, or, resting on its base, varies with square of one minus height; in any case the formula is indeed quadratic.) – Don Hatch Apr 29 '20 at 23:15
  • @DonHatch: 1) The prismatoid assumes zero curvature as well. 2) I am not saying anything about height. In pyramids, cones, and prismatoids you have lengths changing in a linear manner (since there is no curvature). Hence areas change quadratically. Or, to invert it: The square root of the area changes linearly. This is the backbone of the classical prismatoid volume formula. – Wrzlprmft Apr 30 '20 at 06:42
  • @Wrzlprmft No, "areas change quadratically" is not the same as "the square root of the area changes linearly". The latter is stronger. – Don Hatch Apr 30 '20 at 07:25
11

One can of course try to model the takeaway box as an appropriately constructed surface, and then compute a volume integral based on that.

My surface synthesis proposal uses this polar equation for a regular polygon (specialized to the square case) as a component, and I model the construction of the takeaway box as a linear interpolation between a circle of radius $r$ and a square with side length $2a$, and $h$ is the height of the box. The parametric equations can the be expressed as (written out in vector form to emphasize the components):

$$(1-v)\begin{pmatrix}r\cos\theta\\r\sin\theta\\0\end{pmatrix}+v\begin{pmatrix}a\varrho(\theta)\cos\theta\\a\varrho(\theta)\sin\theta\\h\end{pmatrix}\qquad 0 \le \theta \le 2\pi,\;0<v<1$$

where $\varrho(\theta)=\sec\left(\theta-\dfrac{\pi}{2}\left\lfloor\dfrac{2\theta}{\pi}+\dfrac12\right\rfloor\right)$.

Here is a plot of the surface using Mathematica:

With[{r = 2/3, a = 4/5, h = 5/3},
     ParametricPlot3D[(1 - v) {r Cos[t], r Sin[t], 0} +
                      v {a Sec[Mod[t + π/4, π/2] - π/4] Cos[t],
                         a Sec[Mod[t + π/4, π/2] - π/4] Sin[t], h},
                      {t, -π, π}, {v, 0, 1}, Exclusions -> None,
                      Mesh -> None, PlotPoints -> 35, PlotRange -> All]]

the box

The volume enclosed by this surface can be shown to be equal to

$$V=\frac{h}{6}\left(\pi r^2+4a\left(a+r\log\left(3+\sqrt{8}\right)\right)\right)$$

This surface isn't a perfect model, however. If you compare this surface with the box in the OP's picture, you'll notice that the transition from circle to square is a little more abrupt. One could try using a different transition to ease the edges in the box, but I'll leave the experimentation to someone else.

5

A more general approach

Discussions in the comments have identified two conditions which should be fulfilled for a valid model of the box given that it is constructed from cardboard:

  1. The lateral surface has a Gaussian curvature of 0, or more informally, can be unrolled into a flat surface without additional cuts
  2. If the radius of the bottom circle or the side length of the top square are set to 0, the formula should turn into the known formulas for the volume of a pyramid or cone, respectively. (This actually follows from the first condition, because those shapes are the only ones fulfilling it in this degenerate case)

A class of objects which automatically fulfil these conditions are prismatoids, which are polyhedral solids whose vertices lie on two parallel planes:

Sample prismatoid

Their lateral faces consist of triangles or trapezoids, which are automatically flat, and since there are no vertices in between the top and bottom surface, and therefore any lateral face can only connect to two neighbouring lateral faces, we can also unfold its lateral surface into a flat shape by "hinging" along the edges.

The prismatoid model can also be used as approximation for not polygonal top and bottom surfaces, by approximating them by increasingly fine polygons. For example, the model used by Aretino and J. M. can be approximated by a prismatoid by creating vertices at top and bottom positions corresponding to evenly spaced values of $\theta$. The model examined in my other answer can be approximated by taking evenly spaces vertices along the circle and connecting each to the closest corner of the square.

The good thing about prismatoids is that they have a very simple formula to calculate their volume, which requires one to know only the values of the area of the cross-sections at the top ($A_1$), bottom ($A_3$) and at half height ($A_2$). Then, the total volume of the solid is:

$$V= \frac{h}{6}(A_1 + 4 A_2 + A_3)$$

Since $A_1$ and $A_3$ are fixed by the nature of the problem as $\pi\cdot r^2$ and $a^2$, respectively, the choice of model for the shape of the solid is merely a choice of what value to assume for $A_2$.

In fact, by following the second condition to its conclusion, it can be shown that any model using the prismatoid approach must have in the end a volume formula of the shape:

$$V = h\left(\frac{1}{3}\pi r^2 + \gamma a r + \frac{1}{3}a^2\right)$$

In which there is only the choice of $\gamma$ remaining as free variable. While any particular model can then make additional claims about why it, and therefore its choice of $\gamma$ is the most valid one, as a more general overview the question can be posed: What is the possible valid range of $\gamma$? Or equivalently, what is the possible range for $A_2$?

As it turns out, the maximum $A_2$ is actually the one given by my other answer, as the described shape is actually the convex hull of the points on the circle and the square (something I'll state without proof because it should be easy enough for yourself to convince yourself of that fact), which has a $\gamma$ of $\frac{2}{3}$.

And for the prismatoid with the minimal $A_2$ (excluding self-intersecting or twisted models, because they don't agree with the problem as posed), I nominate this one:

Render of possible minimal-volume prismatoid

And its cross-section looks like this:

Cross-section of minimal-volume model

I can't prove that connecting each circle point to the closest midpoint of the square gives the least area, but it seems likely, as moving any one connecting appears to increase the cross-section.

The area, as can be shown by simple calculation of the square and circle segment areas, is:

$$A_2 = \frac{1}{4}a^2 + \frac{1}{\sqrt{2}} a r + \frac{\pi}{4} r^2$$

Plugging this into the volume formula gives:

$$V_{min} = h\left(\frac{1}{3}\pi r^2 + \frac{\sqrt{2}}{3} a r + \frac{1}{3}a^2\right)$$

With therefore a minimal $\gamma$ of $\frac{\sqrt{2}}{3}$ and a maximal $\gamma$ of $\frac{2}{3}$, we can ask the question:

How much does choosing the model then actually matter?

By taking a "cube" box as example with $h = 1$, $a=1$ and $r=\frac{1}{2}$, we can calculate the volumes and their differences:

$$\Delta V = V_{max} - V_{min} = \left(\frac{1}{12}\pi + \frac{2}{3}\right) - \left(\frac{1}{12}\pi + \frac{1}{3\sqrt{2}} + \frac{1}{3}\right) = \frac{2-\sqrt{2}}{6}$$

Or, in floating point units:

$$V_{max} \approx 0.928466$$ $$V_{min} \approx 0.830835$$ $$\Delta V \approx 0.097631$$

Or in other words, the choice of exact model changes the result in volume by at most 10%.

There is technically a "best" model among all possible choices of prismatoids, which is the one whose lateral surface is unrolled into the closest approximation of a circle ring sector, which is the lateral net of a truncated cone, the shape of the takeaway box before the top is folded, and a deformation of the paper which does not tear it has to preserve the net. However, I will not attempt to find which $\gamma$ this then results in, and only, based on the shapes of the models examined already, assume it is rather close to $\frac{2}{3}$.

  • 1
    To see that your nomination is indeed the minimum: the "non-twisted" symmetry assumption implies the 4 square vertices and 4 square edge midpoints must be connected to the respective 8 closest points on the circle base. Therefore what remains to decide is, for any given one of the 8 sections, how to connect up that half-edge of the square to that 1/8th-circle arc, with straight lines. To see that your other answer is the maximum, just notice that it contains all other possible solutions; likewise, to see that this answer is minimum, notice that it's contained in all other possible solutions. – Don Hatch Apr 30 '20 at 05:20