Abstract
Morley’s theorem shows that the three points, each of which is the intersection of the two internal trisectors that are the closest to the same side of an arbitrary triangle Δ , form an equilateral triangle. This beautiful theorem was proved mechanically by Wen-tsün Wu (J. Syst. Sci. Math. Sci. 4:207–235, 1984) in its most general form: the neighbouring trisectors of the three angles of Δ intersect to form 27 triangles in all, of which 18 are equilateral triangles, called Morley triangles. A natural question is: does there exist any equilateral triangle, other than Morley triangles, which is formed by three intersection points of the neighbouring angular n-sectors of Δ for n> 3 ? In this paper, we approach this question using specialized techniques with interactive, semi-automatic algebraic computations and prove that for n= 4 and 5 the three points, each of which is the intersection of the two internal (or two external) angular n-sectors closest to the same side of Δ , form an equilateral triangle if and only if Δ is equilateral. The computational approach we present can also be applied to other cases for specific n. How to establish the non-existence of equilateral triangles formed by the intersection points of angular n-sectors for general n is a question that remains for further investigation.
| Original language | English |
|---|---|
| Pages (from-to) | 757-773 |
| Number of pages | 17 |
| Journal | Mathematics in Computer Science |
| Volume | 14 |
| Issue number | 4 |
| DOIs | |
| State | Published - 1 Dec 2020 |
Keywords
- Algebraic computation
- Angular n-sectors
- Equilateral triangle
- Morley theorem
- Theorem proving
Fingerprint
Dive into the research topics of 'On n-sectors of the Angles of an Arbitrary Triangle'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver