Problems

Solution:

1. \begin{align*}\cos(\frac{\pi}{9}) \cos(\frac{2\pi}{9}) \cos(\frac{4\pi}{9}) &= \frac{\sin(\frac{2\pi}{9}) \cos(\frac{2\pi}{9}) \cos(\frac{4\pi}{9})}{2 \sin \frac{\pi}{9}} \\ &= \frac{\sin(\frac{4\pi}{9})\cos(\frac{4\pi}{9})}{4 \sin \frac{\pi}{9}} \\ &= \frac{\sin(\frac{8\pi}{9})}{8 \sin \frac{\pi}{9}} \\ &= \frac{1}{8} \end{align*}
2. Let \(\displaystyle P_n = \prod_{k=0}^{n} \cos\left(\frac{x}{2^k}\right)\). Claim: \(P_n = \frac{\sin 2x}{2^{n+1} \sin \l \frac{x}{2^n} \r}\). Proof: This is true for \(n = 0\), assume true for \(n-1\) \begin{align*} \sin\l \frac{x}{2^{n}} \r P_n &= P_{n-1} \cos\l \frac{x}{2^{n}} \r \sin\l \frac{x}{2^{n}} \r \\ &= P_{n-1} \frac{1}{2} \sin\l \frac{x}{2^{n-1}} \r \\ &= \frac{\sin 2x}{2^{n} \sin \l \frac{x}{2^{n-1}}\r} \frac{1}{2} \sin\l \frac{x}{2^{n}} \r \\ &= \frac{\sin 2x}{2^{n+1}} \end{align*} Hence \(P_n = \frac{\sin 2x}{2^{n+1} \sin \l \frac{x}{2^n}\r}\) Taking logs, we determine that: \begin{align*} && \sum_{k=0}^n \ln \cos \l \frac{x}{2^k} \r &= \ln \sin 2x - \ln \sin \l \frac{x}{2^n} \r - (n+1) \ln 2 \\ \Rightarrow && \sum_{k=0}^n \frac{1}{2^k} \tan \l \frac{x}{2^k} \r &= -2 \cot 2x + \frac{1}{2^n} \cot \l \frac{x}{2^n} \r - 0 \\ \end{align*} as required.
3. As \(n \to \infty\) \(\frac{x}{2^n} \to 0\), so \(\frac{\sin \frac{x}{2^n}}{\frac{x}{2^n}} = \frac{2^n \sin \frac{x}{2^n}}{x} \to 1\) \begin{align*}\prod_{k=1}^{\infty} \cos\left(\frac{x}{2^k}\right) &= \lim_{n \to \infty} \frac{\sin x}{2^n \sin \l \frac{x}{2^n} \r} \\ &= \lim_{n \to \infty} \frac{\sin x}{x \frac{2^n \sin \l \frac{x}{2^n} \r}{x} } \\ &= \lim_{n \to \infty} \frac{\sin x}{x} \\ \end{align*} \begin{align*} \sum_{j=2}^{\infty} \frac{1}{2^{j-2}} \tan\left(\frac{\pi}{2^j}\right) &= \sum_{j=0}^{\infty} \frac{1}{2^{j}} \tan\left(\frac{1}{2^j}\frac{\pi}{4}\right) \\ &= \lim_{n \to \infty} \l -2 \cot \frac{\pi}{2} + \frac{1}{2^n} \cot \l \frac{\pi}{4 \cdot 2^n} \r\r \\ &= \frac{4}{\pi} \lim_{n \to \infty} \l \frac{1}{2^n} \frac{\pi}{4} \cot \l \frac{\pi}{4 \cdot 2^n} \r\r \\ &\to \frac{\pi}{4} \end{align*}

Solution: If \(f''(x) = kf(x)f'(x)\) then we can see \begin{align*} && I &= \int [\f'(x)]^2 \,[\f(x)]^n \d x \\ &&&= \int f'(x) \cdot f'(x) [f(x)]^n \d x \\ &&&= \left[ f'(x) \cdot \frac{[f(x)]^{n+1}}{n+1} \right] - \int f''(x) \frac{[f(x)]^{n+1}}{n+1} \d x \\ &&&= \frac{1}{n+1} \left (f'(x) [f(x)]^{n+1} - \int kf'(x) [f(x)]^{n+2} \d x \right) \\ &&&= \frac{1}{n+1} \left (f'(x) [f(x)]^{n+1} - k \frac{[f(x)]^{n+3}}{n+3} \right) +C\\ &&&= \frac{[f(x)]^{n+1}}{n+1} \left ( f'(x) - \frac{k[f(x)]^2}{n+3} \right) + C \end{align*}

1. If \(f(x) = \tan x, f'(x) = \sec^2 x, f''(x) = 2 \sec^2 x \tan x = 2 \cdot f(x) \cdot f'(x)\), so \(\tan\) satisfies the conditions for the theorem. \begin{align*} && I &= \int \sec^4 x \tan^n x \d x \\ &&&= \left [\sec^2x \cdot \frac{\tan^{n+1} x}{n+1} \right] - \int 2 \sec^2 x \tan x \cdot \frac{\tan^{n+1} x}{n+1} \d x \\ &&&= \left [\sec^2x \cdot \frac{\tan^{n+1} x}{n+1} \right] - 2 \cdot \frac{\tan^{n+3} x}{(n+1)(n+3)} \\ \end{align*} So \begin{align*} && I &= \int \frac{\sin^4 x}{\cos^8 x} \d x \\ &&&= \int \tan^4 x \sec^4 x \d x \\ &&&= \int [\sec^2 x]^2 [\tan x]^4 \d x \\ &&&= \frac{\tan^{5}x}{5} \left ( \sec^2 x - \frac{2 \tan^2 x}{7} \right) + C \end{align*}
2. \begin{align*} && I &= \int \sec^2x\, (\sec x + \tan x)^6\,\d x \\ &&&= \int (\sec x (\sec x + \tan x))^2 \cdot (\sec x + \tan x )^4 \d x \\ &&&= \frac{(\sec x + \tan x)^5}{5} \left ( \sec x (\sec x + \tan x) - \frac{(\sec x + \tan x)^2}{7} \right) + C \end{align*}

Solution:

1. Since \(\tan (-x) = -\tan x\), \(\tan\) is an odd function, and in particular all it's even coefficients are zero. \begin{align*} && 2 \cot 2x &\equiv \frac{2 cos 2x}{\sin 2 x} \\ &&&\equiv \frac{2(\cos^2 x- \sin^2 x)}{2 \sin x \cos x} \\ &&&\equiv \frac{\cos x}{\sin x} - \frac{\sin x}{ \cos x} \\ &&&\equiv \cot x - \tan x \end{align*} Therefore \begin{align*} && \underbrace{\frac1x + \sum_{n=0}^\infty b_nx^n}_{\cot x} - \underbrace{\sum_{n=0}^\infty a_n x^n}_{\tan x} &= 2 \left (\underbrace{\frac{1}{2x} + \sum_{n=0}^\infty b_n(2x)^n}_{\cot 2x} \right) \\ \Rightarrow && \sum_{n=0}^\infty a_n x^n &= \sum_{n=0}^\infty b_nx^n - 2\sum_{n=0}^\infty b_n(2x)^n \\ &&&= \sum_{n=0}^{\infty}b_n(1-2^{n+1})x^n \\ [x^n]: && a_n &= (1-2^{n+1})b_n \end{align*}
2. \(\,\) \begin{align*} && \cot x + \tan x &= \frac{\cos x}{\sin x} + \frac{\sin x}{\cos x} \\ &&&= \frac{1}{\sin x \cos x} \\ &&&=2\cosec 2x \\ \\ \Rightarrow && \underbrace{\frac1x + \sum_{n=0}^\infty b_nx^n}_{\cot x} + \underbrace{\sum_{n=0}^\infty a_n x^n}_{\tan x} &= 2\left (\underbrace{ \frac1{2x} +\sum\limits _{n=0}^\infty c_n (2x)^n}_{\cosec 2x} \right) \\ \Rightarrow && \sum_{n=0}^\infty 2^{n+1}c_n x^n &= \sum_{n=0}^{\infty}(a_n+b_n)x^n \\ &&&= \sum_{n=0}^{\infty}\left((1-2^{n+1})b_n+ b_n\right)x^n \\ &&&= \sum_{n=0}^{\infty}\left(2-2^{n+1}\right)b_nx^n \\ [x^n]: && c_n &= (2^{-n}-1)b_n \end{align*}
3. \(\,\) \begin{align*} && \cot^2 x + 1 &= \cosec^2 x \\ \Rightarrow && x^2 \cot^2 x + x^2 &= x^2 \cosec^2 x \\ \Rightarrow && x^2 \left ( \underbrace{\frac1x + \sum_{n=0}^\infty b_nx^n}_{\cot x} \right)^2 + x^2 &= x^2 \left (\underbrace{ \frac1{x} +\sum\limits _{n=0}^\infty c_n x^n}_{\cosec x} \right)^2 \\ \Rightarrow && \left ( 1 + x\sum_{n=0}^\infty b_nx^{n} \right)^2 + x^2 &= \left ( 1 +x\sum\limits _{n=0}^\infty c_n x^{n} \right)^2 \\ \\ \Rightarrow && \left ( 1 + x(b_1x + b_3 x^3 + \cdots) \right)^2 + x^2 &= \left ( 1 + x(c_1x + c_3 x^3 + \cdots) \right)^2 \\ \Rightarrow && 1 + (1+2b_1)x^2+(2b_3+b_1^2)x^4 + \cdots &= 1 + 2c_1x^2 + (2c_3+c_1^2)x^4 + \cdots \\ \Rightarrow && 1 + 2b_1 &= 2(2^{-1}-1)b_1 \\ \Rightarrow && b_1 &= -\frac13 \\ \Rightarrow && a_1 &= (1-2^{2})(-\tfrac13) = 1 \\ && c_1 &= \frac16\\ \Rightarrow && 2b_3+\frac19&= 2c_3+\frac1{36} \\ \Rightarrow && 2b_3 -2(2^{-3}-1)b_3 &= -\frac{1}{12} \\ \Rightarrow && \frac{15}{4}b_3 &= -\frac{1}{12} \\ \Rightarrow && b_3 &= -\frac{1}{45} \\ \Rightarrow && a_3 &= -(1-2^4)\frac{1}{45} = \frac13 \end{align*}

Solution: Suppose \(z^7 = 1\), then we can write \(z = \cos \theta + i \sin \theta\) and we must have that: \begin{align*} 0 &= \textrm{Im}((\cos \theta + i \sin \theta)^7) \\ &= \binom{7}{6}\cos^6 \theta \sin \theta - \binom{7}{4} \cos^4 \theta \sin^3 \theta + \binom{7}{2} \cos^2 \theta \sin^5 \theta - \sin^7 \theta \\ &= 7 \cos^6 \sin \theta - 35 \cos^4 \theta \sin ^3 \theta + 21 \cos^2 \theta \sin^5 \theta - \sin^7 \theta \\ &= -\cos^7 \theta \l \tan^7 \theta - 21 \tan^5 \theta + 35 \tan^3 \theta - 7 \tan \theta\r \\ &= \cos^7 \theta \cdot t (t^7-21t^4+35t^2-7) \end{align*} Where \(t = \tan \theta\). So if \(z\) is a root of \(z^7 = 1\) and \(\cos \theta \neq 0, \tan \theta \neq 0\) then \(t\) is a root of the equation. Thererefore the roots are: \(\tan \frac{2\pi k}{7}\) where \(k = 1, 2, \ldots 6\). Noting that \(\tan \frac{\pi}7 = -\tan \frac{6\pi}{7}, \tan \frac{3\pi}{7} = -\tan \frac{4 \pi}{7}, \tan \frac{5\pi}{7} = -\tan \frac{2 \pi}{7}\) we can conclude that: \begin{align*} && 7 &= \prod_{k=1}^k \tan \frac{k \pi}{6} \\ &&&= \l \tan\frac{2\pi}{7}\tan\frac{4\pi}{7}\tan\frac{6\pi}{7} \r^2 \\ \Rightarrow&& \pm \sqrt{7} &= \tan\frac{2\pi}{7}\tan\frac{4\pi}{7}\tan\frac{6\pi}{7} \end{align*} However, we know that \(\tan \frac{2\pi}{7}\) is positive, \(\tan \frac{4\pi}{7},\tan \frac{6\pi}{7}\) are negative, therefore the result must be positive, ie \(+\sqrt{7}\) Using a similar method, we notice that: \begin{align*} 0 &= \textrm{Im} \l (\cos \theta + i \sin \theta)^n \r \\ &= \cos^n \theta \cdot t (t^{n-1} + \cdots - \binom{n}{n-1}) \end{align*} Therefore \(\prod_{k=0}^{n-1} \tan \frac{k \pi}{n} = n\) and since \(\tan \frac{(2k+1) \pi}{n} = \tan \frac{(n-2k-1)\pi}{n}\) is a map of all the odd numbers to the even numbers (and vice versa) when \(n\) is odd. We also know that the terms less where \(\tan \theta\) has \(\theta < \frac{\pi}{2}\) are positive, and the others even, we can determine the signs: \begin{align*} \tan \frac{2 \pi}{9} \tan \frac{4 \pi}{9} \tan \frac{6 \pi}{9} \tan \frac{8 \pi}{9} & = 3 \\ \tan \frac{2 \pi}{11} \tan \frac{4 \pi}{11} \tan \frac{6 \pi}{11} \tan \frac{8 \pi}{11} \tan \frac{10 \pi}{11} &= -\sqrt{11} \end{align*}