Доказать, что

0 голосов
57 просмотров

Доказать, что

\displaystyle \lim_{n \to \infty} \frac{n!}{\sqrt{2\pi n}\left(\frac{n}{e}\right)^n}=1


Алгебра (64.0k баллов) | 57 просмотров
0

Дополните в условие !!! применение эквивалентности недопустимо.

0

Ваша ошибка была в том, что вы не полностью подкорректировали условие! В следующий раз будьте внимательнее.

0

Исправить условие я уже не могу. Хотя и так очевидно, что если я, скажем, прошу доказать, что lim x\to 0 (sin x/x)=1, то пользоваться эквивалентностью не стоит))

0

Здесь очевидно на окружности доказать. подобие треугольников.

0

Формулу стирлинга доказывают на мат. статистике.

0

А зачем эквивалентность? Ведь это первый замечательный предел. И полно доказательств в интернете

Дан 1 ответ
0 голосов

Рассмотрим следующую гамму-функцию: Г(n+1)=\int\limits^\infty_0xⁿ·e⁻ˣ dx. 
Положим x=n(1+u), то есть, получаем Г(n+1) = nⁿ⁺¹ e⁻ⁿ \int\limits^{+\infty}_{-1} ((1+u)*e^(-u))ⁿ du

Пусть u=f(a): Г(n+1)=nⁿ⁺¹ e⁻ⁿ \int\limits^{+\infty}_{-\infty} e⁻ⁿᵃ * f'(a)da

Пусть n^(-0.5a)=b, имеем Г(n+1) = n^(n+0.5) * e⁻ⁿ \int\limits^{+\infty}_{-\infty} e^{-b^2} f'(b/√n) db
или это можно переписать в виде \frac{\Gamma(n+1)}{n^{-n}e^{-n} \sqrt{n} } = \int\limits^{+\infty}_{-\infty} e^{-b^2}f'( \frac{b}{ \sqrt{n} } )db
При n стремящихся к бесконечности b/√n -> 0, то есть \int\limits^{+\infty}_{-\infty} e^{-b^2}f'( \frac{b}{ \sqrt{n} } )db= \sqrt{2} \int\limits^{+\infty}_{-\infty} e^{-b^2}db=\sqrt{2} \pi

Откуда вытекает формула Стирлинга n!=Г(n+1)=nⁿ e⁻ⁿ √(2πn), то есть
 \lim_{n \to \infty} \frac{\Gamma(n+1)}{n^ne^{-n} \sqrt{n} } =1

(1.5k баллов)
0

Свойство Гамма-функции: Г(n+1) = n!

0

А куда делась степень (1+u) во второй строчке?

0

Вся скобках в степени n)

0

Скобка*

0

А что за f(a)? Почему нижний предел стал равен минус бесконечности? И как (1+u)^n e^{-nu} превратилась в e^{-na}?

0

f(a) - некоторая функция, т.е. введенная выше обратная функция, удовлетворяющая условиям: u=-1 при a=-бесконечность и u=+inf при a=+inf.

0

Ну это замена

0

но Вы же не написали какая замена

0

Также стоит заметить что a^2 = u - ln(u+1) = ln(e^u/(u+1)) и e^(-a^2) = (1+u)*e^(-u)

0

Третья строка: Пусть u=f(a)