AlgebraDifficulty 5.7AIME, harderProve itSoviet Union
Problem:
What is the minimal value of b/(c+d)+c/(a+b) for positive real numbers b and c and nonnegative real numbers a and d such that b+c≥a+d?
Solution
Solution:
Answer: 2−1/2.
Obviously a+d=b+c at the minimum value, because increasing a or d reduces the value. So we may take d=b+c−a. We also take b≫c (interchanging b and c if necessary). Dividing through by b/2 shows that there is no loss of generality in taking b=2, so 0<c≤2. Thus we have to find the minimum value of 2/(2c−a+2)+c/(a+2). We show that it is 2−1/2.
This is surprisingly awkward. Note first that (c−(h−k))2≥0, so c2+c(2k−2h)+h2−2hk+k2≥0. Hence c2+ck+h2≥(2h−k)(c+k). Hence c/h2+1/(c+k)≥2/h−k/h2 with equality iff c=h−k. Applying this to c/(a+2)+1/(c+1−a/2) where h=a+2, k=1−a/2, we find that c/(a+2)+2/(2c+2−a)≥2/a+2+(a−2)/(2a+4).
The allowed range for c is 0≤c≤2 and 0≤a≤c+2, hence 0≤a≤4. Put x=1/a+2, so 1/6≤x≤1/2. Then 2/a+2+(a−2)/(2a+4)=2x+1/2−2x2=1−(2x−1)2/2. We have −0.184=(2/6−1)≤2x−1≤2−1=0.414. Hence c/(a+2)+2/(2c+2−a)≥1−(2−1)2/2=2−1/2.
We can easily check that the minimum is achieved at b=2, c=2−1, a=0, d=2+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.