Consider the triangle ABC with ∠BCA>90∘. The circumcircle Γ of ABC has radius R. There is a point P in the interior of the line segment AB such that PB=PC and the length of PA is R. The perpendicular bisector of PB intersects Γ at the points D and E.
Prove that P is the incentre of triangle CDE.
Solution
Solution:
A. The angle bisector of ∠ECD intersects the circumcircle of CDE (which is Γ) at the midpoint M of arc DBE. It is well-known that the incentre is the intersection of the angle bisector segment CM and the circle with centre at M and passing through D,E. We will verify this property for P.
By the conditions we have AP=OA=OB=OC=OD=OE=R. Both lines OM and APB are perpendicular to ED, therefore AP∥OM; in the quadrilateral AOMP we have AP=OA=AM=R and AP∥OM, so AOMP is a rhombus and its fourth side is PM=R.
In the convex quadrilateral OMBP we have OM∥PB, so OMBP is a symmetric trapezoid; the perpendicular bisector of its bases AO and PB coincide. From this symmetry we obtain MD=OD=R and ME=OE=R. (Note that the triangles OEM and OMD are equilateral.) We already have MP=MD=ME=R, so P indeed lies on the circle with center M and passing through D,E. (Notice that this circle is the reflection of Γ about DE.)
From PB=PC and OB=OC we know that B and C are symmetrical about OP; from the rhombus AOMP we find that A and M are also symmetrical about OP. By reflecting the collinear points B,P,A (with P lying in the middle) we get that C,P,M are collinear (and P is in the middle). Hence, P lies on the line segments CM.
B. Let X be the second intersection of CP with Γ. Using the power of the point P in the circle Γ and the fact that PB=PC, we find that PX=PA=R. The quadrilateral AOXP has four sides of equal length, so it is a rhombus and in particular OX is parallel to AP. This proves that OXBP is a trapezoid, and because the diagonals PX and OB have equal length, this is even an isosceles trapezoid. Because of that, DE is not only the perpendicular bisector of PB, but also of OX.
In particular we have XD=XP=XO=XE=R, which proves that X is the middle of the arc DE and P belongs to the circle with center X going through D and E. These properties, together with the fact that C,P,X are collinear, determine uniquely the incenter of CDE.
C. Let Y be the circumcenter of triangle BPC. Then from YB=YP it follows that Y lies on DE (we assume D lies in between Y and E), and from YB=YC it follows that Y lies on OP, where O is the center of Γ.
From ∠AOC=2∠ABC=∠APC (because ∠PBC=∠PCB) we deduce that AOPC is a cyclic quadrilateral, and from AP=R it follows that AOPC is an isosceles trapezoid. We now find that ∠YCP=∠YPC=180∘−∠OPC=180∘−∠ACP, so Y lies on AC.
Power of a point gives YO⋅YP=YC⋅YA=YD⋅YE, so D,P,O and E are concyclic. It follows that 2∠DAE=∠DOE=∠DPE=∠DBE=180∘−∠DAE, so ∠DAE=60∘. We can now finish the proof by angle chasing.
From AB⊥DE we have ∠AOD+∠BOE=180∘ and from ∠DOE=2∠DAE=120∘ it follows that ∠BOD+∠BOE=120∘. It follows that ∠AOD−∠BOD=180∘−120∘=60∘. Let ∠OAB=∠OBA=2β; then ∠AOD+∠BOD=∠AOB=180∘−4β. Together with ∠AOD−∠BOD=60∘, this yields ∠AOD=120∘−2β and ∠BOD=60∘−2β. We now find ∠AED=21∠AOD=60∘−β, which together with ∠DAE=60∘ yields ∠ADE=60∘+β. From the isosceles trapezoid AOPC we have ∠CDA=∠CBA=21∠CPA=21∠PAO=β, so ∠CDE=∠CDA+∠ADE=β+60∘+β=60∘+2β.
From ∠BOD=60∘−2β we deduce that ∠BED=30∘−β; together with ∠DBE=120∘ this yields ∠EDB=30∘+β. We now see that ∠PDE=∠BDE=30∘+β=21∠CDE, so P is on the angle bisector of ∠CDE. Similarly, P lies on the angle bisector of ∠CED, so P is the incenter of CDE.
D. We draw the lines DP and EP and let D′, resp. E′, be the second intersection point with Γ.
The triangles APD′ and DPB are similar, and the triangles APE′ and EPB are also similar, hence they are all isosceles and it follows that E′,O,P,D′ lie on a circle with center A. In particular AOD′ and AOE′ are equilateral triangles. Angle chasing gives ∠CDP=∠CDD′=21∠COD′=21(60∘+∠COA)∠EDP=∠EDD′=∠EE′D′=∠PE′D′=21∠PAD′=21(60∘+∠PAO) Similarly we prove ∠CEP=21(60∘−∠COA) and ∠DEP=21(60∘−∠PAO) so if we can prove that ∠COA=∠PAO, we will have proven that P belongs to the angle bisector of ∠CED and to the angle bisector of ∠CDE, which is enough to prove that P is the incenter of the triangle CDE.
Let β=∠ABC=∠PCB. We have ∠APC=2β and ∠AOC=2β, so AOPC is an inscribed quadrilateral. Moreover, since the diagonals AP and CO have equal length, this is actually an isosceles trapezoid, and hence ∠PAO=∠CPA=∠COA which concludes the proof.
E. Without loss of generality we assume that D and C are in the same half-plane regarding line AB.
Since PC=BP and ABCD is inscribed quadrilateral we have ∠PCB=∠CBP=∠CEA=α. As in the other solutions, AOPC is an isosceles trapezoid and 2α=∠CPA=∠PCO.
Let K be intersection of EO and Γ. Then ∠KDE=90∘, AB∥DK and KDBA is isosceles trapezoid. We obtain DP=BD=AK, which implies that DPAK is a parallelogram and hence DK=PA=R=OD=OK. We see that DOK is an equilateral triangle. Then ∠ECD=∠EKD=60∘.
Further we prove that PC bisects ∠ECD using ∠DCB=∠DKB=∠KDA (from isosceles trapezoid DKAB) and that ∠KEC=∠OEC=∠OCE (from isosceles triangle OCE): ∠DCP=∠DCB+∠BCP=∠KDA+α=∠KEC+∠CEA+α=∠OCE+2α=∠PCE Further by ∠DCP=∠PCE=21∠ECD=30∘ distances between P and sides △CDE are 21PC=21PB (as ratio between cathetus and hypotenuse in right triangle with angles 60∘ and 30∘). So, we have found incentre.
F. Let F,G,H be the projections of P on the sides DE,DC resp. CE. If P is indeed the incenter, then the three line segments PF,PG,PH have the same length. This means that the problem is equivalent to proving that PG=PH=PF=21PB=21PC and thus trigonometry in the right-angled triangles CPG and CPH tells us that it is enough to prove that ∠DCP=∠ECP=30∘.
We introduce the point X as the second intersection of the line CP with Γ. Because O is the center of Γ we can reduce the problem to proving that ∠XOD=∠XOE=60∘, or equivalently that XOD and XOE are equilateral triangles. This last condition is equivalent to X being the reflection of O on the line DE. Following the chain of equivalences, we see therefore that in order to solve the problem it is enough to prove that X is the reflection of O on DE. We prove this property as in Solution B, using the fact that OXBP is an isosceles trapezoid.
G. Assume AB is parallel to the horizontal axis, and that Γ is the unit circle. Write f(θ) for the point (cos(θ),sin(θ)) on Γ. As in Solution C, assume that ∠AOB=180∘−4β; then we can take B=f(2β) and A=f(180∘−2β). As in Solution C, we observe that AOPC is an isosceles trapezoid, which we use to deduce that ∠ABC=21∠APC=21∠OAB=β. We now know that C=f(180∘−4β).
The point P lies on AB with AP=R=1, so P=(cos(180∘−2β)+1,sin(2β))=(1−cos(2β),sin(2β)). The midpoint of BP therefore has coordinates (21,sin(2β)), so D and E have x-coordinate 21. Without loss of generality, we take D=f(60∘) and E=f(−60∘).
We have now obtained coordinates for all points in the problem, with one free parameter (β). To show that P is the incenter of CDE, we will show that P lies on the bisector of ∠CDE; analogously, one can show that P lies on the bisector of angle CED. The bisector of angle CDE passes through the midpoint M of the arc CE not containing DE; because C=f(180∘−4β) and E=f(−60∘), we have M=f(240∘−2β).
It remains to show that P=(1−cos(2β),sin(2β)) lies on the line connecting the points D=(cos(60∘),sin(60∘)) and M=(cos(240∘−2β),sin(240∘−2β))=(−cos(60∘−2β),−sin(60∘−2β)). The equation for the line DM is (Y+sin(60∘−2β))(cos(60∘)+cos(60∘−2β))=(sin(60∘)+sin(60∘−2β))(X+cos(60∘−2β)) which, using the fact that cos(60∘)+cos(60∘−2β)=2cos(β)cos(60∘−β) and sin(60∘)+sin(60∘−2β)=2cos(β)sin(60∘−β), simplifies to (Y+sin(60∘−2β))cos(60∘−β)=(X+cos(60∘−2β))sin(60∘−β) Because cos(60∘−2β)sin(60∘−β)−sin(60∘−2β)cos(60∘−β)=sin(β), this equation further simplifies to Ycos(60∘−β)−Xsin(60∘−β)=sin(β). Plugging in the coordinates of P, i.e., X=1−cos(2β) and Y=sin(2β), shows that P is on this line: for this choice of X and Y, the left hand side equals sin(60∘+β)−sin(60∘−β)=2cos(60∘)sin(β), which is indeed equal to sin(β). So P lies on the bisector DM of ∠CDE, as desired.
H. Let Γ be the complex unit circle and let AB be parallel with the real line and 0<φ=argb<2π. Then ∣b∣=1,a=−bˉ,p=a+1=1−bˉ From Red=Ree=Re2p+b=21 we get that d=21+23i and e=21−23i are conjugate 6th roots of unity; d3=e3=−1,d+e=1,d2=−e,e2=−d etc.
Point C is the reflection of B in line OP. From argp=arg(1−bˉ)=21(π−φ), we can get argc=2argp−argb=π−2φ, so c=−bˉ2.
Now we can verify that EP bisects ∠CED. This happens if and only if (p−e)2(cˉ−eˉ)(dˉ−eˉ) is real. Since dˉ−eˉ=−3i, this is equivalent with Re[(p−e)2(cˉ−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), whose real part is zero. It can be proved similarly that DP bisects ∠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.