Abstract:There is well-known problem of geometric probability which can be quote as the Broken Spaghetti Problem. It addresses the following question: A stick of spaghetti breaks into three parts and all points of the stick have the same probability to be a breaking point. What is the probability that the three sticks, putting together, form a triangle?
In these notes, we describe a hidden geometric pattern behind the symmetric version of this problem, namely a fractal that parametrizes the sample space of this problem. Using that fractal, we address the question about the probability to obtain a $\delta$-equilateral triangle.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the classic "Broken Spaghetti Problem", that is, after a piece of spaghetti is broken into three pieces, what is the probability that these three pieces can form a triangle. Specifically:
1. **Classic version**: A piece of spaghetti is randomly broken into three pieces, and the lengths of each piece are \( l_1, l_2, l_3 \) respectively, and the probability of all points as break points is the same. The question is whether these three pieces can form a triangle.
2. **Symmetric version**: Consider the breaking problem in the symmetric case, that is, regardless of the order of the three pieces, only care about whether their lengths can form a triangle.
### Main contributions
- **Geometric interpretation**: The paper explains this problem through geometric methods and introduces a fractal structure to parameterize the sample space.
- **Probability calculation**:
- For the classic version, the known probability is \( \tilde{P}=\frac{1}{4} \).
- For the symmetric version, the paper gives a new probability \( P = \frac{1}{8} \).
### Formulas and derivations
For the classic version, let the total length of the spaghetti be 1, and the lengths of the three pieces after breaking are \( l_1, l_2, l_3 \) respectively, satisfying:
\[ l_1 + l_2 + l_3=1 \]
In order to form a triangle, the triangle inequality must be satisfied:
\[ l_1 + l_2>l_3, \quad l_1 + l_3>l_2, \quad l_2 + l_3>l_1 \]
These conditions can be simplified to:
\[ l_1\leq\frac{1}{2}, \quad l_2\leq\frac{1}{2}, \quad l_3\leq\frac{1}{2} \]
Therefore, the sample space \( \tilde{T} \) that meets the conditions is an equilateral triangle with a side length of \( \frac{\sqrt{3}}{3} \), and its area is one - fourth of the original sample space \( \tilde{E} \):
\[ \tilde{P}=\frac{\text{Area}(\tilde{T})}{\text{Area}(\tilde{E})}=\frac{1}{4} \]
For the symmetric version, the sample space \( E \) is the quotient space \( \tilde{E}/S_3 \) after the action of the symmetric group \( S_3 \). Through the description of the fractal structure, the final probability obtained is:
\[ P=\frac{1}{8} \]
### Fractal structure
The paper describes in detail how to construct a fractal structure through an iterative process and shows the changes in the sample space. Each step involves deleting certain regions, and finally the sample space converges to a specific point \( G = \left( \frac{1}{3}, \frac{1}{3}, \frac{1}{3} \right) \).
### Conclusion
The paper not only solves the symmetric version of the Broken Spaghetti Problem, but also shows the geometric complexity of the problem by introducing a fractal structure, and provides a good case for students to understand probability and fractals.