Inequality Between Means (AM-GM inequality)
Let a 1 , a 2 , . . . , a n , a_1, a_2,...,a_n, a 1 , a 2 , ... , a n , be positive real numbers. Then
a 1 + a 2 + . . . + a n n ≥ a 1 a 2 . . . a n n {a_1+a_2+...+a_n \over n}\geq \sqrt[n]{a_1a_2...a_n} n a 1 + a 2 + ... + a n ≥ n a 1 a 2 ... a n Equality occurs if and only if a 1 = a 2 = . . . = a n a_1=a_2=...=a_n a 1 = a 2 = ... = a n or n = 1. n=1. n = 1.
Consider the geometric sequence 1 , 2 , 4 , 8 , . . . 1,2,4,8,... 1 , 2 , 4 , 8 , ...
b 1 = 1 , q = 2 , b_1=1, q=2, b 1 = 1 , q = 2 , S n = b 1 + b 2 + . . . + b n = ∑ i = 1 n b i = 1 + 2 + . . . + 2 n − 1 = S_n=b_1+b_2+...+b_n=\displaystyle\sum_{i=1}^n b_i=1+2+...+2^{n-1}= S n = b 1 + b 2 + ... + b n = i = 1 ∑ n b i = 1 + 2 + ... + 2 n − 1 = = b 1 ( 1 − q n 1 − q ) = 1 ( 1 − 2 n 1 − 2 ) = 2 n − 1 =b_1({1-q^n \over 1-q})=1({1-2^n \over 1-2})=2^n-1 = b 1 ( 1 − q 1 − q n ) = 1 ( 1 − 2 1 − 2 n ) = 2 n − 1
b 1 b 2 . . . b n n = 1 ⋅ 2 ⋅ 4 ⋅ . . . ⋅ 2 n − 1 n \sqrt[n]{b_1b_2...b_n}=\sqrt[n]{1\cdotp2\cdotp4\cdotp...\cdotp2^{n-1}} n b 1 b 2 ... b n = n 1 ⋅ 2 ⋅ 4 ⋅ ... ⋅ 2 n − 1
1 + 2 + 3 + . . . ( n − 1 ) = 1 + n − 1 2 ⋅ ( n − 1 ) = n ( n − 1 ) 2 1+2+3+...(n-1)={1+n-1 \over 2}\cdotp (n-1)={n(n-1) \over 2} 1 + 2 + 3 + ... ( n − 1 ) = 2 1 + n − 1 ⋅ ( n − 1 ) = 2 n ( n − 1 ) For n ≥ 2 n\geq 2 n ≥ 2 we have
1 + 2 + . . . + 2 n − 1 n > 1 ⋅ 2 ⋅ 4 ⋅ . . . ⋅ 2 n − 1 n {1+2+...+2^{n-1} \over n}> \sqrt[n]{1\cdotp2\cdotp4\cdotp...\cdotp2^{n-1}} n 1 + 2 + ... + 2 n − 1 > n 1 ⋅ 2 ⋅ 4 ⋅ ... ⋅ 2 n − 1
2 n − 1 n > 2 n ( n − 1 ) 2 n {2^n-1 \over n}> 2^{{n(n-1) \over {2n}}} n 2 n − 1 > 2 2 n n ( n − 1 )
2 n − 1 n > 2 n − 1 2 {2^n-1 \over n}> 2^{{n-1 \over {2}}} n 2 n − 1 > 2 2 n − 1
2 n > 1 + ( 2 ) n − 1 , n ≥ 2 2^n>1+(\sqrt{2})^{n-1} ,n\geq2 2 n > 1 + ( 2 ) n − 1 , n ≥ 2