Suppose the real numbers a, A, b, B satisfy the inequalities: ∣A−3a∣≤1−a,∣B−3b∣≤1−b, and a, b are positive. Prove that 3AB−3ab≤1−ab.
Solutions — 2
Solution 1
Observe that a, b∈(0,1]. Let u=A−3a, v=B−3b. Then ∣u∣≤1−a, ∣v∣≤1−b, and A=u+3a, B=v+3b, so that AB=uv+3(ub+va)+9ab. Hence ∣AB−9ab∣=∣uv+3(ub+va)∣≤∣u∣∣v∣+3(b∣u∣+a∣v∣)≤(1−a)(1−b)+3(a(1−b)+b(1−a))=1+2(a+b)−5ab=3(1−ab)−2(1−a−b+ab)≤3(1−ab) since 1−a−b+ab=(1−a)(1−b)≥0. Whence, dividing by 3, it follows that 3AB−3ab≤1−ab.
Solution 2
When we add the two equations (1−a)(1+b)=1−ab−a+band(1+a)(1−b)=1−ab+a−bwe obtain (1−a)(1+b)+(1+a)(1−b)=2(1−ab).(9) Similarly, adding (A−3a)(B+3b)=AB−9ab−3aB+3Abto(A+3a)(B−3b)=AB−9ab+3aB−3Abgives (A−3a)(B+3b)+(A+3a)(B−3b)=2(AB−9ab).(10) Since 0≤∣A−3a∣≤1−a, we have 0<a≤1 and A−3a≤∣A−3a∣≤1−a and so A≤1+2a≤3. But also 3a−A≤∣A−3a∣≤1−a, which gives −1<4a−1≤A, hence ∣A∣≤3. This implies ∣A+3a∣≤∣A∣+3a≤3(1+a). In a similar way we obtain ∣B+3b∣≤3(1+b). Using (10), the triangle inequality and the assumption, we now see that 2∣AB−9ab∣≤∣A−3a∣⋅∣B+3b∣+∣A+3a∣⋅∣B−3b∣≤3(1−a)(1+b)+3(1+a)(1−b)=6(1−ab), where we have used (9) at the end. Division by 6 yields the desired inequality.
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.