Let ABC be a planar triangle. Let λ≥0. Define the point D(λ) on the side BC so that D(λ) divides BC in the ratio cλ:bλ. Prove that ∣AD(λ)∣≤∣AD(2−λ)∣iffλ≥1.
Solution
Let D=D(λ) for a fixed λ and denote θ=∠ADB=180∘−∠CDA. The Cosine Rule for the triangles △DAB and △CAD gives c2b2=∣BD∣2+∣AD∣2−2∣BD∣⋅∣AD∣cosθ=∣DC∣2+∣AD∣2+2∣DC∣⋅∣AD∣cosθ. Eliminating cosθ gives 2∣BD∣⋅∣AD∣∣BD∣2+∣AD∣2−c2=2∣DC∣⋅∣AD∣b2−∣DC∣2−∣AD∣2 from which we obtain ∣AD∣2=∣BD∣+∣DC∣b2∣BD∣+c2∣DC∣−∣BD∣⋅∣DC∣. From ∣BD∣/∣DC∣=cλ/bλ and ∣BD∣+∣DC∣=a we deduce ∣BD∣=cλbλ+cλaand∣DC∣=bλbλ+cλa. Substitution into the previous formula establishes that ∣AD(λ)∣2=(bλ+cλ)2bλcλ((b2−λ+c2−λ)(bλ+cλ)−a2). Hence ∣AD(2−λ)∣2∣AD(λ)∣2=(bλ+cλ)2bλcλb2−λc2−λ(b2−λ+c2−λ)2, so that ∣AD(2−λ)∣∣AD(λ)∣=bλ+cλbλ−1cλ−1(b2−λ+c2−λ)=tλ+1tλ−1(t2−λ+1), where t=b/c. Hence ∣AD(λ)∣≤∣AD(2−λ)∣ iff t+tλ−1≤tλ+1 equivalently iff 0≤1−t+tλ−1(t−1)=(1−t)(1−tλ−1) which holds for t>0 iff λ≥1.
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.