Langley's Adventitious Angles


Langley’s Adventitious Angles is a mathematical problem posed by Edward Mann Langley in The Mathematical Gazette in 1922.

The problem

In its original form the problem was as follows:

Solution

A solution was developed by James Mercer in 1923. This solution involves drawing one additional line, and then making repeated use of the fact that the internal angles of a triangle add up to 180° to prove that several triangles drawn within the large triangle are all isosceles.
Many other solutions are possible. Cut the Knot list twelve different solutions and several alternative problems with the same 80-80-20 triangle but different internal angles.

Generalization

A quadrilateral such as BCEF is called an adventitious quadrangle when the angles between its diagonals and sides are all rational angles, angles that give rational numbers when measured in degrees or other units for which the whole circle is a rational number. Numerous adventitious quadrangles beyond the one appearing in Langley's puzzle have been constructed. They form several infinite families and an additional set of sporadic examples.
Classifying the adventitious quadrangles turns out to be equivalent to classifying all triple intersections of diagonals in regular polygons. This was solved by Gerrit Bol in 1936. He in fact classified all multiple intersections of diagonals in regular polygons. His results were confirmed with computer, and the errors corrected, by Bjorn Poonen and Michael Rubinstein in 1998. The article contains a history of the problem and a picture featuring the regular triacontagon and its diagonals.
In 2015, an anonymous Japanese woman using the pen name "aerile re" published the first known method to construct a proof in elementary geometry for a special class of adventitious quadrangles problem. This work solves the first of the three unsolved problems listed by Rigby in his 1978 paper.