Use some or all of the lines below to prove the inequality
(a+b)(a1+b4)≥9
holds if a>0 and b>0.
- 1. (a+b)(a1+b4)≥9⟺ab+b4a+5≥9
- 2. ab+b4a+5≥9⟺ab+b4a−4≥0
- 3. ab+b4a−4≥0⟺ab4a2−4ab+b2≥0
- 4. ab+b4a−4≥0⟺ab4a2−4ab+b2≥0 if and only if ab>0
- 5. ab4a2−4ab+b2≥0⟺ab(2a−b)2≥0
- 6. We have ab(2a−b)2≥0 if and only if a>0 and b>0
- 7. We have ab(2a−b)2≥0 if a>0 and b>0
- 8. Therefore, (a+b)(a1+b4)≥9 if a>0 and b>0
- 9. Therefore, since a>0 and b>0, (a+b)(a1+b4)>9