Maths Olympiad Prep

Library / /39 of 73

Geometry Difficulty 8.2 Shortlist Prove it Turkey

Let II, OO, JAJ_A be the centers of the incircle, circumcircle, and excircle corresponding to the side BCBC of a triangle ABCABC with AC>ABAC > AB, respectively. Let rr, RR, rar_a be the radii of these circles, respectively. Let the incircle touch the side BCBC at DD and EE be a point on the line segment BDBD different from the endpoints, such that the area of the triangle IEJAIEJ_A is twice the area of the triangle IEOIEO. Prove that
ED=ACAB    R=2r+ra. ED = AC - AB \iff R = 2r + r_a.

Solution

Let the excircle with center JAJ_A touch BCBC at FF, PP be the midpoint of the smaller arc BCBC of the circumcircle of ABCABC, and MM be the midpoint of the side BCBC. Then the point PP is the midpoint of the line segment IJAIJ_A and hence the area of the triangle IEPIEP is half the area of the triangle IEBIEB. Thus, the areas of the triangles IEPIEP and IEOIEO are equal. Hence the line EIEI bisects the line segment OPOP. Let QQ be the midpoint of the line segment EJAEJ_A and NN be the midpoint of the line segment OPOP.

Figure 1

If ED=ACABED = AC - AB, then ED=DF=2DMED = DF = 2 \cdot DM and EI=2INEI = 2 \cdot IN. Hence II is the centroid of the triangle OEPOEP, and since DD is the midpoint of the line segment EFEF, we conclude that the points II, DD, QQ are collinear and 2DQ=JAF=ra2 \cdot DQ = J_AF = r_a. Since PQPQ is parallel to ININ we get that INPQINPQ is a parallelogram. Hence
r+ra2=ID+DQ=IQ=NP=OP2=R2 r + \frac{r_a}{2} = ID + DQ = IQ = NP = \frac{OP}{2} = \frac{R}{2}
and R=2r+raR = 2r + r_a.

Figure 2

If R=2r+raR = 2r + r_a, then let the line passing through QQ and perpendicular to BCBC intersect the lines BCBC and ENEN at the points DD' and II', respectively. Since PQPQ is parallel to INI'N, we obtain that INPQI'NPQ is a parallelogram and hence
IQ=NP=R2=r+ra2. I'Q = NP = \frac{R}{2} = r + \frac{r_a}{2}.
Since DQD'Q is parallel to JAFJ_AF, we obtain that
DQ=ra2=IQr D'Q = \frac{r_a}{2} = I'Q - r
and hence DI=r=DID'I' = r = DI. Therefore DDD \equiv D' and III \equiv I' which shows that ED=DF=ACABED = DF = AC - AB.

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.