Take any two positive numbers, say 4 and 16. Add them and halve it — you get their arithmetic mean: (4+16)/2=10. Multiply them and take the square root — you get their geometric mean: 4×16=8. Notice something? 10≥8. Try it with any other pair of positive numbers you like — the arithmetic mean is never smaller than the geometric mean. That simple, always-true observation is the Inequality of Means, usually written AM ≥ GM.
The precise statement
For two positive real numbers a and b:
AM=2a+b,GM=ab
2a+b≥ab
with equality if and only if a=b. If a=b, the inequality is strict.
Why it is always true
Start from a fact that can never fail: the square of any real number is non-negative.
(a−b)2≥0
Expand the left side:
a−2ab+b≥0
a+b≥2ab
Divide both sides by 2:
2a+b≥ab
That's the whole proof — no assumptions beyond a,b>0 (so that a,b are real numbers). Since (a−b)2=0 exactly when a=b, equality holds exactly when a=b.
Note
The inequality needs a,b≥0. For negative numbers, ab may not even be real, so the "GM" isn't defined there.
Worked example
Find the AM and GM of 9 and 25, and verify the inequality.
Step 1:AM=29+25=17
Step 2:GM=9×25=225=15
Step 3: Check: 17≥15✓ — and since 9=25, the inequality is strict, exactly as the rule predicts.
A useful consequence: inserting a mean between two numbers
If a and b are two positive numbers and G is inserted between them so that a,G,b form a Geometric Progression, then G=ab — precisely the geometric mean. Comparing this G against the arithmetic mean A=2a+b (the number that would sit between a and b in an Arithmetic Progression) is exactly an application of this inequality: A≥G always, so the AM-inserted term never sits below the GM-inserted term.
Watch out
A common slip is writing ab when a or b is negative, or applying the two-number formula directly to more than two numbers. For n positive numbers a1,a2,…,an, the generalised inequality is
Using the AM–GM inequality, the sum 4x+41−x is minimized when 4x=41−x, giving x=21 and a minimum value of 4.
Concept first.
When you see a sum of two positive terms where one is the reciprocal (or near-reciprocal) of the other, the AM–GM inequality is often the fastest route. Here 4x and 41−x are both positive for all real x, and their product is constant:
4x⋅41−x=4x+1−x=41=4.
That constant product is the key — it means the sum has a fixed lower bound.
Why AM–GM works here.
For any two non‑negative numbers a and b, the arithmetic mean is at least the geometric mean:
2a+b≥ab.
Equality holds exactly when a=b. So if we set a=4x and b=41−x, we get a direct bound on the sum.
Step‑by‑step solution
Apply AM–GM
Let a=4x and b=41−x. Then
24x+41−x≥4x⋅41−x.
Simplify the product
4x⋅41−x=4x+1−x=41=4.
So the right‑hand side becomes 4=2.
Obtain the inequality
24x+41−x≥2⇒4x+41−x≥4.
Find when equality occurs
AM–GM gives equality when a=b, i.e.
4x=41−x.
Since the base 4 is positive and not 1, we equate exponents:
Same / Similar Concept — real previous-year questions on the same or a closely similar concept, not this exact question.
COMEDK 2025Set 2025-A1 markMCQ
Q.Let A and G denote the arithmetic mean and geometric mean of positive real numbers 5x and 51−x. Then the minimum value of the expression 5x+51−x where x∈R is
(A) 25
(B) 0
(C) 1
(D) 5
›Reveal solutionSolution
The problem asks for the minimum of 5x+51−x. Using the AM–GM inequality, the minimum occurs when 5x=51−x, giving x=1/2 and the value 25. So the correct option is (A).
Concept & Intuition
We have two positive numbers: 5x and 51−x. Their sum is what we want to minimize. For positive numbers, the arithmetic mean is always at least the geometric mean, with equality when the numbers are equal. That gives a lower bound on the sum — and that bound is actually achievable, so it’s the minimum.
Set up the AM–GM inequality
For any positive a and b,
2a+b≥ab.
Here a=5x, b=51−x. So
25x+51−x≥5x⋅51−x.
Simplify the geometric mean
5x⋅51−x=5x+(1−x)=51=5.
Hence
5x⋅51−x=5.
Apply the inequality
25x+51−x≥5⇒5x+51−x≥25.
Check when equality occurs
AM = GM when a=b, i.e.
5x=51−x⇒x=1−x⇒x=21. …
Q.If for real values of x,cosθ=x+x1, then X
(A) θ is an obtuse angle.
(B) No value of θ is possible
(C) θ is right angle
(D) θ is an acute angle
›Reveal solutionSolution
The key idea is that for real x, the expression x+x1 is either ≥2 or ≤−2, but cosθ must lie in [−1,1]. Since these ranges do not overlap, no real θ satisfies the equation. The correct option is (B).
We start with the given equation:
cosθ=x+x1
for real values of x. The question asks what we can conclude about θ.
Concept and Intuition
The expression x+x1 is famous for having a restricted range when x is real. Why? Because if x>0, by AM–GM inequality, x+x1≥2, with equality only at x=1. If x<0, then let x=−t with t>0, so x+x1=−t−t1=−(t+t1)≤−2. So the sum is always either ≥2 or ≤−2.
Meanwhile, cosθ for any real θ is always between −1 and 1 inclusive. So we are equating a number that lives outside [−1,1] (except possibly at the boundaries) to a number that must live inside [−1,1]. The only chance would be if x+x1 could equal something in [−1,1], but it cannot — the gap is clear.
Thus, no real θ can satisfy the equation for any real x.
Step-by-step reasoning
Recall the range of x+x1 for real x
For x>0, by AM–GM:
x+x1≥2x⋅x1=2
For x<0, set x=−t with t>0:
x+x1=−t−t1=−(t+t1)≤−2
For x=0, the expression is undefined. So the possible values are (−∞,−2]∪[2,∞).
Recall the range of cosθ for real θ
The cosine function always satisfies:
Q.If two positive numbers are in the ratio 3+22:3−22, then the ratio between their A.M (arithmetic mean) and G.M (geometric mean) is
(A) 3:4
(B) 6:1
(C) 3:2
(D) 3:1
›Reveal solutionSolution
The key idea is to set the two numbers as a=(3+22)k and b=(3−22)k, compute their arithmetic mean (AM) and geometric mean (GM), then simplify the ratio. The final ratio is 3:1, corresponding to option (D).
We are given two positive numbers in the ratio
3+22:3−22.
We need the ratio of their arithmetic mean (AM) to their geometric mean (GM).
Concept and intuition:
When two numbers are in a given ratio, we can represent them as multiples of that ratio. The AM and GM are symmetric functions of the numbers, so the ratio of AM to GM will be independent of the scaling factor. The trick is to notice that (3+22) and (3−22) are conjugates — their product is a perfect square, which simplifies the GM nicely.
Step-by-step solution:
Set up the numbers.
Let the two numbers be
a=(3+22)k,b=(3−22)k,
where k>0 is a common factor. This preserves the given ratio.