Q.For any two positive real numbers a and b, prove that ba+ab≥2.
Sikkim CbseNCERTSubjective· 3mImportance★★★★★est
90% · 95/106 Questions
✓ Free question
Concept understanding — Relationship Between AM and GM
The Intuition: Why the Average Isn't Always the Middle
Imagine you have two numbers: 2 and 8. Their ordinary arithmetic mean (AM) is (2+8)/2=5. That feels natural — the number halfway between them on a number line.
Now think about the geometric mean (GM). For 2 and 8, it's 2×8=16=4. That's smaller than 5. Why?
The geometric mean cares about multiplicative spacing, not additive spacing. On a number line, 2 and 8 are 6 units apart, so the arithmetic mean sits right in the middle. But if you think in terms of ratios: 2 multiplied by 4 gives 8. The geometric mean is the number that, when multiplied by itself, gives the same product — it's the "multiplicative middle." And that middle is always pulled toward the smaller number when the numbers are unequal.
Note
For two equal numbers, say 5 and 5, both means are identical: AM = 5, GM = 5. The gap between them only appears when the numbers differ.
The Precise Statement
For any two positive real numbers a and b:
AM≥GM
with equality if and only ifa=b.
Where:
AM=2a+b,GM=ab
This inequality is not just a curiosity — it's a fundamental result that holds for any set of positive numbers, not just two. For n positive numbers x1,x2,…,xn:
nx1+x2+⋯+xn≥nx1x2…xn
Important
The numbers must be positive. The geometric mean of negative numbers is not defined in the real number system (you'd get imaginary results), and the inequality can flip or break entirely.
Why It's True: A Simple Proof
Start with any two positive numbers a and b. Consider (a−b)2.
Since a square is always non-negative:
(a−b)2≥0
Expand:
a+b−2ab≥0
Rearrange:
a+b≥2ab
Divide by 2:
2a+b≥ab
That's it. The equality case is when a−b=0, i.e., a=b.
Tip
This proof is exam-friendly. If you're ever asked to "prove AM ≥ GM for two numbers," start with (a−b)2≥0 and work through the algebra.
A Concrete Example
Take a=4, b=9.
AM = (4+9)/2=6.5
GM = 4×9=36=6
AM (6.5) > GM (6). The gap is small because the numbers are close.
Now take a=1, b=100.
AM = (1+100)/2=50.5
GM = 1×100=10
The gap is huge — the geometric mean is far more sensitive to the smaller number.
Why This Matters
The AM–GM inequality is a workhorse in optimization. If you have a fixed sum, the product is maximized when the numbers are equal. If you have a fixed product, the sum is minimized when the numbers are equal. This lets you solve problems like "Find the minimum value of x+x1 for x>0" without calculus — just apply AM–GM to x and 1/x.
x+x1≥2x⋅x1=2
Minimum value is 2, achieved when x=1.
The relationship between AM and GM is not just a fact to memorize — it's a lens through which you see that averaging additively and averaging multiplicatively give different answers, and the additive average is always at least as large.
AM–GM on ba,ab: their product is 1, so their AM is ≥1.
21(ba+ab)≥1=1⇒ba+ab≥2, equality iff a=b.
✓Final answer
Proved: ba+ab≥2
Apply the AM ≥ GM inequality to the two positive numbers ba and ab.
[!FORMULA] AM–GM inequality for two positive reals u,v: 2u+v≥uv, with equality iff u=v.
Since a,b>0, both ba and ab are positive real numbers.
Let u=ba and v=ab; apply AM–GM: 2u+v≥uv.
Compute uv=ba⋅ab=1, so uv=1.
Hence 21(ba+ab)≥1.
Multiply both sides by 2: ba+ab≥2.
Equality holds iff u=v, i.e. ba=ab⇒a2=b2⇒a=b (since a,b>0).
(Equivalent direct proof: (a−b)2≥0⇒a2+b2≥2ab⇒ dividing by ab>0 gives ba+ab≥2.)
✓Final answer
ba+ab≥2 for all a,b>0, with equality iff a=b — proved