Given a positive infinite sequence , .
If , the arithmetic mean of and is equal to the geometric mean of and , then find .
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
Note that a 1 = S 1 , and from the defining statement:
2 a 1 + 2 = 2 S 1 = 2 a 1 ,
So then
a 1 + 2 = 8 a 1 ⟹ ( a 1 + 2 ) 2 ⟺ a 1 2 − 4 a 1 + 4 ⟺ ( a 1 − 2 ) 2 ⟺ a 1 = 8 a 1 = 0 = 0 = 2
Continue like this to find a few terms, for example:
a 2 + 2 = 8 ( 2 + a 2 ) ⟹ ( a 2 + 2 ) 2 ⟺ a 2 ⟺ a 2 = 8 ( a 2 + 2 ) = − 2 or a 2 = 6 = 6 ∵ a n > 0
We obtain { a n } = { 2 , 6 , 1 0 , 1 4 , . . . } , so guess that a n = 4 n − 2 .
Proof that a n = 4 n − 2 :
2 a n + 2 ⟺ a n + 2 ⟹ a n 2 + 4 a n + 4 ⟺ S n = 2 S n = 8 S n = 8 S n = 8 a n 2 + 4 a n + 4 ( ∗ )
Fix a n = 4 n − 2 , so that
S n 8 a n 2 + 4 a n + 4 = r = 1 ∑ n 4 n − 2 = 4 r = 1 ∑ n n − 2 r = 1 ∑ n 1 = 4 ( 2 n ( n + 1 ) ) − 2 n = 2 ( n 2 + n ) − 2 n = 2 n 2 = 8 ( 4 n − 2 ) 2 + 4 ( 4 n − 2 ) + 4 = 8 ( 1 6 n 2 − 1 6 n + 4 ) + ( 1 6 n − 8 ) + 4 = 8 1 6 n 2 = 2 n 2
So a n = 4 n − 2 satisfies ( ∗ ) □ .
∴ a 2 0 2 0 = 4 × 2 0 2 0 − 2 = 8 0 8 0 − 2 = 8 0 7 8 .