wu :: forums « wu :: forums - Convex Set Projection » Welcome, Guest. Please Login or Register. May 24th, 2022, 8:56pm RIDDLES SITE WRITE MATH! Home Help Search Members Login Register
 wu :: forums    riddles    hard (Moderators: Eigenray, ThudnBlunder, Grimbal, william wu, SMQ, Icarus, towr)    Convex Set Projection « Previous topic | Next topic »
 Pages: 1 Reply Notify of replies Send Topic Print
 Author Topic: Convex Set Projection  (Read 5279 times)
william wu

Gender:
Posts: 1291
 Convex Set Projection   « on: Nov 5th, 2003, 7:01pm » Quote Modify

Prove the following beautiful theorem:

The expected projected area of a convex set S is 1/4 the surface area of S.

(these hints outline an approach you can use)

Hint 1: Think about the expected projection of a single line segment of length L. (this calculation should not be difficult)

Hint 2: With your work with respect to Hint 1 in mind, think about the line segments that make up a convex polygon. Consider the projections of a convex polygon.

Note: (background)

1. "A set S in n-dimensional space is called a convex set if the line segment joining any pair of points of S lies entirely in S." - Mathworld

2. It is implied that the plane onto which we are projecting is chosen uniformly at random. So you can think of the plane's normal vector as a random variable.

3. Visually what is happening: Think of some egg-shaped ellipsoid (an example convex set) hovering in 3d space. Then you pick a 2D plane to place on one side of the egg. Now you shine a flashlight from the opposite side. This casts a shadow onto the plane. The area of this shadow is the "projected area" of the egg. The theorem says that if you average the areas you would get by considering all possible orientations of 2d planes to project on, the result will be one-fourth of the surface area of the egg!    It is quite amazing if you contemplate it for a while. You can have very different convex sets, such as flat triangles vs. solid spheres, and as long as they have the same surface area, the average projected area will be the same.
 « Last Edit: Nov 6th, 2003, 9:41pm by william wu » IP Logged

[ wu ] : http://wuriddles.com / http://forums.wuriddles.com
James Fingas
Uberpuzzler

Gender:
Posts: 949
 Re: Convex Set Projection   « Reply #1 on: Dec 10th, 2003, 6:44am » Quote Modify

The average projected area of a convex set can be considered to be the sum of the average projected areas of each of its facets. Each facet projects area over exactly half of a sphere, reaching its maximum area when face-on and decaying as the cosine of the angle between the normal to the facet and the normal to the projected plane.

We must average this over the entire hemisphere, normalized by solid angle. I will assume the facet has unit one-sided surface area and faces up. A plane is defined by the zenith [phi] (angle between vertical and the plane normal) and azimuth [theta] (90 degrees minus the angle between "North" and the cross product of vertical and the plane normal). These are probably not exactly the right definitions, but they're close enough for me!

[int] cos[phi] dA / [int] dA

where dA is the differential area of the unit hemisphere (aka solid angle), which is d[theta]sin[phi]d[phi] I think.

[int][int] cos[phi]sin[phi] d[theta]d[phi] / [int] sin[phi] d[theta]d[phi]

Now we could evaluate this the hard way, or we could notice that this is also the projection of the hemisphere onto the plane defined by the facet! That is just equal to the area of a circle, [pi]. The [int] dA is equal to 2[pi], but notice that the facet is only visible through half the sphere of view, so the average projection from the facet is equal to [pi]/2[pi]/2 = 1/4.

The projection of the convex set is the sum of the projections of its facets, and the surface area of the convex set is the sum of the surface areas of its facets.

QED!
 « Last Edit: Dec 10th, 2003, 6:46am by James Fingas » IP Logged