For a triangle $T$ and a line $d$, if the feet of perpendicular lines from a point in the plane to the edges of $T$ all lie on $d$, say $d$ focuses $T$. If the set of lines focusing $T_1$ and the set of lines focusing $T_2$ are the same, say $T_1$ and $T_2$ are equivalent. Prove that, for any triangle in the plane, there exists exactly one equilateral triangle which is equivalent to it.
Problem
Source: Turkey Team Selection Test 2018 P9
Tags: geometry, Simson Lines
27.03.2018 11:57
I believe this is well known. The envelope of the Simson lines is the Steiner deltoid of the triangle, whose incircle is the nine-point circle of the triangle. The Steiner deltoid of an equilateral triangle uniquely determines it (easy to see that the correspondence is bijective) so we are done.
27.03.2018 18:15
WizardMath wrote: I believe this is well known. The envelope of the Simson lines is the Steiner deltoid of the triangle, whose incircle is the nine-point circle of the triangle. The Steiner deltoid of an equilateral triangle uniquely determines it (easy to see that the correspondence is bijective) so we are done. Could you please explain this?
27.03.2018 18:58
kymkozan wrote: Could you please explain this? The curve that the Simson lines are all tangent to, turns out to be a deltoid. This deltoid is called the Steiner deltoid of the triangle. Since the deltoid is a hypocycloid with 3 cusps, all deltoids are similar to each other. So the Steiner deltoids of all triangles are similar. In particular, it is similar for an arbitrary triangle and an equilateral triangle. Also, the configuration of an equilateral triangle and its Steiner deltoid should be similar to a fixed configuration, so the equilateral triangle can be reconstructed uniquely, which finishes the proof.
28.03.2018 10:57
28.03.2018 19:45
We obviously wanna use some "invariant" properties of Simson lines by which i mean a structure which would impose some conditions on the beginning points on the circle.So maybe conurrency,parallelism,perpendicularity are ones we are after.Recall there's a cool property by which the angle two simson lines is equal to the size of the smaller half arc,so technically we lose the parallelism by perpendicularity becomes really nice,in particular we have the two point on both circles are antipodes. Label them $P,Q$ it's well-known that $s(P)$ halfes $HP$,so this motivates a $\mathcal {H}_{0.5}(H)$ it also takes $\mathcal {H}(P),\mathcal{H}(Q)$ to antipodes on the nine-point circle but $s(P)\cap s(Q)$ forms a right angle over $\mathcal{H}(P)\mathcal{H}(Q)$ $\implies$ $s(P)\cap s(Q)$ is on the nine point circle of bot triangles.Of course by picking two more pairs of normal simson lines we see that the nine-point circles of two triangles coincide. Note that by previous paragraph $E_9$ of $\triangle ABC$ is the center of the equilateral triangle and hence its circumcircle is $(E_9,\mathcal{R}(\odot ABC)\cdot 0.5)$.Obviously the above two circles cut each other in two points,i claim that at least one of them is the vertex of the equilateral triangle. Let the above circles cut in $V,W$ if $V,W$ are different from the vertices of equilateral triangle that their simson lines half both $VH,VE_9$ and hence are both parallel to $HE_9$ However two simson lines can't be parallel from the above (orthopolar is never in infinity) .So one of the vertices is fixed and hence we're done.