Roberts's triangle theorem, a result in discrete geometry, states that every arrangement of n {\displaystyle n} lines, with no parallel lines and no crossings of more than two lines, has at least n − 2 {\displaystyle n-2} triangular faces. Thus, three lines form a triangle, four lines form at least two triangles, five lines form at least three triangles, etc. It is named after Samuel Roberts, a British mathematician who published it in 1889.
Statement and example The theorem states that every simple arrangement of n {\displaystyle n} lines in the Euclidean plane has at least n − 2 {\displaystyle n-2} triangular faces. Here, an arrangement is simple when no two of its lines are parallel and no three lines pass through the same point. A face is one of the polygons formed by the arrangement, not crossed by any of its lines. Faces may be bounded or infinite, but only the bounded faces with exactly three sides count as triangles for the purposes of the theorem. One way to form an arrangement of n {\displaystyle n} lines with exactly n − 2 {\displaystyle n-2} triangular faces is to choose the lines to be tangent to a semicircle. For lines arranged in this way, the only triangles are the ones formed by three lines with consecutive points of tangency. The other faces of this arrangement are either bounded quadrilaterals, or unbounded. As the n {\displaystyle n} lines have n − 2 {\displaystyle n-2} consecutive triples, they also have n − 2 {\displaystyle n-2} triangles.
… excerpt ends here. Continue reading the full article.



