Difference between revisions of "Steiner line"
(→Ortholine) |
(→Ortholine) |
||
Line 116: | Line 116: | ||
Therefore <math>\angle CED = \angle QEF \implies D, E,</math> and <math>F</math> are collinear. | Therefore <math>\angle CED = \angle QEF \implies D, E,</math> and <math>F</math> are collinear. | ||
*[[Complete Quadrilateral]] | *[[Complete Quadrilateral]] | ||
+ | '''vladimir.shelomovskii@gmail.com, vvsss''' | ||
+ | |||
+ | ==Shatunov-Tokarev line== | ||
+ | [[File:Shatunov line.png|500px|right]] | ||
+ | Let the quadrilateral <math>ABCD</math> be given (<math>ABCD</math> is not cyclic). Let points <math>E</math> and <math>F</math> be the midpoints of <math>BD</math> and <math>AC,</math> respectively. Let points <math>P</math> and <math>Q</math> be such points that <math>PA = PB, PC = PD, QA = QD, QB = QC.</math> | ||
+ | |||
+ | a) Prove that <math>PQ \perp EF.</math> | ||
+ | |||
+ | b) Prove that the point <math>X</math> lies on the line <math>PQ</math> iff <math>XA^2 + XC^2 = XB^2 + XD^2.</math> | ||
+ | |||
+ | <i><b>Proof</b></i> | ||
+ | |||
+ | a) Let <math>\omega</math> be the circle centered at <math>F</math> with radius <math>BE.</math> Let <math>\Omega</math> be the circle centered at <math>E</math> with radius <math>AF.</math> | ||
+ | <math>PE</math> is the median of <math>\triangle PBD \implies PE^2 = \frac {PB^2 + PD^2}{2} – BE^2.</math> | ||
+ | |||
+ | The power of the point <math>P</math> with respect to the circle <math>\Omega</math> is <math>Pow_{\Omega}(P) = PE^2 – AF^2 = \frac {PB^2 + PD^2}{2} – BE^2 – AF^2.</math> | ||
+ | |||
+ | <math>PF</math> is the median of <math>\triangle PAC \implies PF^2 = \frac {PA^2 + PC^2}{2} – AF^2.</math> | ||
+ | |||
+ | The power of the point <math>P</math> with respect to the circle <math>\omega</math> is <math>Pow_{\omega}(P) = PF^2 – BE^2 = \frac {PA^2 + PC^2}{2} – BE^2 – AF^2 = \frac {PB^2 + PD^2}{2} – BE^2 – AF^2 = Pow_{\Omega}(P).</math> | ||
+ | |||
+ | Therefore <math>P</math> lies on the radical axis of <math>\Omega</math> and <math>\omega.</math> Similarly, <math>Q</math> lies on these line. | ||
+ | So the line <math>PQ</math> is the radical axes of <math>\Omega</math> and <math>\omega.</math> | ||
+ | |||
+ | This line is perpendicular to Gauss line <math>EF</math> which is the line of centers of two circles <math>\Omega</math> and <math>\omega</math> as desired. | ||
+ | |||
+ | b) <math>XE</math> is the median of <math>\triangle XBD \implies XE^2 = \frac {XB^2 + XD^2}{2} – BE^2.</math> | ||
+ | <math>XF</math> is the median of <math>\triangle XAC \implies XF^2 = \frac {XA^2 + XC^2}{2} – AF^2.</math> | ||
+ | <math>X</math> lies on the radical axes of <math>\Omega</math> and <math>\omega \implies XE^2 – XF^2 = AF^2 – BE^2 \implies \frac {XB^2 + XD^2}{2} – BE^2 – ( \frac {XA^2 + XC^2}{2} – AF^2) = AF^2 – BE^2 \implies XB^2 + XD^2 = XA^2 + XC^2.</math> | ||
+ | If the point <math>X</math> satisfies the equation <math>XB^2 + XD^2 = XA^2 + XC^2</math> then locus of <math>X</math> is the straight line (one can prove it using method of coordinates). The points <math>P</math> and <math>Q</math> are satisfies this equation, so this line contain these points as desired. | ||
+ | It is easy to understand that this line is parallel to Steiner line which is the radical axis of the circles centered at <math>E</math> and <math>F</math> with radii <math>BE</math> and <math>AF,</math> respectively. Of course, it is parallel to Simson line. | ||
'''vladimir.shelomovskii@gmail.com, vvsss''' | '''vladimir.shelomovskii@gmail.com, vvsss''' |
Revision as of 16:23, 21 December 2022
Steiner line
Let be a triangle with orthocenter
is a point on the circumcircle
of
Let and
be the reflections of
in three lines which contains edges
and
respectively.
Prove that and
are collinear. Respective line is known as the Steiner line of point
with respect to
Proof
Let and
be the foots of the perpendiculars dropped from
to lines
and
respectively.
WLOG, Steiner line cross at
and
at
The line is Simson line of point
with respect of
is midpoint of segment
homothety centered at
with ratio
sends point
to a point
Similarly, this homothety sends point to a point
, point
to a point
therefore this homothety send Simson line to line
Let
is simmetric to
Quadrungle is cyclic
at point
Similarly, line
at
According the Collins Claim is
therefore
vladimir.shelomovskii@gmail.com, vvsss
Collings Clime
Let triangle be the triangle with the orthocenter
and circumcircle
Denote
any line containing point
Let and
be the reflections of
in the edges
and
respectively.
Prove that lines and
are concurrent and the point of concurrence lies on
Proof
Let and
be the crosspoints of
with
and
respectively.
WLOG
Let
and
be the points symmetric to
with respect
and
respectively.
Therefore
Let be the crosspoint of
and
is cyclic
Similarly is cyclic
the crosspoint of
and
is point
Usually the point is called the anti-Steiner point of the
with respect to
vladimir.shelomovskii@gmail.com, vvsss
Ortholine
Let four lines made four triangles of a complete quadrilateral.
In the diagram these are
Let points and
be the orthocenters of
and
respectively.
Prove that points and
are collinear.
Proof
Let be Miquel point of a complete quadrilateral.
Line is the line which contain
Simson lines of
triangles.
Using homothety centered at with ratio
we get
coinciding Stainer lines which contain points
and
.
Proof 2
Points and
are collinear.
According the Claim of parallel lines, points and
are collinear.
Similarly points and
are collinear as desired.
Claim of parallel lines
Let points and
be collinear.
Let points be such that
Prove that points and
are collinear.
Proof
Let
The segments and
are corresponding segments in similar triangles.
Therefore
and
are collinear.
vladimir.shelomovskii@gmail.com, vvsss
Shatunov-Tokarev line
Let the quadrilateral be given (
is not cyclic). Let points
and
be the midpoints of
and
respectively. Let points
and
be such points that
a) Prove that
b) Prove that the point lies on the line
iff
Proof
a) Let be the circle centered at
with radius
Let
be the circle centered at
with radius
is the median of
The power of the point with respect to the circle
is
is the median of
The power of the point with respect to the circle
is
Therefore lies on the radical axis of
and
Similarly,
lies on these line.
So the line
is the radical axes of
and
This line is perpendicular to Gauss line which is the line of centers of two circles
and
as desired.
b) is the median of
is the median of
lies on the radical axes of
and
If the point
satisfies the equation
then locus of
is the straight line (one can prove it using method of coordinates). The points
and
are satisfies this equation, so this line contain these points as desired.
It is easy to understand that this line is parallel to Steiner line which is the radical axis of the circles centered at
and
with radii
and
respectively. Of course, it is parallel to Simson line.
vladimir.shelomovskii@gmail.com, vvsss