I came across this problem in 5th grade. It was a warm-up problem in a textbook.[br][br][center][i]How many triangles can you make with 6 lines?[br][/i][/center]It seems straightforward, but can end up being a tricky problem the less you assume. Go ahead and try it for yourself. Below is an applet where you can draw some figures. Try to see what is the most triangles you can create with only six line segments.
The problem may see a bit abstract, but we can simplify the problem to something easier to understand. First, let's consider the case with just 3 lines. Obviously, we can only generate 1 triangle with 3 lines, but let's consider why this is the case.[br][br]A triangle is formed when [b]three lines intersect each other, but not at the same point[/b]. Corollary to this is no two lines can be parallel, otherwise they would not intersect (and would not generate a triangle). So, if we pick 3 non-parallel lines, and the lines intersect each other at unique points, we [i]must[/i] have 3 points of intersection (each pair [3x] of lines will intersect). So with 3 lines, we get 1 combination of these three intersections. Thus, we get 1 triangle.
Let's take this a step further. What is the maximum amount of triangles we can make with 4 lines?[br][br]Well, just like last time, we want to choose 4 lines that are [b]non-parallel [/b]and [b]no 3 lines intersect at the same point[/b], since this will give us the max amount of POIs. If no 2 lines are parallel, all 4 will intersect with every other line. Since every line intersects, if we pick any set of three lines we will find a triangle (Try in the graphic below). So in a group of 4 lines, we have 4 subsets of 3 lines creating 4 triangles.
Abstracting this concept to n lines, if we choose [b]n non-perpendicular lines [/b]where [b]no 3 lines intersect at the same point[/b], we can pick any set of 3 lines and find a triangle. Alternatively we could say that given n lines, we have:[br][center][math]\binom{n}{3}[/math] triangles[/center][br]Observe the example below of the answer to the 6 line problem. The maximum number of triangles we should be able to create is [math]\binom{6}{3}=20[/math] triangles. Try to count all 20! [br](Hint: try highlighting a set of 3 lines, then find the triangle made from their intersection)
We have a general formula for the maximum number of triangles formed in Euclidean geometry. What do you think will change if we were to work in Spherical coordinates?[br][br]Assuming that lines are the geodesics (great circles) around the sphere, what is the maximum number of triangles we can make using n lines on a sphere?[br][br]If you would like to, try it for yourself in the applet below. You are given the first 3 lines. How many triangles are there? How many more can there be if you add a fourth line?
We can see in the above example that now, 3 lines can make [b]EIGHT[/b] triangles! The fact that every line can intersect any other line TWICE creates a huge difference in the triangles we make. So the general answer may not a simple as it seems. [br][br][list=1][*]From the Euclidean example, we know that: We should be using [b]non-parallel lines[/b] where [b]no 3 lines will intersect at the same point[/b].[/*][*]Then taking what we know from spherical geometry, we know that [b]any two lines will intersect twice[/b], once on the front and once on the antipodal side.[/*][/list][br]Then, when we put these two concepts together we can find that with 3 lines we have a maximum 8 triangles. Consider:[br][list][*]The lines [i]j, k, [/i]and, [i]l[/i] intersect at points A, B, and C. This means we have 3 antipodal intersection points at A', B', and C',[/*][*]Then when we decide which 3 POIs to use to construct our triangle we will have: [/*][/list][center]{A, B, C}, {A', B, C}, {A, B', C}, {A, B, C'}, {A, B', C'}, {A', B, C'}, {A', B', C}, {A', B', C'}[br][/center][list][*]Which are 8 unique sets [/*][*]([i]Consider why we can't make a triangle from a point and its antipodal point. ex: {A, A', B}[/i])[/*][*]In fact, this is just the formula [math]2^3=8[/math] triangles. Since for each point we can choose to take the front point or the antipodal point.[/*][/list][br]So is our general formula just [math]2^n[/math]? We can choose to use either the front or antipodal POI for each of the lines and generate our triangles?
It's hard to count, but there are [b]not 16 triangles[/b] on the sphere. There are [b]32 triangles[/b]! Let's try and prove it.[br][list][*]In the previous case when we had only [u]3 lines[/u], we proved that there are [u]8 triangles[/u] on the sphere. [/*][/list][center][i]So what changes when we add the 4th line?[br][/i][/center][list][*]All 8 triangles that were there in the previous case are still there when we have add the 4 line. And this accounts for every triangle that can be created with the first 3 lines.[/*][*]So, we only need to consider triangles formed [u]including (using) the 4th line[/u].[/*][/list][br]To make this a bit easier to explain: let's notate the lines as: [i]j, k, l,[/i] and [i]m[br][br][/i]If [b][i]j, k, [/i]and [i]l[/i][/b] were the 3 original lines[br][list][*]They form [b]8 unique triangles[/b][/*][*]This comes directly from the previous proof[/*][/list][b][br][/b]Now, if we consider a triple using [i]m[/i]. For example: [b][i]j, k, and m[/i][/b][br][list][*]They should also form [b]8 unique triangles[/b][/*][*]They must form 8 [u]unique[/u] triangles from the ones made by[i] j, k, [/i][i]l[/i], since: all triangles formed by [i]j, k, l [/i][b]have [i]l [/i]as one side[/b], but the triangles made by [i]j, k, m[/i][b][i] [/i]do not have[i] l [/i]as a side, instead they have [i]m[/i][/b][/*][*]So none of the 8 triangles made by [i]j, k, m[/i] will overlap with the triangles made from [i]j, k, l[/i][/*][/list][br]This is true for both of the other triples: [b]j, l, m[/b][i] and [/i][b]k, l, m[br][/b][list][*]Both of these triples will create [b]8 unique triangles each[/b][/*][/list][br]Giving us a grand total of [math]4\times8=32[/math]triangles!
So that means the final formula is actually:[br][br][center]Given n lines we can make a maximum of [math]8\binom{n}{3}[/math] triangles.[/center]