HOME

TheInfoList



OR:

In
geometry Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is c ...
, given a
triangle A triangle is a polygon with three edges and three vertices. It is one of the basic shapes in geometry. A triangle with vertices ''A'', ''B'', and ''C'' is denoted \triangle ABC. In Euclidean geometry, any three points, when non- colline ...
and a point on its
circumcircle In geometry, the circumscribed circle or circumcircle of a polygon is a circle that passes through all the vertices of the polygon. The center of this circle is called the circumcenter and its radius is called the circumradius. Not every polyg ...
, the three closest points to on lines , , and are
collinear In geometry, collinearity of a set of points is the property of their lying on a single line. A set of points with this property is said to be collinear (sometimes spelled as colinear). In greater generality, the term has been used for aligned o ...
. The line through these points is the Simson line of , named for
Robert Simson Robert Simson (14 October 1687 – 1 October 1768) was a Scottish mathematician and professor of mathematics at the University of Glasgow. The Simson line is named after him.William Wallace Sir William Wallace ( gd, Uilleam Uallas, ; Norman French: ; 23 August 1305) was a Scottish knight who became one of the main leaders during the First War of Scottish Independence. Along with Andrew Moray, Wallace defeated an English army ...
in 1799. The converse is also true; if the three closest points to on three lines are collinear, and no two of the lines are parallel, then lies on the circumcircle of the triangle formed by the three lines. Or in other words, the Simson line of a triangle and a point is just the
pedal triangle In geometry, a pedal triangle is obtained by projecting a point onto the sides of a triangle. More specifically, consider a triangle ''ABC'', and a point ''P'' that is not one of the vertices ''A, B, C''. Drop perpendiculars from ''P'' to the ...
of and that has degenerated into a straight line and this condition constrains the locus of to trace the circumcircle of triangle .


Equation

Placing the triangle in the complex plane, let the triangle with unit
circumcircle In geometry, the circumscribed circle or circumcircle of a polygon is a circle that passes through all the vertices of the polygon. The center of this circle is called the circumcenter and its radius is called the circumradius. Not every polyg ...
have vertices whose locations have complex coordinates , , , and let P with complex coordinates be a point on the circumcircle. The Simson line is the set of points satisfyingTodor Zaharinov, "The Simson triangle and its properties", ''Forum Geometricorum'' 17 (2017), 373--381. http://forumgeom.fau.edu/FG2017volume17/FG201736.pdf :2abc\bar -2pz+p^2+(a+b+c)p -(bc+ca+ab)-\frac =0, where an overbar indicates
complex conjugation In mathematics, the complex conjugate of a complex number is the number with an equal real part and an imaginary part equal in magnitude but opposite in sign. That is, (if a and b are real, then) the complex conjugate of a + bi is equal to a - ...
.


Properties

*The Simson line of a vertex of the triangle is the
altitude Altitude or height (also sometimes known as depth) is a distance measurement, usually in the vertical or "up" direction, between a reference datum and a point or object. The exact definition and reference datum varies according to the context ...
of the triangle dropped from that vertex, and the Simson line of the point diametrically opposite to the vertex is the side of the triangle opposite to that vertex. *If and are points on the circumcircle, then the angle between the Simson lines of and is half the angle of the arc . In particular, if the points are diametrically opposite, their Simson lines are perpendicular and in this case the intersection of the lines lies on the
nine-point circle In geometry, the nine-point circle is a circle that can be constructed for any given triangle. It is so named because it passes through nine significant concyclic points defined from the triangle. These nine points are: * The midpoint of ea ...
. *Letting denote the
orthocenter In geometry, an altitude of a triangle is a line segment through a vertex and perpendicular to (i.e., forming a right angle with) a line containing the base (the side opposite the vertex). This line containing the opposite side is called the '' ...
of the triangle , the Simson line of bisects the segment in a point that lies on the nine-point circle. *Given two triangles with the same circumcircle, the angle between the Simson lines of a point on the circumcircle for both triangles does not depend of . *The set of all Simson lines, when drawn, form an
envelope An envelope is a common packaging item, usually made of thin, flat material. It is designed to contain a flat object, such as a letter or card. Traditional envelopes are made from sheets of paper cut to one of three shapes: a rhombus, a ...
in the shape of a deltoid known as the Steiner deltoid of the reference triangle. *The construction of the Simson line that coincides with a side of the reference triangle (see first property above) yields a nontrivial point on this side line. This point is the reflection of the foot of the altitude (dropped onto the side line) about the midpoint of the side line being constructed. Furthermore, this point is a tangent point between the side of the reference triangle and its Steiner deltoid. * A
quadrilateral In geometry a quadrilateral is a four-sided polygon, having four edges (sides) and four corners (vertices). The word is derived from the Latin words ''quadri'', a variant of four, and ''latus'', meaning "side". It is also called a tetragon, ...
that is not a
parallelogram In Euclidean geometry, a parallelogram is a simple (non- self-intersecting) quadrilateral with two pairs of parallel sides. The opposite or facing sides of a parallelogram are of equal length and the opposite angles of a parallelogram are of eq ...
has one and only one pedal point, called the Simson point, with respect to which the feet on the quadrilateral are collinear. The Simson point of a
trapezoid A quadrilateral with at least one pair of parallel sides is called a trapezoid () in American and Canadian English. In British and other forms of English, it is called a trapezium (). A trapezoid is necessarily a convex quadrilateral in Eu ...
is the point of intersection of the two nonparallel sides. * No
convex polygon In geometry, a convex polygon is a polygon that is the boundary of a convex set. This means that the line segment between two points of the polygon is contained in the union of the interior and the boundary of the polygon. In particular, it is a ...
with at least 5 sides has a Simson line.


Proof of existence

The method of proof is to show that \angle NMP + \angle PML = 180^\circ. PCAB is a cyclic quadrilateral, so \angle PBA + \angle ACP = \angle PBN + \angle ACP = 180^\circ. PMNB is a cyclic quadrilateral (
Thales' theorem In geometry, Thales's theorem states that if A, B, and C are distinct points on a circle where the line is a diameter, the angle ABC is a right angle. Thales's theorem is a special case of the inscribed angle theorem and is mentioned and proved ...
), so \angle PBN + \angle NMP = 180^\circ. Hence \angle NMP = \angle ACP. Now PLCM is cyclic, so \angle PML = \angle PCL = 180^\circ - \angle ACP. Therefore \angle NMP + \angle PML = \angle ACP + (180^\circ - \angle ACP) = 180^\circ.


Generalizations


Generalization 1

* Let ''ABC'' be a triangle, let a line ℓ go through circumcenter ''O'', and let a point ''P'' lie on the circumcircle. Let ''AP, BP, CP'' meet ℓ at ''Ap, Bp, Cp'' respectively. Let ''A''0, ''B''0, ''C''0 be the projections of ''Ap, Bp, Cp'' onto ''BC, CA, AB'', respectively. Then ''A''0, ''B''0, ''C''0 are collinear. Moreover, the new line passes through the midpoint of ''PH'', where ''H'' is the orthocenter of Δ''ABC''. If ℓ passes through ''P'', the line coincides with the Simson line.Nguyen Le Phuoc and Nguyen Chuong Chi (2016). 100.24 A synthetic proof of Dao's generalisation of the Simson line theorem. The Mathematical Gazette, 100, pp 341-345. doi:10.1017/mag.2016.77.
The Mathematical Gazette


Generalization 2

* Let the vertices of the triangle ''ABC'' lie on the conic Γ, and let ''Q, P'' be two points in the plane. Let ''PA, PB, PC'' intersect the conic at ''A''1, ''B''1, ''C''1 respectively. ''QA''1 intersects ''BC'' at ''A''2, ''QB''1 intersects ''AC'' at ''B''2, and ''QC''1 intersects ''AB'' at ''C''2. Then the four points ''A''2, ''B''2, ''C''2, and ''P'' are collinear if only if ''Q'' lies on the conic Γ.


Generalization 3

* R. F. Cyster generalized the theorem to
cyclic quadrilateral In Euclidean geometry, a cyclic quadrilateral or inscribed quadrilateral is a quadrilateral whose vertices all lie on a single circle. This circle is called the ''circumcircle'' or ''circumscribed circle'', and the vertices are said to be ''c ...
s i
The Simson Lines of a Cyclic Quadrilateral


See also

*
Pedal triangle In geometry, a pedal triangle is obtained by projecting a point onto the sides of a triangle. More specifically, consider a triangle ''ABC'', and a point ''P'' that is not one of the vertices ''A, B, C''. Drop perpendiculars from ''P'' to the ...
*
Robert Simson Robert Simson (14 October 1687 – 1 October 1768) was a Scottish mathematician and professor of mathematics at the University of Glasgow. The Simson line is named after him.Simson Line
at
cut-the-knot Alexander Bogomolny (January 4, 1948 July 7, 2018) was a Soviet-born Israeli-American mathematician. He was Professor Emeritus of Mathematics at the University of Iowa, and formerly research fellow at the Moscow Institute of Electronics and Math ...
.org * F. M. Jackson and {{mathworld , urlname = SimsonLine , title = Simson Line
A generalization of Neuberg's theorem and the Simson-Wallace line
a

an interactive dynamic geometry sketch. Straight lines defined for a triangle