Maths Olympiad Prep

Library / India competition problems /6 of 8

India competition problems

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 r′r' 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)=2r′sin⁡θ. PQ = PD + QD = r' \left( \cot \frac{\theta}{2} + \tan \frac{\theta}{2} \right) = \frac{2r'}{\sin \theta}.
But we observe that
DP=BD+DA−AB2,DQ=BD+DC−BC2. DP = \frac{BD + DA - AB}{2}, \quad DQ = \frac{BD + DC - BC}{2}.
Thus PQ=(b−c−a+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=PQ⋅h2BD, 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×PQ⋅h2×BD(s+BD)=(b−c−a+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−(s−b))(s+BD). 2 \times BD \times b = 2 \times (BD - (s - b))(s + BD).
This gives BD2=s(s−b)BD^2 = s(s - b). Since ABCABC is a right-angled triangle r=s−br = 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
r′r=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=s1−BDAP = s_1 - BD and CQ=s2−BDCQ = s_2 - BD. Therefore
r′r=(s1−BD)+(s2−BD)b=s1+s2−2BDb. \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
r′r=s+BD−2BDb=s−BDb. \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
r′r=ss+BD. \frac{r'}{r} = \frac{s}{s + BD}.
Comparing the two expressions for r′/rr'/r, we see that
s−BDb=ss+BD. \frac{s - BD}{b} = \frac{s}{s + BD}.
Therefore s2−BD2=bss^2 - BD^2 = bs, or BD2=s(s−b)BD^2 = s(s-b). Thus we get BD=s(s−b)BD = \sqrt{s(s-b)}.
We know now that
r′r=ss+BD=s−BDb=BD(s−b)+BD=s(s−b)(s−b)+s(s−b)=ss−b+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+s−bs. \frac{r}{r'} = 1 + \sqrt{\frac{s-b}{s}}.
This gives
1r′=1r+(s−bs)1r. \frac{1}{r'} = \frac{1}{r} + \left( \sqrt{\frac{s-b}{s}} \right) \frac{1}{r}.
But
(s−bs)1r=(s−bs(s−b))1r=(s−bBD)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=s−br = s - b. Therefore we get
1r′=1r+(s−bBD)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 DP⋅DQ=EP⋅FQDP \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=tan⁡45∘=tan⁡(β1+β2)=tan⁡β1+tan⁡β21−tan⁡β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 r′r', we get
r′=x2y2−x1y1x2+y2. r' = \frac{x_2 y_2 - x_1 y_1}{x_2 + y_2}.
We also know
r=AB+BC−AC2=x2+y2−(x1+y1)2=(x2−x1)+(y2−y1)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,
1r+1BD=2(x2−x1)+(y2−y1)+1x1+x2=2x1+2x2+(x2−x1)+(y2−y1)(x1+x2)((x2−x1)+(y2−y1)). \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+(x2−x1)+(y2−y1)=(x1+x2+x2−x1)+(y1+y2+y2−y1)=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)((x2−x1)+(y2−y1))=2(x1+x2)(x2−y1)=2(x2(x2+x1−y1)−x1y1)=2(x2y2−x1y1). (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
1r+1BD=2(x2+y2)2(x2y2−x1y1)=1r′. \frac{1}{r} + \frac{1}{BD} = \frac{2(x_2 + y_2)}{2(x_2y_2 - x_1y_1)} = \frac{1}{r'}.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

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