Maths Olympiad Prep

Library / /17 of 25

, 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 APOMAP \parallel OM; in the quadrilateral AOMPAOMP we have AP=OA=AM=RAP = OA = AM = R and APOMAP \parallel OM, so AOMPAOMP is a rhombus and its fourth side is PM=RPM = R.

In the convex quadrilateral OMBPOMBP we have OMPBOM \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=2ABC=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=180OPC=180ACP\angle YCP = \angle YPC = 180^{\circ} - \angle OPC = 180^{\circ} - \angle ACP, so YY lies on ACAC.

Figure 3

Power of a point gives YOYP=YCYA=YDYEYO \cdot YP = YC \cdot YA = YD \cdot YE, so D,P,OD, P, O and EE are concyclic. It follows that 2DAE=DOE=DPE=DBE=180DAE2\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 ABDEAB \perp DE we have AOD+BOE=180\angle AOD + \angle BOE = 180^{\circ} and from DOE=2DAE=120\angle DOE = 2\angle DAE = 120^{\circ} it follows that BOD+BOE=120\angle BOD + \angle BOE = 120^{\circ}. It follows that AODBOD=180120=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=1804β\angle AOD + \angle BOD = \angle AOB = 180^{\circ} - 4\beta. Together with AODBOD=60\angle AOD - \angle BOD = 60^{\circ}, this yields AOD=1202β\angle AOD = 120^{\circ} - 2\beta and BOD=602β\angle BOD = 60^{\circ} - 2\beta. We now find AED=12AOD=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=12CPA=12PAO=β\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=602β\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+β=12CDE\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 DD', resp. EE', be the second intersection point with Γ\Gamma.

Figure 4

The triangles APDAPD' and DPBDPB are similar, and the triangles APEAPE' and EPBEPB are also similar, hence they are all isosceles and it follows that E,O,P,DE', O, P, D' lie on a circle with center AA. In particular AODAOD' and AOEAOE' are equilateral triangles. Angle chasing gives
CDP=CDD=12COD=12(60+COA)EDP=EDD=EED=PED=12PAD=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(60COA)\angle CEP = \frac{1}{2}(60^{\circ} - \angle COA) and DEP=12(60PAO)\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}, ABDKAB \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=12ECD=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 6060^{\circ} and 3030^{\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=1804β\angle AOB = 180^{\circ} - 4\beta; then we can take B=f(2β)B = f(2\beta) and A=f(1802β)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=12APC=12OAB=β\angle ABC = \frac{1}{2} \angle APC = \frac{1}{2} \angle OAB = \beta. We now know that C=f(1804β)C = f(180^{\circ} - 4\beta).

The point PP lies on ABAB with AP=R=1AP = R = 1, so P=(cos(1802β)+1,sin(2β))=(1cos(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(1804β)C = f(180^{\circ} - 4\beta) and E=f(60)E = f(-60^{\circ}), we have M=f(2402β)M = f(240^{\circ} - 2\beta).

It remains to show that P=(1cos(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(2402β),sin(2402β))=(cos(602β),sin(602β))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(602β))(cos(60)+cos(602β))=(sin(60)+sin(602β))(X+cos(602β)) \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(602β)=2cos(β)cos(60β)\cos(60^{\circ}) + \cos(60^{\circ} - 2\beta) = 2\cos(\beta)\cos(60^{\circ} - \beta) and sin(60)+sin(602β)=2cos(β)sin(60β)\sin(60^{\circ}) + \sin(60^{\circ} - 2\beta) = 2\cos(\beta)\sin(60^{\circ} - \beta), simplifies to
(Y+sin(602β))cos(60β)=(X+cos(602β))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(602β)sin(60β)sin(602β)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=1cos(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<φ=argb<π20 < \varphi = \arg b < \frac{\pi}{2}. Then
b=1,a=bˉ,p=a+1=1bˉ |b| = 1, \quad a = -\bar{b}, \quad p = a + 1 = 1 - \bar{b}
From Red=Ree=Rep+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=1232ie = \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 argp=arg(1bˉ)=12(πφ)\arg p = \arg(1 - \bar{b}) = \frac{1}{2}(\pi - \varphi), we can get argc=2argpargb=π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 (pe)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[(pe)2(cˉeˉ)]=0\operatorname{Re}[(p - e)^2(\bar{c} - \bar{e})] = 0. Here
(pe)2(cˉeˉ)=(1bˉe)2(b2d)=(dbˉ)2(b2d)=b4+2db2bd2b2dbˉ2+2d2bˉd3=12db+dˉb2dbˉ22db+1=2(dbdb)+(dˉb2dbˉ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,000 problems in a working order, from AMC 10 level to the IMO shortlist.

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