Can We Apply AM-GM?

Calculus Level 4

lim n A n G n \large \displaystyle \lim_{n \to \infty} \dfrac {A_n}{G_n}

Let a 1 , a 2 , , a n a_1, a_2, \ldots, a_n be an arithmetic progression composed solely of distinct positive reals.

Also, let A n A_n denote its arithmetic mean and G n G_n denote its geometric mean .

What is the value of the above limit to 3 decimal places?


If you think the limit doesn't exist, write -13.37 as your answer.


The answer is 1.359.

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.

2 solutions

Jack Lam
Oct 16, 2016

Relevant wiki: Stirling's Formula

Instead of the usual notation for arithmetic progressions, I will let the initial term be a + d \displaystyle a+d for sake of elegance in following expressions.

It is trivial to show that, for an arithmetic progression with initial term a + d \displaystyle a+d and common difference d \displaystyle d , A n = 2 a + ( n + 1 ) d 2 \displaystyle A_n = \frac{2a+ (n+1) d}{2}

The product of all the terms can have d \displaystyle d factored out of each individual term to obtain:

d n ( a d + 1 ) ( a d + 2 ) ( a d + n ) \displaystyle d^n (\frac{a}{d}+1)(\frac{a}{d}+2)\cdots(\frac{a}{d} +n)

By an abuse of notation, I will use the factorial in place of the gamma function for arbitrary real argument for simplicity.

( G n ) n = d n ( n + a d + 1 ) ! ( a d ) ! d n 2 π ( n + a d + 1 ) 2 π a d × ( n e + a d e + 1 e ) ( n + a d + 1 ) ( a d e ) a d \displaystyle (G_n)^n = d^n \frac{(n+\frac{a}{d}+1)!}{(\frac{a}{d})!} \approx d^n \frac{\sqrt{2\pi ( n+\frac{a}{d}+1)}}{\sqrt{2 \pi \frac{a}{d}}} \times \frac{\left( \frac{n}{e}+\frac{a}{d e}+\frac{1}{e}\right)^{(n+\frac{a}{d}+1)}}{ \left( \frac{a}{d e} \right)^{\frac{a}{d}}}

After taking the n th \displaystyle n^{\text{th}} root of both sides, as n \displaystyle n \to \infty , all of the terms tend to unity except the ones which have exponent part that is independent of n \displaystyle n . So the limiting behaviour of G n \displaystyle G_n is d × a d + n + 1 e = a + ( n + 1 ) d e \displaystyle d \times \frac{\frac{a}{d}+n+1}{e} = \frac{a + (n + 1)d}{e}

Taking the quotient of the expressions yields e 2 × ( 1 + a a + ( n + 1 ) d ) \displaystyle \frac{e}{2} \times \left( 1+ \frac{a}{a+(n+1)d} \right)

Which obviously tends to e 2 \displaystyle \frac{e}{2} as n \displaystyle n \to \infty

(just a note!!)

we are looking for a 1 + a 2 + . . . + a n n ( a 1 a 2 . . . a n ) 1 n \frac{\frac{a_{1}+a_{2}+...+a_{n}}{n}}{(a_{1}a_{2}...a_{n})^{\frac{1}{n}}}

let this quest of ours result in y y

Rohith M.Athreya - 4 years, 8 months ago

Log in to reply

l o g y logy = l o g ( a 1 + a n 2 ) ( 1 / n ) l o g a 1 a 2 . . . a n log(\frac{a_{1}+a_{n}}{2})-(1/n)log a_{1}a_{2}...a_{n}

by simply adding and subtracting l o g n logn ,we get

l o g y logy = l o g a 1 + a n 2 n ( 1 / n ) l o g ( a 1 n + l o g a 2 n + . . . + l o g a n n ) log\frac{a_{1}+a_{n}}{2n}-(1/n)log( \frac{a_{1}}{n}+log\frac{a_{2}}{n}+... +log\frac{a_{n}}{n} )

first term of R.H.S. is l o g ( r / 2 ) log( r/2 ) where r r is the common difference of the A.P.

second term is the integral of l o g r x logrx with respect to x x from 0 to 1

l o g r x d x \int log rx \, dx from 0 to 1 is l o g r 1 logr-1

l o g y = l o g e 2 logy=log\frac{e}{2}

y is (e/2}

my method comes as a comment as i entered log y as the answer and finally gave up and realised my folly afterwards!!

Rohith M.Athreya - 4 years, 8 months ago

Log in to reply

Yup i did the same way! :)

Prakhar Bindal - 4 years, 7 months ago

Nice solution!

Sharky Kesa - 4 years, 8 months ago

This is a good start. However, your explanation has a slight gap

  1. When doing an approximation, you should be aware of how accurate it is, in order to justify taking limits.
  2. In this case, it is better to work from first principles, and derive the limit as a Riemann sum.

Keep writing more solutions and you will get the hang of this!

Calvin Lin Staff - 4 years, 8 months ago
Prakhar Bindal
Nov 1, 2016

Stirling's formula or Stolz Theorem is a nice approach .

I Did by Riemann's Sums.

On writing the limit take log both sides and use the standard riemann sums technique to evaluate

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...