Формула Валлиса

НЕТ ВОЙНЕ

24 февраля 2022 года российское руководство во главе с Владимиром Путиным развязало агрессивную войну против Украины. В глазах всего мира это военное преступление совершено от лица всей страны, всех россиян. Будучи гражданами Российской Федерации, мы против своей воли оказались ответственными за нарушение международного права, военное вторжение и массовую гибель людей. Чудовищность совершенного преступления не оставляет возможности промолчать или ограничиться пассивным несогласием. Мы убеждены в абсолютной ценности человеческой жизни, в незыблемости прав и свобод личности. Режим Путина — угроза этим ценностям. Наша задача — обьединить все силы для сопротивления ей. Эту войну начали не россияне, а обезумевший диктатор. И наш гражданский долг — сделать всё, чтобы её остановить. Антивоенный комитет России

Распространяйте правду о текущих событиях, оберегайте от пропаганды своих друзей и близких. Изменение общественного восприятия войны - ключ к её завершению.

meduza.io, Популярная политика, Новая газета, zona.media, Майкл Наки.

Формула Валлиса — одна из первых формул, в которой число [math]\pi[/math] выражено в виде последовательности рациональных чисел.

Однако, так как она очень медленно приближается к [math]\pi[/math], на практике её использование бессмысленно.

Определение:

[math](2n)!! = 2\cdot4\cdot\ldots\cdot2n[/math]

Определение:

[math](2n - 1)!! = 1\cdot3\cdot5\cdot\ldots\cdot(2n - 1)[/math]

Утверждение:

[math]\frac\pi2 = \lim\limits_{n \to \infty} \left[\frac{2n!!}{(2n-1)!!}\right]^2 \cdot \frac1{2n+1}[/math]

[math]\triangleright[/math]

Рассмотрим последовательность [math]I_n = \int\limits_0^{\pi/2} \sin^n x dx[/math] и выведем для неё рекуррентную формулу. [math]I_n = \int\limits_0^{\pi/2} \sin^n x dx = [/math] [math]\int\limits_0^{\pi/2}\sin^{n - 1} x d(-\cos x) = [/math] [math]-\sin^{n -1}\cos x|^{\pi/2}_0 + \int\limits_0^{\pi/2} \cos x d \sin^{n-1}x = [/math] [math](n - 1)\int\limits_0^{\pi/2} \sin^{n - 2} x \cos^2x\cdot dx = [/math] [math](n - 1)\int\limits_0^{\pi/2} \sin^{n - 2} x (1-\sin^2x)dx = [/math] [math](n - 1)(I_{n - 2} - I_n)[/math] Получили: [math]I_n = (n - 1)(I_{n - 2} - I_n)[/math]. [math]I_n = \frac{n -1}nI_{n-2}[/math] Получена рекуррентная формула с шагом два. Значит, для её вычисления нужно найти [math]I_0[/math] и [math]I_1[/math]. [math]I_0 = \int\limits_0^{\pi/2} 1 dx = \frac\pi2[/math] [math]I_1 = \int\limits_0^{\pi/2} \sin x dx = -\cos x|_0^{\pi/2} = 1[/math] Раскроем рекуррентность: [math]I_n =[/math] [math]\frac{n - 1}n I_{n - 2} =[/math] [math]\frac{n - 1}n \cdot \frac{n - 3}{n - 4} I_{n - 4} = [/math] [math]\ldots[/math]. Посчитаем отдельно для случая чётного и нечётного [math]n[/math]. [math]I_{2n+1} = \frac{2n}{2n+1} \cdot \frac{2n-2}{2n-1} \cdot \ldots \cdot 1 = \frac{(2n)!!}{(2n + 1)!!}[/math] [math]I_{2n} = \frac{2n-1}{2n} \cdot \frac{2n-3}{2n-2} \cdot \ldots \cdot \frac\pi2 = \frac{(2n-1)!!}{(2n)!!} \cdot \frac\pi2[/math] Так как при [math]x \in \left[0; \frac\pi2\right][/math] [math]\sin x \geq 0[/math], [math]\sin^{n + 1} x \leq \sin^n x[/math]. Тогда [math]I_{n + 1} \leq I_n[/math] Также, [math]I_{2n+1} \leq I_{2n} \leq I_{2n-1}[/math]. Распишем это неравенство: [math]\frac{(2n)!!}{(2n+1)!!} \leq \frac\pi2 \frac{(2n-1)!!}{(2n)!!} \leq \frac{(2n-2)!!}{(2n-1)!!}[/math]. Домножим всё на [math]\frac{(2n)!!}{(2n-1)!!}[/math]. За [math]a_n[/math] обозначим то, что находится под знаком предела в формуле Валлиса. [math]a_n \leq \frac\pi2 \leq \frac{2n+1}{2n} a_n = a_n(1 + \frac1{2n})[/math] Рассмотрим разность крайних выражений: [math]a_n(1 + \frac1{2n}) - a_n = a_n\frac1{2n} \leq \frac\pi2 \frac1{2n}[/math]. Это при устремлении [math]n \to \infty[/math] стремится к [math]0[/math]: [math]0 \leq \frac\pi2 - a_n \leq \frac\pi2 \frac1{2n}[/math]

[math]\triangleleft[/math]