Hyper-intriguing Ornament I - Inspired by Otto Bretscher

Geometry Level 2

Consider a hyper-ball x 2 + y 2 + z 2 + w 2 25 x^2 + y^2 + z^2 + w^2 \leq 25 and a concentric hyper-cube [ 4 , 4 ] 4 \left[-4,4 \right]^4 . What percentage of the (hyper) volume of the hyper-ball resides within the hyper-cube? Round your answer to the nearest integer.

Here is a link to Otto Bretscher 's problem.


The answer is 88.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

Otto Bretscher
Dec 29, 2018

Another very good problem, Comrade! I should have started with this one as a gentle introduction to mine.

Although the formula R 3 π 2 2 \frac{R^3\pi^2}{2} for the hypervolume of a hyperball of radius R R is well known , let's derive it from first principles, for practice. This will also help us later on: V t o t a l = 2 B 5 25 x 2 y 2 z 2 d V = 8 π 0 5 25 ρ 2 ρ 2 d ρ = 625 π 2 2 , V_{total}=2\int\int\int_{B_5} \sqrt{25-x^2-y^2-z^2} \ dV=8\pi \int_0^5 \sqrt{25-\rho^2}\ \rho^2 d\rho=\frac{625\pi^2}{2}, where B r B_r is the ball x 2 + y 2 + z 2 r 2 x^2+y^2+z^2\leq r^2 in R 3 \mathbb{R}^3 .

This hyperball has eight "caps" outside the hypercube, where the absolute value of one of the variables is 4 \geq 4 . Luckily, the intersection of any two of these caps is empty, unlike here , since 4 2 + 4 2 > 5 2 4^2+4^2>5^2 . By symmetry, it suffices to find the hypervolume of one of those caps; let's look at w 4 w\geq 4 . Now, on the hypersphere, w 4 w\geq 4 means that ρ 3 \rho\leq 3 , so that V c a p = B 3 ( 25 x 2 y 2 z 2 4 ) d V = 4 π 0 3 ( 25 ρ 2 4 ) ρ 2 d ρ = 625 π 2 arcsin ( 3 5 ) 186 π V_{cap}=\int\int\int_{B_3} (\sqrt{25-x^2-y^2-z^2}-4) \ dV=4\pi \int_0^3 (\sqrt{25-\rho^2}-4)\rho^2 d\rho=\frac{625\pi}{2}\arcsin\left(\frac{3}{5}\right)-186\pi The required proportion is V t o t a l 8 V c a p V t o t a l 0.877 88 % \frac{V_{total}-8V_{cap}}{V_{total}}\approx 0.877\approx \boxed{88}\text{\%}

Thanks, Otto, again with an elegant (and inspiring (-: ) solution!

Huan Bui - 2 years, 5 months ago

Log in to reply

Now, go ahead and do the volume of the hypersphere the same way, subtracting the caps from the total!

Otto Bretscher - 2 years, 5 months ago

Log in to reply

I might be a bit confused here, Otto. What do you mean?

Huan Bui - 2 years, 5 months ago

Log in to reply

@Huan Bui I think you can figure it out yourself; you have a brilliant mind and a fine education ;) Remember that we often found the area of a surface by parameterizing it as a graph; do the same here! If I had to write a solution, I would just lift my solution above and modify it.

Otto Bretscher - 2 years, 5 months ago

Log in to reply

@Otto Bretscher Oh, you meant surface area. You said "volume." Got it now!

Huan Bui - 2 years, 5 months ago

Log in to reply

@Huan Bui No, it is "volume." The hypersphere is a 3-manifold that has a volume, just like a surface (a 2-manifold) has an area and a curve (a 1-manifold) has a length, regardless of the dimension of the space it is embedded in.

Otto Bretscher - 2 years, 5 months ago

Log in to reply

@Otto Bretscher Oh so it's a distinction between volume and hyper-volume. This just shows that I'm not such a morning person :-)

Huan Bui - 2 years, 5 months ago

Log in to reply

@Huan Bui I know, it's confusing!

Let me give you one more hint, by analogy, although you may not need it at this point. Think about the two problems of (a) finding the volume of the upper unit semiball and (b) finding the area of the upper hemisphere. You can do both problems by integrating over the unit disc, but you will integrate different functions in the two cases, 1 x 2 y 2 \sqrt{1-x^2-y^2} in (a) and the scaling factor in (b).

Otto Bretscher - 2 years, 5 months ago

Log in to reply

@Otto Bretscher Thanks, Otto, for the insight.

Huan Bui - 2 years, 5 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...