190. Very nice ! Coculescu's Contest seniors 2010.
by Virgil Nicula, Dec 12, 2010, 11:00 AM
Proposed problem. Let
be a nonisosceles triangle and
,
be two points so that the quadrilateral
is cyclically. Denote
and the midpoints
,
of the segments
,
respectively. Prove that the line
is tangent to the circumcircle of
.
Proof (official). Denote the midpoint
of the segment
. Then
- the Gauss' line for the complet quadrilateral
. Construct
. Observe that
. Since
is parallelogram obtain that
. Since 
and
obtain that
. Since
obtain that
.
Since
obtain that
the line
is tangent to the circumcircle of
.
Remark. Very nice and interesting problem ! Denote
,
. I"ll prove that the quadrilateral
is cyclically.
Indeed, since division
is harmonically and
is midpoint of
obtain that
. Since the line
is tangent
to circumcircle of
obtain that
. Thus,
, i.e. quadrilateral
is cyclically. Denote
the Gauss' line
and the intersections
,
. Prove easily that
is tangent to the circumcircle of
.
P1 (ONM Belgia 2004). Let
with
so that
and
so that
and
Prove that 
Proof 1 (Arab). Let
such that
Therefore,
.
In conclusion,
is an isosceles trapezoid because
. Hence
Very nice!
Proof 2 . Let
and
so that
i.e.
and
Thus, 
and
I"ll show that the division
is harmonic, i.e.
Therefore,
Apply the Menelaus' theorem to the transversal 
and

Observe that
Hence
![$\frac {2(ab+ad-md)-mb}{b+d}\cdot\frac {ab+ad-md}{(a-m)[2(ab+ad-md)-mb]}=$](//latex.artofproblemsolving.com/6/3/b/63b547dd9713041acc926e1ea7f1adbccc995899.png)
In conclusion, the relations
and
prove that
i.e. the division
is harmonic. From an well
known property obtain that the rays
the ray
is the bisector of the angle
i.e. 
Remark. Another case: "Let
with
so that
and
so that
and
Prove that
".







![$[DE]$](http://latex.artofproblemsolving.com/4/f/5/4f55b2be1d3d9963afec61b4973bfecc6141b1ff.png)
![$[BC]$](http://latex.artofproblemsolving.com/e/a/1/ea1d44f3905940ec53e7eebd2aa5e491eb9e3732.png)


Proof (official). Denote the midpoint

![$[AO]$](http://latex.artofproblemsolving.com/f/2/e/f2e2fb80c3e5e642dfc8b634152b9c973d507fa1.png)







and






Since





Remark. Very nice and interesting problem ! Denote



Indeed, since division


![$[AO]$](http://latex.artofproblemsolving.com/f/2/e/f2e2fb80c3e5e642dfc8b634152b9c973d507fa1.png)


to circumcircle of




the Gauss' line





P1 (ONM Belgia 2004). Let









Proof 1 (Arab). Let




In conclusion,



Proof 2 . Let















and





Observe that








![$\frac {2(a-m) +\frac {mb}{b+d} } {(a-m)\cdot\left[2-\frac {mb}{ab+ad-md}\right] }=$](http://latex.artofproblemsolving.com/2/1/4/214388836691becadf0cb1eec80c5313703eddfc.png)
![$\frac {2(ab+ad-md)-mb}{b+d}\cdot\frac {ab+ad-md}{(a-m)[2(ab+ad-md)-mb]}=$](http://latex.artofproblemsolving.com/6/3/b/63b547dd9713041acc926e1ea7f1adbccc995899.png)






known property obtain that the rays




Remark. Another case: "Let









This post has been edited 56 times. Last edited by Virgil Nicula, Aug 17, 2016, 2:19 PM