On Some Properties of the Equilateral Triangles with Vertices Located on the Support Sides of a Triangle

: The possible positions of an equilateral triangle whose vertices are located on the support sides of a generic triangle are studied. Using complex coordinates, we show that there are infinitely many such configurations, then we prove that the centroids of these equilateral triangles are collinear, defining two lines perpendicular to the Euler’s line of the original triangle. Finally, we obtain the complex coordinates of the intersection points and study some particular cases.


Introduction
Let ∆ABC be a triangle in the Euclidean plane, and denote the complex coordinates of the vertices A, B, and C by a, b, and c, respectively.We examine some geometric properties of the equilateral triangles ∆MNP whose vertices are located on the support sides of ∆ABC, that is, M ∈ BC, N ∈ AC, and P ∈ AB.
The problem studied in this paper is related to a known general topological property.The polygon P is said to be inscribed in the Jordan curve γ (not necessarily contained in the interior of γ) if all the vertices of P are located on γ [1].While Jordan curves can be complicated, they satisfy certain regular properties in this respect.For example, Meyerson [2] showed that an equilateral triangle can be inscribed in every Jordan curve, as illustrated in Figure 1.Later on, Nielsen proved the following result ( [3], [Theorem 1.1]): Let J ⊂ R 2 be a Jordan curve and let ∆ be any triangle.Then infinitely many triangles similar to ∆ can be inscribed in γ.Similar results exist for Jordan curves in R n [4].Interestingly, Toeplitz's statement from 1911 that every Jordan curve admits an inscribed square is still a conjecture in the general case.Just recently, it was proved for convex or piecewise smooth curves, while extensions exist for rectangles, curves, and Klein bottles (see, e.g., [5,6]).The triangle is the simplest example of a non-smooth and piecewise linear Jordan curve; while the equilateral triangle appears to be a simple configuration, it can generate very interesting properties and applications [7].In the sense of the above definition for polygons, an equilateral triangle MNP inscribed in a given triangle ABC can have two vertices on the same side, a situation that does not present much interest from the geometric point of view.This is why in the present paper we consider the case M ∈ BC, N ∈ CA, and P ∈ AB, as seen in Figures 2 and 3 for an acute triangle ABC and in Figure 4 for an obtuse triangle, respectively.Similar to Nielsen's result, there are infinitely many such triangles, generating interesting properties in the triangle geometry [8][9][10][11].Recently, in [12], we studied the equilateral triangles inscribed in the interior of arbitrary triangles, describing them by a single parameter and examining some extremal properties (e.g., the angles for which the minimum inscribed equilateral triangles are obtained).A summary of the results obtained in [12] is presented in Section 2.    In this paper, we explore the equilateral triangles whose vertices are located on the support lines of the sides of an arbitrary triangle.While this configuration does not represent a Jordan curve, this presents interesting geometric properties.We prove that the centers of these triangles are situated on two parallel lines, which are perpendicular to the Euler's line of the original triangle.
The structure of this paper is as follows.In Section 2, we review some results obtained in [12], devoted to exact formulas for the lengths of the sides of inscribed equilateral triangles as a function of a unique parameter and to extremal properties of the side length.In Section 3, we obtain the complex coordinates of the centroids of the equilateral triangles having vertices on the support lines of a given triangle.The main result concerning the locus of these centroids is presented in Section 4. Furthermore, in Section 5 we prove that the locus of centroids consists of two parallel lines perpendicular to the Euler's line of the original triangle.Alternative derivations and particular cases are provided in Section 6, while conclusions are formulated in Section 7.
The adoption of complex coordinates instead of Cartesian coordinates considerably simplifies the computations.
Let ∆ABC be a triangle in the Euclidean plane, and denote by A, B, and C the measures of the angles from vertices A, B, and C, respectively.Without loss of generality, one may assume that A ≥ B ≥ C; therefore, C ≤ 60 • ≤ A. In the notation of Figure 2, one obtains the system (1) The system can be written in matrix form as By simple calculation, one can show that the system ( 2) is compatible and it has infinitely many solutions.Moreover, since the rank of the matrix is 5, the solutions are fully determined by a single variable chosen as the parameter.From the first three equations, one can substitute α 2 , β 2 , and γ 2 into the last three and obtain the reduced system which can be written in matrix form as Fixing the parameter α 1 = α ∈ [0, 120 • ] = m(∠N MC), the system (3) has the solution show that there are infinitely many possible configurations.
In our recent paper [12], we obtained the following explicit formula for the side length of the inscribed equilateral triangle as a function of the parameter α: where R is the circumradius of triangle ABC.Denote K[ABC] as the area of triangle ABC, and from the relation and the Law of Sines, one obtains .
Furthermore, we showed in [12] that the minimal triangle MNP is obtained for Numerous illustrative examples are also provided in [12].

Coordinates of the Centroids of the Triangle MNP
The complex coordinates of the vertices of ∆MNP are denoted by m, n, and p.As seen in Figure 3 for an acute triangle and in Figure 4 for an obtuse triangle, such triangles can be constructed starting from the points N on AC and P on the side AB, with the condition that the third point M on BC is obtained by a rotation of angle π/3, which in complex numbers can be performed by multiplying with (see, for example, [14]): Clearly, if N ∈ AC and P ∈ AB, there exist the scalars λ and µ such that In this notation, note that, as seen in Figure 3, we have 1.
Then, the point M of the equilateral triangle MNP is obtained by rotating segment (PN) around point N through an angle of π/3, clockwise or anticlockwise.

First Orientation of Triangle MNP: Anticlockwise Rotation
For anticlockwise rotation, we obtain the complex coordinate where we use the relation From here it follows that This condition can be written as which reduces to where x, y, and z are given by Clearly, this shows that the coordinates m, n, p depend linearly on λ ∈ R, as where the values k and l are real numbers obtained from ( 7) and ( 8), as , which are ratios of purely imaginary numbers.

Second Orientation of Triangle MNP: Clockwise Rotation
An alternative configuration is obtained when the rotation of P around N is taken with an angle of 60 • clockwise.Similar to Section 3.1, we obtain where we use the fact that ω + ω = 1.Imposing the condition s = s, for λ ∈ R, the coordinates of the vertices of ∆MNP can be written explicitly The coefficients are related through the formula where x 2 , y 2 , and z 2 are obtained from Using ( 11) and ( 12), the values k 2 and l 2 are the real numbers given by .
These formulas allow a convenient calculation for the coordinates of the centroids.For a given point N ∈ AC, the possible equilateral triangles are shown in Figure 5.

The Collinearity of the Centroids of Triangle MNP
In this section, we show that for each orientation of the triangles MNP (clockwise and anticlockwise), the corresponding centroids are collinear.

The First Line of Centroids
As a function of λ, the coordinate of the centroid of triangle ∆MNP is given by where we use (7) for k and l.By this formula, it follows that the centroids of the equilateral triangles ∆MNP situated on the support lines BC, CA, and AB, are collinear, as depicted in Figures 6 and 7, for a specified range of values λ.

The Second Line of Centroids
For the second line, using (10), we have the formula where we use (11) and the coefficients k 2 and l 2 given by (13).

Perpendicularity and Intersection with Euler's Line
The following auxiliary result is useful in proving the main results of this section.
(2) If the point of coordinate Z is located on both lines, it means that there exist real numbers t and s such that from where we can solve for t and s the system (17 The system (17) has the solution and by substitution, one obtains which after simplifications recovers formula (16).
A special case is when (α 2 ) passes through the origin.
Recall that in every triangle ABC, the circumcenter O, the centroid G, and the orthocenter H are collinear on the Euler line of the triangle.Without loss of generality, we can choose the circumcenter O of ∆ABC as the origin of the complex plane.Under this assumption, we obtain the coordinates o = 0, g = a+b+c 3 , and h = a + b + c; hence, Euler's line is defined by the formula u(a + b + c), u ∈ R. Furthermore, the circumradius of the triangle ABC can be set to 1, in which case we have |a|

The First Line of Centroids
For the first centroid line, by substituting, we obtain Substituting in (7), we obtain Therefore, the first line of centroids depicted in Figure 8 has the equation while Euler's line is given by By Formulas (20) and (21) for the line of centroids and Euler's line, we obtain where l ∈ R is given by (19).First, notice that By Lemma 1, we obtain the following result.
(2) The intersection point between the line g 1 (λ), λ ∈ R and Euler's line is where ℜ(z) denotes the real part of the complex number z.

The Second Line of Centroids
For the second centroid line, similar calculations show that from where, through (11), we have The second line of centroids has the equation where the coefficients are where l 2 ∈ R is given by ( 27).Again, one may notice that so by Lemma 1, the perpendicularity follows from the relation The two parallel lines of centroids g 1 (λ) and g 2 (λ) are shown in Figure 9.
(a) (b) Figure 9. First and second lines of centroids g 1 (λ) and g 2 (λ) given by ( 14) and ( 28 The coordinates of this intersection point are given by We have an analogous result to Theorem 1, for the second line of centroids. Theorem 2. (1) The second line of centroids g 2 (λ) is perpendicular to Euler's line.
(2) The intersection point between the line g 2 (λ), λ ∈ R and Euler's line is

Alternative Approaches and Particular Examples
This section presents alternative proofs of the results.

Perpendicularity to Euler's Line
For a direct proof of the result in Theorem 1 (1), without using Lemma 1, it suffices to show that for λ 1 ̸ = λ 2 we obtain Indeed, by formula ( 14), one obtains Furthermore, one can write where for ω = 1 2 + √ 3 2 i, we use the identities Clearly, this shows that This ends the proof.A proof based on trilinear coordinates was provided in [8].
Similarly, one can prove the result for the second line of centroids.

Intersection Points
From the condition s ∈ R (i.e., s = s), we obtain This condition reduces to By substituting λ √ 3i in (20) and dividing by a + b + c, one obtains from where we deduce the following result.Similarly, one can prove the coordinate of the intersection between the second line of centroids g 2 (λ), λ ∈ R and Euler's line of ∆ABC as • (a + b + c).

Particular Examples and Formulas
In this section, we derive some particular formulas for the lines of centroids and their intersection with Euler's line obtained for a = 0. From ( 14), we obtain where by ( 9 For the second line of centroids, we obtain where by (13), the coefficients k 2 and l 2 are given by We notice that these parametrizations are different from those in Section 5.

Conclusions
In this paper, we studied the equilateral triangles whose vertices are located on the support lines of a given arbitrary triangle.Using complex coordinates and a parametrization, we proved that the centers of these triangles are located on two lines, which are perpendicular to the Euler's line of the given triangle, and we also computed the coordinates of these intersections.

Figure 1 .
Figure 1.Inscribed equilateral triangle in a Jordan curve.