Maths Olympiad Prep

Library / /36 of 41

Geometry Difficulty 6.7 National Olympiad Prove it New Zealand

Problem:

Let triangle ABCABC be right-angled at AA. Let DD be the point on ACAC such that BDBD bisects angle ABC\angle ABC. Prove that BCBD=2ABBC - BD = 2AB if and only if 1BD1BC=12AB\frac{1}{BD} - \frac{1}{BC} = \frac{1}{2AB}.

Solution

Solution:

Wlog let AB=1AB = 1 and BC=aBC = a. Also let BD=xBD = x. We will try to find all the lengths in the diagram in terms of aa.

By Pythagoras in ABC\triangle ABC we get AC=a21AC = \sqrt{a^2 - 1}. By the angle-bisector theorem we get ADDC=ABBC=1a\frac{AD}{DC} = \frac{AB}{BC} = \frac{1}{a}, and so DC=a×ADDC = a \times AD. This can be substituted into AD+DC=AC=a21AD + DC = AC = \sqrt{a^2 - 1} to get AD(1+a)=a21AD(1 + a) = \sqrt{a^2 - 1}. Therefore
AD=AC1+a=a21a+1.AD = \frac{AC}{1 + a} = \frac{\sqrt{a^2 - 1}}{a + 1}.
Hence AD2=a21(a+1)2=a1a+1AD^2 = \frac{a^2 - 1}{(a + 1)^2} = \frac{a - 1}{a + 1}. Now consider Pythagoras in triangle BAD\triangle BAD.
x2=12+AD2=1+a1a+1=2aa+1.x^{2} = 1^{2} + AD^{2} = 1 + \frac{a - 1}{a + 1} = \frac{2a}{a + 1}.
Now we do the two directions of the 'if and only if' separately:

First, assuming 1x1a=12\frac{1}{x} - \frac{1}{a} = \frac{1}{2} we get x=2aa+2x = \frac{2a}{a + 2}. Hence
2aa+1=x2=(2aa+2)2=4a2a2+4a+4\frac{2a}{a + 1} = x^2 = \left(\frac{2a}{a + 2}\right)^2 = \frac{4a^2}{a^2 + 4a + 4}
a2+4a+4=2a(a+1)a^{2} + 4a + 4 = 2a(a + 1)
0=a22a40 = a^{2} - 2a - 4
So by the quadratic formula we get a=1±5a = 1 \pm \sqrt{5} but since a>0a > 0 we must have a=1+5a = 1 + \sqrt{5}.
Therefore x=2aa+2=2(1+5)(1+5)+2=51x = \frac{2a}{a + 2} = \frac{2(1 + \sqrt{5})}{(1 + \sqrt{5}) + 2} = \sqrt{5} - 1.
ax=(1+5)(51)=2.\therefore a - x = (1 + \sqrt{5}) - (\sqrt{5} -1) = 2.
So 1x1a=12\frac{1}{x} - \frac{1}{a} = \frac{1}{2} implies ax=2a - x = 2.

Second, assuming ax=2a - x = 2 we get x=a2x = a - 2. Hence
2aa+1=x2=(a2)2=a24a+4\frac{2a}{a + 1} = x^2 = (a - 2)^2 = a^2 -4a + 4
2a=(a24a+4)(a+1)2a = (a^2 -4a + 4)(a + 1)
0=a33a22a+40 = a^3 -3a^2 -2a + 4
0=(a1)(a22a4)0 = (a - 1)(a^2 -2a - 4)
Since ax=2a - x = 2 we have a>2a > 2 so (a1)0(a - 1) \neq 0 and thus a22a4=0a^2 - 2a - 4 = 0. This gives us a=1+5a = 1 + \sqrt{5} and so again x=a2=51x = a - 2 = \sqrt{5} - 1.
1x1a=15115+1=12.\therefore \frac{1}{x} - \frac{1}{a} = \frac{1}{\sqrt{5} - 1} - \frac{1}{\sqrt{5} + 1} = \frac{1}{2}.
So ax=2a - x = 2 implies 1x1a=12\frac{1}{x} - \frac{1}{a} = \frac{1}{2}.

In summary 1x1a=12\frac{1}{x} - \frac{1}{a} = \frac{1}{2} is equivalent to ax=2a - x = 2.

Solution B:

Let EE be the foot of the perpendicular from DD to BCBC. Note that EE is the reflection of AA about BDBD (because BDBD is an angle bisector) and so we have congruent triangles ABDEBD\triangle ABD \equiv \triangle EBD. Also construct point NN on side BCBC to be the reflection of BB about line DEDE. So we have three congruent triangles:
ABDEBDEND.\triangle ABD\equiv \triangle EBD\equiv \triangle END.
Therefore AB=EB=ENAB = EB = EN and hence 2AB=BE+EN=BN2AB = BE + EN = BN. We also get BD=DNBD = DN. Let FF be the point on line BCBC such BD=BFBD = BF.

Assume BCBD=2ABBC - BD = 2AB. Since BD=DNBD = DN and 2AB=BN2AB = BN we can get BCDN=BNBC - DN = BN. Therefore
DN=BCBN=CNDN = BC - BN = CN
and so triangle DNCDNC is isosceles. Now let θ=BCA\theta = \angle BCA. Since DNC\triangle DNC is isosceles, we get CDN=θ\angle CDN = \theta and thus END=2θ\angle END = 2\theta. Therefore EBD=2θ\angle EBD = 2\theta and DBA=2θ\angle DBA = 2\theta and thus CBA=4θ\angle CBA = 4\theta. Thus
90=BCA+CBA=θ+4θ.90^{\circ} = \angle BCA + \angle CBA = \theta +4\theta .
Hence θ=18\theta = 18^{\circ}. Therefore
ABBD=cos(ABD)=cos(2θ)=cos(36)=1+54\frac{AB}{BD} = \cos (\angle ABD) = \cos (2\theta) = \cos (36^{\circ}) = \frac{1 + \sqrt{5}}{4}
andBCBD=sin(CDB)sin(BCD)=sin(126)sin(18)=5+151\mathrm{and}\quad \frac{BC}{BD} = \frac{\sin(\angle CDB)}{\sin(\angle BCD)} = \frac{\sin(126^{\circ})}{\sin(\angle 18^{\circ})} = \frac{\sqrt{5} + 1}{\sqrt{5} - 1}
Therefore 1BDBC=1515+1=25+1=BD2AB1 - \frac{BD}{BC} = 1 - \frac{\sqrt{5} - 1}{\sqrt{5} + 1} = \frac{2}{\sqrt{5} + 1} = \frac{BD}{2AB}.
Hence
1BD1BC=12AB\frac{1}{BD} -\frac{1}{BC} = \frac{1}{2AB}
as required.

- If BCBD>2ABBC - BD > 2AB then using similar logic we can get BCA<18\angle BCA < 18^{\circ} which implies
1BD1BC<12AB\frac{1}{BD} -\frac{1}{BC} < \frac{1}{2AB}
- Conversely if BCBD<2ABBC - BD < 2AB then we get BCA>18\angle BCA > 18^{\circ} which implies
1BD1BC>12AB\frac{1}{BD} -\frac{1}{BC} >\frac{1}{2AB}
Therefore we conclude that BCBD>2ABBC - BD > 2AB if and only if 1BD1BC<12AB\frac{1}{BD} - \frac{1}{BC} < \frac{1}{2AB}.

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.