Geometry
Geometry
in Geometry
Insights and Strategies for Mathematical
Olympiad and Competitions
Mathematical Olympiad Series
ISSN: 1793-8570
Series Lee Peng Yee (Nanyang Technological
Editors: University, Singapore)
Xiong Bin (East China Normal University,
China)
Published
Copyri ght © 2018 by Worl d Sci enti fi c Publ i s hi ng Co. Pte. Ltd.
All rights reserved. This book, or parts thereof, may not be reproduced in any form or by any
means, electronic or mechanical, including photocopying, recording or any informa on storage
and retrieval system now known or to be invented, without wri en permission from the
publisher.
For photocopyi ng of ma teri a l i n thi s vol ume, pl ea s e pa y a copyi ng fee through the
Copyri ght Cl ea ra nce Center, Inc., 222 Ros ewood Dri ve, Da nvers , MA 01923, USA. In thi s
ca s e permi s s i on to photocopy i s not requi red from the publ i s her.
In this book, we focus on showing the readers how to seek clues and
acquire the geometric insight. One may find a few paragraphs named
“Insight” for almost every problem, where we illustrate how to start
tackling the problem, which clues could be found, and how to link the clues
leading to the conclusion. Note that such a process is inevitably a lengthy
one, during which the reader could a empt a number of strategies and fail
repeatedly before reaching the final conclusion. A formal proof, usually
much shorter, will be presented a er we obtain the insight. Occasionally, if
sufficient clues have been revealed, we will leave it to the reader to
complete the proof.
• AUT Austria
• BLR Belarus
• BRA Brazil
• BGR Bulgaria
• CAN Canada
• CHN China
• HRV Croatia
• GER Germany
• HEL Greece
• HUN Hungary
• IND India
• IRN Iran
• ITA Italy
• JPN Japan
• ROU Romania
• RUS Russia
• SVN Slovenia
• TUR Turkey
• UKR Ukraine
• USA U.S.A.
• VNM Vietnam
Elementary geometry is a beau ful area of mathema cs. Upon the mastery
of the basic knowledge and skills, one will always find solving a geometry
problem an exciting experience. We wish the readers a pleasant experience
with the me spent on this book. Enjoy Mathema cs and enjoy problem-
solving!
Contents
Preface
1.1 Preliminaries
1.2 Congruent Triangles
1.3 Circumcenter and Incenter of a Triangle
1.4 Quadrilaterals
1.5 Exercises
Solutions to Exercises
Chapter 1
Congruent Triangles
1.1 Preliminaries
(1) For any two fixed points, there exists a unique straight line passing
through them (and hence, if two straight lines intersect more than
once, they must coincide).
(2) For any given straight line ℓ and point P, there exists a unique line
passing through P and parallel to ℓ.
(3) Opposing angles are equal to each other. (Refer to the diagram below.
∠1 and ∠2 are opposing angles. We have ∠1 = 180° – ∠3 = ∠2.)
(4) In an isosceles triangle, the angles which correspond to equal sides are
equal. (Refer to the diagram below.)
The inverse is also true: if two angles in a triangle are the same, then
they correspond to the sides which are equal.
Proof. Refer to the diagram below. Draw a line passing through A which is
parallel to BC. We have ∠B = ∠1 and ∠C = ∠2.
Hence, ∠A + ∠B + ∠C = ∠A + ∠1 + ∠2 = 180°.
It is also widely known that the sum of the interior angles of a quadrilateral
is 360°. No ce that a quadrilateral could be divided into two triangles. Refer
to the diagram below.
Hint:
(i) Connect EG. Can you see ∠E + ∠F + ∠G = 180° + ∠1? A similar argument
applies to ∠A + ∠B + ∠C.
(ii) Connect BG. Can you see ∠A + ∠B + ∠G = 180° + ∠1? Can you see ∠E +
∠F = ∠2? Can you find ∠1 + ∠2 + ∠3? (Consider their supplementary
angles.)
Insight. We are not given the exact value of ∠BAC or ∠B, but if we know
either of them, then the posi ons of D and E are uniquely determined,
according to the construc on of the diagram. Let ∠B = x. Can you express
∠ADE in term of x?
Proof. Let ∠B = ∠C = x. We have ∠BAC = 180° – 2x. No ce that ΔCAD is
an isosceles triangle, where AC = AB = CD. It follows that
Now
Insight. Refer to the diagram below. One sees that ∠CAD and ∠CBE are
NOT related. For example, if ∠CAD is given, one may move E along AD and
∠CBE will vary. On the other hand, if ∠CBE is given, one may choose A' on
DA extended so that ∠CA'D is smaller than ∠CAD.
Hence, if we let ∠CAD = α, we cannot express ∠CBE in α (and vice versa).
How about le ng ∠CBE = β? We should be able to express ∠CFE in α and
β.
No ce that ∠CFE is constructed via angle bisectors EF and CF. Let ∠BED =
2x and ∠ACB = 2y. Refer to the diagram below. Let AC and EF intersect at G.
In ΔCFG, one sees that ∠CFE = 180° – y – ∠CGF, where ∠CGF = ∠AGE =
∠DEF – ∠EAG = x – α.
Hence, ∠CFE = 180° – x – y + α. (1)
We are to show
How are x, y related to α,β ? Let AC and BE intersect at P. Consider ΔAEP and
ΔBCP. One sees that ∠PAE + ∠PEA = 180° – ∠APE = 180° – ∠BPC = ∠PBC +
∠PCB.
Hence, α + (180° – 2x) = β + 2y, which implies
The following examples give standard results which are frequently used in
problem-solving. One should be very familiar with these results.
Example 1.1.7 In an acute angled triangle ΔABC, BD, CEare heights. Show
that ∠ABD = ∠ACE.
One may also see this as a special case of Example 1.1.6, where ∠BEC =
∠BDC = 90°.
then ∠A = 90°.
Proof. Refer to the diagram below. Let DE, DF be the angle bisectors of
∠ADB and ∠ADC respectively.
Example 1.1.10 Refer to the diagram below. Let AD bisect ∠A. If BD // AC,
show that AB = BD.
Note:
(1) It is a commonly used technique to construct an isosceles triangle from
an angle bisector and parallel lines. Besides giving equal angles, angle
bisectors have many other useful proper es, which we will see in later
chapters.
(2) Notice that the inverse also holds:
• If we are given that AB = BD and AD bisects ∠A, then we must have
BD // AC.
• If we are given that AB = BD and BD // AC, then AD must be the
angle bisector of ∠A.
Proof. Refer to the diagrams below. Suppose otherwise that P,A,B are not
collinear. Let AP extended intersect ℓ 2 at C. Now ∠PCB = 90° and ΔPBC has
two 90° interior angles. This is absurd.
No ce that the argument holds even if ℓ 1,ℓ 2 are on the same side of P.
Refer to the diagram above on the right.
Note:
(1) S.A.S. applies only when two pairs of corresponding sides and the angles
between them are iden cal. Otherwise, we cannot use this criterion.
Refer to the following counter example:
Let ΔABC be an isosceles triangle where AB = AC. P is a point on CB
extended. Refer to the diagram below. Consider ΔPAC and ΔPAB.
We have AB = AC, ∠P is a common angle and AP is a common side.
However, one sees clearly that ΔPAC ΔPAB because ∠PBA > 90° >
∠PCA.
(2) One may also write A.A.S. as A.S.A. In fact, it does not ma er whether
the corresponding sides are between the two pairs of corresponding
angles, simply because two pairs of equal angles automa cally gives
the third pair of equal angles: the sum of the interior angles of a
triangle is always 180°.
(3) H.L.: If ΔABC and ΔA'B'C' are right angled triangles, then they are
congruent if their hypotenuses and one pair of corresponding legs are
iden cal, i.e., if ∠A = ∠A' = 90°, AB = A'B' and BC = B'C', then ΔABC
ΔA'B'C'.
Indeed, one may place the two right angled triangles together and
form an isosceles triangle. Refer to the diagram below. BC = B'C'
immediately gives ∠C = ∠C and hence, we have ΔABC ΔA'B'C
(A.A.S.).
One immediate applica on of congruent triangles on isosceles triangles is
that the angle bisector of the vertex angle, the median on the base and the
height on the base of an isosceles triangle coincide.
Theorem 1.2.2 Let ΔABC be an isosceles triangle such that AB = AC. Let M
be the midpoint of BC. We have:
(1) AM ⊥ BC
(2) AM bisects ∠A, i.e., ∠BAM = ∠CAM.
One may show the conclusion easily by using congruent triangles. We leave
it to the reader.
Insight. Apparently, the conclusion does not give us any clue because BD
and CE are not directly related. Perhaps we should seek clues from the
conditions.
It is given that BE bisects ∠ABC and we see that BE is almost a height: not a
height of any given triangle, but BE ⊥ CE. If we fill up the triangle by
extending BA and CE, intersec ng each other at F, then BE is the height of
ΔBCF. Refer to the diagram below.
Note:
(1) One may derive a few conclusions from the proof above. For example,
can you see ∠ADB = ∠BCE and BC = AB + AD ?
(2) How did we see the auxiliary lines? No ce that we basically reflected
ΔBCE along the angle bisector BE. This is an effec ve technique which
utilizes the symmetry property of the angle bisector.
• Equal angles sharing the common vertex: Refer to the diagram on the
below. If ∠1 = ∠2, then ∠AOB = ∠COD. No ce that the inverse also
holds, i.e., if ∠AOB = ∠COD, then ∠1 = ∠2.
It follows that ΔBAE ΔFAC (S.A.S.), which leads to the conclusion that BE =
CF.
Insight. We are given PB = PC and one can easily see that ∠ABP = ∠EBC.
Are there any congruent triangles? It seems from the diagram that ΔABP
ΔEBC. Is it true? We are to show AE bisects ∠BAC, i.e., ∠BAE = 45°. Hence,
we should have ΔABE a right angled isosceles triangle where AB = BE, i.e.,
ΔABP and ΔEBC should be congruent. Now can we find another pair of equal
sides or angles?
Insight. The difficulty is that M is arbitrary, i.e., it can be any point on AB.
Even though we know it is hard to apply this condition
directly.
Example 1.2.10 Given a line segment AB and two points P, Q such that line
PQ intersects AB at C, if ∠APC = ∠BPC and ∠AQC = ∠BQC, then PQ is the
perpendicular bisector of AB.
Proof. Case I: P, Q are on the same side of AB. Refer to the diagram
below. We have ∠1 = ∠AQC – ∠APC = ∠BQC – ∠BPC = ∠2.
Example 1.2.11 Given ΔABC, draw squares ABDE and CAFG outwards
based on AB, CA respectively. Let M be the midpoint of BC. Show that AM =
EF.
Insight. We see that ΔABC and ΔAEF have two equal pairs of sides: AB =
AE and AC = AF. However, it is clear that ΔABC ΔAEF because ∠BAC ≠
∠EAF. In fact, ∠BAC and ∠EAF are supplementary. (Can you see it?)
Since M is the midpoint of BC, a commonly used technique is to double AM.
Refer to the diagram above on the right. If we extend AM to A' such that AM
= A'M, can you see that ΔBAA' ΔAEF ?
This par cular point is called the circumcenter of the triangle. No ce that
each triangle has exactly one circumcenter and it could be outside the
triangle. Refer to the right diagram above.
Note:
(1) This common point of intersec on is called the circumcenter as it is the
center of the circumcircle of ΔABC. Refer to the right diagram above. A
circle centered at O with radius OA passes through A, B and C, since OA
= OB = OC.
(2) In the proof above, we assume the two perpendicular bisectors intersect
at O and show that this point lies on the third perpendicular bisector.
This is a common method to show three lines passing through the
same point.
Proof. Refer to the diagram on the below. Let the angle bisector of ∠A
and ∠B intersect at I. We show that the angle bisector of ∠C passes
through I as well, i.e., ∠ACI = ∠BCI.
Proof. Refer to the diagram below. Since I is the incenter of ΔABC, AI, BI,
CI are angle bisectors. Since 2(∠1 + ∠2 + ∠3) = 180°, we must have ∠1 +
∠2 + ∠3 = 90°.
Now ∠BIC = 180° – ∠2 – ∠3 = 180° – (90° – ∠1)
However, it seems from the diagram that ΔAEI and ΔADI cannot be
congruent:
∠1 is acute but ∠2 is obtuse, i.e., ΔAEI and ΔADI are not symmetric about
AI. Why not reflect ΔAEI about AI and construct congruent triangles? Let us
choose F on AC such that AF = AE. Now ΔAEI ΔAFI and we have EI = FI. Can
we show DI = FI? No ce that ΔIDF should be an isosceles triangle. How can
we show it? Since ∠AFI = ∠1, it suffices to show that ∠1 = 180° – ∠2, or
equivalently, ∠1 + ∠2 = 180°. This may not be difficult because both ∠1
and ∠2 can be expressed using ∠B and ∠C (using exterior angles) and we
know ∠B + ∠C = 180° – ∠A = 120° !
1.4 Quadrilaterals
One may show that all these definitions are equivalent by the techniques of
congruent triangles.
Note that these defini ons also describe the proper es of a parallelogram.
One may pay par cular a en on to (4), which is less frequently men oned
in textbooks, but widely applicable in problem-solving.
Since DP is the median on AC, the median doubled could help to construct
congruent triangles.
Moreover, among all the criteria to determine a quadrilateral, we may use
(4): two diagonals bisecting each other. This is because we are given AP = CP
and we only need to show DP = BP. Bingo! This coincides with our strategy
to double the median DP.
Proof. Extend AM to A' such that AM = A'M. Since AB = AC, one sees that
ΔABM ΔA'CM ΔACM. Let PD extended intersect A'C at E'. We have ΔCDE
ΔCDE' (A.A.S.) and hence, DE = DE'. We also conclude that PD // AM and AP
// A'C. Now AA'E'P is a parallelogram and AA' = PE'. It follows that PD + DE =
PD + DE' = PE' = AA' = 2AM.
Note: One may also draw AN ⊥ PD at N and show that N is the midpoint of
PE. Refer to the diagram on the below. Since AMDN is a parallelogram (and
in fact, a rectangle), we have AM = DN. Now it suffices to show PD + DE =
2DN. Note that this is equivalent to PD – DN = DN – DE, or PN = EN.
It is easy to see that N is the midpoint of PE because ΔAPE is an isosceles
triangle where AP = AE. (Can you show it?)
One may show that all these definitions are equivalent by the techniques of
congruent triangles.
Note that (2) is an important property of rectangles. In par cular, in a
rectangle ABCD where AC, BD intersect at O, we have ∠OAD = ∠ODA.
Refer to the diagram on the below.
One could easily see that ABCD is a rectangle and we always have AB = CD.
This length is defined as the distance between ℓ 1 and ℓ 2.
Note that Example 1.1.8 is the inverse of Theorem 1.4.6. In summary, given
ΔABC where M is the midpoint of BC, ∠A = 90° if and only if AM = BC.
Example 1.4.7 In an acute angled triangle ΔABC, BE, CF are heights on AC,
AB respectively. Let D be the midpoint of BC. Show that DE = DF.
Proof. Refer to the diagram on the below. Let M be the midpoint of BC.
By Theorem 1.4.6, AM = BM. We see that ΔABM is an isosceles triangle
where ∠B = 60°, and hence, an equilateral triangle.
It follows that AB = BM = BC.
Note:
(1) Refer to the diagram on the below. One may reflect ΔABC about the line
AC and see that ΔABC is half of the equilateral triangle ΔBCB'.
One may show that all these definitions are equivalent by the techniques of
congruent triangles.
It follows that AD and CE bisect each other. Now we can see that the
condition BC = 2AB is useful. Can you see a rhombus in the diagram?
Note: One may find an alterna ve solu on using the technique of angle
bisectors, parallel lines and isosceles triangle (Example 1.1.10):
Since AB = BF, we have AF = 2AB = AD, i.e., ΔAFD is an isosceles triangle.
Now ∠CDF = ∠AFD = ∠ADF, i.e., DF bisects ∠ADC. Similarly, CE bisects
∠BCD. One sees CE ⊥ DF because
No ce that the last step is closely related to Example 1.1.9 that the angle
bisectors of neighboring supplementary angles are perpendicular to each
other.
Insight. If ℓ 1, ℓ 2 are in the upright posi on, the conclusion is clear. Refer
to the left diagram below.
Regre ably, we do not know the posi ons of ℓ 1 and ℓ 2 with respect to the
square ABCD. Indeed, we are to show that for any ℓ 1 ⊥ ℓ 2, regardless of
how they intersect ABCD, the conclusion holds.
Let us move ℓ 1, ℓ 2 around and observe. Refer to the middle diagram below.
If we push EF upwards until E reaches A, we s ll have EF = AF' because AEFF'
is a parallelogram. If we con nue to push GH towards the right, we see that
GH = DH'. Refer to the right diagram below. Hence, it suffices to show that
DH' = AF'. This could be shown by congruent triangles.
Proof. Draw AF' // EF, intersecting CD at F' Draw DH' // GH, intersec ng BC
at H' Since AEFF' is a parallelogram, EF = AF'.
Similarly, GH = DH'. It suffices to show that AF' = DH'
No ce that ∠DAF' = 90° – ∠ADH' = ∠CDH', ∠ADC = 90° = ∠C and AD = CD.
Hence, ΔADF' ΔDCH' (A.A.S.) and AF' = DH'
Example 1.4.13 Refer to the diagram on the below. ABCD is a square and
BDEF is a rhombus such that C, E, F are collinear. Find ∠CBF.
Insight. We have a square, a rhombus and the collinearity of C, E, F. One
immediately sees that ∠CBD = 45°. Can we find ∠DBF? No ce that once
∠DBF is known, the rhombus is uniquely determined. Which rhombus
satisfies the conditions that C, E, F are collinear?
If we draw an arbitrary rhombus BDE'F' based on BD, as shown in the
diagram on the below, we will s ll have BD // E'F', but C will not lie on the
line E'F', i.e., we must use the fact CE // BC to show the conclusion.
Hence, we may simplify the problem. Refer to the diagram on the below.
Given BD // CF and BD = BF, what can we deduce about ∠DBF? We know
ΔBDF is an isosceles triangle, but calcula ng ∠BDF or ∠BFD is not easy.
How can we use BD = BF then? We know AC = BD. How is AC related to BF?
Given BD // CF, what is the distance between these two parallel lines? Can
you see this distance is BD? What if we introduce a perpendicular line to
BD from F ?
∠FBH = 30° in a right angled triangle. In fact, one may even draw the
diagram accurately and see that ∠FBH = 30°. Even though such a drawing
w i l l NOT be accepted as part of the solu on, it gives us a clue. Now
construc ng a right angled triangle with ∠FBH = 30°, i.e., where one leg is
half of the hypotenuse, becomes a natural strategy.
1.5 Exercises
3. Refer to the le diagram below. Given Δ ABC, draw squares ABDE and
ACFG outwards from AB, AC respectively. Show that BG = CE and BG ⊥ CE.
4. Refer to the right diagram above. Show that in ΔABC, the angle bisector
of ∠A, the exterior angles bisectors of ∠B and ∠C are concurrent (i.e.,
they pass through the same point).
Note: This point is called the ex-center of ΔABC opposite A. One may see
that each triangle has three ex-centers.
5. Given ΔABC, J1 and J2 are the ex-centers (refer to Exercise 1.4) opposite
B and C respectively. Let I be the incenter of ΔABC. Show that J1J2 ⊥ AI.
6. Let ABCD be a square. E, F are points on BC, CD respec vely and ∠EAF
= 45°. Show that EF = BE + DF.
Similar Triangles
Indeed, similar triangles are even more powerful tools than congruent
triangles. Many interes ng proper es and important theorems in geometry
could be proved by similar triangles.
One would see in this chapter that the Intercept Theorem plays a
fundamental role in studying similar triangles, while the proof of this
theorem is based on an even more fundamental concept: area.
This is because the shaded region consists of ΔAEF and ΔBEF, which
have the same base EF. Hence, the heights of the triangles, called h1
and h2, are the distances from A and B to the line EF respec vely. Now
Since EF = CD =
BC and h1 + h2 is equal to the distance from A to BC, we conclude that
[AEBF]=[ΔABC].
• Given a right angled triangle ΔABC where C = 90°, draw CD //AB. Refer to
the diagram below. Draw AE BD at E.
Moreover, [ΔABC]= BC×h implies that if two triangles, say ΔABC and ΔA'
B'C', have equal bases BC and B'C', then where h and h' are
This is a very useful result because we may calculate the area of triangles
indirectly by comparing its base and height with another triangle whose
area is known.
Note: One may see that similar arguments apply even if the ra os given
(i.e., the posi ons of D and E) are different. Such an argument is commonly
used in solving problems related to areas. In fact, experienced contestants
in Mathema cal Olympiads could see the conclusions almost
instantaneously.
Example 2.1.2 Given ΔABC, D, E, F are points on BC, AC, AB respec vely
such that BD = 2CD, AE = 3CE and AF = 4BF. If the area of ΔABC is 240cm2, find
the area of ΔDEF.
follows that
Similarly,
Note:
(1) One sees that always holds regardless of the area
and the shape of ΔABC. This is solely determined by the rela ve
positions of D, E, F on BC, AC, AB respectively.
(2) In general, given ΔABC and D, E are on AB, AC respec vely, we always
have
Alterna vely, one may apply Sine Rule, which we will discuss in
Chapter 3.
[EFGH ] = [ABCD].
Proof. Refer to the left diagram below. Since AE = EF, we must have [ΔEFH
] = [ΔAFH ]. Similarly, [ΔFGH ]= [ΔCFH ].
= [AFCH ].
Now it suffices to show that [ AFCH] = [ABCD]. Refer to the previous right
diagram. Since AF = 2BF and CH = 2DH, we have
Ans. Refer to the diagram below. Connect DE. Since CM = DM, one sees
that
[ΔACM] = [ΔADM] and [ΔCEM] = [ΔDEM].
Example 2.1.5 Refer to the diagram below. In an acute angled triangle ΔABC
where AB = AC, M is the midpoint of BC. P is a point on AM and Q is a point
on BP extended such that QC ⊥ BC at C. Draw QH ⊥ AB at
H. Show that
Proof. Refer to the diagram below. Connect CP. Since M is the midpoint
of BC and AB = AC, AM must be the perpendicular bisector of BC (Theorem
1.2.2). It follows that BP = CP (Theorem 1.2.4).
It follows that
Pythagoras’ Theorem
Pythagoras’ Theorem is well known. Many of its popular proofs are based
on the clever construc on of a diagram. An example is given on the right.
(We leave it to the reader to complete the proof based on this diagram.)
Proof. Refer to the diagram below. We draw squares outwards from AB,
AC, BC respec vely. Since AB2, AC2, BC2 represent the areas of squares, we
are to show that the sum of the areas of the two small squares equals the
area of the large square, i.e.,
[ABDE] + [ACFG] = [BCHI]. (1)
Notice that
Similarly, (3)
One sees that ΔACH and ΔABI have equal bases CH and BI with their
respec ve heights added up to HI. Refer to the right diagram above. This
completes the proof.
Example 2.1.7 ABCD is a trapezium such that AD // BC. If the two diagonals
are perpendicular to each other, i.e., AC ⊥ BD, show that AC2 + BD2 = (AD +
BC) 2.
Insight. Refer to the le diagram below. Given AC ⊥ BD, we are asked
about AC2 + BD2. Apparently, one should apply Pythagoras’ Theorem.
However, AC, BD are not intersec ng at the endpoints. Can we bring them
into a right angled triangle, say by moving the lines?
The inverse of Pythagoras’ Theorem also holds, i.e., in ΔABC, if AB2 + AC2 =
BC2, then ∠A= 90°. This can be proved by contradiction.
Theorem 2.1.9 Let A be a point outside the line BC and D is on the line BC. If
AB2 − BD2 = AC2 − CD2, then AD ⊥ BC.
Note that the proof is not complete yet because one should also consider
the cases where either D or P is outside the line segment BC. Refer to the
following diagrams. Indeed, we have BD2 − CD2 ≠ BP2 − CP2 in each case. We
leave the details to the reader.
Indeed, Theorem 2.1.9 s ll holds even if D does not lie on the line BC. One
may write down a similar proof by contradiction.
It follows that
Note:
(1) One may easily see that the Intercept Theorem applies when more
than three parallel lines intercept two straight lines: the corresponding
line segments will still be in ratio.
(2) There are a few cases where the Intercept Theorem applies for only two
parallel lines. Refer to the following diagrams.
No ce that one could always draw the third parallel line at A before
applying the Intercept Theorem.
(3) No ce that the inverse of the Intercept Theorem holds as follows: In
ΔABC where D, E are on AB, AC respec vely, if we must
have DE // BC. This could be proved easily by contradiction:
Corollary 2.2.2 In Δ ABC, D, E are on AB, AC respec vely such that DE // BC.
We have
Similarly,
This implies
Note:
(1) The conclusion holds even if D, E lie on BA,CA extended respec vely,
i.e., when the lines BC, DE are on different sides of A. Refer to the
diagrams in the remarks after Theorem 2.2.1.
We have because
One familiar with similar triangles may see the conclusion almost
immediately. We shall study similar triangles in the next section.
The Intercept Theorem and Corollary 2.2.2 are very useful in calcula ng the
ratio of line segments.
Example 2.2.3 In Δ ABC, D, E are on BC, AC respec vely such that BC = 3BD
and AC = 4AE. If AD and BE intersect at F, find
Example 2.2.4 Given Δ ABC, D, E, F are on AB, BC, CA respectively such that
AB = 3AF, BC = 3BD and AC = 3CE. Refer to the diagram below. Find
Insight. This is similar to Example 2.1.2. We can calculate [ΔPQR] by
subtrac ng the unshaded areas from [ΔABC]. In order to calculate the area
of the unshaded region, we may divide it into a few triangles, say ΔABP,
ΔBCQ and ΔCAR. How can we calculate [ΔABP]? We know
We have
Hence,
It follows that
Recall Example 2.1.4.
Can you solve it using the technique demonstrated above, drawing parallel
lines and applying the Intercept Theorem?
We have
It follows that
Note: One may derive the following important proper es easily from the
Midpoint Theorem.
(1) The medians of a triangle are concurrent (at the centroid) and the
centroid is always at the lower one-third position of a median.
(2) A midline, i.e., a line segment connec ng the midpoints of two legs, is
always parallel to and has half of the length of the corresponding base
of the triangle. Hence, drawing a midline is an important technique
when solving problems related to midpoints as the line segments far
apart could be brought together.
Example 2.2.7 Let D be a point inside Δ ABC such that AD bisects ∠A and
AD ⊥ BD. Let M be the midpoint of BC.
(1) If AB = 11 and AC = 17, find MD.
(2) Show that M cannot lie on AD extended.
Insight.
(1) We are to find MD where M is the midpoint of BC. If D is the midpoint of
another line segment, perhaps we could apply the Midpoint Theorem.
Is there a line segment whose midpoint is D? Since AD is an angle
bisector, it is a common technique to reflect ΔABD about AD. This
technique is even more useful here because AD ⊥ BD. Refer to the
diagram below. Can you see ΔABE is an isosceles triangle?
(2) Let E be the reflection of B about AD. If M lies on AD extended, can you
see BM = CM = EM ? What does it imply?
Ans.
Insight. How can we apply AB = CD, where AB, CD are far apart? Since we
are given the midpoints of AD, BC, if we connect BD and let P be the
midpoint of BD, then PM = AB and PN = CD.
Note:
(1) One could see ∠1 = ∠3 and ∠2 = ∠4 easily by recognizing
corresponding angles, alternate angles and interior angles with respect
to parallel lines.
(2) If one draws the angle bisector of ∠BAC instead of AE // MN, the proof is
similar. One could show ∠3 + ∠4 = ∠BAC (using parallel lines), which
also leads to the conclusion.
Example 2.2.9 Refer to the diagram below. Given ΔABC, D is the midpoint
of BC and AF bisects ∠A. Draw BE ⊥ AF at E and CF ⊥ AF at F. Show that DE
= DF.
Note: It seems from the diagram above that P, D, E are collinear, but one
should not assume this without a proof. In fact, if an inaccurate diagram is
casually drawn, one may even see ΔPDE ≅ ΔQFD.
• If all the corresponding sides are of equal ratio, then the two triangles are
congruent, i.e.,
One may also determine a pair of similar right angled triangles by legs and
hypotenuses. This is similar to determining congruent triangles using H.L.
and it can be justified easily by Pythagoras’ Theorem.
No ce that if ΔABC ~ ΔA'B'C', all the corresponding angles are the same and
the corresponding line segments are of the same ra o. Refer to the diagram
below for an example.
Given ΔABC ~ ΔA'B'C', let AD bisect ∠A and A'D' bisects ∠A'. If P, P' are the
midpoints of AD, A'D' respec vely, we have and ∠ACP =
∠A'C'P'.
Now we can see that in a right angled triangle ΔABC where ∠A= 90° and AD
is a height, ΔABC ~ ΔABD ~ ΔACD. Refer to the diagram below. In par cular,
the following result is useful.
Example 2.3.1 Δ ABC is a right angled triangle where ∠A= 90° and AD is a
height. We have AB2 = BD · BC, AC2 = CD · BC and AD2 = BD · CD.
Note:
(2)
One sees from this example that This is a very useful
• Parallel lines
• Angle bisectors
• Opposite angles
• Refer to the diagram below. If ∠ACD = ∠B, then ΔACD ~ ΔABC.
One may see this more clearly by reflec ng Δ ACD about the angle
bisector of ∠A, which gives ΔAC'D'. It is easy to show BC // C'D' and
hence, ΔAC'D'~ ΔABC.
Notice that Example 2.3.1 could be seen as a special case of this result,
where ∠ACB = 90°.
Ans. Refer to the diagram below. Since ∠ADB = 60°, we have ∠ADC =
120° = ∠BAC. It follows that ΔABC ~ ΔDAC.
Now we have or AC2 = CD · BC. Since CD = 5 and BC = BD + CD =
15 + 5 = 20, we conclude that AC = 10.
Note:
(1) ΔABD, ΔACE and ΔBCA are similar.
(2) An isosceles triangle with 120° at the vertex is closely related to
equilateral triangles. Besides the example above, one may also double
a leg. Refer to the le diagram below. Extend BA to D such that AB =
AD. No ce that ΔACD is an equilateral triangle and BC ⊥ CD. Indeed,
we are familiar with ΔBCD, which is half of a larger equilateral triangle.
Example 2.3.6 Let P be a point inside the square ABCD. M, N are the feet
of the perpendicular from P to BC, CD respec vely. If AP ⊥ MN, show that
either AP = MN, or AP ⊥ BD.
Insight. Refer to the diagram below. No ce that there are a lot of right
angles. Clearly, CMPN is a rectangle and MN = CP. If AP = MN, we should
have AP = CP, which implies P lies on BD. If AP ⊥ BD, then P lies on AC.
It seems from the diagram that ΔAEP ≅ ΔMPN, which immediately gives AP =
MN. However, this may not be true because it excludes the case for AP ⊥
BD. Nevertheless, we s ll have ΔAEP ~ ΔMPN since ∠PAE = ∠HPN = PMN.
Perhaps when AP ≠ MN, we would have AP ⊥ BD. No ce that AE + PN = PM
+ PE and
Similar triangles are even more frequently seen when circle proper es are
introduced, which we will discuss in Chapter 4.
Note:
(1) We are s ll using the strategy of construc ng an isosceles triangle with
the angle bisector and parallel lines.
(2) One may easily see that the inverse of the Angle Bisector Theorem holds:
Given ΔABC where D is a point of BC, if then AD bisects
∠A. Otherwise, let AD' be the angle bisector and we have
which implies D and D' coincide.
Proof. Refer to the diagram on the below. By the Angle Bisector Theorem,
Note: One may draw similar conclusions if AD, BE, CF are the angle bisectors
of ∠A, ∠B, ∠C respec vely. This result is useful if angle bisectors are
given and the ratios of sides are to be found.
2.4 Introduction to Trigonometry
Since any two right angled triangles are similar if they have an equal pair of
acute angles, a right angled triangle with a given acute angle, say ∠A, must
have constant ratios between the legs and the hypotenuse.
We define
Example 2.4.1 (HUN 10) Let ABCD be a quadrilateral whose area is S. Show
that if (AB + CD)(AD + BC) = 4S, then ABCD is a rectangle.
It is given that 4S = (AB + CD)(AD + BC). One sees that this is only possible
when sin A = sin B sin C = sin D = 1. We must have ∠A = ∠B = ∠C = ∠D = 90°
and hence, ABCD is a rectangle.
Cosine Rule is one of the most elementary and commonly used results in
trigonometry. One may see it as an extension of Pythagoras’ Theorem.
b2 = a2 − c2 + 2cx, or a2 = b2 + c2 − 2cx.
The conclusion follows as x = bcos A.
A similar argument applies if ∠A is obtuse. Refer to the diagram on the
below. We draw CD ⊥ AB intersecting BA extended at D.
Let AD = x. Pythagoras’ Theorem gives
Simplifying the equa on, we obtain a2 = b2 + c2 + 2cx, where x = bcos∠CAD
= bcos(180° − ∠A). One sees that the conclusion holds if we define cosθ =
−cos(180° − θ) for θ ≥ 90° and in particular, cos90° = 0.
Note:
(1) If ∠A = 90°, a2 = b2 + c2 is exactly Pythagoras’ Theorem.
(2) One may perceive congruent triangles by Cosine Rule: Given a, b, c are
the three sides of a triangle, we have
Hence, one may calculate ∠A, and similarly ∠B and ∠C. Now ΔABC is
uniquely determined.
On the other hand, if b, c and ∠A are given, one may calculate a using
Cosine Rule. Hence, ΔABC is uniquely determined.
No ce that these are consistent with the criteria determining
congruent triangles, S.S.S. and S.A.S. respectively.
One may apply Cosine Rule to calculate the length of a median in a given
triangle.
It follows that
Similarly, we know that any two dis nct and non-parallel lines intersect at
exactly one point. If we have three such straight lines say 1, 2, 3, in
general we should have three points of intersec on, unless in the special
case where 1, 2, 3 are concurrent, i.e., they pass through the same point.
Refer to the right diagram above.
In many geometry ques ons, one may need to decide whether a given set
of three points are collinear, or a given set of three lines are concurrent. For
example, one may recall that we show in any triangles, the perpendicular
bisectors of the three sides are concurrent (at the circumcenter). We have
also shown the existence of the incenter, the ex-centers and the centroid of
a triangle. We shall introduce Ceva’s Theorem and Menelaus’ Theorem,
which provide more general criteria to determine concurrency and
collinearity.
Note: The conclusion is not difficult to remember. First, write down the
three sides of the triangle AB, BC, CA in this manner
Proof. Refer to the diagram on the below. Let AD, BE, CF intersect at P.
Draw BH1 ⊥ AP at H1 and CH2 ⊥ AP at H2.
Note:
(1) The inverse of Ceva’s Theorem also holds: if D, E, F are points on BC, AC,
AB respec vely such that then AD, BE, CF are
concurrent.
This can be proved easily by contradic on: Suppose otherwise that AD,
BE, CF are not concurrent. Refer to the diagram on the below. Let AD
and BE intersect at P. Suppose CP extended intersects AB at F'.
Now AD, BE, CF' are concurrent.
(2) Ceva’s Theorem also holds even if the points of division are on the
extension of the sides of ΔABC. Refer to the diagrams below where AD,
BE, CF are concurrent at P.
We still have in either case.
One may also show the existence of the incenter using Ceva’s Theorem
(and the Angle Bisector Theorem). We leave it to the reader.
Note:
One may easily show the following result by applying Ceva’s Theorem.
(1) Refer to the diagram on the below. Given ΔABC where D, E are on AC,
AB respec vely and BD, CE intersect at P, we have DE // BC if and only
if AP extended passes through the midpoint of BC.
(2) Example 2.5.4 is not an easy problem. However, one may see the clues
more clearly by dividing it into three sub-problems: reflec ng Δ ABE
about the angle bisector AE (Example 1.2.5), applying the Midpoint
Theorem and the Intercept Theorem to the midline EM, and applying
Ceva’s Theorem with the median EF. Hence, one could understand how
the auxiliary lines are constructed. (You may draw the diagrams
separately for each sub-problem.)
Hence, AD, BE, CF are concurrent, i.e., they pass through a common point H,
which is called the orthocenter of ΔABC.
A similar argument applies for obtuse angled triangles. Refer to the obtuse
angled triangle ΔHBC in the diagram on the below. Its orthocenter is A
(while H is the orthocenter of ΔABC).
One easily sees the conclusion by considering the internal angles of the
quadrilateral AEHF. Refer to the diagram on the below.
Note that there are a lot of pairs of equal angles in the diagram above. We
will study more about the orthocenter of a triangle a er we introduce the
circle properties in Chapter 3.
Notice that because ΔAEF and ΔBEF share a common base EF and
We still have
One may prove it by the similar area method. We leave the details to
the reader.
(3) Although the conclusions of Ceva’s Theorem and Menelaus’ Theorem are
highly similar, one may see their different geometric meanings easily
from the diagrams.
One may apply Menelaus’ Theorem and calculate the ra o of line segments
very efficiently. Recall Example 2.1.4.
Ans. Refer to the diagram on the below. Apply Menelaus’ Theorem when
the line AE intersects
Example 2.5.8 In ΔABC, M, N are points on AB, AC respec vely such that
the centroid G of ΔABC lies on MN. Show that AM · CN + AN · BM = AM · AN.
Example 2.5.9 (USA 11) In a non-isosceles acute angled triangle ΔABC where
AD, BE, CF are heights, H is the orthocenter. AD and EF intersect at S. Draw
AP ⊥ EF at P and HQ ⊥ EF at Q. If the lines DP and QH intersect at R, show
that HQ = HR.
(1)
(2)
Now it is easy to see that (2) holds. This completes the proof.
Note: One may perceive (2) as Ceva’s Theorem applied to ΔAHC where
l i ne s AF, HE, CD are concurrent at B. Of course, beginners may find
difficul es in recognizing Ceva’s Theorem when the point of concurrency is
outside the triangle. In such cases, one may always use the area method.
We can see from the proof above that this is not difficult.
Theorem 2.5.10 (Desargues’ Theorem)Given ΔABC and ΔA'B'C' such that the
lines AB, AB' intersect at P, the lines BC, B'C' intersect at Q and the lines AC,
A'C' intersect at R, if the lines AA', BB', CC' are concurrent, then P, Q, R are
collinear.
Proof. Refer to the diagram on the below, where AA' , BB' , CC' are
concurrent at X. Apply Menelaus’ Theorem when B'P intersects ΔXAB and
we obtain:
(1)
Note:
(1) We apply Menelaus’ Theorem extensively in this proof, which does not
depend on the relative positions of ΔABC and ΔA'B'C'.
(2) The inverse of Desargues’ Theorem also holds, i.e., if P, Q, R are
collinear, then lines AA' , BB' , CC' are concurrent (or parallel to each
other). One may follow a similar argument as above: given P, Q, R
collinear and the lines AA' , BB' intersect at X, show that C, C' , X are
collinear by Menelaus’ Theorem.
• Concurrency: One may suppose two lines meet at a point and show that
the third line also passes through that point. We used this method to
show the existence of the incenter, circumcenter, centroid and ex-
centers (Exercise 1.4) of a triangle. Another commonly used method is
via the proper es of similar triangles, an example of which is given
below.
Theorem 2.5.11 Given ΔABC and ΔDEF such that AB // DE, BC // EF and AC
// DF, then AD, BE, CF are either parallel or concurrent.
Proof. No ce that there are two possible cases regarding the rela ve
positions of ΔABC and ΔDEF. Refer to the diagrams below.
It is easy to see that ΔABC ~ ΔDEF because all the corresponding angles are
equal. Suppose AD and BE intersect at X. It suffices to show that CF passes
through X as well, i.e., C, F, X are collinear.
Clearly, ∠CAX = ∠FDX. We conclude that ΔACX ~ ΔDFX and hence, ∠DXF =
∠AXC. Now C, X, F are collinear.
Notice that the proof does not depend on the diagram.
2.6 Exercises
1. Refer to the diagram on the below. Given ΔABC, extend AB to D such that
AB = BD, extend BC to E such that BC = 2CE and extend CA to F such that AF =
2AC. Draw parallelograms BCXD, ACEY and ABZF. If the total area of these
three parallelograms is 175cm2, find the area of ΔABC in cm2.
2. Given ΔABC, draw squares ABDE and ACFG outwards from AB, AC
respec vely. Let O1, O2 denote the centers of squares ABDE and ACFG
respec vely. If M, N are the midpoints of BC, EG respec vely, show that
MO1NO2 is a square.
6. Given a square ABCD, E, F are the midpoints of AB, BC respectively. Let CE,
DF intersect at P. Connect AP. Show that AP = AB.
7. Let G be the centroid of ΔABC. Show that if BG ⊥ CG, then AB2 + AC2 =
5BC2.
8. Given a triangle ΔABC, a line 1 // BC intersects AB, AC at D, D'
respectively, a line 2 // AC intersects BC, AB at E, E' respectively and a line
3 // AB intersects AC, BC at F, F' respectively. Show that [ΔDEF][ΔD'E'F'].
10. Given an acute angled triangle ΔABC where H is the orthocenter, show
that
11. In a right angled triangle ΔABC where ∠A = 90°, D, E are on BC such that
BD = DE = CE. Show that
13. Given ΔABC, draw squares ABDE, BCFG and CAHI outwards based on AB,
BC, AC respec vely. Let P, Q, R be the midpoints of DE, FG, HI respec vely.
Show that AQ, BR, CP are concurrent.
14. Refer to the diagram on the below. ΔABC is a non-isosceles triangle. AD,
BE, CF are the exterior angle bisectors of ∠A, ∠B, ∠C respec vely,
intersecting the lines BC, AC, AB at D, E, F respec vely. Show that D, E, F are
collinear.
A circle is uniquely determined by its center and radius, i.e., if two circles
have the same center and radius, they must coincide. We use O to denote
a circle centered at O.
It is widely known that given a circle with radius r, its perimeter equals 2πr
and the area of the disc is πr2. Indeed, there are many more interes ng
proper es about circles. In this chapter, we will focus on the proper es of
angles related to circles.
Theorem 3.1.1 An angle at the center of a circle is twice of the angle at the
circumference.
Theorem 3.1.1 has a few immediate corollaries which are very important in
circle geometry.
Refer to the le diagram below. ∠1=∠2 because they are both equal to
half of the angle at the center of the circle.
No ce that ∠3 in the diagram is greater than 180°, but one can easily show
that Theorem 3.1.1 still applies.
In Sec on 2.5, we studied the rela onship between points and lines, i.e.,
collinearity and concurrence. Similarly, we will study the rela onship
between points and circles in this chapter. First, one sees that any three
non-collinear points uniquely determine a circle: for points A, B, C not
collinear, there exists a unique circle passing through A, B, C. This is simply
the circumcircle of ΔABC.
In general, four points do not lie on the same circle. Hence, it is noteworthy
if the contrary happens, in which case we say the four points are concyclic.
Refer to the diagram below for an example.
Example 3.1.6 In an acute triangle ΔABC, AD, BE, CF are heights. Show that
the line AD is the angle bisector of ∠EDF.
Note:
(1) Since AD ⊥ BC, ∠1=∠2 also implies ∠BDF = ∠CDE. Since A, C, D, F are
concyclic, we also have ∠BDF = ∠CDE = ∠BAC (Corollary 3.1.5).
(2) One sees that a lot of concyclicity appear in this diagram. In fact,
experienced contestants know this diagram very well and are able to
recall those basic facts almost instantaneously.
(3) The conclusion implies that H, the orthocenter of ΔABC, is the incenter of
ΔDEF.
The simplest method is to show that ∠1=∠2. Are there any equal angles in
the diagram? Yes, say ∠1=∠3 (because O1A = O1P) and similarly ∠2 = ∠4.
We also have opposing angles ∠3 = ∠4. Job done!
Next, we may show that O1, O2, A, Q are concyclic. Let us draw the
quadrilateral. Refer to the diagram below. Can we show ∠1+∠O1QO2 =
180° ? This seems not difficult.
In conclusion, both O1,O2, A, B and O1, O2, A, Q are concyclic, which means
that B and Q lie on the circumcircle of ΔO1 AO2. Indeed, O1,O2, A, B, Q are
concyclic.
Note: One may show that O1,O2, A, Q are concyclic and hence, O1,O2, B, Q
are concyclic by similar reasoning. This would also complete the proof.
Example 3.1.9 Refer to the diagram below. A, B, C are points on the circle.
PC extended intersects the circle at D. Q is a point on CD such that ∠DAQ =
∠PBC. Show that ∠DBQ = ∠PAC.
Insight. We are given a circle and a pair of equal angles. Could we find
more pairs of equal angles? How are they related to our conclusion ∠DBQ =
∠PAC ?
One may see the difficulty as ∠ PAC (and ∠PBC) are not extended by an
arc. Perhaps we should relate ∠PBC to another angle on the circumference
besides ∠DAQ and seek clues. How about ∠PBC = ∠BCD −∠BPD ? We may
connect AB. Now ∠BCD = ∠BAD is also related to ∠DAQ !
Note:
(1) This proof does not depend on the diagram, i.e., it s ll holds if C is
outside the circle.
(2) One may also show BC = CD by ΔPBC ≅ ΔPDC (A.A.S.).
Insight. Given angle bisectors and parallel lines, can we have isosceles
triangles? Not exactly in this case because PQ // CD : if PQ // AB, we will
obtain isosceles triangles. Hence, we may draw P'Q' // AB, intersec ng AD,
BC at P',Q' respectively. Refer to the diagram below.
Since AE bisects ∠A, we have ∠P' AE = ∠BAE = ∠P' EA, which implies P' A
= P' E. Similarly, Q' B = Q' E. We have P'Q' = P' A + Q' B. How are PQ and P'Q'
related? If we randomly draw a line PQ passing through E, we shall not have
PQ = PA + QB. No ce that we have not used the condi ons PQ // CD and A,
B, C, D concyclic!
Proof. Draw P'Q' // AB, intersecting AD, BC at P',Q' respec vely. Since ∠ P'
AE = ∠BAE = ∠P' EA, we have P' A = P' E and similarly, Q' B = Q'E. Hence,
P'Q'= P' A + Q' B. (1)
Since P'Q' // AB, PQ // CD and A, B, C, D are concyclic, we have ∠PP'Q =
180°−∠A = ∠C = ∠PQQ'. Similarly, ∠P' PQ = ∠P'Q'Q.
Let the lines AD and BC intersect at X. Refer to the diagram below. Observe
that E is the ex-center of ΔXAB opposite X.
Hence, XE bisects ∠AXB. One easily sees that ΔXP' E ≅ ΔXQE (A.A.S.) and
ΔXPE ≅ ΔXQ' E (A.A.S.). It follows that P' E = QE, PE = Q' E and PP'= QQ'. Now
PQ = PE + QE = P' E + Q' E = P'Q' (2) and P' A + Q' B = PA + Q' B + PP'= PA + Q' B +
QQ'= PA + QB. (3) (1), (2) and (3) imply that PQ = PA + QB.
Note that the proof s ll holds if the lines AD and BC intersect at the other
side of PQ, in which case E is the incenter of ΔXAB instead of the ex-center,
and we still have XE bisects ∠X.
Note:
(1) Once it is shown that the corresponding angles in ΔPP' E and ΔQ'QE are
the same, we should probably have ΔPP' E ≅ ΔQ'QE (which leads to the
conclusion immediately). Hence, it is natural to consider the
intersec on of the lines AD and BC, which gives congruent triangles
with common sides.
(2) Another strategy to solve the problem is via “cut and paste”: since we are
to show PQ = PA + QB, we choose F on PQ such that BQ = FQ and we
a empt to show AP = FP. Refer to the diagram below. Since PQ // CD,
we have A, B, Q, P concyclic (Example 3.1.7).
Since BQ = FQ, we have ∠BFE = ∠FBQ = ∠CQP = ∠BAD = ∠BAE,
One should also take note of another immediate corollary from Theorem
3.1.1 that the diameter of the circle always extends a right angle on the
circumference. This is a common method in identifying right angles.
Note: The inverse of this corollary also holds, i.e., if a chord AB extends
an angle of 90° on the circumference, then AB is the diameter (which passes
through the center of the circle).
Proof. Since ∠AEB = ∠ADB = 90°, A, D, B, E are concyclic and in par cular,
M is the center of the circle. Clearly, ∠AEM = ∠EAM. Similarly, ∠AFN =
∠FAN. Now ∠P = 180° − (∠AEM +∠AFN) = 180° − (∠EAM +∠FAN)=∠BAC.
On the other hand, we have ∠1 = ∠2 and ∠3 = ∠4 (angles in the same
arc). Refer to the diagram below.
Insight. How shall we use the condi on ∠EAF = 45° ? One may recall
Exercise 1.6. However, rotating ΔABE seems not useful this time.
Example 3.1.17 Le t P be a point inside ΔABC such that ∠BPC = 90° and
∠BAP = ∠BCP. Let M, N be the midpoints of AC, BC respec vely. Show that
if BP = 2PM, then A, P, N are collinear.
Insight. We are given a few condi ons about the point P. However,
neither ∠BAP = ∠BCP nor BP = 2PM seems helpful in determining the
posi on of P. On the other hand, M, N are midpoints. If we can find a
triangle where PM is a midline, the Midpoint Theorem will give a line
segment equal to 2PM!
Refer to the diagram above. If we extend CP to D such that CP = DP, then AD
= 2PM = BP. Since A, P, N should be collinear, ADBP should be an isosceles
trapezium, i.e., A, D, B, P should be concyclic and we should have ∠BAP =
∠BDP. Now the condi on ∠BAP = ∠BCP seems useful and we may
complete the proof by showing that ΔBCD is isosceles.
Note:
(1) The inverse of this theorem also holds, i.e., if P is a point such that the
feet of its perpendicular to the sides of ΔABC are collinear, then P lies
on the circumcircle of ΔABC. This can be shown by reversing the
reasoning: if D, E, F are collinear, we have ∠1 +∠PDF= 180°. Hence,
∠3 = 180°−∠PDF = ∠1 = ∠2, which implies A, B, C, P are concyclic.
(2) Naturally, beginners may find it difficult to recognize pairs of equal
angles, especially when the diagram is complicated. Such angle-
chasing skills can only be enhanced via prac ce. For example, can you
see ∠1 = ∠2 = ∠3 from the diagram without referring to the proof?
(Hint: One may occasionally erase extra lines and simplify the
diagram.)
Insight. From the first glance, it is not clear how EF is related to the
midpoint of BD. Refer to the diagram below. What do we know about the
midpoint of BD? One may easily see that BD is the hypotenuse of the right
angled triangle ΔBDF. In fact, the only clues we have are the given right
angles!
Can we show ∠EFD = ∠BDF ? This may not be easy because ∠EFD is
neither an angle on the circumference nor closely related to other angles.
Perhaps the other right angles can help us. Since ∠BFD = ∠CDF = 90°, we
see that BD is almost the diagonal of a rectangle, except that BCDF is not a
rectangle yet while one of the corners is cut. What if we fix it? Refer to the
diagram below. We draw BP ⊥ CD at P. If EF indeed passes through the
midpoint of BD, EF should be part of the other diagonal of the rectangle
BPDF. Indeed, that diagonal is PF and what we need to show is that P, E, F
are collinear. Do you recognize a Simson’s line?
Proof. Draw BP ⊥ CD at P. Since AD ⊥ PD and BF ⊥ AD, we have AD // BP
and BF // PD, i.e., BPDF is a parallelogram (and a rectangle). Since P, E, F are
the feet of the perpendiculars from B to the sides of ΔACD respec vely, we
must have P, E, F collinear (Simson’s Line). Now the conclusion follows as
the diagonals of a parallelogram bisect each other, i.e., EF passes through
the midpoint of BD.
We men on the following elementary but very useful theorem as the end
of this sec on. It is widely applicable when solving problems related to a
few circles intersecting each other.
Proof. Refer to the diagram below. Notice that ΔO1AO2 ≅ ΔO1BO2 (S.S.S.).
Example 3.2.2 Refer to the le diagram below. The area of the ring
between two concentric circles is 16π cm2. AB is a chord of the larger circle
and is tangent to the smaller circle. Find AB.
Ans. Refer to the right diagram above. Let the center of the circles be O
and the point of tangency be P. Since OA = OB and OP ⊥ AB, one sees that
ΔOAP ≅ ΔOBP (H.L.). Hence, AB = 2AP.
The area of the ring is the difference between the areas of two discs, i.e.,
π·OA2−π ·OP2 = 16π. Hence, 16 = OA2 − OP2 = AP2 by Pythagoras’ Theorem. It
follows that AP = 4 cm and AB = 8 cm.
Theorem 3.2.3 Let P be a point outside a circle and PA, PB are tangent to
the circle at A, B respec vely. We have PA = PB (called equal tangent
segments).
Proof. Refer to the diagram below. Connect OA, OB, OP. Since OA = OB,
one observes that ΔPAO ≅ ΔPBO (H.L.). The conclusion follows.
Example 3.2.6 A circle is inscribed inside ΔABC and it touches the three
sides BC, AC, AB at D, E, F respec vely. Show that the lines AD, BE, CF are
concurrent.
Example 3.2.7 (IWYMIC 10) A straight line divides a square into two
polygons, each of which has an inscribed circle. One of the circles has a
radius of 6 cm while the other has an even longer radius. If the line
intersects the square at A and B, find the difference, in cm, between the
side length of the square and twice the length of the line segment .
(2)
(2) Let DI = EI = FI = r. Notice that DI, EI, FI are heights of ΔBCI, ΔACI and ΔABI
respectively.
Note: By Theorem 3.1.1, we must have ∠BAP = ∠ACB for any point C on
the major arc Refer to the diagram below. This is another commonly
used result to show equal angles besides Corollaries 3.1.3 to 3.1.5.
It is easy to see that the inverse of this statement is also true, i.e., if ∠BAP
= ∠ACB, then AP is tangent to the circle.
Example 3.2.11 Let AB be a diameter of O. P is a point outside O such
that PB,PC touch O at B and C respectively. Show that AC // OP.
Proof. Since the sum of the interior angles of the quadrilateral CODP is 360°
and ∠OCP = ∠ODP = 90°, we have ∠CPD = 180°−∠COD. The conclusion
follows as ∠COD = 2∠CAD (Theorem 3.1.1).
Note: One sees that the diameter AB is not useful. In par cular, the point B
complicates the diagram unnecessarily and should be deleted. One may
also connect CD and see that ∠PCD = ∠PDC = ∠CAD (Theorem 3.2.10),
which also leads to the conclusion.
Insight. Refer to the le diagram below. It may not be easy to see the
rela onship between CD and R immediately. No ce that OO1 ⊥ AC and
OO2 ⊥ BC (Theorem 3.1.20). Given that BC, AC are tangent to O1, O2
respectively, it is easy to see that OO1CO2 is a parallelogram!
Let us focus on this parallelogram. Refer to the right diagram above. We are
to show CD ≤ R = CO. Can you see that CD is vertical and CO is oblique with
respect to O1O2 ? Can you see that ∠ODC = 90° ?
Proof. One sees that OO1 ⊥ AC and O2C ⊥ AC. Hence, we have OO1 //
O2C. Similarly, we have OO2 // O1C, which implies that OO1CO2 is a
parallelogram.
It is easy to see that ΔO1DO2 ≅ ΔO1CO2 ≅ ΔO1OO2, which implies OO1O2D is
an isosceles trapezium. Hence, we have OD // O1O2, which implies OD ⊥
CD. It follows that CD ≤ CO = R.
Let O be the circumcenter of ΔABC. Refer to the diagram on the below. Let
AD be a diameter of the circumcircle of ΔABC. Connect BD.
we have
Note: Sine Rule is taught in most secondary schools. However, the last
equality, which links it to the circumradius (i.e., the radius of the
circumcircle) of the triangle, is usually not included.
Corollary 3.3.2 Let AB, CD be two chords in a circle. If AB, CD extend the same
angle at the circumference, then AB = CD.
Proof. Let the radius of the circle be R. Refer to the diagram below.
Note:
(1) One sees that the corollary s ll holds if two chords extend the same
angle at the center: Apply Theorem 3.1.1, or simply show that ΔAOB ≅
ΔCOD.
(2) The corollary still holds if we are given equal minor arcs This
is because the arc length is propor onal to the angle extended at the
center (or on the circumference). Refer to the diagram below, which
illustrates a varia on of Corollary 3.3.2. ABCD is a quadrilateral
inscribed in O where BD is a diameter. We have AC = 2R sin ∠D.
Notice that 2R = BD. Hence, AC = BD sin ∠D = BD sin ∠B. This is a useful
fact. One shall see this conclusion even if O is not shown explicitly,
say if we are only given AB ⊥ AD and BC ⊥ CD.
Corollary 3.3.3 Given ΔABC and its circumcircle, show that the angle bisector
of ∠A passes through the midpoint of the minor arc
Proof. This follows immediately from the remarks above. Refer to the
diagram below where AM bisects ∠A. One sees that because
they extend equal angles on the circumference, i.e., ∠BAM ∠CAM.
Example 3.3.4 Refer to the diagram below. Two circles intersect at A and
B. A common tangent line touches the two circles at M, N respec vely.
Show that ΔMAN and ΔMBN have the same circumradius.
Insight. The two triangles have a common side MN. Sine Rule states that
where R is the circumradius of ΔAMN. Can you see that it
suffices to show sin ∠MAN = sin ∠MBN ?
Clearly, ∠MAN ≠∠MBN as one is acute and the other obtuse. How about
∠MAN +∠MBN = 180° ? Perhaps the tangent line would give us equal
angles.
Insight. Refer to the diagram below. Of course, the most straigh orward
method is to show that ∠AOH = ∠AHO, but this is not easy because we do
not know much about the line OH.
Let BE ⊥ AC at E and CF ⊥ AB at F. We know that A,E, H, F are concyclic. In
par cular, AH is the diameter of this circle (because ∠AEH = 90°, Corollary
3.1.13). Now it suffices to show that the radius of the circumcircle of Δ ABC is
twice of the radius of the circumcircle of ΔAEH. We may show this by Sine
Rule. No ce that the right angled triangle with an internal angle of 60° gives
sides of ratio 1:2.
Proof. Refer to the right diagram below where BE, CF are the heights in
ΔABC. Since ∠AEH = ∠AFH = ∠90°, A, E, H, F are concyclic. We denote R
and r as the radii of the circumcircles of ΔABC and ΔAEH respectively.
No ce that B, C, E, F are concyclic, which implies that ∠ACB = ∠AFE
(Corollary 3.1.5). We also have AB = 2AE in the right angled triangle ΔABE
since ∠A= 60° (Example 1.4.8).
Note: Refer to the diagram on the below. Let BE, CF be the heights of
ΔABC. One sees that ΔABC~ΔAEF. If BE, CF intersect at H and AG is a
diameter of the circumcircle of ΔABC, we must have because
these are corresponding line segments with respect to the similar triangles.
Example 3.3.6 (CGMO 03) In a non-isosceles triangle ΔABC, AD, BE, CF are
angle bisectors of ∠A, ∠B, ∠C respectively, intersecting BC, AC, AB at D, E,
F respec vely. Show that if DE = DF, then
of
However, CE and BF are far apart. Can we put them together? Since DE = DF
and ∠AED = 180° – ∠AFD, we may rotate ΔBDF so that BF and CE are on the
same line.
Now ∠CED = ∠AFD and hence, we may choose P on CE extended such that
∠CPD = ∠ABC. Refer to the diagram below. It is easy to see that ΔDEP
ΔDFB (A.A.S.).
Hence,
Insight. Refer to the (simplified) diagram on the right. How can we show
the concurrency of two circles and a line? Perhaps we can show that X, the
intersec on of the two circles, lie on BC, i.e., B, C, X are collinear. Thus, it
suffices to show
∠BXP + ∠CXP = 180°.
We do not know many properties of X, but given the circles, we know ∠BXP
= ∠AFP and ∠CXP = ∠AEP, where ∠AEP and ∠AFP are inside the
quadrilateral AEDF and the angle bisectors may give useful proper es of
those angles. Now we are to show ∠AFP + ∠AEP = 180°. One may a empt
to show A, E, P, F are concyclic, but it could be difficult (*) because we do
not know much about the angles except for AP bisec ng ∠EAF. How about
considering ΔAEP and ΔAFP? The angle bisector AP could be useful if we
apply Sine Rule, which gives
Since ∠EAP = ∠FAP and we should have sin ∠AFP = sin ∠AEP, it seems
we are to show PE = PF. No ce that DE = DF (Example 1.4.7) and P is on the
angle bisector of ∠EDF.
(*) One familiar with commonly used facts in circle geometry could see that
if we are to show A, E, P, F are concyclic, it suffices to show PE = PF (Example
3.1.11).
Refer to the diagram below. Since DP bisects ∠EDF, we have ΔDPE ΔDPF
(S.A.S.) and hence, PE=PF. Apply Sine Rule to ΔAFP and ΔAEP :
. Since AP is the
angle bisector of ∠EAF, we must have sin ∠AFP = sin ∠AEP.
Proof. Refer to the previous right diagram. Let AO1 extended intersect
O2 at M Since ∠BAO1 = ∠CAO1, M is the midpoint of and hence, O2M
BC.(*)
Insight. Refer to the diagram below. Given that BD AE, since we are to
show DH = DE, we should have ∠BEH isosceles, i.e., BE = BH. Both the
circumcircle and the orthocenter give equal angles. Hence, one may show
that ∠CBH = ∠CBE.
Example 3.4.5 In an acute angled triangle ΔABC, BD, CE are heights. If the
line DE intersects the circumcircle of ΔABC at P, Q respec vely, show that
AP = AQ.
Insight. One may show ∠APQ = ∠AQP since there are many equal angles
due to the circles. Notice that B, C, D, E are concyclic.
Proof. Refer to the diagram below. Since ∠BDC = ∠BEC = 90°, we must
have B, C, D, E concyclic. Hence, ∠1 = ∠C.
Now ∠APQ = ∠1 – ∠2 = ∠C – ∠3 because ∠2 = ∠3 (angles in the same
arc). On the other hand, ∠AQP = ∠AQB – ∠3. Since ∠C = ∠AQB, we
conclude that ∠APQ = ∠AQP and hence, AP = AQ.
No ce that the argument s ll applies whenever B, C, D, E are concyclic: it is
not necessary that BD, CE are heights of ΔABC.
Example 3.4.1 to Example 3.4.5 are very useful results. One familiar with
these results may find it much easier to see the insight when solving
geometry problems related to the circumcenter, incenter and orthocenter
of a triangle.
Insight. Refer to the diagram below. We do not know much about the
proper es of AH or how it is related to OM. For example, it is not easy to
find a line segment with length
Insight. It is easy to see that AP, BQ, CR are angle bisectors of ΔABC Recall
Example 3.4.2 which is about angle bisectors intersec ng the circumcircle.
Can you see BP = PI? (AI extended intersects the circumcircle at P) Similarly,
BR = RI. Hence, PR must be the perpendicular bisector of BI
Refer to the diagram below.
Note:
(1) The first method is also an illustra on of the rela onship among the
angle bisector, parallel lines and the isosceles triangle.
(2) It is important to draw the diagram properly. One may see the incenter
appears between D and E, giving an inspira on that D, I, E might be
collinear.
Example 3.4.8 (TUR 09) In an acute angled triangle ΔABC, D, E, F are the
midpoints of BC, CA, ABrespec vely. Let H and O be the orthocenter and
the circumcenter of ΔABC respec vely. Extend HD, HE, HF to intersect the
circumcircle of ΔABC at A',B',C' respec vely. Let H' be the orthocenter of
ΔA'B'C'. Show that O, H and H' are collinear.
Proof. Let the line EF intersect the circumcircle of ΔABC at P, P'. Refer to the
diagram below. By Example 3.4.5, AP = AP'. It suffices to show that AP' = AQ.
No ce that ∠ABP = ∠AP'P = ∠APP' = ∠ABP', i.e., BA is the angle bisector
of ∠P'BQ. We also have ∠BFP = ∠AFE = ∠BFD (Example 3.1.6).
It follows that ΔFPB ΔFQ'B (A.A.S.), where Q' is the intersec on of BP' and
DF. We conclude that AP' = AQ (Exercise 1.10, or simply by congruent
triangles). This completes the proof.
Note:
(1) No ce that ∠ABP = ∠ABP' and ∠BFP = ∠BFD imply P and Q' are
symmetric about the line AB, and so are P' and Q. Hence, AP' = AQ. Such
an argument based on symmetry is acceptable in compe ons.
However, beginners are recommended to write down a complete
argument via congruent triangles.
(2) No ce that A, F, P, Q are concyclic since ∠APQ = ∠ACB = ∠AFP' =
∠AFQ. Hence, one may show the conclusion by applying Sine Rule to
ΔAFQ and ΔAFP. (Can you show it?)
We shall review the diagrams in Example 3.5.1 and Example 3.5.2. Suppose
AD extended and BC extended intersect at X. Since BD ⊥ AX and AC ⊥ BX, E
is indeed the orthocenter of ΔABX, i.e., XE ⊥ AB. Since PE ⊥ AB, X, P, E, F
are collinear. Refer to the diagram on the left.
Example 3.5.2 states that P, D, F, O, C are concyclic. In fact, we may remove
the semicircle centered at O and focus on ΔABX. Refer to the diagram
below. C, D, F are the feet of the al tudes in ΔABX and the circumcircle of
ΔCDF passes through O, the midpoint of AB. Similarly, this circle should pass
through the midpoints of AX, BX as well.
On the other hand, since PC = PD = PE,one can show that P is the midpoint
of XE. (Hint: Consider the right angled triangle ΔXDE. Apply Exercise 1.1.) By
similar arguments, we see that the circumcircle of ΔABC must pass through
the midpoints of AE, BEas well. This circle is called the nine-point circle of
ΔABC.
Theorem 3.5.3 (Nine-point Circle) In any triangle, the following nine points
are concyclic: the midpoints of the three sides, the feet of the three al tudes
and the midpoints of the line segments connec ng each vertex to the
orthocenter of the triangle.
As shown above, one may derive this result from Example 3.5.2. The
following is an alternative proof.
Proof. Refer to the diagram on the below. Let D, E, F be the feet of the
altitudes on BC, AC, ABrespec vely, L, M, N be the midpoints of BC, AC, AB
respectively and P, Q, R be the midpoints of AH, BH, CHrespec vely, where
H is the orthocenter of ΔABC.
On the other hand, ∠PDL = 90° = ∠PQL, which implies D lies on the
circumcircle of ΔPQL. Similarly, E, F also lie on the circumcircle of ΔPQL.
Refer to the right diagram above.
In conclusion, P, M, R, L, Q, N, D, E, F are concyclic.
3.6 Exercises
1. (a) Given a parallelogram ABCD, show that ABCD is cyclic if and only if it
is a rectangle.
(b) Given a trapezium ABCD, show that ABCD is cyclic if and only if it is
an isosceles trapezium.
8. (CGMO 07) Let D be a point inside ΔABC such that ∠DAC = ∠DCA = 30°
and ∠DBA = 60°. Let E be the midpoint of BC and F be a point on AC such
that AF = 2FC, show that DE ⊥ EF.
9. Given ΔABC where ∠A > 90°, its circumcenter and orthocenter are O
an d H respec vely. Draw O1 where CH is a diameter. O1 and O
intersect at C and D. If HD extended intersects AB at M, show that AM = BM.
12. (CZE-SVK 10) In a right angled triangle ΔABC where ∠A = 90°, P,Q, R
are on the side BC such that The
circumcircles of ΔABP and ΔACR intersect at A and M. Show that A, M, Q are
collinear.
13. In an acute angled triangle ΔABC, AD, BE are the heights. Let A' be the
reflec on of A about the perpendicular bisector of BC and B' be the
reflection of B about the perpendicular bisector of AC. Show that A'B'// DE.
14. Let I be the incenter of ΔABC. Show that the circumcenter of ΔBIC lies
on the circumcircle of ΔABC.
15. Given ΔABC, its incenter I and ex-centers J1, J2, J3, show that the
midpoints of the line segments IJ1, IJ2, IJ3, JJ1, JJ2, JJ3 all lie on the
circumcircle of ΔABC.
We have seen in Chapter 3 that straight lines intersec ng a circle give equal
angles. Hence, similar triangles could be constructed via circles. We will see
a number of examples of circles and similar triangles in this sec on. No ce
that one needs to be familiar with both circle and similar triangle proper es
in order to solve such problems.
Example 4.1.1 Refer to the diagram below. Γ 1 and Γ2 are two circles
touching each other at A. AB is a chord in Γ1, intersec ng Γ 2 at D. BC is a
chord in Γ1 which is tangent to Γ2 at E. AE extended intersects Γ1 at F.
Insight. Given two circles and two tangent lines (including a common
tangent of the two circles), one should be able to see many pairs of equal
angles. Since the conclusion is equivalent to we may show it by
similar triangles, for example, ΔABE ~ ΔAFC.
It is easy to see that ∠ABE = ∠AFC. Hence, we should have ΔABE ~ ΔAFC.
Can we show it by finding another pair of equal angles?
Note:
(1) Using the fact that the corresponding line segments are also in ra o as
the corresponding sides in similar triangles is an effec ve technique.
Beginners who are not familiar with this technique may also show
as follows: First, we have ΔAOB ~ ΔAO1E because both are
isosceles triangles and ∠OAB = 2∠ACB = 2∠AFE = ∠O1AE. Now
∠OBD = ∠O1EP and ∠BOD = ∠EO1P imply that ΔOBD ~ ΔO1EP. It
follows that Hence,
(2) One may see from the diagram that the lines AP, BE, CF are concurrent,
i.e., AP passes through H, the orthocenter of ΔABC. This is because
∠CAP = ∠BAO = ∠CAH (Example 3.4.1).
Example 4.1.3 Given a circle and a point P outside the circle, draw
tangents PA, PB touching the circle at A, B respec vely. C is a point on the
minor arc and PC extended intersects the circle at D.
Show that
Proof. Refer to the following diagram. Since ∠PAC = ∠PDA, we have
ΔPAC ~ ΔPDA.
Insight. Given the tangent line and parallel lines, it is natural to search for
equal angles and similar triangles since we are to show It would
be great if we can show ΔACP ~ ΔBDP. However, this is not true (∠ACP =
∠BAP and ∠BDP = ∠ABP, but ∠BAP and ∠ABP are not necessarily the
same). Can you see any pair of similar triangles which put AC, BD, AP and BP
together?
It seems not easy. Apparently, the tangent line and the parallel lines do not
give equal angles which leads to the similar triangle we need. No ce that
we have not used the condi on that AB is a common tangent. This implies
AB is perpendicular to the diameters of both circles. Refer to the diagram
below. Let AM, BN be the diameters of the two circles. No ce that the
diameter AM gives a right angled triangle ΔACM where CE is the height on
the hypotenuse.
not be difficult since AP, BP are also related to AM, AN by right angled
triangles.
Proof. Le t AM, BN, be the diameters of the two circles respec vely,
Clearly, AM ⊥ AB and BN ⊥ AB. Let AM, BN intersect CD at E, F
respectively. Since CD // AB, we have AEFB a rectangle and AE = BF.
Since AM is a diameter, we have ∠ACM = 90°. Since, CE ⊥ AM, we have
AC2 = AE · AM (Example 2.3.1). Similarly, BD2 = BF · BN. Now AE = BF gives
(1)
Note:
(1) We intended to search for similar triangles but failed, and we completed
the proof based on right angled triangles. This is because the tangent
line and parallel lines did not give us equal angles directly, but a
rectangle. Nevertheless, we managed to find the clues by carefully
examining the conditions and setting up intermediate steps which lead
to the conclusion. Without such repeated (and mostly failed) a empts,
the insight will not appear spontaneously!
(2)
One may also show by drawing a line passing through
and parallel to AB. Applying Example 2.3.1 to the right angled triangles
ΔAPM and ΔBPN leads to the conclusion.
(3) If the two circles intersect at P and Q, one may show Indeed,
sides of ΔAEG, i.e., it is the incircle of ΔAEG and O is the incenter. Hence, AO
bisects ∠BAC. Refer to the diagram below.
because DF // EG.
Since
we must have ΔAOD ~ ΔAGO. The conclusion follows.
Note:
(1) If you cannot recall Theorem 1.3.3, simply calculate ∠AOG by the fact
that ∠FOG = 90°.
and
However, one may not be able to relate this to PD in the diagram. What if
we “fill up” the triangle by extending BC, intersecting AD extended at F?
Can you show it? (Hint: OC // AD and OA = OB.) We leave the details to the
reader.
Note: We did not construct any similar triangles, but simply applied the
Intercept Theorem where AD // CO and DE//BC. No ce that OA = OB is an
elementary property, but it could be overlooked occasionally.
Example 4.1.8 Refer to the diagram below. Given ΔABC and its
circumcircle Γ, MN is a line tangent to Γ at B such that MA, NC touch Γ at A, C
respectively. Let P be a point on AC such that BP ⊥ AC. Show that BP bisects
∠MPN.
Insight. We are only given a few tangent lines of the circle. No ce that P
i s not the center of the circle: there are no other given right angles in the
diagram and it may be difficult to find concyclicity related to P. Hence,
showing ∠BPM = ∠BPN by finding equal angles may not be an effec ve
strategy.
How can we show ΔAMP ~ ΔCNP ? It seems we should find another pair of
equal angles using the condi on BP ⊥ AC, but this is equally difficult as
showing the conclusion directly.
No ce that it is much easier to show the inverse: if we are given ΔAMP ~
ΔCNP, one could see that BP bisects ∠MPN and BP ⊥ AC. Perhaps we
should consider a proof by contradiction.
(1) and (2) imply that BP'⊥ AC, i.e., P and P' coincide. This completes the
proof.
Note: One may s ll seek clues from BP ⊥ AC and other right angles by
introducing the center of Γ. Refer to the diagram below. It would be wise to
erase unnecessary lines.
Now it is easy to see that ΔAMP ~ ΔCNP and the conclusion follows. In fact,
one familiar with angle proper es in circle geometry may immediately see
that ∠1 = ∠2 (Theorem 3.2.10) and ∠2 = ∠3 (because A, M, B, O are
concyclic). Now it is easy to iden fy similar triangles and this alterna ve
solution follows naturally.
In Chapter 2, we learnt Ceva’s Theorem and Menelaus’ Theorem, which are
useful results solving problems on collinearity and concyclicity. When
circles are introduced, one may find even more interes ng results by
applying Ceva’s Theorem and Menelaus’ Theorem, due to more equal
angles and line segments. The following is a simple example.
Example 4.1.9 Given ΔABC where AB > AC, its incircle I touches BC, AC,
AB at D, E, F respec vely. P is a point on BC extended. Draw a line PG
tangent to I at G (dis nct from D), intersec ng AB, AC at M, N
respec vely. Let BG, DM intersect at Q and CG, DN intersect at R. Show that
if P, E, F are collinear, then P, Q, R are collinear.
No ce that we are given many tangent lines: those equal tangent segments
could be helpful. If we choose the line PF intersec ng ΔABC, Menelaus’
Theorem gives
No ce that one may apply Ceva’s Theorem instead: not only will we have
more equal tangent segments, but also get rid of those line segments which
are not preferred (i.e., those not along the tangent lines).
Since P, E, F are collinear, Q, R also lie on this line, i.e., P, Q, R are collinear.
Refer to the le diagram below. One sees the conclusion immediately from
the fact that ΔACE ~ ΔDBE.
Theorem 4.2.2 (Tangent Secant Theorem) Let P be a point outside the circle
and a line passing through P intersects the circle at A and B. If PQ touches the
circle at Q, we must have PQ2 = PA·PB.
Refer to the right diagram above. One may see the conclusion from the fact
that ΔPAQ ~ ΔPQB (because ∠PQA = ∠PBQ).
Note:
(1) An immediate corollary of the Tangent Secant Theorem is that if two
lines passing through P intersect the circle at A, B and C, D respec vely,
we must have PA · PB = PC · PD, because both are equal to PQ2.
(2) One easily sees that the inverse of the Intersecting Chords Theorem and
the Tangent Secant Theorem hold. (Can you show it, say by
contradic on?) Hence, we may use these theorems, especially the
inverse, to show concyclicity.
Example 4.2.5 Let X be a point inside ΔABC and the lines AX, BX, CX
intersect the circumcircle of ΔABC at P, Q, R respec vely. Let A' be a point
on PX. Draw A'B' // AB and A'C' // AC, where B', C' are on the lines QX, RX
respectively. Show that B', C', R, Q are concyclic.
Proof. Since A' B' // AB, we have ∠A'B' X = ∠ABQ = ∠APQ (angles in the
same arc). Hence, A' B', Q, P are concyclic. By the Tangent Secant Theorem,
XA' · XP = XB' · XQ. Similarly, A', C', R, P are concyclic and XA' · XP = XC' · XR.
Now XB' · XQ = XC' · XR, which implies B', C', R, Q are concyclic.
Note: One might also show B'C' // BC by applying the Intercept Theorem
repeatedly, which also leads to the condi on. We leave the details to the
reader.
Example 4.2.6 ABCD is a quadrilateral inscribed in O. AB extended and
DC extended intersect at P. AD extended and BC extended intersect at Q.
Draw PE tangent to O at E and QF tangent to O at F. Show that PE, QF
and PQ give the sides of a right angled triangle.
One sees that PQ2 is related to those line segments above by Cosine Rule.
However, it is difficult to use those line segments to express cos ∠ A or
cos∠PCQ.
Are there other methods to relate PE2 and QF2 to PQ2? If the circumcircle of
ΔCDQ intersects PQ at X, we must have PE2 = PC · PD = PX · PQ.
Hence, if PQ2 = PE2 + QF2, we should have QB · QC = QF2 = PQ2 − PE2 = PQ2 −
PX · PQ = (PQ − PX)· PQ = QX · PQ. Hence, B, C, X, P should be concyclic. Can
we prove it?
No ce that we have ∠CXP = ∠CDQ = ∠ABC by applying Corollary 3.1.5
repeatedly and hence, B, C, X, P are concyclic. (Can you see this is similar to
the proof of the Simson’s Line?) We leave it to the reader to write down the
complete proof.
Note: One may see from the diagram that PQ is longer than PE and QF.
(Drawing a reasonably accurate diagram would be helpful.) Even though this
is not given, one should aim to show that PQ2 = PE2 + QF2.
Example 4.2.7 (IMO 95) The incircle of ΔABC touches BC, AC, AB at D, E, F
respec vely. Let X be a point inside ΔABC such that the incircle of ΔXBC
touches BC, XB, XC at D, Y, Z respectively. Show that E, F, Y, Z are concyclic.
Insight. Refer to the diagram below. Apparently, there are very few
condi ons given: we only know that E, F, Y, Z are all points of tangency.
Although there are incircles (i.e., angle bisectors), but E, F, Y, Z are not
related to the incenter or any angle bisectors.
On the other hand, the diagram seems in an “upright” posi on because the
two incircles share a common point of tangent. Do we have YZ // EF ? If yes,
then perhaps we can show that EFYZ is an isosceles trapezium.
Regre ably, this is not true. Refer to the diagram below where FE extended
and YZ extended intersect. Can you see a clue in this diagram? Perhaps we
could show that PE · PF = PY · PZ.
Since the two circles have one common point of tangency D, if P lies on BC
extended, we would have PD2 = PE · PF = PY · PZ.
No ce that AE = AF. In fact, there are many equal tangent segments in this
diagram.
Perhaps we can also apply Menelaus’ Theorem to ΔXBC, which might give us
sufficient equalities leading to (1).
because BF = BD = BY and CE =
CD = CZ (equal tangent segments). Hence, E, F, P are collinear.
Example 4.2.8 (JPN 11) Given an acute angled triangle ΔABC and its
orthocenter H, M is the midpoint of BC. Draw HP ⊥ AM at P. Show that AM ·
PM = BM2.
Insight. It seems AM, AP are not closely related to BM. However, given
the orthocenter and the midpoints, one immediately sees BM = DM = CM,
where BD ⊥ AC at D.
Proof. Let BD be the height on AC. In the right angled triangle ΔBCD,
Now it suffices to show AM · PM = DM2.
Example 4.2.9 (CMO 10) Refer to the le diagram below. Two circles
intersect at A and B. A line passing through B intersects the two circles at C,
D respec vely. Another line passing through B intersects the two circles at
E, F, respectively. CF intersects the two circles at P, Q respec vely. Let M, N
be the midpoints of arcs respec vely. Show that if CD = EF, then C,
M, N, F are concyclic.
Insight. Clearly, we must use the condi on CD = EF in the proof. How
about EF · BF = FQ · CF and BC · CD = CP · CF?
ΔBCF. Perhaps we should focus on this triangle and see what we may
discover.
Refer to the previous right diagram. How is ΔBCF related to the conclusion?
No ce that CN and FM are the angle bisectors of ΔBCF (Corollary 3.3.3).
Hence, they intersect at the incenter I of ΔBCF. Since we are to show C, M,
N, F concyclic, we should have CI · IN = FI · IM. Although we cannot apply the
Intersec ng Chords Theorem directly because these are chords in two
different circles, there is a common chord AB! Since we are to show CI · IN =
FI · IM, we should have AB passing through I. (Suppose otherwise, say BI
extended intersects the two circles at A and A' respec vely. By the
Intersecting Chords Theorem, AI · IB = CI · IN = FI · IM = A'I · IB, which implies
that A and A' coincide.)
Now it suffices to show that AB is the angle bisector of ∠CBF. Refer to the
left diagram below. This is much simpler!
Note that we have not used the condi on CD = EF yet. Apparently, our
previous explora on on CD = EF was ineffec ve. Nevertheless, these two
circles give many equal angles. Perhaps we can find congruent triangles.
Proof. Refer to the right diagram above. We have ∠ADC = ∠AFE (angles
in the same arc) and ∠ACD = ∠AEF (Corollary 3.1.5).
Given CD = EF, we conclude that ΔACD ΔAEF (A.A.S.) and hence, AD = AF.
Now we have ∠ABF = ∠ADF (angles in the same arc) = ∠AFD (because AD
= AF) = ∠ABC (Corollary 3.1.5), i.e., BA is the angle bisector of ∠CBF.
Since M, N are the midpoints of arcs respec vely, CN, FM are both
angle bisectors of ΔCBF (Corollary 3.3.3). Let I be the incenter of ΔCBF. We
have CI · IN = AI · IB = FI · IM by the Intersec ng Chords Theorem. Hence, C,
M, N, F are concyclic.
Note: One sees many clues from the condi ons given and hence, may
explore in a wrong direc on. For example, one may apply and
construct similar triangles, or seek angles in the same arc using the angle
bisectors. Even though such (failed) a empts are not reflected in the final
solu on, these are inevitable during problem-solving and should not be
considered a waste of effort. Indeed, beginners would learn much more
from those attempts rather than merely reading the solution.
Example 4.2.10 (CGMO 10) Refer to the diagram below. In an acute angled
triangle ΔABC, M is the midpoint of BC. Let AP bisect the exterior angle of
∠A, intersecting BC extended at P. Draw ME ⊥ AP at E and draw MF ⊥ BC,
intersecting the line AP at F. Show that BC2 = 4PF · AE.
Insight. It seems from the conclusion that the Intersec ng Chords
Theorem or the Tangent Secant Theorem should be applied, but where is
the circle? Perhaps we can see concyclicity from the right angles given.
Besides, we also have the angle bisector of the exterior angle. What does it
remind you of? Recall that the angle bisectors of supplementary angles are
perpendicular (Example 1.1.9)!
We also note that PB · PC = (PM + BM)(PM − BM) = PM2 − BM2, where PM2 =
PE · PF (Example 2.3.1). Apparently, we are very close to the conclusion.
Proof. Let D be the midpoint of the minor arc It is
easy to see that AD bisects ∠BAC (Corollary 3.3.3). This implies that D lies
on the perpendicular bisector of BC (because BD = CD). Since MF ⊥ BC, MF
is also the perpendicular bisector of BC. It follows that D, M, F are collinear,
the line of which passes through the center of the circumcircle of ΔABC.
Since AD ⊥ AP, we claim that F must lie on the circumcircle of ΔABC as well.
Otherwise, say the line MD intersects the circumcircle of ΔABC a t F' , DF'
must be a diameter of the circle and ∠DAF' = 90°, i.e., AD ⊥ AF'. This
implies F' lies on the line AP, i.e., F and F' coincide.
Note: Once the circumcircle of ΔABC is drawn, it is easy to see that the
l i ne DM is a diameter of the circle, where AD bisects ∠BAC. Now the
exterior angle bisector is used to construct right angles. Notice that applying
the Angle Bisector Theorem may not be an effec ve strategy because AB,
AC are not closely related to PF, AE.
Given a circle, a straight line could intersect the circle at two points, or
touch the circle at one point, i.e., a tangent line. Refer to the diagram
below.
Can you show that no straight line intersects a circle at more than two
points? (Hint: Suppose otherwise, say a line intersect O at A, B, C, we
have OA = OB = OC, i.e., both ΔOAB and ΔOBC are isosceles triangles. Show
that this is impossible by considering the base angles.)
Given a circle, another circle may intersect it at two points, or touch it at one
point, in which case we say the circles are tangent to each other. Refer to
the following diagrams.
Can you show that no two circles intersect at more than two points? (Hint:
Suppose otherwise, say O1 and O2 intersect at A, B, C. It is easy to see
that A, B, C cannot be collinear. Now consider the circumcircle of ΔABC.)
Given O1 and O2, if they intersect at A and B, then O1O2 must be the
perpendicular bisector of AB (Theorem 3.1.20). In par cular, if O1 and
O2 touch each other at A, then O1O2 passes through A, i.e., O1, O2, A are
collinear. Hence, one may consider two circles touching each other an
extreme case of intersec ng circles. Similarly, a tangent line of the circle is
also an extreme case of a line intersec ng the circle at two points, as
reflected in the Tangent Secant Theorem. We may define radical axes when
two or more circles intersect or touch each other.
Note: One may also define a radical axis of two non-intersec ng circles.
However, we will only focus on radical axes of circles intersec ng or
tangent to each other, which are the most commonly seen applica ons in
competitions.
Theorem 4.3.2 If three circles are mutually intersecting each other, then the
three radical axes are either parallel or concurrent.
Proof. Let the three circles be Γ1, Γ2, Γ3 such that Γ1, Γ2 intersect at A, B,
Γ2,Γ3 intersect at C, D and Γ1, Γ3 intersect at E, F. If the radical axes AB, CD, EF
are parallel, there is nothing to prove. Refer to the le diagram below.
Otherwise, say without loss of generality that AB and CD intersect at P.
Extend PE, intersec ng Γ 2 at X. We claim that X and F coincide. Refer to the
right diagram below.
Note: This proof holds regardless of the rela ve posi ons of the three
circles. Refer to the diagram below. No ce that PA · PB = PC · PD = PE · PF by
the Intersec ng Chords Theorem. Hence, we s ll have the radical axes AB,
CD, EF concurrent.
Example 4.3.3 Refer to the diagram below. O1, O2 and O3 are
mutually tangent to each other at A, B, C respec vely. Show that the
circumcenter of ΔABC is the incenter of ΔO1O2O3.
What do we know about the incenter and the incircle of ΔO1O2O3 ? Refer to
the le diagram below. It seems A, B, C should be the feet of the
perpendiculars from the incenter of ΔO1O2O3. What if we draw
perpendicular lines from A to O1O2, B to O2O3 and C to O3O1? Can you see
that the perpendicular from A to O1O2 is indeed a common tangent of O1
a n d O2, and similarly for B and C? These common tangents are
concurrent! (Can you show this by the Tangent Secant Theorem? Refer to
Exercise 4.11.)
Proof. Refer to the right diagram above. Draw the perpendicular lines
from A to O1O2 and from B to O2O3, intersec ng at I. It is easy to show that
CI ⊥ O1O3 (Exercise 4.11). No ce that AI = BI = CI (equal tangent segments).
Hence, I is the circumcenter of ΔABC. Observe that O1I bisects ∠O1 since
ΔO1AI ΔO1CI (H.L.). Similarly, O2I bisects ∠O2. Hence, I is the incenter of
ΔO1O2O3 This completes the proof.
Insight. Let us draw the circumcircle of ΔABC. Refer to the diagram below
where A, B, C, D lie on the O.
Can you see that the lines AB, CD, PQ are exactly the radical axes when O,
O1 and O2 intersect each other?
No ce that AB ⊥ OO2 and CD ⊥ OO1 (Theorem 3.1.20). Can you see that H
is the orthocenter ΔOO1O2 ? Now can you see why O lies on the line PQ?
(Hint: OH ⊥ O1O2 and PH ⊥ O1O2 .) We leave it to the reader to complete
the proof.
The concept of the power of a point with respect to a circle is closely related
to the Intersec ng Chords Theorem and the Tangent Secant Theorem. Refer
to the following diagrams.
• If P is outside the circle where PX touches O at X, one sees that PX2 =
OP2 − OX2. By the Tangent Secant Theorem, we have PA · PB = PC · PD =
PX2, which equals the power of P with respect to O.
• If P is inside the circle, draw EF ⊥ OP at P, intersecting O at E and F. One
sees that OP2 = OE2 − PE2. By the Intersec ng Chords Theorem, PA · PB
= PC · PD = PE · PF = PE2 = OE2 − OP2, which is the nega ve of the power
of P with respect to O.
One sees that the power of P with respect to O1 and O2 is the same if
and only if PC = PD, i.e., C, D coincide with B, the line PA passes through B
and P lies on the radical axis AB.
No ce that this proof s ll holds if P lies inside O1 and O2. Now the
power of P with respect to O1 and O2 are − PA · PC and − PA · PD
respec vely. Hence, the power of P with respect to O1 and O2 is the
same if and only if PC = PD, i.e., if and only if P lies on the radical axis AB.
Note: One may easily show Theorem 4.3.2 by applying Theorem 4.3.6: If a
point P lies on the radical axis of O1 and O2 and the radical axis of O2
and O3, its power with respect to O1, O2 and O3 is the same. Hence,
P must also lie on the radical axis of O1 and O3.
Example 4.3.7 (RUS 13) Given an acute angled triangle ΔABC, draw
square s BCDE and ACFG outwards from BC, AC respec vely. Let DC
extended intersect AG at P and FC extended intersect BE at Q. X is a point
inside ΔABC which lies on the circumcircles of both ΔPDG and ΔQEF. If M is
the midpoint of AB, show that ∠ACM = ∠BCX .
Observe the diagram. It seems that C lies on XZ, the common chord (and the
radical axis) of the two circles. This is not difficult to show, by calculating
the power of C with respect to the two circles, because we have many equal
lengths in the diagram due to the squares.
It follows that ∠BCX = ∠CZD (because C lies on XZ). One sees that C, D, Z, F
are concyclic and hence, ∠CZD = ∠CFD. It suffices to show that ∠ ACM =
∠CFD, where M is the midpoint of AB. Refer to the diagram below. It is
much simpler! Does the diagram look familiar? (Refer to Example 1.2.11.)
Proof. Let the lines FG and DE intersect at Z. Since ∠PDZ = ∠PGZ = 90°, P,
D, Z, G are concyclic. Similarly, Q, E, Z, F are concyclic because ∠QEZ = ∠QFZ
= 90°. Let Γ1, Γ2 denote the circumcircles of ΔPDG and ΔQEF respec vely. We
see that Z lies on both Γ1 and Γ2, i.e., XZ is the common chord of Γ1 and Γ2.
No ce that the power of C with respect to Γ1 is − PC · CD and the power of C
with respect to Γ2 is − QC · CF. Observe that PC · CD = PC · BC and QC · CF = QC
· AC.
It is easy to see that ΔBCQ ~ ΔACP because ∠ACP = 90° − ∠ACB = ∠BCQ.
Hence, i.e., PC · BC = QC · AC. This implies the power of C with
respect to Γ1 and Γ2 is the same. By Theorem 4.3.6, C lies on XZ, the radical
axis of Γ1 and Γ2.
Now ∠BCX = ∠CZD (because BC // DE) = ∠CFD (angles in the same arc).
Refer to the diagram below. Extend CM to C' such that CM = C'M. One sees
that ΔACC' ΔCFD (Example 1.2.11, or simply by S.A.S.). Now we have
∠ACM = ∠CFD = ∠BCX.
Insight. Refer to the diagram below. It is easy to see that BC and DE are
not parallel. Since there are three circles, we immediately see that the
radical axes are concurrent, say at X.
No ce that AO, OX (or more precisely, AO2, OX2) are closely related to the
power of points A and X with respect to O. One may also express the
power of A with respect to O as AD · AC and the power of X with respect
to O as XB · XC. Since X lies on all radical axes (or by the Tangent Secant
Theorem), we have XB · XC = XA · XP. How are these line segments helpful?
Perhaps we can show AP ⊥ OP by calcula ng AO2 − AP2 and OX2 − PX2.
(Recall Theorem 2.1.9: AP ⊥ OP if and only if AO2 − AP2 = OX2 − PX2.)
We conclude that the radical axes BC, DE, AP are concurrent at X (Theorem
4.3.2). Let the radius of O be R. Now the power of X with respect to O is
OX2 − R2 = BX · CX = AX · PX and the power of A with respect to O is AO2 −
R2 = AD · AC. It follows that AO2 − OX2 = AD · AC − AX · PX. (1)
Refer to the diagram above. We have ∠APD = ∠BED = ∠ACX (Corollary
3.1.5) and hence, C, D, P, X are concyclic.
By the Tangent Secant Theorem, AC · AD = AP · AX . (2)
Note:
(1) One may see (2) from (1) and reverse engineering: Since we are to show
AO2 − OX2 = AP2 − PX2, we should have
(2) One may also show the conclusion by angles. First, we show that E, D, X
are collinear and C, D, P, X are concyclic as in the proof above. Now
∠APE = ∠ADE = ∠CDX = ∠CPX (Corollary 3.1.3). Refer to the diagram
below. We are to show ∠OPA = ∠OPX = 90°. Hence, it suffices to show
that OP bisects ∠CPE.
Consider ΔOEP and ΔOCP. Refer to the diagram below. We have OE =
OC and we should have ∠OPE = ∠OPC. However, it seems that ΔOEP
and ΔOCP are not congruent. Hence, we should have ∠OEP + ∠OCP =
180°! (Refer to the remarks before Example 3.3.6.) This implies C, O, E,
P should be concyclic. Can we show it?
Now ∠OEP + ∠OCP = 180° and hence, sin ∠OEP = sin ∠OCP.
By Sine Rule,
Besides the Intersec ng Chords Theorem and the Tangent Secant Theorem,
Ptolemy’s Theorem provides another way to determine concyclicity without
finding equal angles. Moreover, it gives useful iden ty regarding the sides
and diagonals of a cyclic quadrilateral.
Proof. Refer to the diagram below. Choose P such that ∠ABD = ∠CBP
and ∠ADB = ∠BCP, i.e., we construct similar triangles ΔABD ~ ΔPBC.
Hence, and
(2)
(1) implies that there is another pair of similar triangles: ΔABP ~ ΔDBC. This
is because the angles between the corresponding sides are the same:
∠ABP = ∠ABD + ∠PBD = ∠CBP + ∠PBD = ∠CBD.
Insight. One could see that sin(∠1 + ∠2) = sin ∠B = sin ∠D because ∠B
+ ∠D = 180° (Corollary 3.1.4). Hence, sin(∠1 + ∠2) = sin(∠3 + ∠4) .
Insight. One no ces that the conclusion looks like Ptolemy’s Theorem.
Refer to the diagram below.
Can you see ΔPQR ~ ΔBDC ? It should not be difficult to show, by circle
proper es and parallel lines, that the corresponding angles of these
triangles are all equal. For example, ∠PRQ = 180° − ∠ABC = ∠BCD. We
leave it to the reader to complete the proof.
Example 4.4.4 Given an acute angled triangle ΔABC where O is the
circumcenter, M, N are on AB, AC respectively such that O lies on MN. Let D,
E, F be the midpoints of MN, BN, CM respec vely. Show that O, D, E, F are
concyclic.
Apparently, there are many clues, but none of them is useful unless O, E, F,
D are concyclic. Perhaps we can draw the circumcircle of ΔDEF, which
intersects MN at O' and show that O' coincide with O. By applying Ptolemy’s
Theorem to O' DEF and replacing the lengths by those in ΔABC (by similar
triangles or the Midpoint Theorem), we might be close to the conclusion.
(1)
Since
Now
where (3)
Now where
Note:
(1) One sees that (*) holds regardless of the posi ons of O and O' on MN,
i.e., if MO < NO, both O'D and OD are nega ve, which means O and O'
lie between M and D. If MO > NO, O and O' lie between N and D.
(2) Considering the power of M, N upon (3) is expected: We have not used
the condition that O is the circumcenter of ΔABC and we are to remove
A, B, C in the expression of O'D!
Example 4.4.5 Given ΔABC, E, F are on AC, AB respec vely such that BE, CF
bisect ∠B,∠C respec vely. P, Q are on the minor arc of the
circumcircle of ΔABC such that AC // PQ and BQ // EF. Show that PA + PB =
PC.
Insight. Refer to the diagram below. We are to show the rela onship
among PA, PB and PC, which lie in the quadrilateral PABC. On the other
hand, we might obtain equal angles from the circle and parallel lines.
For example, we have ∠BAC = ∠BPQ and ∠AEF = ∠PQB = ∠PCB. It
follows that ΔAEF ~ ΔPCB.
In the quadrilateral PABC, PA, PB, PC are related to AB, BC, AC by Ptolemy’s
Theorem. PB, PC are also related to AE, AF by similar triangles. Since AE, AF
are angle bisectors, they can be expressed in terms of AB, BC, AC (Example
2.3.8). It seems that we are close to the conclusion.
Le t BC = a, AC = b and AB = c. We see
(Example 2.3.8).
H e n c e , which gives
It follows that
4.5 Exercises
5. Given a circle and a point P outside the circle, draw PA, PB touching the
circle at A, B respectively. C is a point on the minor arc and PC extended
intersects the circle at D. Let E be a point on AC extended and F a point on
AD such that EF// PA. If EF intersect AB at Q, show that QE = QF.
12. Let O1, O2 be two points inside O. Draw O1 and O2, which touch
O at A, B respec vely. If O1 and O2 intersect at C, D and A, B, C are
collinear, show that OD ⊥ CD.
The following are standard results which could be used directly in problem
solving, i.e., one may simply state these results without proof.
• Given ΔABC and D is on AC such that ∠ABD = ∠C, we have ΔABD ~ ΔACB
Refer to the left diagram below.
• Given an acute angled triangle ΔABC and its circumcenter O, we must have
∠A + ∠OBC = 90°.
• Refer to the diagram on the below. Given a circle with we
must have AD // BC.
• Refer to the left diagram below. AB, CD are two chords in O and AB, CD
intersect at P. We have ∠AOD + ∠BOC = 2∠APD.
Proof. Refer to the right diagram above. We have ∠BOC = 2∠1 and
∠AOD = 2∠2 (Theorem 3.1.1).
Now ∠APD = ∠1 + ∠2 and the conclusion follows.
It follows that
Useful Facts
One familiar with the following facts may see clues and intermediate steps
in problem-solving quickly, which might tremendously simplify the
conclusion to be shown. While experienced contestants simply state these
well-known facts during compe ons, beginners are recommended not to
omit any necessary proof to these results (which were illustrated in the
previous chapters).
• Let BD, CE be the heights of an acute angled triangle ΔABC. If the line DE
intersects the circumcircle of ΔABC at P, Q respec vely, we have AP =
AQ.
• Let P be a point outside O and PA, PB touch O at A, B respectively. We
have that the incenter of ΔPAB is the midpoint of the minor arc
We shall see how these facts (together with theorems and standard results)
could be helpful in problem-solving.
Example 5.1.1 In an acute angled triangle ΔABC, AD, BE, CF are heights. Let
the incircle of ΔDEF touch EF, DF, DE at P, Q, R respec vely. Show that Δ PQR
~ ΔABC.
Example 5.1.2 (CHN 10) Let be a straight line and P is a point which does
not lie on . A, B, C are dis nct points on . Let the circumcenters of ΔPAB,
ΔPBC, ΔPCA be O1, O2, O3 respectively. Show that P, O1, O2, O3 are concyclic.
Since we are asked to show P, O1, O2, O3 are concyclic, it is natural to search
for equal angles. For example, can we show ∠1= ∠2?
Alterna vely, one may also show that P, O1, O2, O3 are concyclic via
∠PO1O2 = ∠PO3O2 Since O1O2 ⊥ PB, we have
Note: This could be considered a very easy problem if one is familiar with
the basic proper es in circle geometry, including recognizing the angles
needed while disregarding the unnecessary line segments. Indeed, if one
decides to show the concyclicity via angle proper es, it is natural to
consider either of the approaches above.
Example 5.1.3 Given ΔABC and its incenter I, the circumcircles of ΔAIB and
ΔAIC intersect BC at D, E respectively. Show that DE = AB + AC − BC.
Insight. One recalls that the circumcenter of ΔAIB is indeed the intersec on
of CI extended with the circumcircle of ΔABC. Refer to the diagram on the
below. Let CI extended intersect the circumcircle of ΔABC at P. We have PA
= PB = PI = PD. Notice that CI bisects ∠C.
It is not difficult to see Δ ACP ΔDCP. (Can you show it?) Hence, AC = CD.
Similarly, AB = BE. Now it is easy to see the conclusion because BE + CD − DE
= BC. We leave the details to the reader.
Warning: One should not conclude ΔACP ΔDCP via PA = PD, ∠DCP =
∠ACP and PC = PC. This is NOT S.A.S.! Instead, one may show that ∠PAC =
180° − ∠PBC = 180° − ∠PDB = ∠PDC and apply A.A.S.
Example 5.1.4 (CMO 11) Let P be a point inside ΔABC such that ∠PBA =
∠PCA. Draw PD ⊥ AB at D and PE ⊥ AC at E. Show that the perpendicular
bisector of DE passes through the midpoint of BC.
Proof. Refer to the diagram on the below. Let M be the midpoint of BC.
Let F, G be the midpoints of BP, CP respectively.
Note: The condi on ∠PBA = ∠PCA seems not easy to apply at first. We
leave it aside. Once we see that ΔEFM and ΔMGD should be congruent, it
becomes natural to show equal angles using this condition.
(*)
One sees the conclusion by showing ∠ABP = ∠1. We leave it to the reader
to complete the proof. (Hint: ∠PBC = ∠PAC = ∠PAB .)
No ce that where
h1, h2 are heights from A, C to BD respec vely. No ce that h1 = AP sin ∠1
a n d h2 = CP sin ∠1 because sin ∠1 = sin ∠APB. Hence,
Alterna vely, one may also draw lines passing through A, C and parallel to
BD, and lines passing through B, D and parallel to AC. Refer to the right
diagram above. No ce that EFGH is a parallelogram. One sees that
Recall ∠BAC = 90° − ∠OBC, i.e., it suffices to show ∠AQD = ∠OBC. Refer to
the diagram above. How are these two angles related? It seems not very
clear.
On the other hand, we are given ∠BPA = ∠CPA. How can we use this
condi on? Can you see that O, B, P, C are concyclic (Example 3.1.11)? Now
we have ∠OBC = ∠APC. Can we show ∠APC = ∠AQD?
One may also no ce that ∠CAO = ∠BAD. It seems that we should have
ΔPAC ~ ΔQAD. Refer to the diagram below.
Note: One sees that familiarity with basic facts in geometry is important
in solving this problem.
Refer to the following diagrams. Can you see ∠I1AI2 = 30° ? Can you see
O1 and O2 have the same radius (by Sine Rule) and hence, AO1DO2 is a
rhombus?
If we focus on one triangle, say ΔACD with its incenter and circumcenter, we
have
But these two angles are the same since ∠C = 60°! This implies A, O2, I2, D
are concyclic. Refer to the left diagram below.
On the other hand, let the circumradius of ΔABD and ΔACD be r1, r2
respectively. By Sine Rule,
Notice that sin ∠ADB = sin ∠ADC (because ∠ADB = 180° − ∠ADC) and AB =
AC. It follows that r1 = r2 and hence, AO1DO2 is a rhombus. In par cular,
ΔO1O2D is an equilateral triangle.
Example 5.1.9 (EGMO 12) Given an acute angled triangle ΔABC, its
circumcircle Γ and orthocenter H, K is a point on the minor arc Let L be
the reflec on of K about the line AB and M be the reflec on of K about the
line BC. The circumcircle of ΔBLM intersects Γ at B and E. Show that the lines
KH, EM and BC are concurrent.
Insight. Refer to the diagram on the below. It seems not easy to show the
concurrency using Ceva’s Theorem. However, we no ce that H and D are L
symmetric about BC, where D is the intersec on of AH extended and Γ. On
the other hand, it is given that M and K are symmetric about BC.
Now it is easy to see that MD, KH and BC are concurrent, because BC is the
perpendicular bisector of HD and MK, where HD // MK. Since we are to
show the lines KH, EM and BC are concurrent, it suffices to show that E, M, D
are collinear. No ce that there are many equal angles in the diagram due to
the two circles and the symmetry of K, L and K, M. Is there any angle related
to say the point E?
How about ∠BEM ? One sees immediately that ∠BEM = ∠BLM . Refer to
the diagram on the below. Since L, M are reflec ons of K about AB, BC
respec vely, we have BK = BM = BL. It follows that ∠BLM = ∠BML. Can we
show that ∠BAD = ∠BED = ∠BEM ?
Now we have
If we can find another circle Γ 3 such that EQ, FQ are the radical axes of Γ1, Γ3
and Γ2, Γ3 respec vely, the conclusion follows. Let Γ 1 intersect the line EQ at
X and Γ2 intersect the line FQ at Y. It is easy to see that X, Y are the feet of
the perpendiculars from P to EQ, FQ respectively. Can we show that E, X, Y, F
are concyclic? This should not be difficult to as we have an abundance of
concyclicity in the diagram (for example, B, E, P, Y are concyclic because
∠BEP = ∠BYP = 90°) and hence, many pairs of equal angles.
Knowing the basic facts and important theorems well is important for
solving geometry problems, but is s ll insufficient. In fact, it is common to
see beginners who diligently learn many theorems, but do not know how to
apply those results and solve geometry problems. Indeed, many beginners
are not aware of the commonly used techniques (instead of theorems),
which are not found in most textbooks.
Proof. If ∠BAC = ∠ACD = 90°, we have ΔBAC ΔDCA (H.L.) and hence,
ABCD is a parallelogram and ∠B = ∠D.
Suppose ∠BAC < 90°. Let DC extended and AB extended intersect at E. Since
∠BAC + ∠ACD = 180°, we have ∠BAC = ∠ECA and AE = CE. Choose F on the
line CD such that AF = AD. We have ∠D = ∠AFD. Now BC = AD = AF gives
ΔABC ΔCFA (S.A.S.). It follows that ∠B = ∠AFD = ∠D.
If ∠BAC > 90°, the lines AB and CD intersect at the other side of AC and a
similar argument applies.
Note: We used “cut and paste” to find clues in this problem: since ∠ BAC
and ∠ACD are supplementary, if we put them together, a straight line is
obtained. We also put the line segments AD, BC together, which gives an
isosceles trapezium. No ce that simply applying any theorem directly to
this problem will not give the conclusion.
Refer to the diagram on the below. Given ΔABC and its median AD,
extending AD to E with AD = DE gives ΔABE where BE = AC and ∠ABE =
180° − ∠A.
If we know more about AB and CD, say AB = CD, then we conclude that
ΔPMN is an isosceles triangle.
On the other hand, if midpoints are given together with right angled
triangles, one may consider the median on the hypotenuse. Example
5.1.4 illustrates this technique.
One may easily see an isosceles triangle from an angle bisector plus
parallel lines. Refer to the diagram on the below. If AD bisects ∠A, we
have ∠1= ∠2.
If AC // BD, ∠2 = ∠3. It follows that AB = BD.
• Angle-chasing
One should always refer to the context of the problem and determine
which approach might be effective.
• Perpendicular bisector of a chord
This is a very basic technique where the line connec ng the centers of
the two circles is a line of symmetry.
Refer to the diagram on the below. No ce that O1O2 ⊥ AB and O1O2 is
the angle bisector of both ∠AO1B and ∠AO2B. Even though this is an
elementary result, one may apply it to solve difficult problems.
When more than one circle is given and there is a common chord or
concurrency, one may apply the Tangent Secant Theorem or the
Intersec ng Chords Theorem repeatedly to acquire more concyclicity.
Refer to the diagrams below. Can you see C, D, E, F are concyclic in both
diagrams? Can you see that PC · PD = PA · PB = PE · PF ?
Refer to the diagram on the below. If A, B, C, D are concyclic, C, D, E, F
are concyclic and E, F, G, H are concyclic, can you see that A, B, G, H are
concyclic? (Hint: PA · PB = PC · PD = PE · PF = PG · PH.)
One may recall that we applied these basic techniques extensively when
solving problems in the previous chapters. We shall illustrate these
techniques with more examples in this section.
Example 5.2.2 (ITA 11) Given a quadrilateral ABCD, the external angle
bisectors of ∠CAD, ∠CBD intersect at P. Show that if AD + AC = BC + BD,
then ∠APD = ∠BPC.
Insight. Refer to the le diagram above, where AP, BP are the external
angle bisectors of ∠CAD, ∠CBD respec vely. How can we apply the
condition AD + AC = BC + BD? Cut and paste!
Extend DB to C' such that BC' = BC and extend CA to D' such that AD = AD'.
Can you see that C, C' are symmetric about the line PB, and D, D' are
symmetric about the line PA? (Hint: ΔBCC' is an isosceles triangle and PB is
the perpendicular bisector of CC'.) Now BC = BC' and AD = AD'. Refer to the
right diagram above. Can you see that AD + AC = BC + BD implies CD' = C'D ?
Can you see that PC = PC', PD = PD' and hence, ΔPC'D ΔPCD'?
Now ∠C'PD = ∠CPD' and the conclusion follows. We leave the details to
the reader.
Example 5.2.3 (GER 08) Given an acute angled triangle ΔABC, AD is the
angle bisector of ∠A, BE is a median and CF is a height. Show that AD, BE, CF
are concurrent if and only if F lies on the perpendicular bisector of AD.
What if we apply Ceva’s Theorem to the height CF, the median BE and the
angle bisector AD? By the Angle Bisector Theorem and AE = CE, we may
obtain the ratio of line segments leading to AC // DF.
Proof. By Ceva’s Theorem, AD, BE, CF are concurrent if and only if
Since BE is a median, it is equivalent to or
DF // AC.
Insight. It is easy to see that the angle bisectors of ∠CAD and ∠CBD
meet at the midpoint of the arc say P. Refer to the diagram on the
below. No ce that the reflec ons 1, 2 and the circle give a lot of equal
angles.
Since 1 and AB are symmetric about AP, we must have ∠BAP = 180° −
∠EAP = ∠ECP (because A, E, C, P are concyclic). (1)
(1) and (2) imply that ∠BAP − ∠PAC = ∠ECP − ∠PCD, which gives ∠BAC =
∠DCE, i.e., extend the same angle on the circumference.
This implies BC = DE and hence, BCDE is an isosceles trapezium with BE //
CD.
Since 2 and AB are symmetric about BP, a similar argument applies which
gives AF // CD and ADCF is an isosceles trapezium. Now it is easy to see that
AEBF is also an isosceles trapezium. No ce that AM = MF and hence, OM is
the perpendicular bisector of AF. Since AF // CD, we must have OM ⊥ CD.
Example 5.2.5 Let I be the incenter of ΔABC. M, N are the midpoints of AB,
AC respec vely. NM extended and CI extended intersect at P. Draw QP ⊥
MN at P such that QN // BI. Show that QI ⊥ AC.
Given PQ ⊥ PN, i.e., ∠QPN = 90° = ∠APC, one immediately sees that
∠QPI = ∠APN. Since we are to show QI ⊥ AC, we should have ∠PIQ = 90°
− ∠ACI = ∠PAC.
Hence, we should have ΔAPN ~ ΔIPQ.
Can we show it, say via Notice that AP, PN, IP, PQ are the sides
of the right angled triangles ΔAPI and ΔPQN. Indeed, if we can show that
ΔAPI ~ ΔNPQ, it follows that ΔAPN ~ ΔIPQ.
We have not used the condi on QN // BI yet. Perhaps this could help us to
find an equal pair of angles in ΔAPI and ΔNPQ.
Now we have
Example 5.2.6 (HEL 09) Let O, G denote the circumcenter and the centroid
of ΔABC respec vely. Let the perpendicular bisectors of AG, BG, CG
intersect mutually at D, E, F respec vely. Show that O is the centroid of
ΔDEF.
Insight. Refer to the diagram below. What can we say about O and ΔDEF ?
O is the circumcenter of ΔABC where ΔDEF is constructed by the
perpendicular bisectors of AG, BG, CG. Can you see the link between
perpendicular bisectors and circumcenters? Indeed, one immediately
concludes that D, E, F are the circumcenters of ΔBCG, ΔACG, ΔABG
respectively.
How can we show that O is the centroid of ΔDEF ? Let DO extended intersect
EF at P. If we can show that EP = FP (which should be true), perhaps it is
similar to show that EO, FO pass through the midpoints of DF, DE
respec vely. No ce that we have many right angles in the diagram, which
give a lot of concyclicity.
Let L be the midpoint of BC. Can you see that ∠CAL = ∠OEP and ∠ACB =
∠EOP ? What can you say about ΔACL and ΔEOP ? How about ΔABC and
ΔDEF ?
(3) and (4) imply EP = FP, i.e., DO extended passes through the midpoint of
EF. Similarly, EO extended and FO extended pass through the midpoints of
DF and DE respectively. We conclude that O is the centroid of ΔDEF.
Note: Even though we did not explicitly double the median in the proof
above, it is essen ally the technique we applied. Refer to Example 1.2.11,
where ΔABC and ΔAEF are related in a similar manner as ΔABC and ΔOEF in
this example. Refer to the diagram on the below. If we extend AL to A' such
t h at AL = AL', can you see ΔACA' ~ ΔEOF ? No ce that P and L are
corresponding points because ∠ACL = ∠EOP.
One may also show that ΔDEP ~ ΔCGL and ΔDFP ~ ΔBGL, which also leads to
the conclusion.
Example 5.2.7 Let Γ1, Γ2, Γ3 be three circles such that Γ1, Γ2 intersect at A
and P, Γ2, Γ3 intersect at C and P, and Γ1, Γ3 intersect at B and P. Refer to the
following diagram. If AP extended intersects Γ3 at D, BP extended intersects
Γ2 at E and CP extended intersects Γ1 at F, show that
Insight. We focus on first. Since we do not have much informa on
about the line segments, we may consider re-wri ng the ra o by areas of
triangles.
Perhaps we should use the triangles independent of AD, BE, CF. No ce that
AP, BP, CP are common chords of circles. How about connec ng the centers
of the circles? It gives us the perpendicular bisector of the common chords.
Refer to the diagram below, where we denote the centers of Γ1, Γ2, Γ3 by O1,
O2, O3 respectively. If we draw O3H ⊥ AD, it is the perpendicular bisector of
DP. Hence, This seems closely related to ΔO1O2O3.
Proof. Let O1, O2, O3 denote the centers of Γ1, Γ2, Γ3 respec vely. Let
O1O2 intersect AP at M. Clearly, AM = PM. Draw O3 ⊥ DP at H.
By applying circle proper es, we obtain many equal angles, for example
∠BAD = ∠BCD and ∠BDC = ∠BAE. It seems that we should have ΔBDC ~
ΔEAB. Refer to the right diagram above. Can we show it by considering the
sides, say Unfortunately, this is not easy because we do not
know much about CD or AE.
On the other hand, we have not used the condi on BP ⊥ AB. This is when
drawing a perpendicular to the chord becomes handy: we bisect CD and
obtain a right angle as well. No ce that the midpoint of CD and O should be
corresponding points in ΔBDC and ΔEAB.
(1) and (2) imply that ΔBDM ~ ΔEAO and hence, Refer to the
following diagram.
(3)
(2) and (3) imply that ΔBDC ~ ΔEAB. Hence, ∠BCD = ∠ABE.
Example 5.2.9 (IRN 09) Given an acute angled triangle ΔABC where AD, BE,
CF are heights, draw FP ⊥ DE at P. Let Q be the point on DE such that QA =
QB. Show that ∠PAQ = ∠PBQ = ∠PFC.
Insight. Refer to the diagram on the below. Clearly, ∠PAQ = ∠PBQ if and
only if A, B, Q, P are concyclic. We are given many perpendicular lines, but
we should not draw all the lines explicitly: otherwise, the diagram will be in
a mess. No ce that there are a few concyclicity due to the right angles. For
example, A, B, D, E are concyclic.
Can you see that the circumcircle of ΔPQF passes through M, the midpoint
of AB? (Hint: QM is the perpendicular bisector of AB.) Can you see that that
the circumcircle of ΔDEF pass through M as well? (Hint: Consider the nine-
point circle of ΔABC.) Suppose BA extended and DE extended intersect at X.
Perhaps we can apply the Tangent Secant Theorem repeatedly and show
that A, B, Q, P are concyclic.
How about ∠PFC ? Can you see that ∠PFC = ∠X, because FP ⊥ DE and CF
⊥ AB?
Insight. Refer to the diagram on the below. No ce that there are a few
symmetries in the diagram due to the angle bisector.
Note:
(1) Given and O, E and M are determined regardless of the choice of
B. By choosing D, other points including B, F and G are determined.
Hence, it is a wise strategy to explore the proper es of angles around
D.
(2) By rota ng the diagram, one may see the symmetry about the line EM.
Refer to the diagram on the below. Let FM extended intersects O at
B'. Notice that BG and B'F are symmetric about the line EM.
Insight. Apparently, the condi ons given are unusual, not easy to apply
and unrelated to the conclusion. In fact, we do not even know how to
construct such a diagram. Let us focus on the conclusion: we are to show AP,
BI1, CI2 are concurrent. Since BI1, CI2 are angle bisectors of ∠ABP, ∠ACP
respec vely, it suffices to show that these angle bisectors intersect AP at
the same position.
Refer to the le diagram above. Let us draw ΔABP first where BQ is the
angle bisector of ∠ABP. We shall find a point C such that CQ bisects ∠ACP.
What condi ons must C sa sfy? For example, we must have In
It seems these angles are s ll far apart. Recall that if P is the orthocenter,
then we have ∠1 = ∠2 and ∠3 = ∠4. Refer to the right diagram above. This
is because the perpendicular lines imply concyclicity and give equal angles.
For a general P, there are no perpendicular lines given, but perhaps we can
introduce some!
Proof. Refer to the diagram on the below. Since ∠APB − ∠ACB = ∠1 +
∠2 and ∠APC − ∠ABC = ∠3 + ∠4, we have ∠1 + ∠2 = ∠3 + ∠4.
L e t D, E, F be the feet of the perpendiculars from P to BC, AC, AB
respec vely. Since ∠ AFP = ∠AEP = 90°, A, F, P, E are concyclic and ∠1 =
∠EFP. Similarly, ∠2 = ∠DFP. It follows that ∠1 + ∠2 = ∠EFP + ∠DFP =
∠DFE. A similar argument gives ∠3 + ∠4 = ∠DEF. Now ∠DEF = ∠DFE and
we must have DE = DF.
Refer to the diagram on the below. (We omit A, B to have a clearer view of
the angles.) It seems from the diagram that P, the intersec on of the lines
CE and DF, lies on O3 . Can we prove it?
Proof. First, we claim that P lies on O3. Let ∠O1EC = α and ∠O2FD = β.
Consider ΔEPF. We have
Now it is easy to see that ΔO1CE ~ ΔO3CP since both are isosceles triangles
and ∠O1CE = ∠O3CP = α. Similarly, ΔO2DF ~ ΔO3DP.
ΔPEF gives
Now the power of P with respect to O1 and O2 are the same, which
implies that P lies on the line AB, the radical axis of O1 and O2.
Example 5.3.4 (CHN 10) Refer to the diagram on the below. O is tangent
to AB at H. Draw a semicircle with the diameter AB, touching O at E. C is a
point on the semicircle such that CD ⊥ AB at D and CD touches O at F.
Show that CH2 = 2DH · BH .
Insight. Clearly, ∠BCH is not 90°, but if it were, we could have concluded
CH2 = DH · BH . Now we are to show CH2 = 2DH · BH .
One may find equal angles or apply the Tangent Secant Theorem, but those
are not directly related to BH or BP. Perhaps we should study the diagram
more carefully and see how it could be constructed.
Since E is the point of tangency, O, O1, E are collinear. Since OF // AB, the
isosceles triangles ΔOEF and ΔO1EB are similar, which implies B, E, F are
collinear! Now we have plenty of clues to apply the Tangent Secant
Theorem. Refer to the right diagram above. One sees that BE · BF = BH2. Can
you see that BE · BF = BA · BD because A, D, F, E are concyclic? Can you see
that BA · BD = BC2?
It follows that BC = BH. This is almost what we want. Refer to the diagram on
the below. Can you see why BH = BP ?
One sees that ∠BPC, ∠BAP, ∠CDP are either an angle around P, or an
angle inside ABCD, both of whom might give 360° :
(1) and (2) give ∠APD = ∠ABP + ∠DCP. This is a symmetric version of what
is given. Is it useful? Perhaps we shall examine the construc on of our
diagram, i.e., how can we locate a point P such that ∠BPC = ∠BAP + ∠CDP
? By taking ∠BPX = ∠BAP, we must have PX tangent to the circumcircle of
ΔABP at P (Theorem 3.2.10). Refer to the diagram on the below.
Since ABCD is cyclic, we now have three circles, whose radical axes should
be concurrent (Theorem 4.3.2). Refer to the left diagram below. Can you see
similar triangles in this diagram involving BP and CP, for example, ΔQAP ~
ΔQPB and ΔQDP ~ ΔQPC ? Recall that we are to show What do
we know about EF and FG?
Please note that in the formal proof, one should also consider the case if AB
// CD or if AB, CD intersect at the other side of line AD, i.e., our argument
should not depend on the diagram.
Proof. First, we claim that the circumcircles of ΔABP and ΔCDP touch at P.
Let PX be tangent to the circumcircle of ΔABP at P. We have ∠BPX = ∠BAP.
Refer to the diagram on the below.
Hence, (1)
It follows that
Since AB // CD, we have sin ∠BAD = sin ∠ADC because ∠BAD and ∠ADC
are supplementary. Now
Now ∠BPC = ∠BAP + ∠CDP = ∠EFP + ∠GFP (angles in the same arc) =
∠EFG. We conclude that ΔFEG ~ ΔPBC.
5.4 Exercises
1. Given an acute angled triangle ΔABC and its circumcenter O, BD, CE are
heights. Show that AO ⊥ DE.
3. (IND 94) Let I be the incenter of ΔABC and the incircle of ΔABC touches
BC, AC at D, E respec vely. If BI extended and DE extended intersect at P,
show that AP ⊥ BP.
4. (AUT 09) Given an acute angled triangle ΔABC where D, E, F are the
midpoints of BC, AC, AB respec vely and AP, BQ, CR are heights. Let X, Y, Z
be the midpoints of QR, PR, PQ respec vely. Show that DX, EY, FZ are
concurrent.
10. Given an acute angled triangle ΔABC and its circumcircle, AD, BE are
heights. X lies on the minor arc If the lines BX and AD intersect at P, and
the lines AX and BE intersect at Q, show that DE passes through the
midpoint of the line segment PQ.
11. Given a right angled triangle ΔABC where ∠A = 90° and its circumcircle Γ,
P is a point on Γ and PH ⊥ BC at H. D, E are points on Γ such that PD = PE = PH.
Show that DE bisects PH.
12. Let AB be a diameter of O. P, Q are points outside the circle such that
PA intersects O at C, PB extended intersects O at D and QC, QD touch
O at C, D respec vely. If AD extended and PQ extended intersect at E, show
that B, C, E are collinear.
14. In ΔABC, ∠A = 90° . D, E are on AC, AB respec vely such that BD, CE
bisect ∠B, ∠C respec vely. Draw AP ⊥ DE, intersec ng BC at P. Show that
AB − AC = BP − CP.
17. Refer to the diagram on the below. Given a cyclic quadrilateral ABCD,
where BA extended and CD extended intersect at P, E, F lie on CD. Let G, H
denote the circumcenters of ΔADE and ΔBCF respec vely. Show that if A, B,
F, E are concyclic, then P, G, H are collinear.
Chapter 6
One definitely finds it useful to be familiar with the basic skills and
commonly used techniques illustrated in the previous chapters. Besides,
we will introduce a few strategies in this chapter to tackle challenging
geometry problems, while elabora ng these strategies with examples from
various compe ons in the past years. Our focus is to seek clues and
insights for each problem and hence, carry out the strategy which gradually
leads to the solution.
Not all compe on ques ons are unreasonably difficult. Indeed, for those
(rela vely) easy ques ons, one simple but effec ve strategy is reverse
engineering. This includes the following:
One shall always attempt to link the conclusion to the condi ons given.
Wri ng down “it suffices to show…” could transform the conclusion,
moving it towards the given conditions.
Example 6.1.1 (HRV 09) Given a quadrilateral ABCD, the circumcircle of ΔABC
intersects CD, AD at E, F respec vely, and the circumcircle Δ ACD intersects
AB, BC at P, Q respec vely. If BE, BF intersect of PQ at X, Y respec vely,
show that E, F, Y, X are concyclic.
Insight. We are not given much informa on besides the two circles.
Hence, it is natural to expect a proof by the angle proper es. Refer to the
diagram on the below.
Since we do not know much about EXF or EYX, can we show that FYP =
FEX ? FEC is on the circumference of a circle, but FYP is not. However,
one may write FYP = PBY + BPY.
Note: There is more than one way to solve this problem. For example,
one sees that ∠FYP = ∠PBY + ∠BPY = ∠ACF + ∠ACB = ∠BCF = ∠BEF,
which also leads to the conclusion. Indeed, it is an effec ve strategy to
apply reverse engineering for this problem, i.e., repeatedly simplifying the
conclusion by wri ng down “it suffices to show…” which eventually leads to
a clear fact (about angles) and completes the proof.
Example 6.1.3 (CGMO 12) Let I be the incenter of ΔABC whose incircle
touches AB, AC at D, E respectively. If O is the circumcenter of of ΔBCI, show
that ODB = OEC.
Insight. Refer to the le diagram below. Even though BD, CE are tangent
to the incircles, it is not clear which angle on the circumference is equal to
ODB or OEC, as we do not know where OD, OE intersect I. How about
the supplement of these angles? Can we show ADO = AEO? At least we
know ADI = AEI = 90°. Can we show ODI = OEI ?
Since DI = EI, we should have ΔODI ΔOEI. How can we show these triangles
are congruent? Can we show ∠OID = ∠OIE?
(Theorem 3.1.1).
Note: One familiar with the basic facts about the incenter and the
circumcircle easily sees that AI extended intersects the circumcircle of ΔABC
at O, the circumcenter of ΔBIC (Example 3.4.2 and Exercise 3.14). Since O lies
o n AI, the perpendicular bisector of DE, the conclusion follows
immediately.
Example 6.1.4 (APMO 13) Given an acute angled triangle ΔABC and its
circumcenter O, AD, BE, CF are heights. Show that the line segments OA, OF,
OB, OD, OC, OEdissect ΔABC into three pairs of triangles that have equal
areas.
Notice that
by (1).
Similarly,
Insight. One no ces that ΔABP and ΔCDP are isosceles triangles. Hence,
we are to show
How are AP and CP related? Since ABCD is cyclic, say inscribed inside the
circle Γ, the center of Γ must lie on the perpendicular bisectors of AB, CD.
Indeed, P is the center of Γ and we have AP = CP. Refer to the diagram
above.
Now it suffices to show sin∠ APB = sin∠CPD. It seems from the diagram
∠APB ≠ ∠CPD. Can we show ∠APB = 180° – ∠CPD instead?
(Hint: Can you see ∠APB = 2∠ACB ?)
S i n ce and it
suffices to show sin∠APB = sin CPD.
We claim that APB + ∠CPD = 180°. In fact, since P is the centre of the
circumcircle of ABCD, ∠APB = 2∠ACB (Theorem 3.1.1).
Similarly, ∠CPD = 2∠CBD. Since ∠ACB + ∠CBD = 90°, we must have APB
+ CPD = 180°. This completes the proof.
It suffices to show
No ce that in the right angled triangle ΔABE, AB = 2EM because M is the
midpoint of AB.
Example 6.1.6 (HEL 11) In an acute angled triangle ΔABC, AB < AC, AD BC
a t D and AD extended intersects the circumcircle of ΔABC at E. The
perpendicular bisector of AB intersects AD at L. BL extended intersects AC at
M and intersects the circumcircle of ΔABC at N. EN and the perpendicular
bisector of AB intersect at Z. Show that if AC = BC, then MZ BC.
No ce that there are many equal angles in the diagram. In fact, the
isosceles triangle ΔABC is symmetric about the perpendicular bisector of
AB. One may also no ce that L is the orthocenter of ΔABC. It should not be
difficult to show the concyclicity by angle-chasing.
Proof. Since AC = BC, it is easy to see that ΔABC is symmetric about the
perpendicular bisector of AB. Hence, C, Z, L are collinear, which gives the
angle bisector of ∠ACB (and the perpendicular bisector of AB). In
particular, L is the orthocenter of ΔABC.
Recall that E and L are symmetric about BC (Example 3.4.3). It follows that
∠N = ∠BCE = ∠BCL = ∠ACL. Hence, C, N, M, Z are concyclic. Now 2 =
∠MCN = 1, which implies AE // MZ, i.e., MZ BC.
Example 6.1.7 (USA 07) Refer to the diagram on the below. Γ1,Γ2 are circles
intersec ng at P,Q. AC,BD are chords in Γ1,Γ2 respec vely such that AB
intersects CD extended at P. AC intersects BD extended at X Let Y,Z be on
Γ1,Γ2 respec vely such that PY // BD and PZ // AC. Show that Y, X, Q, Z are
collinear.
Note: Refer to the diagram on the below. It is easy to see that D must be
outside the circumcircle of ABC since ∠B + ∠D < 180°. Hence, P must lie
between B and D. Indeed, P is the intersec on of BD and the circumcircle of
ΔABC.
Insight. Refer to the following le diagram. How are the external angle
bisectors related to the orthocenter (right angles)? Recall that the angle
bisectors of neighboring supplementary angles are perpendicular. Can you
see that OA AK? Can you see that OA // BP and similarly, OB //AP ? We
have a parallelogram AOBP.
Proof. It is easy to see that OA bisects BAD. Hence, OA AK because
they bisect neighboring angles which are supplementary. We also have BP
AK because P is the orthocenter of ΔABK.
He nce , OA // BP and similarly, OB // AP. It follows that AOBP is a
parallelogram. Similarly, BOCQ, CODR and DOAS are parallelograms. Now
AP = OB = CQand AP // OB // CQ. Similarly, AS = CR and AS // CQ. It follows
that ΔAPS ΔCQR (S.A.S.). Refer to the right diagram above. We conclude
that PS = QR, PS // QR and hence, PQRS is a parallelogram.
Example 6.2.3 (IMO 12) Let J be the ex-center of ΔABC opposite the vertex
A. This ex-circle (i.e., the circle centered at J and tangent to BC, AB
extended and AC extended) is tangent to BC at M, and is tangent to the
lines AB, AC at K, L respec vely. Let the lines LM, BJ meet at F and the lines
KM, CJ meet at G. If AF extended and AG extended meet the line BC at S, T
respectively, show that M is the midpoint of ST.
have FG // BC.
Example 6.2.4 (IND 11) Refer to the diagram on the below. A quadrilateral
ABCD is inscribed inside a circle. Let E, F, G, H be the midpoints of arcs
respectively.
It is known that AC · BD = EG · FH. Show that AC, BD, EG and FH are
concurrent.
Insight. Apparently there are very few clues. In par cular, we do not
know how AC · BD = EG · FHcan be applied. How are these line segments
related?
While AC may not be related to EG, it is not difficult to see that AC is related
t o EF, because (Can you see it?) Refer to the le
diagram below.
We have (1)
Note: In (1), we applied the double angle formula sin 2α = 2 sinα cosα,
which could be found in most pre-calculus textbooks.
Insight. Refer to the diagram on the below. It seems not easy to show the
lines AD, CI, FG are concurrent. No ce that the intersec on of these lines is
far from the trapezium ABCD.
Since AD // EG // BC, the Intercept Theorem gives many equa ons of line
segments in the trapezium ABCD. Is it possible for us to derive the
conclusion from these line segments instead of the extensions of AD, CI,
FG? Recall Desargues’ Theorem. Can we find two triangles whose ver ces
are A, D, C, I, F, G, while the lines connec ng corresponding ver ces are AD,
CI, FG respectively?
It follows that
One naturally expects such condi ons to play a cri cal role when solving
the geometry problem. Hence, it is worthwhile to spend me and effort
focusing on these condi ons, which may lead to an important intermediate
step.
On the other hand, it is also common that one cannot find any clue a er
exploring the unusual condi on, or even cannot see any sense about it. Do
not be frustrated! It could be a wise strategy to leave it aside and focus on
other condi ons, wri ng down intermediate steps which could be derived.
We shall a empt to link those steps to the conclusion and expect to be
stuck during the process (because we s ll have unused condi ons). Now
you may find the unused condi on handy: it may be exactly the missing link
needed!
Geometry problems in compe ons are generally well constructed and the
condi ons given are exactly sufficient (because unnecessary extra
condi ons may cause inconsistency). Hence, if all the condi ons given have
been applied and a chain of deriva ons is constructed, most probably you
are very close to the complete proof.
It seems we shall apply the angle proper es around the circles. (No ce that
the right angles give a number of concyclicity.)
Example 6.3.2 (IRN 11) Given ΔABC where A = 60°, D, E are on AB, AC
extended respec vely such that BD = CE = BCIf the circumcircle of ΔACD
intersects DE at D and P, show that P lies on the angle bisector of ΔBAC.
Notice that BD = BC = CE gives two isosceles triangles ΔBCD and ΔCBE, where
l and 2 are related to ∠A.
In fact, ∠ABC = 2∠2 and ∠ACB = 2∠1. Since ∠A = 60°, we must have
ABC + ∠ACB = 120° and hence, ∠1 + ∠2 = 60°.
Let BE and CD intersect at F. One sees that ∠BFD = ∠1 + ∠2 = 60° = A and
hence, A, B, F, C are concyclic.
Alterna vely, one may also show the conclusion by the Angle Bisector
Theorem, i.e., we are to show
Example 6.3.3 (RUS 08) Given I inscribed inside ΔABC, AB, AC touch I
at X, Y respec vely. Let CI extended intersect the circumcircle of ΔABC at D.
If the line XY passes through the midpoint of AD, find BAC.
Insight. One immediately no ces that the line XY passing through the
midpoint of AD is an unusual condi on, without which ΔABC, its incenter I
a n d CD give a standard diagram (Example 3.4.2). Refer to the diagram
below.
Can you see where AI and XY intersect? Refer to the diagram above.
What can you say about the right angled triangle ΔAXI? Can you see that
and hence,
Now it is easy to see that ∠XAI = 60° and hence, ∠BAC = 120°. We leave the
details to the reader.
Note: If one draws an acute angled triangle ΔABC, the line XY will not
even intersect the line segment AD. By construc ng the diagram carefully,
one should realize that ∠BAC is obtuse.
can you conclude about the (isosceles) triangles ΔABF and ΔCDF?
Can you see that ΔBDF and ΔACF are congruent? What can you conclude
upon obtaining the equal angles, say ∠CAF = ∠DBF ?
Indeed, the diagram is symmetric. If one sees that F is the center of the
circle where ABCD is inscribed, the proof is almost complete.
In par cular, we have ∠ AFB = ∠CFD, which implies ∠AFC = ∠BFD. Since
AF = BF and CF = DF, we have ΔBDF ΔACF (S.A.S.).
It follows that ∠CAF = ∠DBF and hence, A, B, F, E are concyclic. Similarly,
∠BDF = ∠ACF and C, D, E, F are concyclic.
Example 6.3.5 (BGR 11) Let P be a point inside the acute angled triangle
ΔABC. D, E, F are the feet of the perpendiculars from P to BC, AC, AB
respectively. Q is a point inside ΔABC such that AQ EF and B Q DF. Draw
QH AB at H. Show that D, E, F, H are concyclic.
Insight. We are given a lot of right angles. In par cular, one no ces that
the construction of Q is unusual. What can we obtain from Q?
Refer to the le diagram below. By applying the proper es of right angles,
can you see that 1 = 2 = 3 ?
If we draw QI BC at I, can you see that the right angled triangles ΔPBD,
ΔPBF, ΔQBH, ΔQBI are closely related? (Hint: Can you see similar triangles?)
Refer to the right diagram above. How are BI, BH, BD, BFrelated to BP and
BQ, say via similar triangles? How are HF and DI related to PQ?
Example 6.3.6 (IMO 13) Given ΔABC with ∠B > ∠C, Q is on AC and P is on
CA extended such that ∠ABP = ∠ABQ = ∠C. D is a point on BQ such that PB
= PD. AD extended intersect the circumcircle of ΔABC at R. Show that QB =
QR.
Insight. Refer to the diagram on the below. One immediately no ces the
condi on 1 = 2 = ∠ACB. We also have ∠ACB = 3 (angles in the same
arc).
Refer to the diagram on the below. We are to show QB = QR. Of course, the
most straightforward method is to show that ∠QBR = ∠QRB. Since we have
two circles and a few pairs of similar triangles, perhaps we shall seek more
equal angles.
We can write:
No ce that all these angles are related to the shaded region in the diagram.
In par cular, ∠ ACB + ∠CAR + ∠CBQ = ∠ADB (exterior angles of ΔACD and
ΔBCD ). How is this related to (1)? If one cannot see the clue, subs tute
∠CAR + ∠CBQ = ∠ADB – ∠ACB into (1)! Now it suffices to show that
2∠ACB + ∠QCD = ∠ADB. (2)
How can we show (2)? No ce that this is not true for an arbitrary (concave)
quadrilateral ABCD. Which are the condi ons given we have not used yet?
We have not used:
• PB = PD
• PB is a tangent (i.e., 1 = ∠C ).
Could these two conditions help us?
Note:
(1) The last section of angle-chasing is a concise argument and one needs to
be very familiar with basic proper es of angles, especially in circles. In
fact, such angle-chasing is commonly seen in geometry problems and is
considered a fundamental technique. Nevertheless, we should point
out that such a compact argument presented is only for mathema cal
elegance. In fact, it is not inspiring as the reader following the
argument may not see how to search for clues and reach the
conclusion. This is exactly why we spend a few more pages in
explaining the insight.
(2) One may find an alterna ve solu on star ng from the Angle Bisector
Theorem: Since BA bisects of ∠PBD, we have Since we are
One should also learn to simplify the diagram, erasing lines, points and
circles during problem-solving when necessary. Indeed, when the diagram
is complicated, one may fail to recognize even the most elementary
geometric facts (for example, radii of a circle which are the same, equal
tangent segments, perpendicular bisectors which give isosceles triangles,
etc.). In par cular, if circumcenters or orthocenters are given, one should
only draw explicitly the circles and al tudes which are necessary.
Otherwise, the diagram may become unreadable!
Example 6.4.1 (APMO 91) Let G be the centroid of ΔABC. Draw a line XY //
BC passing through G, intersec ng AB, AC at X, Y respec vely. BG and CX
intersect at P. CG and BY intersect at Q. If M is the midpoint of BC, show that
ΔABC ~ ΔMQP.
I t seems from the diagram that A' is symmetric to A with respect to the
perpendicular bisector of BC, i.e., A'D' BC. If we can show that A′ is indeed
symmetric to A, the diagram could be significantly simplified.
Refer to the diagram on the below. Let P be the reflec on of F′ about the
perpendicular bisector of BC. Since ABCD is an isosceles trapezium, we have
CP = BF'= AF.
Notice that
We are to show that A'D, B'E, C'F are concurrent. Let us examine the
property of A'D. Refer to the diagram on the right where M is the midpoint
of BC.
We conclude that A'D passes through the centroid of ΔABC. Similarly, B'E
and C'F must pass through the centroid of ΔABC as well. This completes the
proof.
Note:
(1) One may also use the power of a point to show that A' is symmetric to A
with respect to the perpendicular bisector of BC. In par cular, one may
show that BF' · BA = CE' · CA (because ) and hence, B
and C have the same power with respect to the circumcircle of ΔAE'F'.
Example 6.4.4 (BLR 11) Given an acute angled triangle ΔABC, M is the
midpoint of AB. Let P, Q be the feet of the perpendiculars from A to BC and
from B to AC respec vely. If the circumcircle of Δ BMP is tangent to the line
segment AC, show that the circumcircle of ΔAMQ is tangent to the line BC.
Insight. Refer to the diagram on the below. It is not easy to show a circle
tangent to a line. However, no ce that the circle passing through A, M and
tangent to the line BC is unique. Hence, we may draw this circle and show
that it intersects AC exactly at Q.
Le t AC touch the circumcircle of ΔBMP at D. If BC extended touches the
circumcircle of ΔAMQ at E, we would have BE2 = BM · BA. Since M is the
midpoint, we should have BE2 = BM · BA = AM · AB = AD2, i.e., BE = AD.
It seems from the diagram that M, D, E are collinear. Can we show it? If M, D,
E are indeed collinear, we should have, by Menelaus’ Theorem, that
which implies CD = CE. (No ce that we have u lized
the condition AM = BM once more, even though it is not clear at first glance
how this condition could be applied.)
Proof. Refer to the diagram on the below. Let the circumcircle of ΔBMP
touch AC at D and MD extended intersect BC extended at E. We claim that
∠CED = ∠CDE. Notice that:
Let the circumcircle of ΔAME intersect AC at Q'. We claim that BQ' AC.
S i n ce AM = BM, it suffices to show AM = MQ (Example 1.1.8), or
equivalently, ∠AQ'M = ∠MAQ'.
Example 6.4.5 (USA 10) Given ΔABC, M, N are on AC, BC respec vely such
that MN // BC, and P, Q are on AB, BC respec vely such that PQ // AC. Given
that the incircle of ΔCMN touches AC at E and the incircle of ΔBPQ touches
AB at F, the lines EN, AB intersect at R and the lines FQ, AC intersect at S.
Show that if AE = AF, then the incenter of ΔAEF lies on the incircle of ΔARS.
Insight. First, we draw the diagram according to the descrip on. Refer to
the le diagram below. There are many circles and lines and it becomes
difficult to seek clues. Since the incircles of Δ BPQ and ΔCMN are
constructed similarly, we may focus on one of them.
Refer to the right diagram above. It is easy to see that ΔABC ~ ΔMNC. Hence,
if we draw the incircle of ΔABC, which touches AB, AC at R1,S1 respec vely,
then S1 and E are corresponding points in ΔABC and ΔMNC respec vely. It
follows that BS1 // EN. Similarly, we have CR1 // FQ. It seems from the le
diagram above that BC // RS. Can you prove it by the Intercept Theorem?
(Notice that AE = AF and AR1 = AS1.)
Now ΔABC ~ ΔARS and hence, the incircle of ΔABC corresponds to the
incircle of AARS. Since R1 and F (and similarly S1 and E) are corresponding
points of the similar triangles ΔABC and ΔARS, the incircle of ΔARS touches
AR, AS at E, F respec vely! Refer to the le diagram below. No ce that we
have removed the unnecessary lines and points.
Proof. Let the incircle of ΔABC touch AB, AC at R1, S1 respec vely. Since
MN // AB, ΔABC ~ ΔMNC. No ce that S1 and E are corresponding points in
the similar triangles ΔABC and ΔMNC. We conclude that BS1 // ER.
It follows that Similarly, we must have CR1 // FS and
Now we have ΔARS ~ ΔABC. We are to show the incenter of ΔAEF lies on the
incircle of ΔARS. Notice that R1 and F are corresponding points in the similar
triangles ΔABC and ΔARS, because A similar argument
applies for S1 and E as well. Now it suffices to show that the incenter of
ΔAR1S1 lies on the incircle of ΔABC.
Since AR1, AS1 are tangent to the incircle of ΔABC, called I, the incenter of
ΔAR1S1 is exactly the intersec on of AI and I, i.e., the midpoint of the arc
(Exercise 3.5). This completes the proof.
Example 6.4.6 (CHN 12) Refer to the diagram below. I is the incenter of
ΔABC, whose incircle I touches AB, BC, CA at D, E, F respec vely. If the
line EF intersects the lines AI, BI, DIat M, N, K respec vely, show that DM ·
KE = DN · KF.
Where does the difficulty come from? We do not know the proper es of
the line MN (including E, F and K). Perhaps we should first study the
proper es of this line and the points on it. Let us focus on one side of the
triangle and its incircle. Refer to the diagram on the below. We have erased
the unnecessary lines and points.
However, it seems that both O1O3 and O2O4 pass through the midpoint of
OP. Is it true?
Can we show P E OE? One may consider calcula ng the angles, as there
are many circles (and circumcenters) in the diagram. Refer to the diagram
on the below. It suffices to show that ∠1 + ∠DEP = 90°.
We do not know much about ∠DEP, but we know
Similarly,
Now,
We have obtained one more circle. One should be able to show the
conclusion easily using the properties of angles.
Proof.
Let the circumcircles of ΔABO and ΔCDO intersect at O and E. Refer to the
diagram above. Consider the isosceles triangle ΔOCD.
We have
Similarly, O2O4 also passes through the midpoint of OP. It follows that
O1O3, O2O4 and OP are concurrent (at the midpoint of OP).
6.5 Exercises
3. (JPN 14) Let ABCDEF be a cyclic hexagon where the diagonals AD, BE, CF
are concurrent. If AB = 1, BC = 2, CD = 3, DE = 4 and EF = 5, find AF.
4. (IND 11) ΔABC is an acute angled triangle where D is the midpoint of BC.
BE bisects B, intersec ng AC at E. CF AB at F. Show that if ΔDEF is an
equilateral triangle, then ΔABC is also an equilateral triangle.
5. (USA 90) ΔABC is an acute angled triangle where AD, BE are heights. Let
the circle with diameter BC intersect AD and its extension at M, N
respec vely. Let the circle with diameter AC intersect BE and its extension
at P, Q respectively. Show that M, P, N, Q are concyclic.
7. (ROU 08) Given ΔABC, D, E, F are on BC, AC, ABrespec vely such that
Show that if the circumcenters of ΔABC and ΔDEF
coincide, then ΔABC is an equilateral triangle.
10. (IMO 08) Given an acute angled triangle ΔABC where O1, O2, O3 are the
midpoints of BC, AC, ABrespec vely, H is the orthocenter of ΔABC. Draw
O1, O2, O3 whose radii are O1H, O2H, O3H respec vely. If O1
intersects BC at A1, A2, O2 intersects AC at B1, B2 and O3 intersects AB at
C1, C2, show that A1, A2, B1, B2, C1, C2 are concyclic.
11. (IMO 14) Given an acute angled triangle ΔABC, P, Q are on BC such that
∠PAB = ∠C and ∠CAQ = ∠B. M, N are on the lines AP, AQ respec vely
such that AP = PM and AQ = QN. Show that the intersec on of the lines BM
and CN lies on the circumcircle of ΔABC.
12. (CHN 13) Given ΔABC where AB < AC, M is the midpoint of BC. O
passes through A and is tangent to BC at B, intersec ng the lines AM, AC at
D, E respec vely. Draw CF // BE, intersec ng BD extended at F. Let the lines
BC and EF intersect at G. Show that AG = DG.
13. (RUS 13) Let I denote the incircle of ΔABC, which touches BC, AC, AB
a t D, E, F respec vely. Let J1, J2, J3 be the ex-centers opposite A, B, C
respec vely. If J2F and J3E intersect at P, J 3D and J1F intersect at Q, J1E and
J2D intersect at R, show that I is the circumcenter of ΔPQR.
14. (IMO 10) Refer to the diagram below. ABCDE is a pentagon such that
BC // AE, AB = BC + AEand ∠B = ∠D. Let M be the midpoint of CE and O be
the circumcenter of ΔBCD. Show that if OM DM, then ∠CDE = 2∠ADB.
Insights into Exercises
Chapter 1
1.1 No ce that ∠B + ∠C = ∠A. If ∠PAB = ∠C, what can you say about
∠PAC?
1.7 Can you see congruent triangles? Given that BP = AC and CQ = AB,
which two triangles are probably congruent?
1.8 We are given the angle bisector of ∠CBE and BE = AB. No ce that
ΔABC is an equilateral triangle. Can you see congruent triangles (say by the
reflec on about the angle bisector BD)? Can you see D is on the
perpendicular bisector of AB?
1.9 Since I is the incenter of ΔABC, can you express both ∠BID and ∠CIH
in terms of ∠A, ∠B and ∠C? Alternatively, you may apply Theorem 1.3.3.
1.10 One may immediately see that ΔABC ΔADC. Even though this is not
related to PE and PF, we have more equal angles and line segments now.
Can you find more congruent triangles which lead to PE = PF?
Note:
(1) P could be on the line segment AC or its extension.
(2) One may see many pairs of congruent triangles in the diagram, but
careful jus fica on is needed for each pair and the argument must not
depend on the diagram.
1.12 Can you see D is an ex-center of ΔABP, i.e., AD bisects the exterior
angle of ∠BAC? Now can you express both ∠PAD and ∠BDP in terms of
∠ABP and ∠APC ?
Chapter 2
2.1 Can you express [BCXD], [ACEY] and [ABZF] in terms of [ΔABC]?
2.3 Can you see right angled isosceles triangles in the diagram (for
example, CD = CF + AF)? Since we are to show what do we
know about CD – 2AE ?
2.5 Can you see EFGH is a parallelogram? Now we can focus on the
parallelogram EFGH, which is a simpler problem. Can we use the techniques
of congruent triangles to solve it?
2.7 Given BG CG, can you see AB, BC, AC can all be expressed in terms of
the medians BD, CE (by the Midpoint Theorem and Pythagoras’ Theorem)?
2.8 Given ΔABC, we can calculate [DEF] by subtrac ng [ΔADF], [ΔBDE] and
[ΔCEF] from [ΔABC], while the areas of the small triangles are determined
once the positions of D, E, F are known.
[ΔD'E'F'] can be calculated in a similar manner, while the posi ons of D', E',
F' are determined by D, E, F.
2.10 Example 1.2.7 is a special case of this problem, where ∠A = 45° and
AH = BC. We solved Example 1.2.7 using congruent triangles. Can you see a
pair of similar triangles in this problem?
2.12 No ce that the parallel line is almost the only condi on. If we apply
Ceva’s Theorem, the conclusion would be concurrency instead of
collinearity. Nevertheless, we can show GM passes through D, which is
equivalent to the conclusion.
Applying Menelaus’ Theorem directly to D, G, M will probably not show the
collinearity because it is not related to the condi on AB // CE. How about
applying Menelaus’ Theorem more than once?
2.14 It seems natural to apply Menelaus’ Theorem. Even though the line
where D, E, F should lie does not intersect any triangle, Menelaus’ Theorem
s ll holds when the points of division are on the extension of the sides of
the triangle.
One may also consider applying the Angle Bisector Theorem to the exterior
angle bisectors.
and the line should pass through A. It seems we should choose the line AE
intersec ng ΔBDM. Even though AE intersects BD, DM and BM only at the
extension, we could still apply Menelaus’ Theorem.
Chapter 3
3.2 This is similar to Example 3.1.7. Connect EF and one could see
concyclicity.
3.7 It is easy to see that OD is the perpendicular bisector of BC. How can
we show O M PM? Draw a diagram and one may see many equal angles
and right angles. It should not be difficult to find concyclicity.
3.8 This is similar to Example 3.1.17. Besides, one may also recall the
property of ΔACD, i.e., an isosceles triangle with 120° at the vertex (Example
2.3.4).
3.9 There are many right angles in this diagram due to the orthocenter and
diameters. (Draw a diameter of O.)
3.11 How can we apply the condi on ∠B = 2∠C ? Since AD is the angle
bisector, it is natural to reflect ΔABD about AD, i.e., choose E on AC such that
AB = AE.
Now ∠AED = 2∠C, which implies ∠C = ∠CDE, i.e., DE = CD.
I t seems that BDEI is a rhombus. Can you show it? (No ce that if BDEI is
indeed a rhombus, then E is the circumcenter of ΔCDI. )
3.12 Let the circumcircle of ΔABP intersect AQ at M'. What do you know
about M' ? Can you see M' is the midpoint of AQ?
3.13 Can you see AA'CB and ABB'C are isosceles trapeziums? No ce that
there are many equal angles in the diagram due to concyclicity, heights,
parallel lines and equal arcs.
3.16 One may see many right angles from the diagram. (No ce that the
diameter also gives right angles.) Moreover, P, Q, R, S are the feet of the
perpendiculars from Y, a point on the circumference. Is it reminiscent of
Simson’s Line? What if you draw YC' AB at C'?
Alterna vely, one may also no ce that PXQY and SYRZ are rectangles. What
can we say about these rectangles?
By extending the sides of ABCD and ℓ 1, ℓ 2, we will have many equal tangent
segments. Hence, we may be able to find an equa on of various line
segments. (Refer to Example 3.2.7. You may need to draw a large diagram.)
Chapter 4
4.1 Draw a common tangent at C. Can you see AB // DE ? What other equal
angles can you obtain if A, C, D, E are concyclic?
Can you see C is the midpoint of AP? Can you see a number of right angled
isosceles triangles?
4.3 It seems not easy to see the geometrical sense of AB3 and AD3.
However, there are many right angles and we know AB2 and AD2 (by
Example 2.3.1). In par cular, if G, H are the feet of the perpendiculars from
D, B to AC respectively, one can show that
4.4 Since P is an arbitrary point and ∠OPF = ∠OEP should always hold,
can we replace P by a special point on the circumference? Unfortunately,
we cannot use M because M lies on the line OE.
4.5 The only equal lengths we have are PA = PB. Apparently, it is not easy
to place QE, QF in congruent triangles. No ce that there are many equal
angles in the diagram due to the circle, tangents and parallel lines. Can you
iden fy similar triangles involving QE and QF? For example, can you see
ΔAEQ ~ ΔABC? If we express QE, QF as ra os of line segments, perhaps we
can show that the ratios are the same.
Note that it is not easy to solve the problem by applying the Intercept
Theorem even though we have AP // EF : we do not know
4.6 Apply the Tangent Secant Theorem. (You may need Example 2.3.1.)
4.7 Can you see AD is both an angle bisector and a height? Can you
construct the isosceles triangle? Can you find BC using similar triangles or
the Tangent Secant Theorem? (You are given CE and BD. How are they
related to BC?)
No ce that the circumcircle of ΔABC and the tangent lines give similar
triangles. For example, can you see that ΔBCF ~ ΔCAF ?
similarly?
4.9 We see that AJ, AK are not related to the choice of P. How are CE, BF
related to ΔABC? One easily sees that CJ = AJ and BK = AK (because of the
perpendicular bisectors). Now CE, BF are in ΔCEJ and ΔBFK respectively.
Can we show ΔCEJ ~ ΔBFK ? There are many equal angles in the diagram due
to the circle and the perpendicular bisectors.
4.12 Since three circles intersect (or touch) each other, one may consider
applying Theorem 4.3.6. Can you see which lines are the radical axes? What
can you obtain by applying the Tangent Secant Theorem?
Would it be easier to show O1B2 – O1C2 = O3B2 – O3C2 ? No ce that all these
line segments are uniquely determined by the radii of the three circles (by
Pythagoras’ Theorem).
Observe that those radii are not independent. Let the radii of O1, O2
and O3 be r1, r2, r3 respec vely. For example, if we draw O3X O2B at X,
we have O2X2 + O3X2 = O2O32, where O2X = 2r1 – r2 – r3, O2O3 = r2 + r3 and
O3X = DQ – BP.
Refer to the diagram below. One may find BP via the right angled trapezium
BPO1O2 and similarly DQ as well. Applying Pythagoras’ Theorem repeatedly
should lead to the conclusion.
4.15 How can we use the condi on that PQ is tangent to the circumcircle
of ΔMNL ? No ce that PQ only touches the circumcircle of ΔMNL once, i.e.,
a t L. We are to show OP = OQ. Hence, it suffices to show O L PQ.
Regre ably, this seems not clear because O is not the circumcenter of
ΔMNL.
this implies AP · CP = AQ · BQ? How does this remind you of OP and OQ?
Consider the power of points P, Q with respect to O, the circumcircle of
ΔABC !
Chapter 5
5.2 There are many right angles in the diagram. One immediately sees
that PH2 = MH · BH. Hence, it suffices to show MH · BH = AH · OH , or
Can we show it by similar triangles?
Notice that M and O are midpoints. If we cannot find many angle proper es
related to them, perhaps we can calculate more lengths.
On a side note, all the points are uniquely determined in the circle because
ΔPAB is a right angled isosceles triangle. One may calculate PH, AH, OH
explicitly, say by Pythagoras’ Theorem and Cosine Rule. Of course, this
would not lead to an elegant solution, but is still a valid proof.
5.4 Can you see DR = DQ? Can you see that DX is the perpendicular
bisector of QR? What can you say about EY and CZ?
Hint: This is an easy ques on if you construct the diagram wisely. Do not
draw all the points explicitly as it only complicates the diagram
unnecessarily and distracts you from seeking the clues.
5.5 Given the orthocenter H and the midpoint M, one immediately sees
that A'BHC is a parallelogram, where AA' is a diameter of O (Example
3.4.4).
In particular, A', H, Q are collinear and N is the midpoint of A'H.
We are to show M, N, P, Q are concyclic.
5.7 Consider the reflec on of C about BD, called C'. Can you see that CP +
PQ = C'P + PQ ≥ C'Q? What is the smallest possible value of C'Q ? (Notice that
C'Q does not depend on the choice of P and Q.)
Let X be an arbitrary point. Now it is not easy to show DE passes through the
midpoint of PQ since P, H do not coincide and Q does not lie on the
circumcircle of ΔABC. Nevertheless, since P s ll lies on the line AD, perhaps
we can draw QR // DE, intersec ng the line AD at R. Refer to the right
diagram above.
We should have PD = DR. Since ΔBFH is an isosceles triangle (Example 3.4.3),
P and R should be symmetric about the line BC.
On the other hand, what proper es do we know about Q? It is easy to see
that ∠BFH = ∠BHF = ∠AHQ and ∠QAH = ∠PBF.
5.11 One immediately no ces that the point A could be neglected. Let DE
intersect PH at G. We are to show that G is the midpoint of PH. In fact, we
have a midpoint H if we extend PH, intersec ng Γ at Q. How can we apply
the condition PD = PE? Can you see that ΔPEG ~ ΔPQE ?
Note: One may refer to Example 3.5.1, the diagram of which apparently
shows a similar structure.
In fact, if PP' is a diameter of Γ, one may draw P' with radius P' D (where
PP' is the perpendicular bisector of DE). No ce that PD P'D and PE P'E,
i.e., PD, PE are tangent to P'. Refer to the diagram below.
Let B'C' be the diameter passing through Q. It is easy to see that B'C' // BC.
B y Example 3.5.1, B'E, C'D and AQ are concurrent at H. Unfortunately,
knowing this fact is not helpful when showing PG = GH.
5.12 Can you see ∠CPD = 90° – CAD and ∠CQD = 180° – 2∠CAD ?
How are P and Q related?
Since B, C, E should be related, can you see that B should be the orthocenter
of ΔAPE ? Can you show that AB PE?
5.13 Can you see that DE is the perpendicular bisector of CI? Can you show
F lies on the perpendicular bisector of CI? It may not be easy because we do
not know much about the line segments CF and FI. We are given a parallel
line ℓ 1 and a tangent line ℓ 2. If ℓ 1 and the line DE intersect at F', can we
show that F'C is tangent to O (i.e., F and F' coincide) by angle properties?
5.15 One may no ce that the condi on and the conclusion are probably
related to similar triangles sharing a common vertex. In par cular, we are to
show ∠AED = ∠BEP and we know that ∠DAE = ∠DBE. Hence, we should
have ΔADE ~ ΔBPE.
However, showing ΔADE ~ ΔBPE may not be easy because we know neither
BP nor ∠BPE. Can we show ΔABE ~ ΔDPE instead? It seems the difficul es
remain: what do we know about P?
Perhaps we should seek more clues from the condi on. We are given a
circle and a parallelogram, the proper es of which should give us many
pairs of equal angles. For example, ∠BDC = ∠ABD = ∠AED. No ce that we
also have ∠PCD = ∠ACB = ∠CAD from the given condition.
5.16 Upon construc ng the diagram, one may no ce that this problem is
very similar to Example 5.2.8. Can we s ll apply the technique by
introducing a perpendicular from O to the chord AB?
We are to show AC CE, i.e., if CE intersects O at A', then AA' must be a
diameter of O.
5.17 Given A, B, C, D are concyclic and A, B, F, E are concyclic, can you see
that ∠DAE = ∠CBF? Is this useful? (No ce that AD and BF should not be
parallel because F could be arbitrarily chosen on CD).
Given the circumcenters G and H, can you see that ∠DGE = ∠2DAE ? What
can you conclude about the (isosceles) triangles ΔDEG and ΔCFH ? Can you
see that DG // FH ?
Chapter 6
Indeed, there are many ways to calculate One may also draw the
square ABCX. Can you see that BP extended pass through the midpoint of
CX, called F? Can you see ΔABM ΔBCF ? Can you see
6.3 Since AD, BE, CF are concurrent, can you see many pairs of similar
triangles?
6.4 We are given a median, an angle bisector and an al tude. Can you
show that BE is an al tude as well (by considering the median on the
hypotenuse BC)? Can you see
6.5 How will the circles drawn (with diameters BC and AC) intersect ΔABC
? If you draw a circle with a diameter AC, can you see that it must intersect
BC, AC at D, E respectively?
Can you see that MN, PQ intersect at the orthocenter of ΔABC, called H? Can
you show that MH · NH = PH · QH by the Intersecting Chords Theorem?
6.6 What can you say about by the Angle Bisector Theorem or
similar triangles? How are ΔADX and ΔCDY (not similar) related?
Where should ΔBDP intersect BC? Refer to the diagram below. It seems that
A, P, Q' are collinear. If this is true, we should have ∠B = ∠APD.
6.10 No ce that drawing all the circles given, O1, O2 and O3, only
makes the diagram unnecessarily complicated. Instead, we may study the
properties of two circles, say O2 and O3. Similar properties should apply
to O1 as well.
Since O2,O3 are the midpoints of AC, AB respec vely, we have O2O3 // BC
and hence, PH BC. This implies A, P, H are collinear.
Now a simple applica on of the Tangent Secant Theorem shows that B1, B2,
C1, C2 are concyclic. Similarly, we should have A1, A2, B1, B2 concyclic as
well. How can we show that A1, A2, B1, B2, C1, C2 all lie on the same circle?
Which circle does B1, B2, C1, C2 lie on? Do you know the center and the
radius of that circle? (You may iden fy the center by drawing the
perpendicular bisectors of B1B2 and C1C2.) How about the circle which A1,
A2, B1, B2 lie on?
One no ces that ∠PAB = ∠C is a useful condi on, with which one easily
sees that ΔABC ~ ΔPBA.
Similarly, ΔABC ~ ΔQAC. (*)
Refer to the diagram below. Can you see that 1 = 2 = BAC ?
Hence, we should have 4 = BAC = 1 = ∠BQN, which implies B, N, X, Q
are concyclic.
6.12 We are given a circle and a triangle, but the condi on CF // BE seems
not closely related to circle geometry. Perhaps we can find equal angles
through the parallel lines and the property of O.
Refer to the diagram above. Since BE // CF, we have ∠BFC = ∠EBF = ∠CAD,
which implies A, D, C, F are concyclic. Alterna vely, one may obtain this
result by ∠ACF = ∠BEC = ∠ADF. Suppose A, D, C, F lie on O1.
No ce that the parallel lines give ΔDEF ~ ΔJ1J2J3. Now can you see
6.14 We are given many condi ons. It is easy to seek clues from some of
the conditions. Refer to the left diagram below. Since AB = BC + AE and AE //
BC, it is natural to move BC up (i.e., extend AE to G such that BC = EG). (*)
Apparently, we do not know much about the line segments, but only about
the angles. Refer to the right diagram above. Can we show that ∠BDG =
180° –∠A? No ce that 180° – ∠A = ∠ABC = ∠CDE. Hence, we should have
∠BDG = ∠CDE, or equivalently, ∠BDC = ∠EDG.
Chapter 1
1.2 Choose E on AC such that AB = AE. Since AD bisects BAC, one sees
that ΔABD ΔAED (S.A.S.). Hence, BD = DE and AED = ABD = 2 C.
Since AED = C + CDE, we conclude that ∠C = ∠CDE, i.e., CE = DE.
Now CE = DE = BD. We have AC = AE + CE = AB + BD.
1.3 It is easy to see that ΔACE ΔAGB (S.A.S.). Hence, we have BG = CE and
∠ACE = ∠AGB. Let BG and CE intersect at P. No ce that ∠CPG = ∠CAG =
90° (Example 1.1.6) and hence, BG CE.
1.4 Refer to the left diagram below. Let BP,CP bisect the exterior angles of
∠B, ∠C respectively. We are to show AP bisects ∠A. Draw PD BC at D, PE
AB at E and PF AC at F. It is easy to see that ΔBPE ΔBPD (A.A.S.) and
hence, PD = PE. Similarly, PD = PF.
Now we have PE = PF. Refer to the right diagram above. One sees that ΔAPE
ΔAPF (H.L.) and hence, AP bisects ∠A.
1.5 Connect AJ1. Since AI and AJ1 are the angle bisectors of neighboring
supplementary angles, we have AI AJ1 (Example 1.1.9, or one may simply
see that
Similarly, AI AJ2. Now J1AJ2 = 90° + 90° = 180° which implies A, J1, J2 are
collinear and hence, AI J1J2.
1.6 Choose E' on CD extended such that DE' = BE. Connect AE' It is easy to
see that ΔABE ΔADE' (S.A.S.). Hence, AE = AE' and ∠BAE = ∠DAE.' Now we
see that ∠EAF = ∠E'AF = 45° and ΔAEF ΔAE'F (S.A.S.). Hence, EF = E'F = DF
+ BE.
1.7 We have ∠ABD = ∠ACE = 90° – ∠BAC. Hence, ΔABP ΔQCA (S.A.S.). It
follows that AQ = AP and ∠QAD = ∠APD = 90° – ∠PAC, i.e., ∠QAD + ∠PAC
= ∠PAQ = 90°. Thus, ∠AQP = 45°.
Now
1.12 Let ∠ABC = 2a and ∠APC = 2β. We have BAP = ∠APC – ∠ABC = 2(α
– β). Since BD, PD are angle bisectors, we have CBD = a and ∠CPD = β. It
follows that BDP = CPD – ∠CBD = α – β
No ce that D is the ex-center of ΔABP opposite B (Exercise 1.4), which
implies that AD bisects the exterior angle of ∠BAP.
N o w
1.13 Suppose otherwise. Draw CD' // AB, intersec ng the line AD at D' Now
ABCD' is a parallelogram and AB = CD' BC = AD' We have AD'–CD' = BC – AB =
AD – CD.
Case I: AD < AD'
Refer to the diagram below.
We have DD' = AD'–AD = CD' – CD, i.e., DD'+CD = CD' This contradicts triangle
inequality.
Now
and similarly,
Hence,
Note: One may observe that I is the ex-center of ΔCGH opposite C (Exercise
1.4). Indeed, one may show, following a similar argument as above, that if J
is the ex-center of ΔABC opposite A, then we always have
(You may compare this result with Theorem 1.3.3.)
Chapter 2
Now the total area of parallelograms is 175 = 7[ΔABC]. It follows that [ΔABC]
= 25cm2.
2.3 Draw B G AF at G. It is easy to see that ΔABG and ΔADF are right
angled isosceles triangles and BCFG is a rectangle.
Hence, CF = BG = AGand AF = DF. Now CD – 2AE = CF + DF – 2AE = AG + AF –
2AE = (AG – AE) + (AF – AE) = EF – EG.
Since
In conclusion,
which implies
By Pythagoras’ Theorem,
AP = AB.
1.4.6).
This is an elegant solu on, even though the previous solu on using
Pythagoras’ Theorem is more straightforward.
Similarly, AC2 = 4a2 + 16b2. It follows that AB2 + AC2 = 20(a2 + b2), while BC2 =
(2a) 2 + (2b) 2 = 4(a2 + b2). The conclusion follows.
2.8 Refer to the following diagrams. Since DD' // BC, by the Intercept
Theorem, we have
Similarly, let
Similarly,
We also have
and
Hence,
= [a + b + c – ac – ab – bc ] · S
The conclusion follows.
2.10 It is easy to see that ∠EAH = ∠DCH. Hence, ΔBCE ~ ΔHAE and we
have
be simplified to
where BQ = CQ and a =
Similarly, It
concurrent.
Note:
(1) One may find it easier to solve this problem by applying Menelaus’
Theorem and the Angle Bisector Theorem mechanically instead of
referring to the diagram.
(2) One may also solve this problem using Desargues’ Theorem.
Refer to the diagram below, where P, Q, R are the ex-centers of ΔABC
opposite A, B, C respec vely. Apply Desargues’ Theorem to Δ ABC and
ΔPQR.
One sees that D, E, F are the intersec ons of the corresponding sides
extended: AB, PQ intersect at F, BC, QR intersect at D, AC, PR intersect
at E.
Now D, E, F are collinear if the lines AP, BQ, CR are concurrent. This is
clear because they all pass through the incenter of ΔABC.
2.15 Refer to the diagram below. Apply Menelaus’ Theorem when the line
AE intersects ΔBDM :
Since we have
Note: One may find an alternative solution using the area method. We are
to show . We claim that AD · AE
+ AB · 2AD · AE
Notice that · AB sin ∠A (since AB = AC),
Refer to the diagram below. Since BM = CM, we have [ΔBDE] = [ΔCDE]. (Can
you see it?)
Chapter 3
are concyclic.
3.4 Let the lines AD, BC intersect at X. Since AB is the diameter of the
semicircle, we must have AC ⊥ BC, AD ⊥BD (Corollary 3.1.13). Hence, P is
the orthocenter of ΔABX. It follows that XP ⊥ AB, i.e., X, P, E are collinear.
Example 3.1.6 states that P is the incenter of ΔCDE.
By Sine Rule,
Since ∠BHC = 180° − ∠A, we have sin ∠A = sin(180° − ∠A). It follows that
R1 = R2.
Let F and F' be the trisec on points of AC. No ce that ΔDFF' is an equilateral
triangle (Example 2.3.4). Clealy, PF' // DF. We must have ∠AF'P = ∠AFD =
60° = ∠ADP. It follows that A, F' , D, P are concyclic. Refer to the right
diagram above.
Now A, P, B, D, F' lie on the same circle where PF' is a diameter (since ∠PAC
= 90º). We have DE // BP, EF // BF' and BP ⊥ BF' (since PF' is the diameter). It
follows that DE ⊥ EF.
We denote O1C = r1 and O2C = r2. No ce that AB = 2(r1 + r2) and hence, OF =
OB = r1 + r2. It follows that O1D' = O1D − O2E = r1 − r2 and OC = OB − BC = (r1 +
r2) − 2r2 = r1 − r2, i.e., O1D' = OC. We also no ce that
Now ΔOCF ΔO1D'O2 (H.L.), which implies CF = D'O2. Hence, CF = DE. Since
CM = DM = EM, we must have FM = DM.
3.11 Choose E on AC such that AB = AE. It is easy to see that ΔABD ΔAED,
BD = DE and AD is the perpendicular bisector of BE.
Now ∠AED = ∠ABD = 2∠C, which implies ∠CDE = ∠AED − ∠C = ∠C.
Hence, CE = DE = BD. We claim that E is the circumcenter of ΔCDI and it
suffices to show that EI = DE, or equivalently, BI = BD.
No ce that and ∠BID = ∠2 + ∠3
3.12 Let M' denote the midpoint of AQ. Since ∠A = 90° and Q is the
midpoint of BC, we have AQ = BQ = CQ.
Hence,
3.13 It is easy to see that AA'CB and ABB'C are isosceles trapeziums.
Hence, which extend equal angles on the circumference, i.e.,
∠1 = ∠2.
We also have ∠2 = ∠3 since AA' // BC.
3.15 Refer to the right diagram above. By defini on, A, I, J1 are collinear.
Since AI ⊥ J2J3 (Exercise 1.5), we have AJ1 ⊥ J2J3. Similarly, BJ2 ⊥ J1J3 and
CJ3 ⊥ J1J2.
3.16 Draw YC'⊥ AB at C'. Since P, Q, C' are the feet of the perpendiculars
from Y to the sides of ΔABX, we must have P, Q, C' collinear (Simson’s Line).
Similarly, S, R, C' are also collinear. It follows that PQ and SR intersect at C',
i.e., C and C' coincide.
Since ∠APY = ∠ARY = ∠ACY = 90°, we have A, P, Y, R are concyclic and A, P,
Y, C are concyclic. It follows that A, P, R, Y, C are concyclic. Now
which completes the proof.
Note: One may also find the following alterna ve solu on, which does
not requires the fact that C lies on AB. Refer to the diagram below. It is easy
to see that
Consider the shaded quadrilateral PCSY, where the sum of the interior
angles is 360°, i.e.,
∠PCS +∠XYZ + ∠PYX + ∠CPY + ∠SYZ + ∠CSY = 360°. (*) Since AB is the
diameter, we have ∠AXB = 90° = ∠XPY = ∠XQY. Hence, PXQY must be a
rectangle. Now ∠PYX = ∠CPY = 90° − ∠1. Similarly, SYRZ is also a rectangle
and we have ∠SYZ = ∠CSY = ∠2. Now (*) gives ∠PCS + ∠XYZ + 2 × (90° −
∠1 + ∠2) = 360°.
This leads to the conclusion ∠PCS + ∠XYZ = 180° as one observes that ∠1 =
∠2 (Corollary 3.1.5).
Chapter 4
Connect BC. Since AB is the diameter, we have BC ⊥ AP. Since AC = CP, one
sees that ΔABP is a right angled isosceles triangle where AB = BP (because
ΔABC ΔPBC).
It follows that
By (1),
Now
Note: There are many ways to derive the conclusion from (2). For
example, one may write and hence obtain
4.5 No ce that ∠ABC = ∠PAE = ∠E, which implies ΔABC ~ ΔAEQ. Hence,
It follows that
4.6 Connect OA. In the right angled triangle ΔAOP, PA2 = PO·PM (Example
2.3.1). We also have PA2 = PC·PD by the Tangent Secant Theorem. Hence,
PC·PD = PO·PM and the conclusion follows.
4.7 Le t AC extended and BD extended intersect at P. One sees that AD
bisects ∠BAC (Corollary 3.3.3). Since AB is the diameter, we have AD ⊥ BP
and hence, ΔABP is an isosceles triangle where AB = AP (because ΔABD
ΔAPD). Now
It is also easy to see that ΔBDE ~ ΔBCP since both are right angled triangles.
Hence, we have BE · BC = BD · BP. (One may also see this by the Tangent
Secant Theorem because C, E, D, P are concyclic.) It follows that
solving which gives BE = 5.
Hence, BC = 8 and by Pythagoras’ Theorem,
4.8 Since ∠BCF = ∠BAC (Theorem 3.2.10), we have ΔBCF ~ ΔCAF. Hence,
and we have
Similarly,
Note: This is an example of Menelaus’ Theorem where the line does not
intersect the triangle, but the division points are on the extension of the
sides instead. In this case, wri ng down the equa on mechanically could be
easier than referring to the diagram, especially for beginners.
4.9 Refer to the diagram below. Connect CJ, BK. It is easy to see that CJ =
AJ and BK = AK. (*)
No ce that ∠E = ∠ABF – ∠BPE, while ∠BPE = ∠A (Corollary 3.1.5) =
∠ABK (since AK = BK).
Hence, ∠E = ∠ABF – ∠ABK = ∠FBK.
Similarly, ∠F = ∠ECJ.
It follows that ΔCEJ ~ ΔFBK.
Now
Hence,
4.13 Let D be the point on the angle bisector of ∠B such that AD // BC.
Since ∠B = 2∠C, we have ∠1 = ∠2 = ∠C.
Since AD // BC, we have ∠1 = ∠3 = ∠C. It follows that ABCD is an isosceles
trapezium which is obviously cyclic.
By Ptolemy’s Theorem, AC · BD = AD · BC + AB · CD.
Since AC = BD and CD = AB = AD(because ∠2 = ∠3), we have AC2 = AB · BC +
AB2 = AB · (AB + BC).
Note: Once we have AB = AD = CD, one may also show the conclusion by
the area method. Refer to the diagram below. Extend CB to E such that BE =
AB. It is easy to see that AE = BD = AC.
Hence, and
Example 4.3.3 states that the circumcircle of ΔACE is the incircle of ΔO1O2O3.
In particular, IC ⊥ O1O3. We claim that BC ⊥ O1O3.
Let the radii of O1, O2 and O3 be r1, r2, r3 respec vely. Refer to the
right diagram above. Draw O2X1 ⊥ PQ at X1 and O3X2 ⊥ BO2 at X2.
Pythagoras’ Theorem gives us
Similarly,
In the right angled triangle ΔO2O3X2, O2O32 = O2X22 + O3X22. Observe that
O2O3 = r2 + r3, O2X2 = PQ – BO2 – DO3 = 2r1 – r2 – r3 and
Hence,
the simplification of which gives
Now
This implies
It follows that BC ⊥ O1O3 by Theorem 2.1.9. Since IC ⊥ O1O3, B, I, C are
collinear. Similarly, A, I, D are collinear. The conclusion follows.
Note: It is easier to write down the expression for the power of a point
without referring to the diagram. Indeed, those irrelevant lines in the
diagram could be very confusing.
Chapter 5
5.2 Connect BP, OP. It is easy to see that ΔPAB is a right angled isosceles
triangle where ∠APB = 90° and ∠PAB = ∠PBA = 45°.
It follows that ΔAHM ~ ΔBAM. Hence, ∠MHA = ∠MAB = 45° and ∠MAH =
∠MBA
On the other hand, since ∠BHP = ∠BOP = 90°, B, O, H, P are concyclic, which
implies ∠BHO = ∠BPO = 45° = ∠MHA.
Theorem). Hence,
No ce that we have
Hence,
Hence,
It follows that
Note: One may also show that ∠API = ∠AEI = 90°. In fact, once we obtain
one immediately sees that A, I,
Similarly,
Similarly,
It follows that
5.7 Let C' be the reflec on of C about BD. Draw C'H ⊥ BC at H. One sees
that CP + PQ = C'P + PQ ≥ C'Q ≥ C'H. Refer to the left diagram below.
It follows that
Note:
(1) One may also see that ΔAPH ~ ΔCHM and ΔAGH ~ ΔBHM.
Now
Since DH = DF, (1) and (2) imply PD = DR. By the Intercept Theorem, DE must
pass through the midpoint of PQ.
Note:
(1) We introduced the midpoint M of PE instead of explicitly drawing a
perpendicular from the center of Γ to the chord PE. Nevertheless, the
motivation still comes from this technique.
(2) One may also connect MH and see that MH // EQ. Since PE = PH, we have
ΔPMH ~ ΔPEQ and ΔPMH ΔPGE (A.A.S.). Now EHGM is an isosceles
trapezium and the conclusion follows.
(3) There is an alterna ve solu on by the Intersec ng Chords Theorem.
Refer to the diagram below. Draw the circumcircle of ΔDEH.
Since PD = PE = PH, Pis the circumcenter of ΔDEH. It is easy to see that
PH = HQ = PR. Let PH = r, PG = a and GH = r – a.
By the Intersecting Chords Theorem, PG · GQ = DG · GE = GH · GR.
Hence, a(2r – a) = (r – a)(r + a), i.e., 2ra = r2.
It follows that and G is the midpoint of PH.
5.12 By considering the isosceles triangle ΔCDQ, one sees that ∠CDQ =
∠DCQ = ∠CAD and hence, ∠CQD = 180° – 2 ∠CAD.
Note: One sees from the proof that PQ = CQ = DQ = EQ, i.e., Qis the
midpoint of PE. Indeed, one may find an alterna ve solu on as follows.
Suppose the lines AD and BC intersect at E' where Q' is the midpoint of PE'.
Connect Q'C and Q'D. Refer to the diagram below.
Since ΔCPE' and ΔDE'P are right angled triangles sharing a common
hypotenuse, we have
Now it suffices to show that Q'C and Q'D are tangent to O, or equivalently,
OC ⊥ Q'C.
5.15 Since ∠ACD = ∠BCP, one sees that ∠PCD = ∠ACB = ∠CAD because
AD // BC. Since AB // CD, we have ∠PDC = ∠ABD = ∠AED (angles in the
same arc). It follows that ΔADE ~ ΔCPD and hence,
Since CD = AB, we have
Clearly, ∠BAE = ∠PDE (angles in the same arc).
We conclude that ΔABE ~ ΔDPE. It follows that ∠AEB = ∠DEP, or
equivalently, ∠AED = ∠BEP.
Note: We applied the technique of similar triangles sharing a common
vertex to show ΔABE ~ ΔDPE, where the “common” vertex is not E, but A and
D: although these are different points, the corresponding angles at the
vertices are the same due to the concyclicity.
5.16 Let A' be the point symmetric to A about O. Let the lines CA' and BD
intersect at E'. Since A'A is a diameter of O, we must have AC ⊥ CE'. Now
it suffices to show that P, O, E' are collinear.
Connect BC. No ce that ∠ABC = ∠A'CD because they correspond to equal
arcs (i.e., by symmetry).
Note: One may also re-write the proof in a direct approach: upon drawing
OM ⊥ AB at M, we show that ΔACM ~ ΔDEO and hence, ΔACB ~ ΔDEC. Now
the angles extended by on O are the same (where CE
intersects O at A'). Hence, A and A' are symmetric about O. We conclude
that AA' is a diameter of O and hence, AC ⊥ CE.
Notice that ∠AEP = ∠PBF and ∠BCP = ∠PAD by concyclicity. We also have
∠DAE = ∠CBF by (1).
Now Hence, AB = 3.
Note: One may also draw PE ⊥ BC at E. It is easy to see that ΔABM ~ ΔBEP
and we have
6.3 Refer to the diagram below. It is easy to see that ΔABG ~ ΔEDG.
Hence,
Since DE = EF, we have AB = BC = 2DE = 2EF = AC. This completes the proof.
6.5 Refer to the diagram below. Let AD, BE intersect at H, the orthocenter
of ΔABC. It is easy to see that A, B, D, E are concyclic.
Apply the Intersec ng Chords Theorem repeatedly: PH · QH = AH · DH = BH ·
EH = MH · NH.
It follows that M, P, N, Q are concyclic.
Note:
(1) One may notice that M, P, N, Q lie on a circle centered at C. In fact since
BC is the perpendicular bisector of MN, we have CM = CN and similarly,
CP = CQ. We claim that CM = CP.
Since BC is a diameter, ∠BMC = 90° and hence, CM2 = CD · BC (Example
2.3.1). Similarly, we have CP2 = CE · AC. By the Tangent Secant
Theorem, CD · BC = CE · AC. Hence, CM = CP and M, P, N, Q lie on the
circle centered at C with the radius CM.
(2) One may also draw CF ⊥ AB. at F. Since AC, BC are diameters, F lies on
the circumcircles of ΔACD and ΔBCE. By the Intersec ng Chords
Theorem, PH · QH = CH · FH = MH · NH and hence the conclusion.
6.6 Refer to the diagram below. Apply Sine Rule to ΔADX and ΔCDY.
We have No ce that ∠1 = ∠4 and
Similarly, FG // AC.
Let
We have
Similarly,
We have
Since BD · BD' = BF · BF' (Tangent Secant Theorem), we must have AB2 = BC2,
i.e., AB = AC.
Similarly, BC = AC and the conclusion follows.
Refer to the right diagram above. Let AP extended intersect BC at Q'. Since
B, C, D, E are concyclic, we must have ∠B = ∠AED = ∠APD.
Hence, B, D, P, Q' are concyclic.
Similarly, C, E, P, Q' are concyclic. It follows that the circumcircles of ΔBPD
and ΔCPE intersect at P and Q', i.e., Q and Q' coincide. This completes the
proof.
Note:
(1) It is easy to see that BE, CD are the heights of ΔABC, but this is not
important when solving this problem.
(2) Recognizing A, D, P, E concyclic is the key step. This is the conclusion of
Example 3.1.11, a commonly used fact.
Note: Mul plying (1), (2), (3) is a quick way to cancel out the terms. Of
course, one may also manipulate each equa on by moving the desired
terms (DE, DF, MD, ME, etc.) to one side and the rest to the other side. This
is a basic technique when applying Menelaus’ Theorem.
6.10 Let O2 and O3 intersect at P and H. We have PH ⊥ O2O3 and O2O3
// BC (Midpoint Theorem).
Hence, PH ⊥ BC, which implies A, P, H are collinear. By the Tangent Secant
Theorem, we have
A similar argument gives that A1, A2, B1, B2 also lie on O. It follows that
A1, A2, B1, B2, C1, C2 are concyclic on O.
Similarly,
6.12 Since BE // CF, we have ∠BFC = ∠EBF = ∠CAD (angles in the same
arc), which implies A, D, C, F are concyclic, say on O1.
Since M is the midpoint of BC, by the Tangent Secant Theorem, AM · DM =
BM2 = CM2, which implies BC is tangent to O1.
Since ΔBEG ~ ΔCFG, it follows that O and O1 are corresponding points.
Note: One may also show G, O, O1 collinear via ΔOBE ~ ΔO1CF and hence,
Now ΔOBG ~ ΔO1CG and ∠BGO = ∠CGO1.
Now
Hence, QR // EF. No ce that AJ1 is the perpendicular bisector of EF and
hence, J1E = J1F. It follows that AJ1 is also the perpendicular bisector of QR.
Since I lies on AJ1, we must have QI = RI.
Similarly, PI = QI and the conclusion follows.
Refer to the right diagram above. It suffices to show that ∠ BDG = 180° –
∠A, where 180° – ∠A = ∠ABC = ∠CDE. Hence, it suffices to show ∠ BDG =
∠CDE, or ∠BDC = ∠EDG. (2)
Let D' be the reflec on of D about OM. Refer to the diagram below. Since
OD = OD', D' must lie on O whose radius is OD. No ce that O is exactly
the circumcircle of ΔBCD, i.e., B, C, D, D' are concyclic.
Now ∠BDC = ∠1. (3)
On the other hand, one sees that CDED' is a parallelogram because DD' and
CE bisect each other at M
It follows that CD' = DE' and CD' // DE. Now it is easy to see that ΔBCD'
ΔGED (S.A.S.). We conclude that ∠EDG = ∠1. (4).
(3) and (4) imply (2), which completes the proof.