199. Some properties of symmedian. Two extensions.
by Virgil Nicula, Dec 27, 2010, 9:23 AM
Let
be a triangle with circumcircle
. Denote
. Prove that the ray
is the
-symmedian of
.
Proof 1 (metrical). Denote
and
. Thus, 
. Since
obtain that
, i.e. the ray
is the
-symmedian of
.
Remark. Since
, i.e.
obtain that the cyclical quadrilateral
is harmonically.
Proof 2 (synthetical). Denote
,
,
so that
and
so that
. Prove easily that
, i.e.
is cyclically. Thus,
is antiparallel to
in
. In conclusion, the ray
is
-symmedian in
.
Let
be the
-symmedian in the triangle
, where
. Denote the midpoints
,
of
,
respectively and
,
. Prove that
, where
and
. See here.
Generalization 1. Let
be the
-cevian in
, where
. Denote the midpoints
,
of
,
respectively and
,
. Prove that
the cevian
is the
-symmedian and in this case
, where
.
Proof. Let
. Since
,
belong to the medians
,
respectively obtain that
and
, i.e.
is a parallelogram.
Suppose that
is the foot of the
-symmedian. Using the point
from the lower lemma obtain
is antiparallel to
is cyclically 
. Observe that

.
Using the remarkable inequality
obtain that and
.
Denote
,
and
. Observe that
.
Therefore,
. Observe that
verifies
the previous equation in
because
,
what is truly. In conclusion,
, i.e.
the point
is the foot of the
-symmedian.
Lemma (well-known). Consider in
the points
,
and
. Find the point
for which :
is antiparallel to
. Answer :
is the foot of
-symmedian.
is antiparallel to
is antiparallel to
. Answer :
is the foot of
-symmedian.
is antiparallel to
is antiparallel to
is antiparallel to
. Answer :
is the foot of
-altitude.
Note. Say that in
the line
is antiparallel to
,
and
is cyclically.
Generalization 2. Consider the points
and
,
so that
. Denote
,
. Prove that
.
Proof. Denote
, where
and
. Apply the Ceva's theorem
to the points
in the
and obtain that
. Denote
. Thus,
. Therefore,

. Using
prove easily that
and obtain that
, i.e.
because
and
. In conclusion,
. Prove easily that in this case
(constant) and
.






Proof 1 (metrical). Denote









Remark. Since



Proof 2 (synthetical). Denote














Let






![$[AC]$](http://latex.artofproblemsolving.com/0/9/3/0936990e6625d65357ca51006c08c9fe3e04ba0c.png)
![$[AB]$](http://latex.artofproblemsolving.com/a/d/a/ada6f54288b7a2cdd299eba0055f8c8d19916b4b.png)





Generalization 1. Let






![$[AC]$](http://latex.artofproblemsolving.com/0/9/3/0936990e6625d65357ca51006c08c9fe3e04ba0c.png)
![$[AB]$](http://latex.artofproblemsolving.com/a/d/a/ada6f54288b7a2cdd299eba0055f8c8d19916b4b.png)








Proof. Let


































Using the remarkable inequality







Therefore,






the previous equation in




what is truly. In conclusion,


























Note. Say that in







Generalization 2. Consider the points









Proof. Denote



to the points






















This post has been edited 22 times. Last edited by Virgil Nicula, Nov 22, 2015, 5:27 PM