Choose 3 points at random on a unit sphere. The probability that none of the points is within an arc length of 2 π of any other point is b π a , where a and b are coprime. Find a + b .
Clarification: The arc length distance between any two points on a sphere is measured along the great circle defined by those two points.
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.
Wow, we posted a solution to this at nearly the same time!
Your solution is so advanced I am really struggling to understand it! This is why I tell people you are a living legend.
∫ 0 2 π sin θ d θ = 0 What gives?
Log in to reply
You obviously just switched the d θ and d ϕ ok
Log in to reply
Wait. It would be 1 + cos u then...
Log in to reply
@James Wilson – A couple of typos have been fixed; this should clear things up...
Log in to reply
@Mark Hennings – Thanks. I am studying to understand your solution.
I'm getting f A ( u ) to be the probability density of having A = u . And then f A ( u ) 2 π π − u to be a conditional probability density (the product of a probability and probability density). I don't understand how f A ( u ) is a probability generating function. Is it just me?
Log in to reply
Well maybe conditional probability is not what I meant, but you know what I'm talking about: the product of the probabilities of independent events.
So, yeah I'm quite certian you meant to say probability density function. No sweat. Would you do me a favor, and look at my comment on my solution and tell me if you think what I typed are sufficient conditions for d z d s to be defined as lim Δ z → 0 ∣ ∣ ∣ Δ z M Δ z − M 0 ∣ ∣ ∣ , given the right conditions on M 0 and the surface itself? (In this case, the dot product condition especially seems to restrict Δ z to appear exclusively next to z and not next to (be added to) ϕ . I wonder if this is true in general.)
I put the unit sphere on a Cartesian coordinate system centered at the origin. I then assumed that the first of the three points was on the south pole (i.e., the point ( 0 , 0 , − 1 ) ). Note: I do not lose any generality by doing this.
Then the next (second) point can only be located at any given point on the top half of the sphere. This means that the probability that the second point is not within an arc length of 2 π of the first point is 2 1 . Next I find the probability the third point is not within an arc length of 2 π of the other two points and multiply this by 2 1 to get the probability that none of the points are within an arc length of 2 π of any other point.
So, I will turn my attention to the subset of the top half of the sphere where the third point would not be within an arc length of 2 π of the second point. Let the coordinates of the second point be given by ( x , y , z ) . Consider the plane through the origin perpendicular to the vector < x , y , z > . It intersects the unit sphere in a great circle that divides the sphere into two halves where one of the halves is a restricted region for the third point.
The great circle that lies in the xy-plane and the aforementioned great circle form a region that the third point must be confined to. This region is a diangle. Its area is 2 θ , where θ is the angle between the planes.
The angle of interest between the planes is the same as the angle between the vectors ( − x , − y , − z ) (negation of the location of the second point) and ( 0 , 0 , − 1 ) (south pole). I found the angle between the vectors using the two formulas for the dot product: < − x , − y , − z > ⋅ < 0 , 0 , − 1 > = x 2 + y 2 + z 2 0 2 + 0 2 + ( − 1 ) 2 cos θ ⇒ θ = cos − 1 z .
Therefore, the area of the region the third point is restricted to is 2 cos − 1 z . For each planar slice (where the plane is parallel to the xy-plane), the distance around the unit sphere is 2 π 1 − z 2 . If we divide 2 π 1 − z 2 by the surface area of the top half of the sphere, 2 π , and multiply it by d s , it tells us the proportion of the area of the infinitesimal strip to the area of the whole top half of the sphere. I then multiply this by the proportion of the area of the diangle, 2 cos − 1 z , to the surface area of the whole sphere, 4 π , and integrate the result to find the probability that the third point is not within an arc length of 2 π of any other point.
But, first, I must find d s . I have designed my own approach for solving this problem (this particular method may already exist elsewhere though or it may even have a flaw). The following equation describes each circular slice parallel to the xy-plane of the top half of a sphere: ( x , y , z ) = ( 1 − z 2 cos ϕ , 1 − z 2 sin ϕ , z ) corresponding to each value of z from 0 to 1 . I will perturb z by Δ z and note that the set of mappings M Δ z that map ( 1 − z 2 cos ϕ , 1 − z 2 sin ϕ , z ) to ( 1 − ( z + Δ z ) 2 cos ϕ , 1 − ( z + Δ z ) 2 sin ϕ , z + Δ z ) have the property that lim Δ z → 0 M Δ z = M 0 = I , where I is the identity mapping. Then I claim that d z d s = lim Δ z → 0 ∣ ∣ ∣ Δ z M Δ z − M 0 ∣ ∣ ∣ . Using this possibly questionable definition (and bringing the limit inside the magnitude bars), I find d z d s = ∣ < 1 − z 2 − z cos ϕ , 1 − z 2 − z sin ϕ , 1 > ∣ = 1 − z 2 1 .
Therefore, 2 π 1 ∫ 0 1 cos − 1 z 1 − z 2 d s = 2 π 1 ∫ 0 1 cos − 1 z 1 − z 2 d z d s d z = 2 π 1 ∫ 0 1 cos − 1 z d z = 2 π 1 [ x cos − 1 x − ( 1 − x 2 ) 2 1 ] 0 1 = 2 π 1 . Multiplying by the 2 1 I mentioned at the beginning gives the final answer of 4 π 1 .
Per my method of calculating d s : I think I also need to specify the following property of M Δ z : lim Δ z → 0 ( Δ z M Δ z − M 0 ) ⋅ ∂ ϕ ∂ M 0 = 0 , where the dot means dot product. I came up with this on my own, so please let me know what you think.
Log in to reply
What you are doing is parametrizing the surface of the unit sphere by the height z and an angle of "longitude": r = ⎝ ⎛ 1 − z 2 cos ϕ 1 − z 2 sin ϕ z ⎠ ⎞ and wanting to perform the area integral P = 4 π 1 ∬ S d A over the region S of the sphere defined by 0 < z < 1 , 0 < ϕ < cos − 1 z . This determines the proportion of the sphere for which all three points are in different hemispheres, and hence the desired probability. To do this we calculate the infinitesimal normal-pointing area element d A = ∂ z ∂ r × ∂ ϕ ∂ r d z d ϕ = − ⎝ ⎛ 1 − z 2 cos ϕ 1 − z 2 sin ϕ z ⎠ ⎞ d z d ϕ = − r d z d ϕ and hence we obtain the scalar infinitesimal area element d A = d z d ϕ and hence P = 4 π 1 ∫ 0 1 ∫ 0 cos − 1 z d ϕ d z = 4 π 1 ∫ 0 1 cos − 1 z d z = 4 π 1
You might want to read about multidimensional integration and parametrizations, Jacobians and the like.
I have created a new problem to show you that I have been practicing. If you would like to check it out, here is a link: https://brilliant.org/problems/make-aristotle-proud/
Problem Loading...
Note Loading...
Set Loading...
We want none of the two points to lie in the same hemisphere.
It doesn't matter where the first point goes, so suppose that the first point is at the North pole of the sphere. Let A be the angle subtended at the centre of the sphere by the first two points. If A ≤ u where 0 ≤ u ≤ π , then the second point must lie in a "polar cap" of area ∫ 0 u ∫ 0 2 π sin θ d ϕ d θ = 2 π ( 1 − cos u ) and hence P [ A ≤ u ] = 2 1 ( 1 − cos u ) , and hence A has probability density function f A ( u ) = { 2 1 sin u 0 0 ≤ u ≤ π o . w . Suppose now that A = u > 2 1 π , so that the first two points are in different hemispheres. Rotate the point of view so that both points lie on the equator. Then the third point will not be in the same hemisphere as either of the two points provided that it lies in an "orange-slice" shaped segment that has longitudinal width π − u . Thus the probability that all three points lie in different hemispheres is ∫ 2 1 π π f A ( u ) 2 π π − u d u = 4 π 1 ∫ 2 1 π π ( π − u ) sin u d u = 4 π 1 which makes the answer 1 + 4 = 5 .