Страница 146 номер 15.20, ГДЗ по алгебре за 11 класс к учебнику Мерзляка углубленный уровень. Алгебра и начала математического анализа
Докажите, что \[\cos^{100} \varphi = \frac{1}{2^{99}}(\cos 100\varphi + C_{100}^{1} \cos 98\varphi + C_{100}^{2} \cos 96\varphi + \ldots + C_{100}^{50}).\]
С последним слагаемым \(C_{100}^{50}\), как в условии, равенство неверно. При \(\varphi = 0\) левая часть равна \(\cos^{100} 0 = 1\), а правая (все косинусы равны \(1\), \(C_{100}^0 = 1\) — коэффициент при \(\cos 100\varphi\)) равна \(\frac{1}{2^{99}}\left(C_{100}^0 + C_{100}^1 + C_{100}^2 + \ldots + C_{100}^{49} + C_{100}^{50}\right)\).
По формуле бинома Ньютона \(C_{100}^0 + C_{100}^1 + \ldots + C_{100}^{100} = (1 + 1)^{100} = 2^{100}\). Так как \(C_{100}^k = C_{100}^{100 - k}\), то \(2\left(C_{100}^0 + C_{100}^1 + \ldots + C_{100}^{49}\right) + C_{100}^{50} = 2^{100}\) и \(C_{100}^0 + C_{100}^1 + \ldots + C_{100}^{49} = 2^{99} - \frac{1}{2}C_{100}^{50}\). При \(\varphi = 0\) правая часть равна \[\frac{1}{2^{99}}\left(2^{99} - \frac{1}{2}C_{100}^{50} + C_{100}^{50}\right) = 1 + \frac{C_{100}^{50}}{2^{100}}.\] Это число больше \(1\), поэтому напечатанное равенство неверно.
Докажем равенство с последним слагаемым \(\frac{1}{2}C_{100}^{50}\). Пусть \(z = \cos \varphi + i\sin \varphi\). Тогда \(\overline{z} = \cos \varphi - i\sin \varphi = \cos(-\varphi) + i\sin(-\varphi)\), \(z + \overline{z} = 2\cos \varphi\) и \(z\overline{z} = |z|^2 = 1\). По формуле Муавра при любом натуральном \(m\) \[z^m + \overline{z}^m = (\cos m\varphi + i\sin m\varphi) + (\cos(-m\varphi) + i\sin(-m\varphi)) = 2\cos m\varphi.\] По формуле бинома Ньютона \[\begin{aligned} &(z + \overline{z})^{100} = z^{100} + C_{100}^1 z^{99}\overline{z} + C_{100}^2 z^{98}\overline{z}^2 + \ldots + {} \\ &+ C_{100}^{98} z^2\overline{z}^{98} + C_{100}^{99} z\overline{z}^{99} + \overline{z}^{100}. \end{aligned}\] Среднее слагаемое равно \(C_{100}^{50} z^{50}\overline{z}^{50} = C_{100}^{50}(z\overline{z})^{50} = C_{100}^{50}\). Слагаемые \(C_{100}^k z^{100 - k}\overline{z}^k\) и \(C_{100}^{100 - k} z^k\overline{z}^{100 - k}\), где \(k = 0, 1, \ldots, 49\), равноотстоят от концов суммы; так как \(C_{100}^{100 - k} = C_{100}^k\) и \(z\overline{z} = 1\), их сумма равна \[C_{100}^k\left(z^{100 - 2k} + \overline{z}^{100 - 2k}\right) = 2C_{100}^k\cos(100 - 2k)\varphi.\] Следовательно, \[\begin{aligned} &(z + \overline{z})^{100} = 2\cos 100\varphi + 2C_{100}^1\cos 98\varphi + 2C_{100}^2\cos 96\varphi + {} \\ &+ \ldots + 2C_{100}^{49}\cos 2\varphi + C_{100}^{50}. \end{aligned}\] Так как \((z + \overline{z})^{100} = 2^{100}\cos^{100} \varphi\), то \[\begin{aligned} &\cos^{100} \varphi = \frac{(z + \overline{z})^{100}}{2^{100}} = {} \\ &= \frac{1}{2^{99}}\Bigl(\cos 100\varphi + C_{100}^1\cos 98\varphi + C_{100}^2\cos 96\varphi + {} \\ &+ \ldots + C_{100}^{49}\cos 2\varphi + \frac{1}{2}C_{100}^{50}\Bigr). \end{aligned}\]
Ответ: с последним слагаемым \(C_{100}^{50}\), как в условии, равенство неверно (при \(\varphi = 0\) левая часть равна \(1\), а правая — \(1 + \frac{C_{100}^{50}}{2^{100}}\)); с последним слагаемым \(\frac{1}{2}C_{100}^{50}\) равенство верно при любом \(\varphi\).
Докажите, что \[\cos^{100} \varphi = \frac{1}{2^{99}}(\cos 100\varphi + C_{100}^{1} \cos 98\varphi + C_{100}^{2} \cos 96\varphi + \ldots + C_{100}^{50}).\]
С последним слагаемым \(C_{100}^{50}\), как в условии, равенство неверно. Подставим \(\varphi = 0\): левая часть равна \(\cos^{100} 0 = 1\), а в правой части все косинусы равны \(1\), и она равна \(\frac{1}{2^{99}}\left(C_{100}^0 + C_{100}^1 + C_{100}^2 + \ldots + C_{100}^{49} + C_{100}^{50}\right)\), где \(C_{100}^0 = 1\) — коэффициент при \(\cos 100\varphi\).
Найдём эту сумму. По формуле бинома Ньютона \((a + b)^n = C_n^0 a^n + C_n^1 a^{n - 1}b + \ldots + C_n^n b^n\); при \(a = b = 1\), \(n = 100\) получаем \(C_{100}^0 + C_{100}^1 + \ldots + C_{100}^{100} = 2^{100}\). Так как \(C_{100}^k = C_{100}^{100 - k}\), слагаемые этой суммы, равноотстоящие от её концов, равны, поэтому \(2\left(C_{100}^0 + C_{100}^1 + \ldots + C_{100}^{49}\right) + C_{100}^{50} = 2^{100}\) и \(C_{100}^0 + C_{100}^1 + \ldots + C_{100}^{49} = 2^{99} - \frac{1}{2}C_{100}^{50}\). Тогда при \(\varphi = 0\) правая часть равна \[\frac{1}{2^{99}}\left(2^{99} - \frac{1}{2}C_{100}^{50} + C_{100}^{50}\right) = 1 + \frac{C_{100}^{50}}{2^{100}}.\] Это число больше \(1\), поэтому напечатанное равенство неверно.
Докажем равенство с последним слагаемым \(\frac{1}{2}C_{100}^{50}\): \[\begin{aligned} &\cos^{100} \varphi = \frac{1}{2^{99}}\Bigl(\cos 100\varphi + C_{100}^1\cos 98\varphi + C_{100}^2\cos 96\varphi + {} \\ &+ \ldots + C_{100}^{49}\cos 2\varphi + \frac{1}{2}C_{100}^{50}\Bigr). \end{aligned}\]
Пусть \(z = \cos \varphi + i\sin \varphi\). Тогда \(\overline{z} = \cos \varphi - i\sin \varphi = \cos(-\varphi) + i\sin(-\varphi)\), \(z + \overline{z} = 2\cos \varphi\) и \(z\overline{z} = |z|^2 = 1\). По формуле Муавра при любом натуральном \(m\) \[z^m + \overline{z}^m = (\cos m\varphi + i\sin m\varphi) + (\cos(-m\varphi) + i\sin(-m\varphi)) = 2\cos m\varphi.\]
По формуле бинома Ньютона \[\begin{aligned} &(z + \overline{z})^{100} = z^{100} + C_{100}^1 z^{99}\overline{z} + C_{100}^2 z^{98}\overline{z}^2 + \ldots + {} \\ &+ C_{100}^{98} z^2\overline{z}^{98} + C_{100}^{99} z\overline{z}^{99} + \overline{z}^{100}. \end{aligned}\] Среднее слагаемое равно \(C_{100}^{50} z^{50}\overline{z}^{50} = C_{100}^{50}(z\overline{z})^{50} = C_{100}^{50}\). Слагаемые \(C_{100}^k z^{100 - k}\overline{z}^k\) и \(C_{100}^{100 - k} z^k\overline{z}^{100 - k}\), где \(k = 0, 1, \ldots, 49\), равноотстоят от концов суммы; так как \(C_{100}^{100 - k} = C_{100}^k\) и \(z\overline{z} = 1\), их сумма равна \[C_{100}^k\left(z^{100 - 2k} + \overline{z}^{100 - 2k}\right) = 2C_{100}^k\cos(100 - 2k)\varphi.\]
Следовательно, \[\begin{aligned} &(z + \overline{z})^{100} = 2\cos 100\varphi + 2C_{100}^1\cos 98\varphi + 2C_{100}^2\cos 96\varphi + {} \\ &+ \ldots + 2C_{100}^{49}\cos 2\varphi + C_{100}^{50}. \end{aligned}\] Так как \((z + \overline{z})^{100} = 2^{100}\cos^{100} \varphi\), получаем \[\begin{aligned} &\cos^{100} \varphi = \frac{(z + \overline{z})^{100}}{2^{100}} = {} \\ &= \frac{1}{2^{99}}\Bigl(\cos 100\varphi + C_{100}^1\cos 98\varphi + C_{100}^2\cos 96\varphi + {} \\ &+ \ldots + C_{100}^{49}\cos 2\varphi + \frac{1}{2}C_{100}^{50}\Bigr). \end{aligned}\] Равенство с последним слагаемым \(\frac{1}{2}C_{100}^{50}\) доказано.
Ответ: с последним слагаемым \(C_{100}^{50}\), как в условии, равенство неверно (при \(\varphi = 0\) левая часть равна \(1\), а правая — \(1 + \frac{C_{100}^{50}}{2^{100}}\)); с последним слагаемым \(\frac{1}{2}C_{100}^{50}\) равенство верно при любом \(\varphi\).