The AM–GM inequality
Exercise 11 gave a geometric proof that the arithmetic mean of two positive numbers (a) và (b) is greater than or equal khổng lồ their geometric mean. We can also prove this algebraically, as follows.
Bạn đang xem: Using the arithmetic mean
Since (a) and (b) are positive, we can define (x = sqrta) & (y = sqrtb). Theneginalign*(x-y)^2 geq 0 quad&impliesquad x^2+y^2-2xy geq 0 \ &impliesquad dfracx^2+y^22 geq xyendalign*
This is called the AM–GM inequality. Cảnh báo that we have equality if and only if (a = b).
Find the range of the function (f(x) = x^2 + dfrac1x^2), for (x eq 0).Solution
Using the AM–GM inequality,< f(x) = x^2 + dfrac1x^2 geq 2sqrtx^2 imes dfrac1x^2 = 2. >
So the range of (f) is contained in the interval (<2,infty)). Chú ý that (f(1) = 2) và that (f(x) o infty) as (x o infty). Since (f) is continuous, it follows that, for each (y geq 2), there exists (x geq 1) with (f(x) = y). Hence, the range of (f) is the interval (<2,infty)).
Xem thêm: Ông Nguyễn Đức Chung Là Con Rể Của Ai Chuyện Nhỏ Về Ông Nguyễn Đức Chung
Exercise 15Find the arithmetic, geometric và harmonic means of (3,4,5) và write them in ascending order. Prove that the harmonic mean of two positive real numbers (a) và (b) is less than or equal to lớn their geometric mean.
The AM–GM inequality can be generalised as follows. If (a_1,a_2,dots,a_n) are (n) positive real numbers, then
The next exercise provides a proof of this result.
Exercise 16Find the maximum value of the function (f(x) = log_e x - x), for (x > 0). Hence, deduce that (log_e x leq x-1), for all (x > 0). Let (a_1,a_2,dots,a_n) be positive real numbers & define (A = dfraca_1 + a_2 + dots + a_nn). By successively substituting (x = dfraca_iA), for (i=1,2,dots,n), into the inequality from part (a) và summing, show that < log_eBigl(dfraca_1a_2dots a_nA^nBigr) leq 0. > By exponentiating both sides of the inequality from part (b), derive the generalised AM–GM inequality.