[[Image:Lemoine punkt.svg|thumb|upright=1.25|
]]
In geometry, symmedians are three particular straight line associated with every triangle. They are constructed by taking a median of the triangle (a line connecting a vertex with the midpoint of the opposite side), and reflecting the line over the corresponding angle bisector (the line through the same vertex that divides the angle there in half). The angle formed by the symmedian and the angle bisector has the same measure as the angle between the median and the angle bisector, but it is on the other side of the angle bisector. In short, they are the lines of symmetry of the incentre and centroid.
The three symmedians meet at a triangle center called the Lemoine point. Ross Honsberger has called its existence "one of the crown jewels of modern geometry"..
The symmedians illustrate this fact.
The dotted lines are the angle bisectors; the symmedians and medians are symmetric about the angle bisectors (hence the name "symmedian.")
First proof. Let the reflection of across the angle bisector of meet at . Then:
=\frac
Second proof. Define as the isogonal conjugate of . It is easy to see that the reflection of about the bisector is the line through parallel to . The same is true for , and so, is a parallelogram. is clearly the median, because a parallelogram's diagonals bisect each other, and is its reflection about the bisector.
Third proof. Let be the circle with center passing through and , and let be the circumcenter of . Say lines intersect at , respectively. Since , triangles and are similar. Since
Fourth proof. Let be the midpoint of the arc . , so is the angle bisector of . Let be the midpoint of , and It follows that is the Inverse of with respect to the circumcircle. From that, we know that the circumcircle is an Apollonian circle with foci . So is the bisector of angle , and we have achieved our wanted result.
|
|