TY - JOUR
T1 - On n-sectors of the Angles of an Arbitrary Triangle
AU - Wang, Dongming
AU - Huang, Bo
AU - Chen, Xiaoyu
N1 - Publisher Copyright:
© 2020, Springer Nature Switzerland AG.
PY - 2020/12/1
Y1 - 2020/12/1
N2 - 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.
AB - 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.
KW - Algebraic computation
KW - Angular n-sectors
KW - Equilateral triangle
KW - Morley theorem
KW - Theorem proving
UR - https://www.scopus.com/pages/publications/85087569546
U2 - 10.1007/s11786-020-00492-y
DO - 10.1007/s11786-020-00492-y
M3 - 文章
AN - SCOPUS:85087569546
SN - 1661-8270
VL - 14
SP - 757
EP - 773
JO - Mathematics in Computer Science
JF - Mathematics in Computer Science
IS - 4
ER -