Maths Olympiad Prep

Library / /53 of 73

Geometry Difficulty 8.4 Shortlist Prove it Turkey

Let a line ll intersect the line ABAB at FF, the sides ACAC and BCBC of a triangle ABCABC at DD and EE, respectively and the internal bisector of the angle BACBAC at PP. Suppose that FF is at the opposite side of AA with respect to the line BCBC, CD=CECD = CE and PP is in the interior the triangle ABCABC. Prove that
FBFA+CP2=CF2    ADBE=PD2. FB \cdot FA + CP^2 = CF^2 \iff AD \cdot BE = PD^2.

Solution

Let DP=aDP = a, PE=bPE = b, EF=cEF = c, CD=CE=xCD = CE = x. By the Stewart Theorem CP2=x2abCP^2 = x^2 - ab and CF2(a+b)+x2c=(a+b+c)((a+b)c+x2)CF^2(a+b) + x^2c = (a+b+c)((a+b)c + x^2), hence CF2CP2=(a+c)(b+c)CF^2 - CP^2 = (a+c)(b+c). Let QQ be a point on the line segment DEDE satisfying EQ=aEQ = a. Then CF2CP2=(a+c)(b+c)=FPFQCF^2 - CP^2 = (a+c)(b+c) = FP \cdot FQ. If CF2CP2=FBFACF^2 - CP^2 = FB \cdot FA, then we get FBFA=FPFQFB \cdot FA = FP \cdot FQ. Hence the points A,B,P,QA, B, P, Q are concyclic and BQE=BAP=DAP\angle BQE = \angle BAP = \angle DAP. Since QEB=ADP\angle QEB = \angle ADP, we get that the triangles ADPADP and QEBQEB are similar and hence ADBE=PDQE=PD2AD \cdot BE = PD \cdot QE = PD^2. If ADBE=PD2=PDQEAD \cdot BE = PD^2 = PD \cdot QE, then the triangles ADPADP and QEBQEB are similar and hence EQB=DAP=PAB\angle EQB = \angle DAP = \angle PAB and therefore the points A,B,P,QA, B, P, Q are concyclic. Hence FBFA=FPFQ=(a+c)(b+c)=CF2CP2FB \cdot FA = FP \cdot FQ = (a+c)(b+c) = CF^2 - CP^2,

Figure 1

and we are done.

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.