Maths Olympiad Prep

Library / /98 of 121

Geometry Difficulty 6.8 National Olympiad Prove it India

Let ABC\triangle ABC be a right-angled triangle with B=90\angle B = 90^\circ. Let DD be a point on ACAC such that the in-radii of the triangles ABDABD and CBDCBD are equal. If this common value is rr' and if rr is the in-radius of triangle ABCABC, prove that
1r=1r+1BD. \frac{1}{r'} = \frac{1}{r} + \frac{1}{BD}.

Solution

Let EE and FF be the incentres of triangles ABDABD and CBDCBD respectively. Let the incircles of triangles ABDABD and CBDCBD touch ACAC in PP and QQ respectively. If BDA=θ\angle BDA = \theta, we see that
Figure 1
r=PDtan(θ/2)=QDcot(θ/2). r' = PD \tan(\theta/2) = QD \cot(\theta/2).
Hence
PQ=PD+QD=r(cotθ2+tanθ2)=2rsinθ. PQ = PD + QD = r' \left( \cot \frac{\theta}{2} + \tan \frac{\theta}{2} \right) = \frac{2r'}{\sin \theta}.
But we observe that
DP=BD+DAAB2,DQ=BD+DCBC2. DP = \frac{BD + DA - AB}{2}, \quad DQ = \frac{BD + DC - BC}{2}.
Thus PQ=(bca+2BD)/2PQ = (b - c - a + 2BD)/2. We also have
ac2=[ABC]=[ABD]+[CBD]=r(AB+BD+DA)2+r(CB+BD+DC)2=r(c+a+b+2BD)2=r(s+BD). \begin{aligned} \frac{ac}{2} &= [ABC] = [ABD] + [CBD] = r' \frac{(AB + BD + DA)}{2} + r' \frac{(CB + BD + DC)}{2} \\ &= r' \frac{(c+a+b+2BD)}{2} = r'(s+BD). \end{aligned}
But
r=PQsinθ2=PQh2BD, r' = \frac{PQ \sin \theta}{2} = \frac{PQ \cdot h}{2BD},
where hh is the altitude from BB on to ACAC. But we know that h=ac/bh = ac/b. Thus we get
ac=2×r(s+BD)=2×PQh2×BD(s+BD)=(bca+2BD)ca(s+BD)2×BD×b. ac = 2 \times r'(s + BD) = 2 \times \frac{PQ \cdot h}{2 \times BD} (s + BD) = \frac{(b - c - a + 2BD)ca(s + BD)}{2 \times BD \times b}.
Thus we get
2×BD×b=2×(BD(sb))(s+BD). 2 \times BD \times b = 2 \times (BD - (s - b))(s + BD).
This gives BD2=s(sb)BD^2 = s(s - b). Since ABCABC is a right-angled triangle r=sbr = s - b. Thus we get BD2=rsBD^2 = rs. On the other hand, we also have [ABC]=r(s+BD)[ABC] = r'(s + BD). Thus we get
rs=[ABC]=r(s+BD). rs = [ABC] = r'(s + BD).
Hence
1r=1r+BDrs=1r+1BD. \frac{1}{r'} = \frac{1}{r} + \frac{BD}{rs} = \frac{1}{r} + \frac{1}{BD}.

Alternate Solution 1:

Observe that
rr=APAX=CQCX=AP+CQAC, \frac{r'}{r} = \frac{AP}{AX} = \frac{CQ}{CX} = \frac{AP + CQ}{AC},
where XX is the point at which the incircle of ABCABC touches the side ACAC. If s1s_1 and s2s_2 are respectively the semi-perimeters of triangles ABDABD and CBDCBD, we know AP=s1BDAP = s_1 - BD and CQ=s2BDCQ = s_2 - BD. Therefore
rr=(s1BD)+(s2BD)b=s1+s22BDb. \frac{r'}{r} = \frac{(s_1 - BD) + (s_2 - BD)}{b} = \frac{s_1 + s_2 - 2BD}{b}.
But
s1+s2=AD+BD+c2+CD+BD+a2=(a+b+c)+2BD2=s+BD2. s_1 + s_2 = \frac{AD + BD + c}{2} + \frac{CD + BD + a}{2} = \frac{(a + b + c) + 2BD}{2} = \frac{s + BD}{2}.
This gives
rr=s+BD2BDb=sBDb. \frac{r'}{r} = \frac{s + BD - 2BD}{b} = \frac{s - BD}{b}.
We also have
r=[ABD]s1=[CBD]s2=[ABD]+[CBD]s1+s2=[ABC]s+BD=rss+BD. r' = \frac{[ABD]}{s_1} = \frac{[CBD]}{s_2} = \frac{[ABD] + [CBD]}{s_1 + s_2} = \frac{[ABC]}{s + BD} = \frac{rs}{s + BD}.
This implies that
rr=ss+BD. \frac{r'}{r} = \frac{s}{s + BD}.
Comparing the two expressions for r/rr'/r, we see that
sBDb=ss+BD. \frac{s - BD}{b} = \frac{s}{s + BD}.
Therefore s2BD2=bss^2 - BD^2 = bs, or BD2=s(sb)BD^2 = s(s-b). Thus we get BD=s(sb)BD = \sqrt{s(s-b)}.
We know now that
rr=ss+BD=sBDb=BD(sb)+BD=s(sb)(sb)+s(sb)=ssb+s. \frac{r'}{r} = \frac{s}{s + BD} = \frac{s - BD}{b} = \frac{BD}{(s-b) + BD} = \frac{\sqrt{s(s-b)}}{(s-b) + \sqrt{s(s-b)}} = \frac{\sqrt{s}}{\sqrt{s-b} + \sqrt{s}}.
Therefore
rr=1+sbs. \frac{r}{r'} = 1 + \sqrt{\frac{s-b}{s}}.
This gives
1r=1r+(sbs)1r. \frac{1}{r'} = \frac{1}{r} + \left( \sqrt{\frac{s-b}{s}} \right) \frac{1}{r}.
But
(sbs)1r=(sbs(sb))1r=(sbBD)1r. \left( \sqrt{\frac{s-b}{s}} \right) \frac{1}{r} = \left( \frac{s-b}{\sqrt{s(s-b)}} \right) \frac{1}{r} = \left( \frac{s-b}{BD} \right) \frac{1}{r}.
If B=90\angle B = 90^\circ, we know that r=sbr = s - b. Therefore we get

1r=1r+(sbBD)1r=1r+1BD.\frac{1}{r'} = \frac{1}{r} + \left( \frac{s-b}{BD} \right) \frac{1}{r} = \frac{1}{r} + \frac{1}{BD}.

Alternate Solution 2:

Observe that EDF=90\angle EDF = 90^\circ. Hence EDP\triangle EDP is similar to DFQ\triangle DFQ. Therefore DPDQ=EPFQDP \cdot DQ = EP \cdot FQ. Taking DP=x2DP = x_2 and DQ=x1DQ = x_1, we get x1x2=(r)2x_1x_2 = (r')^2. We also observe that BD=x2+y2=x1+y1BD = x_2 + y_2 = x_1 + y_1. Since EBF=45\angle EBF = 45^\circ, we get
Figure 2
1=tan45=tan(β1+β2)=tanβ1+tanβ21tanβ1tanβ2. 1 = \tan 45^\circ = \tan(\beta_1 + \beta_2) = \frac{\tan \beta_1 + \tan \beta_2}{1 - \tan \beta_1 \tan \beta_2}.
But tanβ1=r/y2\tan \beta_1 = r'/y_2 and tanβ2=r/x2\tan \beta_2 = r'/x_2. Hence we obtain
1=(r/y2)+(r/x2)1(r)2/x2y2. 1 = \frac{(r'/y_2) + (r'/x_2)}{1 - (r')^2/x_2y_2}.
Solving for rr', we get
r=x2y2x1y1x2+y2. r' = \frac{x_2 y_2 - x_1 y_1}{x_2 + y_2}.
We also know
r=AB+BCAC2=x2+y2(x1+y1)2=(x2x1)+(y2y1)2. r = \frac{AB + BC - AC}{2} = \frac{x_2 + y_2 - (x_1 + y_1)}{2} = \frac{(x_2 - x_1) + (y_2 - y_1)}{2}.
Finally,
ENV0 1r+1BD=2(x2x1)+(y2y1)+1x1+x2=2x1+2x2+(x2x1)+(y2y1)(x1+x2)((x2x1)+(y2y1)).\begin{aligned} \frac{1}{r} + \frac{1}{BD} &= \frac{2}{(x_2 - x_1) + (y_2 - y_1)} + \frac{1}{x_1 + x_2} \\ &= \frac{2x_1 + 2x_2 + (x_2 - x_1) + (y_2 - y_1)}{(x_1 + x_2)((x_2 - x_1) + (y_2 - y_1))}. \end{aligned}
But we can write
2x1+2x2+(x2x1)+(y2y1)=(x1+x2+x2x1)+(y1+y2+y2y1)=2(x2+y2), 2x_1 + 2x_2 + (x_2 - x_1) + (y_2 - y_1) = (x_1 + x_2 + x_2 - x_1) + (y_1 + y_2 + y_2 - y_1) = 2(x_2 + y_2),
and
(x1+x2)((x2x1)+(y2y1))=2(x1+x2)(x2y1)=2(x2(x2+x1y1)x1y1)=2(x2y2x1y1). (x_1 + x_2)((x_2 - x_1) + (y_2 - y_1)) = 2(x_1 + x_2)(x_2 - y_1) \\ = 2(x_2(x_2 + x_1 - y_1) - x_1y_1) = 2(x_2y_2 - x_1y_1).
Therefore

1 r + 1 BD = 2(x 2\text{1 r + 1 BD = 2(x 2} + y_2)}{2(x_2y_2 - x_1y_1)} = 1r.\frac{1}{r'}.

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.