146. Synthetic, metric, trigonometric and analitycal proofs.
by Virgil Nicula, Oct 5, 2010, 5:44 PM
Let
be an
-isosceles triangle. Denote the midpoint
of
, the foot
of the perpendicular from
to
and the midpoint
of
. Prove that
.
Proof 1 (synthetic). Let
and projection
of
to
. Thus,
and
, i.e. ray
is
- median in
. Prove easily that
.
-median of
is similarly with
- median of
and
of
is similarly with
of
. Thus,
, i.e.
, what means that 
is cyclic, i.e.
. But
. In conclusion, and
, i.e. 
Proof 2 (metric).


From
and
get
, i.e. 
Proof 3 (trigonometric). Let
and
. Thus,


Therefore,

From the relations
and
obtain
the quadrilateral
is cyclically

Proof 4 (analytic).
, where
,
. The slope of
is
, the slope of
is
and
is the
intersection between
with equation
and
with equation
. Thus,
has coordinates
and
. The middlepoint
of
has
coordinates
and
. Thus, the slope of
is
and the slope of
is 
. In conclusion,
.
Remark. I'll prove similarly the following "two problems of the butterfly" :
Given are a circle
, a line
and the point
. Let
be four points so that
. Denote the points
,
. Prove that 
Proof. Denote the projections
,
of the center
to the lines
,
respectively. Thus,

because the sides
,
of the triangle
are similarly with the sides
,
of the triangle
.
Suppose that
. The quadrilaterals
,
are cycclically with the diameters
,
respectively

and
. From the relation
obtain
. From
results that the triangle
is isosceles, i.e.
.
Suppose that
Denote the intersections
,
of the bisector line of the segment
with the lines
,
respectively. Since
,
are cyclically obtain
,
. From
obtain
, i.e.
.
Given are the circle
, the points
and a line
for which
. Denote :
;
;
;
;
;
.
Prove that the following chain - equivalence :
Proof (metric). Denote the intersection
. The powers of the points
,
,
w.r.t.
are :
:
;
.
Apply the Menelaus' theorem to the transversals
and 
and
, i.e. 
Apply the Menelaus' theorem to the transversals
and 
and
, i.e. 
From the relations
,
obtain the conclusion of the our problem.
A very interesting particular case, when
.
Let
be an acute triangle inscribed in the circle
. Denote the point 
and
,
,
. Then exists the relation 



![$[BC]$](http://latex.artofproblemsolving.com/e/a/1/ea1d44f3905940ec53e7eebd2aa5e491eb9e3732.png)




![$[DE]$](http://latex.artofproblemsolving.com/4/f/5/4f55b2be1d3d9963afec61b4973bfecc6141b1ff.png)

Proof 1 (synthetic). Let














![$[AD]$](http://latex.artofproblemsolving.com/0/f/3/0f3e4c424371b27673db323ced8ef0777940c0d4.png)

![$[CB]$](http://latex.artofproblemsolving.com/f/0/a/f0a45a13c6123c357e7ffe7d05e50e68ad7d157a.png)




is cyclic, i.e.




Proof 2 (metric).












From




Proof 3 (trigonometric). Let



































Proof 4 (analytic).








intersection between








![$[DE]$](http://latex.artofproblemsolving.com/4/f/5/4f55b2be1d3d9963afec61b4973bfecc6141b1ff.png)
coordinates













Remark. I'll prove similarly the following "two problems of the butterfly" :









Proof. Denote the projections








because the sides
![$[FM]$](http://latex.artofproblemsolving.com/c/7/b/c7bc34a5f9b82dbfad62705e3a5a47efe35913fe.png)
![$[RM]$](http://latex.artofproblemsolving.com/8/5/8/858b724beed7bc2d4fb1059095f4b8fed5fa8d92.png)

![$[FP]$](http://latex.artofproblemsolving.com/f/4/2/f4284e27b4b5ef8daf47ece8f640e41ee3a80333.png)
![$[NP]$](http://latex.artofproblemsolving.com/4/b/f/4bf4a2a9ab593d9ee3bd6f3316f38ad187f4cbb9.png)







![$[AO]$](http://latex.artofproblemsolving.com/f/2/e/f2e2fb80c3e5e642dfc8b634152b9c973d507fa1.png)
![$[BO]$](http://latex.artofproblemsolving.com/b/7/c/b7c8922e8f06c6b754180950d1bd18e519e76c96.png)


and










![$[AB]$](http://latex.artofproblemsolving.com/a/d/a/ada6f54288b7a2cdd299eba0055f8c8d19916b4b.png)






















Prove that the following chain - equivalence :

Proof (metric). Denote the intersection











and







and




From the relations


A very interesting particular case, when

Let



and




This post has been edited 24 times. Last edited by Virgil Nicula, Dec 1, 2015, 11:02 AM