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