A rectangular box (aka parallelepiped) looks like a sturdy object:
But this particular box, with dimensions 7.147 by 6.021 by 4.095, took me the better part of an hour to figure out.
It was a part of a numerical methods assignment: find the dimensions of a box with given volume , surface area , and diameter (i.e., space diagonal). Algebraic approach leads to pretty ugly expressions, which is the motivation for a numerical method. Specifically, the task was to apply the Newton-Raphson method to the map
Of course, I understood that not every triple is attainable. Also realized that the Jacobian of is degenerate when two of the coordinates coincide, which is a problem for the method. So I thought: let’s generate some random values that are not too close to one another, and give students the resulting parameters .
With , , and the parameters are , , and . Sure, a little rounding can’t hurt when numbers are of this size and we are quite far from the critical points of . So I put , and in one of the versions of the assignment.
But the Newton-Raphson method would not converge… because no such box exists! The rounding did hurt after all.
This motivated me to describe all attainable triples explicitly, which ended up being less of a chore than I expected. It helps to realize that , which reduces the search to the intersection of the sphere with the plane . This is a circle (called below), and the allowed range for is between the minimum and maximum of on .
This goes into Calculus 3 territory. Using Lagrange multipliers with two constraints looks like a tedious job. Instead, I decided to parametrize . Its center is where . The radius is . We also need an orthonormal basis of the subspace : the vectors
do the job.
So, the circle is parametrized by
This is not as bad as it looks: the product simplifies to
which tells us right away that the volume lies within
In terms of the original data the bounds for take the form
(And of course, cannot be negative even if the lower bound is.) It is easy to see that with equality only for a cube; however can be relatively small even when the box does not look very cube-ish. For the box pictured above, the tolerance is approximately ; after rounding and this drops to , and the desired volume of is way out of the allowable range .
Yes, the set of attainable triples is quite thin. Parallelepipeds are fragile objects: handle them with care.