Wikipedia:Reference desk/Archives/Mathematics/2009 May 5

Mathematics desk
< May 4 << Apr | May | Jun >> May 6 >
Welcome to the Wikipedia Mathematics Reference Desk Archives
The page you are currently viewing is an archive page. While you can leave answers for any questions shown below, please ask new questions on one of the current reference desk pages.


May 5

edit

Möbius strip

edit

Could someone with a little mathematical proficiency check this edit. There was no edit summary, and the page gets vandalized enough that I wonder (but am way over my head). Thanks! Rivertorch (talk) 05:22, 5 May 2009 (UTC)[reply]

I have reverted the edit. It wasn't exactly wrong, but it generated a Mobius strip that was wider than described in the text. Gandalf61 (talk) 06:17, 5 May 2009 (UTC)[reply]
Thank you. Rivertorch (talk) 08:42, 5 May 2009 (UTC)[reply]

A couple probability questions about points on a sphere

edit

Hi there - I'm having trouble with a couple very similar questions regarding 'spaceships' on a sphere: firstly,

Planet Zog is a ball with centre O. Three spaceships A, B and C land at random on its surface, their positions being independent and each uniformly distributed on its surface. Spaceships A and B can communicate directly by radio if ∠AOB < π/2, and similarly for spaceships B and C and spaceships A and C. Show that the probability that all three spaceships can keep in touch (with, for example, A communicating with B via C if necessary) is (π + 2)/(4π).

I've found a solution to this online - http://www.hh.se/download/18.6a03046111cbe403d8e80004596/ex1sol01-06.pdf, question 5b - but can anyone explain why (on p11) the relevant integral is  ? More specifically, where do the  , 1/2π and   come from? Thankyou very much.


Secondly, I've spent hours thinking about this and not got very far with it (sigh):


i) Let   be events such that   for   . Show that the number N of events that occur satisfies  .

ii) Planet Zog is a sphere with centre O. A number N of spaceships land at random on its surface, their positions being independent, each uniformly distributed over the surface. A spaceship at A is in direct radio contact with another point B on the surface if ∠AOB < π/2 . Calculate the probability that every point on the surface of the planet is in direct radio contact with at least one of the N spaceships.

The first part is fine, and I presume the second part is phrased so that we use the formula in i) where   are the events that 'i' regions are out of spaceship contact. I'm pretty sure you can only have at most 1 region out of spaceship contact, so we only need   - how do I calculate this though? The question gives the hint: "The intersection of the surface of a sphere with a plane through the centre of the sphere is called a great circle. You may find it helpful to use the fact that N random greatcircles partition the surface of a sphere into N(N−1)+2 disjoint regions". Where do I go now? Sorry for the long question and apologies if it's too much to ask, any help however small would be very appreciated. Otherlobby17 (talk) 15:32, 5 May 2009 (UTC)[reply]

ii) Should this '∠AOB < π 2' be '∠AOB < π/2' ? --CiaPan (talk) 15:51, 5 May 2009 (UTC)[reply]
Yes, apologies - it's fixed now.Otherlobby17 (talk) 16:27, 5 May 2009 (UTC)[reply]
It may be best to think of the factors of   and   as arising from the Jacobian to transform from Cartesian coordinates to spherical coordinates (compare Multiple integral#Spherical_coordinates). The Jacobian is usually given as  , but here you do not need to integrate over radius, so the   is a constant (which disappears after normalization), and the   is replaced by   because   and   represent elevation instead of inclination (the sum of elevation and inclination is  , so the cosine of the inclination is equal to the sine of the elevation) (elevation measures the angle above the equator, and inclination measures the angle beneath the north pole). You have both   and   instead of just one Jacobian because you are integrating over the surface of the sphere twice, once for each point (as the third point can be fixed to the north pole, as is done here).
An alternative way to think of the factors of   and   is that they are a consequence of the fact that the sphere is not equally "wide" at all elevations (it's not a cylinder); the horizontal cross-section of the sphere at an elevation of   above the equator produces a circle with radius  . Thus the factor of   quantifies the fact that a random point on a sphere is more likely to be near the equator than near the north pole.
The factor of   arises from normalization. Analogously, if you have 3 ways to have event A, 4 ways to have event B, and 5 ways to have event C, then the probability of A is  ; here the "3 + 4 + 5" in the denominator is a normalization so that the probability is "out of 1". Eric. 131.215.159.91 (talk) 18:41, 5 May 2009 (UTC)[reply]
That's great - I had a feeling it might be the Jacobian but I couldn't see why it wouldn't be the standard   - thanks for explaining! Could anyone give me any suggestion for the second question please? Otherlobby17 (talk) 21:33, 5 May 2009 (UTC)[reply]
You were on the right track by observing that at most one region can be out of radio contact. However your choice of the   is uninteresting, as for all i bigger than 1 the event   never occurs. Think of the problem this way: what is the probability that any particular region is out of radio contact with all spaceships? (More precisely, suppose that for each spaceship I specify a point on the surface of the sphere such that the spaceship either landed there or directly opposite that point. This is enough information to make all the regions on the sphere but not enough to determine whether they are in or out of radio contact.) Once we know the probability that a particular region is out of radio contact, then using the fact that at most one region is out of radio contact (which you should prove -- it is easy if you don't want to be too rigorous), one can find the probability that there exists a region out of radio contact straightforwardly. I'll admit I don't like this approach because it feels hand-wavy, but it should give the right result. Eric. 131.215.159.91 (talk) 08:52, 6 May 2009 (UTC)[reply]
Maybe one can tell it this way. Say that we are given n distinct great circles (C1,.., Cn) on the sphere. The sphere minus the great circles is union of n2-n+2 connected components (the regions). Also, there are 2n possible n-ples of closed hemispheres (H1,..,H n) having those circles as boundaries; each of these n-ples of hemispheres either is a covering of the sphere, or its union is the complement of exactly one region (because an intersection of hemispheres is geodetically convex, hence connected, &c). Therefore exaclty n2-n+2 out of the 2n n-ples of hemispheres are not coverings. Since this number is a.e. constant wrto the choice of great circles, the probability that   independently and uniformly chosen hemispheres is a covering of the sphere is 1-(n2-n+2)/2n. Notice that this easily generalizes to the d dimensional sphere (the number of regions is then given by the d-degree polynomial that interpolates 2n for n=1,2,..,d+1).
As to the initial question, the value (π+2)/4π is correct, but the given solution via triple integral seems quite more complicated than we need. Consider the random vairable angl(A,B): its distribution density is proportional to the length of the circle drawn by the points B such that angl(A,B)=α keeping A fixed, therefore is sin(α)/2, for all α in [0,π]. Consider the probability P(α) that A,B,C be in radio contact conditioned to the event that angl(A,B)=α. Clearly P(α) is proportional to the area of the set of admissible points for C to make radio connection with A and B, assuming A and B fixed with angl(A,B)=α. You just have to distinguish whether α<π/2 (union of two hemispheres) or α>π/2 (intersection of two hemispheres), and you'll find: P(α)= (π+α)/2π, if α<π/2, and P(α)= (π-α)/2π if α>π/2. The probability that A,B,C be in radio contact is  , which is therefore easily computed (write it as   &c)--pma (talk) 22:04, 6 May 2009 (UTC)[reply]

Arclength of tan from pi eigths to pi fourths

edit

Hi, Im trying to find the arclength of   from  /8 to  /4. The arclength equals   So that gives us   My question is, how does one proceed from here? Alyosha (talk) 16:51, 5 May 2009 (UTC)[reply]

Tangent function is monotonically increasing over the interval given, so there exist an inverse function, arc tan. And it has a very nice derivative...
I have not tried it, but possibly swapping the variables would lead you to a simpler expression to integrate. And don't forget to 'translate' integral limits to a new domain. --CiaPan (talk) 20:05, 5 May 2009 (UTC)[reply]
You need to make a trig substitution, i.e. u = trig(x), where trig is a particular trigonometric function. Once you do that, and correctly replace dx with du, it can be simplified into something that can be easily solved. Dragons flight (talk) 09:02, 6 May 2009 (UTC)[reply]

Rational points on a circle

edit

Let (x, y) be a point satisfying the equation  . Let  .

Then,  .

Proof:

 

 

 

The proof then says:

 

However, I am unsure how this was obtained. Could someone clarify the step for me, so I can continue the proof? —Preceding unsigned comment added by 82.32.49.186 (talk) 20:39, 5 May 2009 (UTC)[reply]

How what was obtained? The last step, after your words "The proof then says"? The equation you started out with, x2 + y2 = 1, entails that y2 = 1 − x2, so you can replace y2 with 1 − x2. That is what was done in that last step.
Or did you mean something before that step? Michael Hardy (talk) 20:52, 5 May 2009 (UTC)[reply]
If it wasn't clear to you which part of the proof I was referring to, then god have mercy on your soul. Thankyou for the clarification, however, I can continue the problem. —Preceding unsigned comment added by 82.32.49.186 (talk) 21:23, 5 May 2009 (UTC)[reply]
You're welcome. It looked as if you were asking about that last step, but I hesitated to believe that you meant that, since it seemed a lot simpler than the ones before it. In view of that situation, I think I should be considered somewhat less profoundly wicked than you suggest. Michael Hardy (talk) 00:00, 6 May 2009 (UTC)[reply]