Maths Olympiad Prep

Library / EGMO /16 of 22

EGMO, 2020

Geometry Difficulty 7.9 National Olympiad, round 2 Prove it European Girls' Mathematical Olympiad (EGMO)

Problem:

Consider the triangle ABCABC with ∠BCA>90∘\angle BCA > 90^{\circ}. The circumcircle Γ\Gamma of ABCABC has radius RR. There is a point PP in the interior of the line segment ABAB such that PB=PCPB = PC and the length of PAPA is RR. The perpendicular bisector of PBPB intersects Γ\Gamma at the points DD and EE.

Prove that PP is the incentre of triangle CDECDE.

Solution

Solution:

A. The angle bisector of ∠ECD\angle ECD intersects the circumcircle of CDECDE (which is Γ\Gamma) at the midpoint MM of arc DBEDBE. It is well-known that the incentre is the intersection of the angle bisector segment CMCM and the circle with centre at MM and passing through D,ED, E. We will verify this property for PP.

Figure 1

By the conditions we have AP=OA=OB=OC=OD=OE=RAP = OA = OB = OC = OD = OE = R. Both lines OMOM and APBAPB are perpendicular to EDED, therefore AP∥OMAP \parallel OM; in the quadrilateral AOMPAOMP we have AP=OA=AM=RAP = OA = AM = R and AP∥OMAP \parallel OM, so AOMPAOMP is a rhombus and its fourth side is PM=RPM = R.

In the convex quadrilateral OMBPOMBP we have OM∥PBOM \parallel PB, so OMBPOMBP is a symmetric trapezoid; the perpendicular bisector of its bases AOAO and PBPB coincide. From this symmetry we obtain MD=OD=RMD = OD = R and ME=OE=RME = OE = R. (Note that the triangles OEMOEM and OMDOMD are equilateral.) We already have MP=MD=ME=RMP = MD = ME = R, so PP indeed lies on the circle with center MM and passing through D,ED, E. (Notice that this circle is the reflection of Γ\Gamma about DEDE.)

From PB=PCPB = PC and OB=OCOB = OC we know that BB and CC are symmetrical about OPOP; from the rhombus AOMPAOMP we find that AA and MM are also symmetrical about OPOP. By reflecting the collinear points B,P,AB, P, A (with PP lying in the middle) we get that C,P,MC, P, M are collinear (and PP is in the middle). Hence, PP lies on the line segments CMCM.

B. Let XX be the second intersection of CPCP with Γ\Gamma. Using the power of the point PP in the circle Γ\Gamma and the fact that PB=PCPB = PC, we find that PX=PA=RPX = PA = R. The quadrilateral AOXPAOXP has four sides of equal length, so it is a rhombus and in particular OXOX is parallel to APAP. This proves that OXBPOXBP is a trapezoid, and because the diagonals PXPX and OBOB have equal length, this is even an isosceles trapezoid. Because of that, DEDE is not only the perpendicular bisector of PBPB, but also of OXOX.

Figure 2

In particular we have XD=XP=XO=XE=RXD = XP = XO = XE = R, which proves that XX is the middle of the arc DEDE and PP belongs to the circle with center XX going through DD and EE. These properties, together with the fact that C,P,XC, P, X are collinear, determine uniquely the incenter of CDECDE.

C. Let YY be the circumcenter of triangle BPCBPC. Then from YB=YPYB = YP it follows that YY lies on DEDE (we assume DD lies in between YY and EE), and from YB=YCYB = YC it follows that YY lies on OPOP, where OO is the center of Γ\Gamma.

From ∠AOC=2∠ABC=∠APC\angle AOC = 2\angle ABC = \angle APC (because ∠PBC=∠PCB\angle PBC = \angle PCB) we deduce that AOPCAOPC is a cyclic quadrilateral, and from AP=RAP = R it follows that AOPCAOPC is an isosceles trapezoid. We now find that ∠YCP=∠YPC=180∘−∠OPC=180∘−∠ACP\angle YCP = \angle YPC = 180^{\circ} - \angle OPC = 180^{\circ} - \angle ACP, so YY lies on ACAC.

Figure 3

Power of a point gives YO⋅YP=YC⋅YA=YD⋅YEYO \cdot YP = YC \cdot YA = YD \cdot YE, so D,P,OD, P, O and EE are concyclic. It follows that 2∠DAE=∠DOE=∠DPE=∠DBE=180∘−∠DAE2\angle DAE = \angle DOE = \angle DPE = \angle DBE = 180^{\circ} - \angle DAE, so ∠DAE=60∘\angle DAE = 60^{\circ}. We can now finish the proof by angle chasing.

From AB⊥DEAB \perp DE we have ∠AOD+∠BOE=180∘\angle AOD + \angle BOE = 180^{\circ} and from ∠DOE=2∠DAE=120∘\angle DOE = 2\angle DAE = 120^{\circ} it follows that ∠BOD+∠BOE=120∘\angle BOD + \angle BOE = 120^{\circ}. It follows that ∠AOD−∠BOD=180∘−120∘=60∘\angle AOD - \angle BOD = 180^{\circ} - 120^{\circ} = 60^{\circ}. Let ∠OAB=∠OBA=2β\angle OAB = \angle OBA = 2\beta; then ∠AOD+∠BOD=∠AOB=180∘−4β\angle AOD + \angle BOD = \angle AOB = 180^{\circ} - 4\beta. Together with ∠AOD−∠BOD=60∘\angle AOD - \angle BOD = 60^{\circ}, this yields ∠AOD=120∘−2β\angle AOD = 120^{\circ} - 2\beta and ∠BOD=60∘−2β\angle BOD = 60^{\circ} - 2\beta. We now find ∠AED=12∠AOD=60∘−β\angle AED = \frac{1}{2} \angle AOD = 60^{\circ} - \beta, which together with ∠DAE=60∘\angle DAE = 60^{\circ} yields ∠ADE=60∘+β\angle ADE = 60^{\circ} + \beta. From the isosceles trapezoid AOPCAOPC we have ∠CDA=∠CBA=12∠CPA=12∠PAO=β\angle CDA = \angle CBA = \frac{1}{2} \angle CPA = \frac{1}{2} \angle PAO = \beta, so ∠CDE=∠CDA+∠ADE=β+60∘+β=60∘+2β\angle CDE = \angle CDA + \angle ADE = \beta + 60^{\circ} + \beta = 60^{\circ} + 2\beta.

From ∠BOD=60∘−2β\angle BOD = 60^{\circ} - 2\beta we deduce that ∠BED=30∘−β\angle BED = 30^{\circ} - \beta; together with ∠DBE=120∘\angle DBE = 120^{\circ} this yields ∠EDB=30∘+β\angle EDB = 30^{\circ} + \beta. We now see that ∠PDE=∠BDE=30∘+β=12∠CDE\angle PDE = \angle BDE = 30^{\circ} + \beta = \frac{1}{2} \angle CDE, so PP is on the angle bisector of ∠CDE\angle CDE. Similarly, PP lies on the angle bisector of ∠CED\angle CED, so PP is the incenter of CDECDE.

D. We draw the lines DPDP and EPEP and let D′D', resp. E′E', be the second intersection point with Γ\Gamma.

Figure 4

The triangles APD′APD' and DPBDPB are similar, and the triangles APE′APE' and EPBEPB are also similar, hence they are all isosceles and it follows that E′,O,P,D′E', O, P, D' lie on a circle with center AA. In particular AOD′AOD' and AOE′AOE' are equilateral triangles. Angle chasing gives
∠CDP=∠CDD′=12∠COD′=12(60∘+∠COA)∠EDP=∠EDD′=∠EE′D′=∠PE′D′=12∠PAD′=12(60∘+∠PAO) \begin{gathered} \angle CDP = \angle CDD' = \frac{1}{2} \angle COD' = \frac{1}{2}(60^{\circ} + \angle COA) \\ \angle EDP = \angle EDD' = \angle EE'D' = \angle PE'D' = \frac{1}{2} \angle PAD' = \frac{1}{2}(60^{\circ} + \angle PAO) \end{gathered}
Similarly we prove ∠CEP=12(60∘−∠COA)\angle CEP = \frac{1}{2}(60^{\circ} - \angle COA) and ∠DEP=12(60∘−∠PAO)\angle DEP = \frac{1}{2}(60^{\circ} - \angle PAO) so if we can prove that ∠COA=∠PAO\angle COA = \angle PAO, we will have proven that PP belongs to the angle bisector of ∠CED\angle CED and to the angle bisector of ∠CDE\angle CDE, which is enough to prove that PP is the incenter of the triangle CDECDE.

Let β=∠ABC=∠PCB\beta = \angle ABC = \angle PCB. We have ∠APC=2β\angle APC = 2\beta and ∠AOC=2β\angle AOC = 2\beta, so AOPCAOPC is an inscribed quadrilateral. Moreover, since the diagonals APAP and COCO have equal length, this is actually an isosceles trapezoid, and hence ∠PAO=∠CPA=∠COA\angle PAO = \angle CPA = \angle COA which concludes the proof.

E. Without loss of generality we assume that DD and CC are in the same half-plane regarding line ABAB.

Since PC=BPPC = BP and ABCDABCD is inscribed quadrilateral we have ∠PCB=∠CBP=∠CEA=α\angle PCB = \angle CBP = \angle CEA = \alpha. As in the other solutions, AOPCAOPC is an isosceles trapezoid and 2α=∠CPA=∠PCO2\alpha = \angle CPA = \angle PCO.

Figure 5

Let KK be intersection of EOEO and Γ\Gamma. Then ∠KDE=90∘\angle KDE = 90^{\circ}, AB∥DKAB \parallel DK and KDBAKDBA is isosceles trapezoid. We obtain DP=BD=AKDP = BD = AK, which implies that DPAKDPAK is a parallelogram and hence DK=PA=R=OD=OKDK = PA = R = OD = OK. We see that DOKDOK is an equilateral triangle. Then ∠ECD=∠EKD=60∘\angle ECD = \angle EKD = 60^{\circ}.

Further we prove that PCPC bisects ∠ECD\angle ECD using ∠DCB=∠DKB=∠KDA\angle DCB = \angle DKB = \angle KDA (from isosceles trapezoid DKABDKAB) and that ∠KEC=∠OEC=∠OCE\angle KEC = \angle OEC = \angle OCE (from isosceles triangle OCEOCE):
∠DCP=∠DCB+∠BCP=∠KDA+α=∠KEC+∠CEA+α=∠OCE+2α=∠PCE \angle DCP = \angle DCB + \angle BCP = \angle KDA + \alpha = \angle KEC + \angle CEA + \alpha = \angle OCE + 2\alpha = \angle PCE
Further by ∠DCP=∠PCE=12∠ECD=30∘\angle DCP = \angle PCE = \frac{1}{2} \angle ECD = 30^{\circ} distances between PP and sides △CDE\triangle CDE are 12PC=12PB\frac{1}{2} PC = \frac{1}{2} PB (as ratio between cathetus and hypotenuse in right triangle with angles 60∘60^{\circ} and 30∘30^{\circ}). So, we have found incentre.

F. Let F,G,HF, G, H be the projections of PP on the sides DE,DCDE, DC resp. CECE. If PP is indeed the incenter, then the three line segments PF,PG,PHPF, PG, PH have the same length. This means that the problem is equivalent to proving that PG=PH=PF=12PB=12PCPG = PH = PF = \frac{1}{2} PB = \frac{1}{2} PC and thus trigonometry in the right-angled triangles CPGCPG and CPHCPH tells us that it is enough to prove that ∠DCP=∠ECP=30∘\angle DCP = \angle ECP = 30^{\circ}.

Figure 6

We introduce the point XX as the second intersection of the line CPCP with Γ\Gamma. Because OO is the center of Γ\Gamma we can reduce the problem to proving that ∠XOD=∠XOE=60∘\angle XOD = \angle XOE = 60^{\circ}, or equivalently that XODXOD and XOEXOE are equilateral triangles. This last condition is equivalent to XX being the reflection of OO on the line DEDE. Following the chain of equivalences, we see therefore that in order to solve the problem it is enough to prove that XX is the reflection of OO on DEDE. We prove this property as in Solution B, using the fact that OXBPOXBP is an isosceles trapezoid.

G. Assume ABAB is parallel to the horizontal axis, and that Γ\Gamma is the unit circle. Write f(θ)f(\theta) for the point (cos⁡(θ),sin⁡(θ))(\cos(\theta), \sin(\theta)) on Γ\Gamma. As in Solution C, assume that ∠AOB=180∘−4β\angle AOB = 180^{\circ} - 4\beta; then we can take B=f(2β)B = f(2\beta) and A=f(180∘−2β)A = f(180^{\circ} - 2\beta). As in Solution C, we observe that AOPCAOPC is an isosceles trapezoid, which we use to deduce that ∠ABC=12∠APC=12∠OAB=β\angle ABC = \frac{1}{2} \angle APC = \frac{1}{2} \angle OAB = \beta. We now know that C=f(180∘−4β)C = f(180^{\circ} - 4\beta).

The point PP lies on ABAB with AP=R=1AP = R = 1, so P=(cos⁡(180∘−2β)+1,sin⁡(2β))=(1−cos⁡(2β),sin⁡(2β))P = (\cos(180^{\circ} - 2\beta) + 1, \sin(2\beta)) = (1 - \cos(2\beta), \sin(2\beta)). The midpoint of BPBP therefore has coordinates (12,sin⁡(2β))\left(\frac{1}{2}, \sin(2\beta)\right), so DD and EE have xx-coordinate 12\frac{1}{2}. Without loss of generality, we take D=f(60∘)D = f(60^{\circ}) and E=f(−60∘)E = f(-60^{\circ}).

We have now obtained coordinates for all points in the problem, with one free parameter (β)(\beta). To show that PP is the incenter of CDECDE, we will show that PP lies on the bisector of ∠CDE\angle CDE; analogously, one can show that PP lies on the bisector of angle CEDCED. The bisector of angle CDECDE passes through the midpoint MM of the arc CECE not containing DEDE; because C=f(180∘−4β)C = f(180^{\circ} - 4\beta) and E=f(−60∘)E = f(-60^{\circ}), we have M=f(240∘−2β)M = f(240^{\circ} - 2\beta).

It remains to show that P=(1−cos⁡(2β),sin⁡(2β))P = (1 - \cos(2\beta), \sin(2\beta)) lies on the line connecting the points D=(cos⁡(60∘),sin⁡(60∘))D = (\cos(60^{\circ}), \sin(60^{\circ})) and M=(cos⁡(240∘−2β),sin⁡(240∘−2β))=(−cos⁡(60∘−2β),−sin⁡(60∘−2β))M = (\cos(240^{\circ} - 2\beta), \sin(240^{\circ} - 2\beta)) = (-\cos(60^{\circ} - 2\beta), -\sin(60^{\circ} - 2\beta)). The equation for the line DMDM is
(Y+sin⁡(60∘−2β))(cos⁡(60∘)+cos⁡(60∘−2β))=(sin⁡(60∘)+sin⁡(60∘−2β))(X+cos⁡(60∘−2β)) \left(Y + \sin(60^{\circ} - 2\beta)\right)\left(\cos(60^{\circ}) + \cos(60^{\circ} - 2\beta)\right) = \left(\sin(60^{\circ}) + \sin(60^{\circ} - 2\beta)\right)\left(X + \cos(60^{\circ} - 2\beta)\right)
which, using the fact that cos⁡(60∘)+cos⁡(60∘−2β)=2cos⁡(β)cos⁡(60∘−β)\cos(60^{\circ}) + \cos(60^{\circ} - 2\beta) = 2\cos(\beta)\cos(60^{\circ} - \beta) and sin⁡(60∘)+sin⁡(60∘−2β)=2cos⁡(β)sin⁡(60∘−β)\sin(60^{\circ}) + \sin(60^{\circ} - 2\beta) = 2\cos(\beta)\sin(60^{\circ} - \beta), simplifies to
(Y+sin⁡(60∘−2β))cos⁡(60∘−β)=(X+cos⁡(60∘−2β))sin⁡(60∘−β) \left(Y + \sin(60^{\circ} - 2\beta)\right)\cos(60^{\circ} - \beta) = \left(X + \cos(60^{\circ} - 2\beta)\right)\sin(60^{\circ} - \beta)
Because cos⁡(60∘−2β)sin⁡(60∘−β)−sin⁡(60∘−2β)cos⁡(60∘−β)=sin⁡(β)\cos(60^{\circ} - 2\beta)\sin(60^{\circ} - \beta) - \sin(60^{\circ} - 2\beta)\cos(60^{\circ} - \beta) = \sin(\beta), this equation further simplifies to
Ycos⁡(60∘−β)−Xsin⁡(60∘−β)=sin⁡(β). Y\cos(60^{\circ} - \beta) - X\sin(60^{\circ} - \beta) = \sin(\beta).
Plugging in the coordinates of PP, i.e., X=1−cos⁡(2β)X = 1 - \cos(2\beta) and Y=sin⁡(2β)Y = \sin(2\beta), shows that PP is on this line: for this choice of XX and YY, the left hand side equals sin⁡(60∘+β)−sin⁡(60∘−β)=2cos⁡(60∘)sin⁡(β)\sin(60^{\circ} + \beta) - \sin(60^{\circ} - \beta) = 2\cos(60^{\circ})\sin(\beta), which is indeed equal to sin⁡(β)\sin(\beta). So PP lies on the bisector DMDM of ∠CDE\angle CDE, as desired.

H. Let Γ\Gamma be the complex unit circle and let ABAB be parallel with the real line and 0<φ=arg⁡b<π20 < \varphi = \arg b < \frac{\pi}{2}. Then
∣b∣=1,a=−bˉ,p=a+1=1−bˉ |b| = 1, \quad a = -\bar{b}, \quad p = a + 1 = 1 - \bar{b}
From Re⁡d=Re⁡e=Re⁡p+b2=12\operatorname{Re} d = \operatorname{Re} e = \operatorname{Re} \frac{p + b}{2} = \frac{1}{2} we get that d=12+32id = \frac{1}{2} + \frac{\sqrt{3}}{2} i and e=12−32ie = \frac{1}{2} - \frac{\sqrt{3}}{2} i are conjugate 6th roots of unity; d3=e3=−1,d+e=1,d2=−e,e2=−dd^3 = e^3 = -1, d + e = 1, d^2 = -e, e^2 = -d etc.

Point CC is the reflection of BB in line OPOP. From arg⁡p=arg⁡(1−bˉ)=12(π−φ)\arg p = \arg(1 - \bar{b}) = \frac{1}{2}(\pi - \varphi), we can get arg⁡c=2arg⁡p−arg⁡b=π−2φ\arg c = 2\arg p - \arg b = \pi - 2\varphi, so c=−bˉ2c = -\bar{b}^2.

Now we can verify that EPEP bisects ∠CED\angle CED. This happens if and only if (p−e)2(cˉ−eˉ)(dˉ−eˉ)(p - e)^2(\bar{c} - \bar{e})(\bar{d} - \bar{e}) is real. Since dˉ−eˉ=−3i\bar{d} - \bar{e} = -\sqrt{3} i, this is equivalent with Re⁡[(p−e)2(cˉ−eˉ)]=0\operatorname{Re}[(p - e)^2(\bar{c} - \bar{e})] = 0. Here
(p−e)2(cˉ−eˉ)=(1−bˉ−e)2(−b2−d)=(d−bˉ)2(−b2−d)=−∣b∣4+2d∣b∣2b−d2b2−dbˉ2+2d2bˉ−d3=−1−2db+dˉb2−dbˉ2−2db‾+1=−2(db−db‾)+(dˉb2−dbˉ2), \begin{aligned} (p - e)^2(\bar{c} - \bar{e}) & = (1 - \bar{b} - e)^2(-b^2 - d) = (d - \bar{b})^2(-b^2 - d) \\ & = -|b|^4 + 2d|b|^2 b - d^2 b^2 - d\bar{b}^2 + 2d^2\bar{b} - d^3 \\ & = -1 - 2db + \bar{d}b^2 - d\bar{b}^2 - 2\overline{db} + 1 \\ & = -2(db - \overline{db}) + (\bar{d}b^2 - d\bar{b}^2), \end{aligned}
whose real part is zero. It can be proved similarly that DPDP bisects ∠EDC\angle EDC.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.