Consider 3 random chords drawn in a unit circle. (Each chord is established using the random endpoints method, i.e., the endpoints of any chord are two points chosen randomly, uniformly and independently on the circumference of the circle.)
Now let p ( k ) , where 0 ≤ k ≤ 3 , be the probability that there are a total of k points of intersection (inside the circle) among these 3 random chords. (Note that if more than 2 chords intersect at the same point then that counts as just one point of intersection.)
Then if p ( 0 ) + p ( 1 ) − p ( 2 ) − p ( 3 ) = b a , where a , b are coprime positive integers, find a + b .
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.
Great solution. Thanks for posting it. I particularly like the way you've classified the different types.
Probably a simpler way to arrive at the result is to notice that p ( 0 ) + p ( 1 ) − p ( 2 ) − p ( 3 ) = 1 − 2 ( p ( 2 ) + p ( 3 ) ) , so you only need to count which ones produce 2 or 3 intersections. Of course, with your method of enumeration it's not much of a difference, but still something worth pointing out.
Nice write up! When I was working it out, I was doing something waaaay too complicated... This is a much better approach! :-P
Two years late to the party, I went about this the same way; if it's of interest, the 15 configurations (labelled with the number of crossings) is below. In order to work these out systematically, each column is defined by the point to which the leftmost point is joined; the rows are then the different configurations of the remaining 4 points (labelling clockwise from the left, the points are ABCDEF; the 1st column shows the configurations (AB,CD,EF), (AB,CE,DF), (AB,CF,DE); the 2nd column starts with (AC,BD,EF), and so on).
I mention the labelling system I used only because arranging the images into a grid showed some interesting structure.
The first point of the first chord is assumed to be 0 to simplify the expression some what.
The outermost Boole function returns 1 if the desired count has been achieved. The five way multiple integral counts the chord intersections.
The inner Boole functions return 1 if an intersection between the respective chords. There is one Boole function for each chord pair, of which there are 3 pairs.
The integral is executed for each possible intersection count, from 0 to 3. The results are converted to an Association (hash table).
I added an assistant function:
intersect = Block [ { p = ( ( $#$2 − $#$1 ) m o d 1 ) , a = ( ( $#$3 − $#$1 ) m o d 1 ) , b = ( ( $#$4 − $#$1 ) m o d 1 ) } , Boole [ ( 0 ≤ a ≤ p ∧ p ≤ b ≤ 1 ) ∨ ( 0 ≤ b ≤ p ∧ p ≤ a ≤ 1 ) ] ] & ;
p = Association [ Table [ n → Assuming [ ( $ \theta $1b ∣ $ \theta $2a ∣ $ \theta $2b ∣ $ \theta $3a ∣ $ \theta $3b ) ∈ R , ∫ 0 1 ∫ 0 1 ∫ 0 1 ∫ 0 1 ∫ 0 1 Boole [ intersect ( 0 , $ \theta $1b , $ \theta $2a , $ \theta $2b ) + intersect ( 0 , $ \theta $1b , $ \theta $3a , $ \theta $3b ) + intersect ( $ \theta $2a , $ \theta $2b , $ \theta $3a , $ \theta $3b ) = n ] d $ \theta $1b d $ \theta $2b d $ \theta $2a d $ \theta $3b d $ \theta $3a ] , { n , 0 , 3 } ] ] ⟶ Association [ 0 → 3 1 , 1 → 5 2 , 2 → 5 1 , 3 → 1 5 1 ]
The requested probability formula is computed.
r = Total [ p ] p ( 0 ) + p ( 1 ) − p ( 2 ) − p ( 3 ) ⟹ 1 5 7
The requested answer is computed.
Denominator [ r ] + Numerator [ r ] ⟹ 2 2
What a nice way to automate the reasoning! And so easy to upscale to more chords.
It took me a while to figure out what was going on, but it was well worth the effort.
Thank you. It comes, in part, from working with computers at the systems level for 55 years. I have a tendency of structuring problems in computer form. By the way, the expressions are Wolfram Mathematica's own transcriptions of the Mathematica expressions to L A T E X .
Problem Loading...
Note Loading...
Set Loading...
A total of 6 points are chosen on the circle, and are joined in pairs to form three chords. The probability that any two of these points are the same is 0 , and so the points may be assumed to be distinct. The exact placement of these points does not matter - all that matters is which pairs of points are connected, as below:
If the vertices are labelled A B C A B C in anticlockwise order around the circle (as in the middle picture), and then joined up alphabetically, there will be 3 intersections. If the vertices are labelled A A B C C B (as in the right-hand picture), there will be 0 intersections. Note that configurations where three or more chords are concurrent at the same point (for example, in the A B C A B C picture with the six points at the vertices of a regular hexagon) occur with probability 0 , and so can be ignored. We can make these labellings unique by requiring us to list in the vertices in order, starting from a particular point X on the circle, and labelling the first vertex we meet with A and the first vertex we meet that does not belong to the A chord with B . In the above diagrams, the point X could be situated at about 1 0 o'clock, so the appropriate labelling for the left-hand picture is A B C B C A . Again, the probability that any one of the vertices is actually at the point X is 0 , so we can assume that this labelling scheme is uniquely and unambiguously defined.
Since the six points are chosen independently and uniformly around the circle, the different vertex labellings are equally likely. There are 2 ! × 2 ! × 2 ! 6 ! = 9 0 ways of ordering the symbols A , A , B , B , C , C , and these reduce to 1 5 sets of 6 , where the 1 5 sets can be classified by assuming that A and B are the first and second distinct letters seen. Given the conventions adopted above for making chord labellings unique, these 1 5 labelling types are the only possiblities, and each of the 1 5 types is equally likely to occur. Going through these 1 5 labelling types, we easily see how many chord intersections each type yields:
T y p e A A B B C C A B A B C C A B B A C C A B B C A C A B B C C A I n t e r s e c t i o n s 0 1 0 1 0 T y p e A A B C B C A B A C B C A B C A B C A B C B A C A B C B C A I n t e r s e c t i o n s 1 2 3 2 1 T y p e A A B C C B A B A C C B A B C A C B A B C C A B A B C C B A I n t e r s e c t i o n s 0 1 2 1 0 Thus we deduce that p ( 0 ) = 1 5 5 p ( 1 ) = 1 5 6 p ( 2 ) = 1 5 3 p ( 3 ) = 1 5 1 and hence p ( 0 ) + p ( 1 ) − p ( 2 ) − p ( 3 ) = 1 5 7 , making the answer 7 + 1 5 = 2 2 .