# Inscribed equilateral triangle Given any triangle ABC, find 3 points P,Q,R on the sides so that PQR be equilateral.
Find the largest / smallest triangle PQR.
A JavaSketchpad© animation (wait for initialization of Java engine and applet loading)

Let choose any point P on AB. The problem is now to construct an equilateral triangle PQR, Q and R being on two given lines, which is a classical problem :

#### Usual method

That is to construct an equilateral triangle PQR, P given and Q,R on two given lines D1 and D2.
PQR being equilateral, R is transformed from Q by a rotation centered in P, of angle ± π/3. The locus of Q being line D1, locus of R is transformed D'1 from D1 by that rotation. But locus of R being also D2, R is common point of D2 and D'1.
Q is then transformed from R by the inverse rotation.

There are generally two solutions, corresponding to the ±, excepted if the angle of the two lines is π/3, then D'1 is parallel to D2 : only one solution, or D'1 coincident with D2 : infinitely many solutions.
In our case, only one solution at most is suitable for Q,R in the sides BC,AC.

#### Other method Instead of choosing P on a side, we could look for PQ parallel to a given direction (d).
Draw any parallel to (d) intersecting BA and BC at T and U.
Construct an equilateral triangle TUV, in the opposite halfplane from B.
Line BV intersects AC at R. Parallel lines to sides TV and UV from R intersect BA at P and BC at Q.
Triangle PQR is homothetic from TUV , whith homothecy center B, hence is equilateral, and its vertices lie on sides of triangle ABC, and PQ // TU // (d).
This method will be usefull for constructing minimal PQR.

#### 3rd method ... Choose any point M on AC. Draw two lines from M at ± π/3 angle from AC, intersecting AB at P and BC at Q. Perpendicular bisector of PQ intersects AC at R and PQR is equilateral !
To prove that, draw the circumcirle to MPQ, intersecting AC at S. Inscribed angles QMP and QSP are equal, and also are PQS = PMS, so triangle SPQ is equilatéral, having all its angles π/3. Perpendicular bisector from PQ then goes at S, hence S and R are the same point. QED.

All these methods give infinitely many PQR equilateral triangles, with vertices on the sides of a given ABC triangle.

#### Maximal PQR

PQR will be maximal if one of its sides is on one side of ABC, and to satisfy the condition that each of P,Q,R lies on a different side of ABC, one vertex P,Q,R is at A,B or C. At least one angle of ABC is ≥ π/3, hence at least one possibility to put P,Q or R in a corner. At least one angle ≤ π/3, hence at least two cases among six are rejected. Direct comparison between remaining candidates gives then the largest PQR.

#### Minimal PQR A quite easy specific case :
When angle C is 120°, it is the case of the two lines being at 60° angle. The construction is then possible only when P is on the angle bisector of C : all equilateral triangles PQR share the same vertex P !

The smallest triangle is then "of course" the one with QR perpendicular to the angle bisector : the circumcircle to PQR goes at C, it will be the smallest, hence also will be PQR, when PC is a diameter in this circle. QR is then the perpendicular at 1/4 of angle bisector from C (or also PQ and PR are perpendicular to BC and CA).

I'll say nothing about the case when ABC itself is equilateral...

The general case is much harder. Consider triangle TUV parallel to PQR through vertices of ABC and name x = angle APR
Then ARP = π - A - x (sum of angles in APR)
At P : QPB = π - x - π/3 = 2π/3 - x, and in triangle PQB angle PQB = π - B - (2π/3 - x) = π/3 - B + x.
In triangle APR : PR/sin(A) = AP/sin(π - A - x)
In triangle PQB : PQ/sin(B) = BP/sin(π/3 - B + x)
As AP + PB = AB and PQ = PR : AB/PQ = sin(A+x)/sinA + sin(π/3 - B + x)/sin(B)

Consider now the triangles ACV and BCU
Angle CAV = ARP = π - A - x (PR//AV) hence CV/sin(π - A - x) = AC/sin(π/3)
Similarily in BCU : CU/sin(π/3 - B + x) = BC/sin(π/3). Hence UV = AC.sin(A + x)/sin(π/3) + BC.sin(π/3 - B + x)/sin(π/3)

As AC/sin(B) = BC/sin(A) = AB/sin(C) : UV = AB.sin(B)sin(A)/(sin(C)sin(π/3)) × (sin(A + x)/sin(A) + sin(π/3 - B + x)/sin(B)) = AB.sin(B).sin(A)/(sin(C)sin(π/3)) × AB/PQ

A first immediate conclusion is UV.PQ = const   Hence :

 PQR minimal ⇔ TUV maximal

More precisely, Area(ABC) = 1/2 AB.AC sin(A) = 1/2 AB²sin(A)sin(B)/sin(C), Area(TUV) = 1/2 UV²sin(π/3) and Area(PQR) = 1/2 PQ²sin(π/3), hence :

 Area(TUV)/Area(ABC) = Area(ABC)/Area(PQR) But now, the problem of finding the maximum TUV has been solved (in erased triangle). Recall the result : TUV maximal iff it is parallel to the "Napoleon triangle" IJK, built by the centroids of equilateral triangles constructed on the sides of ABC, outside ABC, that is the centers of circles from where we see the sides under a π/3 angle, outside ABC. As PQR min // TUV max :

 PQR min ⇔ PQR // IJK

A simple construction of PQR min could then be :
Construct equilateral triangles outside ABC on the sides AC and BC, and their centroids I and J.
Line IJ, or a parallel line, intersects BC and AC in M and N.
Construct an equilateral triangle HMN in the half plane opposite to C.
Line CH intersects AB in P, parallels from P to HM and HN intersect sides BC and AC in Q and R.

For generalizing to triangles PQR of any shape, where a more general and elegant proof of Area(TUV)/Area(ABC) = Area(ABC)/Area(PQR) can be found.

A relation with isodynamix and isogonal centers.