Let triangle ABC be right-angled at A. Let D be the point on AC such that BD bisects angle ∠ABC. Prove that BC−BD=2AB if and only if BD1−BC1=2AB1.
Solution
Solution:
Wlog let AB=1 and BC=a. Also let BD=x. We will try to find all the lengths in the diagram in terms of a.
By Pythagoras in △ABC we get AC=a2−1. By the angle-bisector theorem we get DCAD=BCAB=a1, and so DC=a×AD. This can be substituted into AD+DC=AC=a2−1 to get AD(1+a)=a2−1. Therefore AD=1+aAC=a+1a2−1. Hence AD2=(a+1)2a2−1=a+1a−1. Now consider Pythagoras in triangle △BAD. x2=12+AD2=1+a+1a−1=a+12a. Now we do the two directions of the 'if and only if' separately:
First, assuming x1−a1=21 we get x=a+22a. Hence a+12a=x2=(a+22a)2=a2+4a+44a2 a2+4a+4=2a(a+1) 0=a2−2a−4 So by the quadratic formula we get a=1±5 but since a>0 we must have a=1+5. Therefore x=a+22a=(1+5)+22(1+5)=5−1. ∴a−x=(1+5)−(5−1)=2. So x1−a1=21 implies a−x=2.
Second, assuming a−x=2 we get x=a−2. Hence a+12a=x2=(a−2)2=a2−4a+4 2a=(a2−4a+4)(a+1) 0=a3−3a2−2a+4 0=(a−1)(a2−2a−4) Since a−x=2 we have a>2 so (a−1)=0 and thus a2−2a−4=0. This gives us a=1+5 and so again x=a−2=5−1. ∴x1−a1=5−11−5+11=21. So a−x=2 implies x1−a1=21.
In summary x1−a1=21 is equivalent to a−x=2.
Solution B:
Let E be the foot of the perpendicular from D to BC. Note that E is the reflection of A about BD (because BD is an angle bisector) and so we have congruent triangles △ABD≡△EBD. Also construct point N on side BC to be the reflection of B about line DE. So we have three congruent triangles: △ABD≡△EBD≡△END. Therefore AB=EB=EN and hence 2AB=BE+EN=BN. We also get BD=DN. Let F be the point on line BC such BD=BF.
Assume BC−BD=2AB. Since BD=DN and 2AB=BN we can get BC−DN=BN. Therefore DN=BC−BN=CN and so triangle DNC is isosceles. Now let θ=∠BCA. Since △DNC is isosceles, we get ∠CDN=θ and thus ∠END=2θ. Therefore ∠EBD=2θ and ∠DBA=2θ and thus ∠CBA=4θ. Thus 90∘=∠BCA+∠CBA=θ+4θ. Hence θ=18∘. Therefore BDAB=cos(∠ABD)=cos(2θ)=cos(36∘)=41+5 andBDBC=sin(∠BCD)sin(∠CDB)=sin(∠18∘)sin(126∘)=5−15+1 Therefore 1−BCBD=1−5+15−1=5+12=2ABBD. Hence BD1−BC1=2AB1 as required.
- If BC−BD>2AB then using similar logic we can get ∠BCA<18∘ which implies BD1−BC1<2AB1 - Conversely if BC−BD<2AB then we get ∠BCA>18∘ which implies BD1−BC1>2AB1 Therefore we conclude that BC−BD>2AB if and only if BD1−BC1<2AB1.
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.