40. Lema lui Haruki.
by Virgil Nicula, May 29, 2010, 6:04 PM
See : here and here.
Lemma 1. Let
be a cyclic quadrilateral with
,
,
and
,
,
,
,
,
. Then
,
and
.
Haruki's lemma. Let
be a convex cyclical quadrilateral and let
be a variable point on the arc
which doesn't contain the points
and
.
Denote
and
. Prove that the ratios
and
don't depend on the position of the variable point
on the arc
.
Original proof. Define
where
cut again the circumcircle of
. Observe that
and so these angles remain constant as 
varies on the arc
. Hence, for all positions of
the value of
remains constant. Hence
remains fixed on
. So the length of
is constant.
Applying the intersecting chords theorem to
and
in the two circles, we obtain
and

. In conclusion we have obtained
which is constant.
Proof 1 - metric (own). Denote
. Apply first lemma in the cyclical quadrilaterals

.
I used the Ptolemy's relation
. From the upper relations obtain easily that
. Observe that
.
Proof 2 - trigonometric (own). Denote
and
. Suppose w.l.o.g.
. Thus,
. Apply the Sinus' theorem in triangles :
.
.
.
Therefore,
.
Observe that
.
Lemma 2. Let
be a triangle and a point
which belongs to the sideline
. Then exists the relation
.
An easy extension. Let a convex cyclical
and let a variable
on its circumcircle. Denote
. Prove that
and
.
Proof.
.
.
Proposed problem.
Let
be a cyclical quadrilateral which is inscribed in the circle
. Denote
,
si
.
Prove that the relations
and
. I denote
- the tangent in the point
.
Proof 1. Apply a well-known relation in a triangle
, i.e.
.
.
.
From the last two relations obtain (divide and multiply !) the required conclusion.
Proof 2. Apply a remarkable Haruki's lemma for the points
.
.
Therefore,
.
Proposed problem. The convex quadrilateral
is inscribed in the circle
. Let
and a line
for which
cut
,
at
,
respectively and cut
at
,
respectively, where
and
. Prove that 
Lemma 1. Let













Haruki's lemma. Let





Denote






Original proof. Define





varies on the arc





![$[BG]$](http://latex.artofproblemsolving.com/1/7/a/17a29ec738e6427c5fb918e7ddc535ab8c628e64.png)
Applying the intersecting chords theorem to










Proof 1 - metric (own). Denote







I used the Ptolemy's relation



Proof 2 - trigonometric (own). Denote










Therefore,



Observe that



Lemma 2. Let




An easy extension. Let a convex cyclical





Proof.




Proposed problem.
Let





Prove that the relations




Proof 1. Apply a well-known relation in a triangle






From the last two relations obtain (divide and multiply !) the required conclusion.
Proof 2. Apply a remarkable Haruki's lemma for the points



Therefore,



Proposed problem. The convex quadrilateral















This post has been edited 64 times. Last edited by Virgil Nicula, Nov 27, 2015, 8:17 AM