Difference between revisions of "Simson line"
(→Proof) |
(→Simson line (main)) |
||
Line 20: | Line 20: | ||
Let the points <math>D, E,</math> and <math>F</math> be collinear. | Let the points <math>D, E,</math> and <math>F</math> be collinear. | ||
− | + | [[File:Simson line inverse.png|350px|right]] | |
<math>AEPD</math> is cyclic <math>\implies \angle APE = \angle ADE, \angle APE = \angle BAC.</math> | <math>AEPD</math> is cyclic <math>\implies \angle APE = \angle ADE, \angle APE = \angle BAC.</math> | ||
<math>BFDP</math> is cyclic <math>\implies \angle BPF = \angle BDF, \angle DPF = \angle ABC.</math> | <math>BFDP</math> is cyclic <math>\implies \angle BPF = \angle BDF, \angle DPF = \angle ABC.</math> | ||
<math>\angle ADE = \angle BDF \implies \angle BPA = \angle EPF</math> | <math>\angle ADE = \angle BDF \implies \angle BPA = \angle EPF</math> | ||
− | <math>= \angle BAC + \angle ABC = 180^\circ – \angle ACB \implies ACBP</math> is cyclis as desired. | + | <math>= \angle BAC + \angle ABC = 180^\circ – \angle ACB \implies ACBP</math> is cyclis as desired. |
+ | |||
+ | '''vladimir.shelomovskii@gmail.com, vvsss''' |
Revision as of 14:41, 30 November 2022
In geometry, given a triangle ABC and a point P on its circumcircle, the three closest points to P on lines AB, AC, and BC are collinear.
Proof
In the shown diagram, we draw additional lines and . Then, we have cyclic quadrilaterals , , and . (more will be added)
Simson line (main)
Let a triangle and a point be given. Let and be the foots of the perpendiculars dropped from P to lines AB, AC, and BC, respectively.
Then points and are collinear iff the point lies on circumcircle of
Proof
Let the point be on the circumcircle of is cyclic is cyclic
is cyclic and are collinear as desired.
Let the points and be collinear.
is cyclic is cyclic
is cyclis as desired.
vladimir.shelomovskii@gmail.com, vvsss