<< Chapter < Page Chapter >> Page >

When θ is the angle between the old top and the new one, then for the variation P θ we have

F ( P θ ) = ( 10 + 2 sec θ + 2 tan θ ) 3 1 + tan θ 2 ,

which has a minimum at θ = 0 .

Next, we varied the cube by fixing a vertex, lifting the diagonal vertex a certain height and the two adjacent vertices by half that height:

In this case, when θ was the angle between the old top and the new one, then for the variation P θ we have:

F ( P θ ) = ( 8 + 2 2 tan θ + 4 2 1 cos 2 θ + 1 ) ) 3 1 + 2 2 tan θ ,

which has minimum at θ = 0 .

The next variation of the cube is collapsing two of the sides together, so as to form a shape approaching the Regular Triangular Prism:

When θ is the angle of collapse, then

F ( P θ ) = ( 8 + 4 cos θ - 4 tan θ ) 3 1 - tan θ ,

which has minimum at θ = 0 , when the figure is a cube. Observe that although the figure with θ = π 6 is the Regular Triangular Prism, F ( P θ ) | π 6 with the formula given above is not F ( R T P ) . This is because when θ = π 6 , two vertical edges have collapsed into one, and our formula above double counts these edges at θ = π 6 .

Symmetrization of polyhedra

The next method we considered is derived from the Isoperimetric Problem, which asks to find the figure in the plane with unit area and whose boundary curve has the smallest length. The solution, of course, is the disk of unit area. An argument for this is via symmetrization. That is, take a region A in the plane and draw a line which cuts A into two connected regions A 1 , A 2 both with area 1 / 2 . Suppose then that the part of the boundary curve of A corresponding to A 1 has smaller length than that of A 2 , that is

length ( A A 1 ) = min { length ( A A 1 ) , length ( A A 2 ) } .

Consider the new region A 1 R ( A 1 ) where R ( A 1 ) is the reflection of A 1 across the line . Then A 1 R ( A 1 ) has unit area, but the length of the boundary curve of A 1 R ( A 1 ) is less than or equal to that of A . Hence, if A is a solution to the Isoperimetric Problem, then the claim is that A must be symmetric across every line which slices A into two regions of equal area, and so A must be a disk.

Although the solution to the Isoperimetric Problem is far more subtle than the argument given above, we nonetheless take the argument above as an analogy. That is, given a polyhedra P , we slice P via a plane H which cuts P into two polyhedra P 1 , P 2 with equal volume. Then letting P 1 have the smaller total edge length, where we only sum the edges which correspond to edges of P , then the polyhedron P 1 R H ( P 1 ) , where R H ( P 1 ) is the reflection of P 1 across H , will have V ( P 1 R H ( P 1 ) ) = V ( P ) and E ( P 1 R H ( P 1 ) ) E ( P ) , assuming that no new edges have been introduced when we took the reflection of P 1 across H and merged it with P 1 .

The difficulty is finding planes given a polyhedron P which halve the volume and which produce new polyhedra with no new edges introduced at the plane H when we reflect the two halves across H . We call such a plane a bisecting plane of P . If P and H intersect along a face of P which is not perpendicular to H , then a new edge will be introduced when we reflect. For the Regular Triangular Prism, there are only two such planes, and the Regular Triangular Prism is symmetric under the reflection across these planes:

There are only two such planes for the cube

Get Jobilize Job Search Mobile App in your pocket Now!

Get it on Google Play Download on the App Store Now




Source:  OpenStax, The art of the pfug. OpenStax CNX. Jun 05, 2013 Download for free at http://cnx.org/content/col10523/1.34
Google Play and the Google Play logo are trademarks of Google Inc.

Notification Switch

Would you like to follow the 'The art of the pfug' conversation and receive update notifications?

Ask