Some Lemmas on Cyclic Quadrilaterals
by AlastorMoody, Nov 23, 2018, 7:33 PM
We will first check out some basic properties of a cyclic quadrilateral,
If points
lie on circle
, then
is a cyclic quadrilateral
For proving a quadrilateral cyclic, proving any of the following will prove the desired quadrilateral cyclic,
Criteria 1#
Criteria 2#
Lemma 1:
If side
, then,
is
to
in
, or
proof
Lemma 2:
Power of Point Theorem: If side
, then, 
proof
Some Advantages:

Lemma 3:
Power of point (in disguise):If
is tangent to
at
, then, 
proof
Lemma 4:
is such a cyclic quadrilateral, that,
is a diameter, and if
is foot of the altitude from
to
,then, 
proof(1)
proof(2)
Lemma 5:
If a cyclic quadrilateral is a trapezium, it has to be an isosceles trapezium
proof
Lemma 6:
If
is the orthocenter of
, then
is the incenter of the orthic triangle of 
proof
Lemma 7:
If
is the orthocenter of
, then reflection of
over any side of
lies on circumcircle of 
proof
Lemma 8:
If
be the reflection of orthocenter
of
over mid-point
of side
, then,
lies on
and
is the diameter
proof
Lemma 9:
Let
be inscribed in a circle with center
and Let line
be tangent at
, and let two points on either side of
be
and
that lie on line
, such, that
is closer to
than
and
is closer to
than
, Then,
and 
proof
Lemma 10:
Let
be inscribed in circle
, Let angle bisector
, such
, Prove,

If
is the perpendicular bisector of
, then
lies on 
proof
Lemma 11:
Let
with
on the midpoint of
and
is tangent to
,such that
, then
is tangent to
.
proof
Problems:
1# JBMO ShortList 2015 G1 Around the triangle
the circle is circumscribed, and at the vertex
tangent
to this circle is drawn. The line
, which is parallel to this tangent intersects the lines
and
at the points
and
, respectively. Prove that the points
belong to the same circle.
2# (own
) The point
is outside the circle
. Two tangent lines, passing from the point
touch the circle
at the points
and
. The median
intersects the circle
at the point
, Prove, 
3# JBMO ShortList 2015 G2 The point
is outside the circle
. Two tangent lines, passing from the point
touch the circle
at the points
and
. The median
intersects the circle
at the point
and the line
intersects again the circle
at the point
. Prove that the lines
and
are parallel.
4# Indian RMO 1992 P4 Let
be a quadrilateral inscribed in circle
, such that
and
, If
is radius of
, then prove,

5# USAMO 2003 P4 Let
be a triangle. A circle passing through
and
intersects segments
and
at
and
, respectively. Lines
and
intersect at
, while lines
and
intersect at
. Prove that
if and only if
.
6# ISL 2010 G1 Let
be an acute triangle with
the feet of the altitudes lying on
respectively. One of the intersection points of the line
and the circumcircle is
The lines
and
meet at point
Prove that 
7# Evan Chen's EGMO Let
be a cyclic quadrilateral, Let
be incenter of
and Let
be the incenter of
, prove, that
is also cyclic quadrilateral
8# USAJMO 2011 P5 Points
lie on a circle
and point
lies outside the circle. The given points are such that
(i) lines
and
are tangent to
,
(ii)
are collinear, and
(iii)
.
Prove that
bisects
.
9# Source: Unknown A circle
touches the sides
of a quadrilateral
at
respectively.
intersects
at
. The line passing through
and perpendicular to
intersects
at
respectively. Prove that if
then
.
10# Indian RMO 1999 P3 Let
be a square and
points on sides
respectively such that
. If
is the midpoint of
show that
where
are points of intersection of
with the lines
.
11# Indian RMO 2000 P5 The internal bisector of angle
in a triangle
with
meets the circumcircle
of the triangle in
. Join
to the center
of the circle
and suppose that
meets
in
, possibly when extended. Given that
is perpendicular to
, show that
is parallel to
.
12# Source:Unknown Let
is
, such
. Let
is point on
such that
. The circumcircle of
cut
at
, show that,
.
13# JBMO Shortlist 2011 G2 Let
and
be the altitudes of
. A line passing through
and parallel to
intersects the line
at the point
. If
is the orthocenter of
, find the angle
.
14# IMO 1990 P1/ ISL 1990 P11 Chords
and
of a circle intersect at a point
inside the circle. Let
be an interior point of the segment
. The tangent line at
to the circle through
,
, and
intersects the lines
and
at
and
, respectively. If
find
in terms of
.
15# Canada MO 1999 P3 Let
be a point inside the circle
. Consider the set of chords of
that contains
. Prove that their midpoints all lie on a circle.
16# IMO 2006 P1 Let
be triangle with incenter
. A point
in the interior of the triangle satisfies
Show that
, and that equality holds if and only if
.
17# USAMO 1999 P6 Let
be an isosceles trapezoid with
. The inscribed circle
of triangle
meets
at
. Let
be a point on the (internal) angle bisector of
such that
. Let the circumscribed circle of triangle
meet line
at
and
. Prove that the triangle
is isosceles.
I guess
, these problems are enough for warm-up/practice, others can be added in the comments section!
If points



For proving a quadrilateral cyclic, proving any of the following will prove the desired quadrilateral cyclic,
Criteria 1#
In Quadrilateral
if,
1)
2)
Then it is a cyclic quadrilateral

1)

2)

Then it is a cyclic quadrilateral
Criteria 2#
In Quadrilateral
if,
1)
2)
3)
4)
Then it is a cyclic quadrilateral

1)

2)

3)

4)

Then it is a cyclic quadrilateral
Lemma 1:
If side






proof
Trivial. Angle chasing
Lemma 2:
Power of Point Theorem: If side


proof
Using the ratio of sides of the similar triangle stated in Lemma 1, we can prove Lemma 2 or Power of Point Theorem
Some Advantages:






Lemma 3:
Power of point (in disguise):If




proof
See what happens when 

Lemma 4:






proof(1)
Since,
is cyclic 


proof(2)
Easy to spot isogonal lines
and
and Then the result follows


Lemma 5:
If a cyclic quadrilateral is a trapezium, it has to be an isosceles trapezium
proof
Let the Quadrilateral be
, where
,Let
, 
For
not equal to
, this is not possible




For


Lemma 6:
If




proof
There are six cyclic quadrilaterals, they are anyways sufficient to prove the equal angles
Lemma 7:
If





proof
Let
be the reflection of
over side
and let the foot of perpendicular from
,
and
be
,
and
, Let
, Therefore, 











Lemma 8:
If








proof
Coming soon!!
Lemma 9:
Let
















proof
Let
and
By simple angle chasgin, we have,


Hence,
which implies the desired result




Hence,

Lemma 10:
Let











proof
simple angle chasing for the first part and then phantom points for the second....... 

Lemma 11:
Let








proof
Since,
, Let's assume that
does intersect
at 
Therefore, by Power of point theorem,
implies the desired result!!




Therefore, by Power of point theorem,

Problems:
1# JBMO ShortList 2015 G1 Around the triangle









2# (own











3# JBMO ShortList 2015 G2 The point














4# Indian RMO 1992 P4 Let







5# USAMO 2003 P4 Let















6# ISL 2010 G1 Let









7# Evan Chen's EGMO Let






8# USAJMO 2011 P5 Points



(i) lines



(ii)

(iii)

Prove that


9# Source: Unknown A circle













10# Indian RMO 1999 P3 Let










11# Indian RMO 2000 P5 The internal bisector of angle















12# Source:Unknown Let










13# JBMO Shortlist 2011 G2 Let










14# IMO 1990 P1/ ISL 1990 P11 Chords













![\[ \frac {AM}{AB} = t,
\]](http://latex.artofproblemsolving.com/4/2/5/42540c384bacb2c23df705af0379e0fc95d20896.png)


15# Canada MO 1999 P3 Let




16# IMO 2006 P1 Let



![\[\angle PBA+\angle PCA = \angle PBC+\angle PCB.\]](http://latex.artofproblemsolving.com/d/6/2/d622094b95a1f317063cf2f02a8b66b31751638f.png)


17# USAMO 1999 P6 Let














I guess

This post has been edited 45 times. Last edited by AlastorMoody, Jan 15, 2019, 5:45 PM