Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Difference between revisions of "Simson line"

(→‎Simson line (main))
(→‎Simson line (main))
Line 13: Line 13:
  
 
Let the point <math>P</math> be on the circumcircle of <math>\triangle ABC.</math>
 
Let the point <math>P</math> be on the circumcircle of <math>\triangle ABC.</math>
−
<math>\angle BFP = \angle BDP = 90^\circ \implies BPDF</math> is cyclic <math>\implies \angle PDF = 180^\circ – \angle CBP.</math>  
+
 
−
<math>\angle ADP = \angle AEP = 90^\circ \implies AEPD</math> is cyclic <math>\implies \angle PDE = \angle PAE.</math>
+
<math>\angle BFP = \angle BDP = 90^\circ \implies</math>
 +
 
 +
<math>BPDF</math> is cyclic <math>\implies \angle PDF = 180^\circ – \angle CBP.</math>  
 +
 
 +
<math>\angle ADP = \angle AEP = 90^\circ \implies</math>
 +
 
 +
<math>AEPD</math> is cyclic <math>\implies \angle PDE = \angle PAE.</math>
 
   
 
   
 
<math>ACBP</math> is cyclic <math>\implies \angle PBC = \angle PAE \implies \angle PDF + \angle PDE = 180^\circ</math>
 
<math>ACBP</math> is cyclic <math>\implies \angle PBC = \angle PAE \implies \angle PDF + \angle PDE = 180^\circ</math>
 +
 
<math>\implies D, E,</math> and <math>F</math> are collinear as desired.  
 
<math>\implies D, E,</math> and <math>F</math> are collinear as desired.  
  
Line 24: Line 31:
 
[[File:Simson line inverse.png|300px|right]]
 
[[File:Simson line inverse.png|300px|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</math>
 +
 
 +
<math>ACBP</math> is cyclis as desired.
  
 
'''vladimir.shelomovskii@gmail.com, vvsss'''
 
'''vladimir.shelomovskii@gmail.com, vvsss'''

Revision as of 14:47, 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. Simsonline.png

Proof

In the shown diagram, we draw additional lines $AP$ and $BP$. Then, we have cyclic quadrilaterals $ACBP$, $PC_1A_1B$, and $PB_1AC_1$. (more will be added)

Simson line (main)

Simson line.png

Let a triangle $\triangle ABC$ and a point $P$ be given. Let $D, E,$ and $F$ be the foots of the perpendiculars dropped from P to lines AB, AC, and BC, respectively.

Then points $D, E,$ and $F$ are collinear iff the point $P$ lies on circumcircle of $\triangle ABC.$

Proof

Let the point $P$ be on the circumcircle of $\triangle ABC.$

$\angle BFP = \angle BDP = 90^\circ \implies$

$BPDF$ is cyclic $\implies \angle PDF = 180^\circ – \angle CBP.$

$\angle ADP = \angle AEP = 90^\circ \implies$

$AEPD$ is cyclic $\implies \angle PDE = \angle PAE.$

$ACBP$ is cyclic $\implies \angle PBC = \angle PAE \implies \angle PDF + \angle PDE = 180^\circ$

$\implies D, E,$ and $F$ are collinear as desired.

Proof

Let the points $D, E,$ and $F$ be collinear.

Simson line inverse.png

$AEPD$ is cyclic $\implies \angle APE = \angle ADE, \angle APE = \angle BAC.$

$BFDP$ is cyclic $\implies \angle BPF = \angle BDF, \angle DPF = \angle ABC.$

$\angle ADE = \angle BDF \implies \angle BPA = \angle EPF$

$= \angle BAC + \angle ABC = 180^\circ – \angle ACB \implies$

$ACBP$ is cyclis as desired.

vladimir.shelomovskii@gmail.com, vvsss

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=Simson_line&oldid=183350"