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:

1. \(\,\) \begin{align*} && \ln f(x) &= x \ln x \\ &&&> \ln x \quad (\text{if } 0 < x < 1)\\ \Rightarrow && f(x) &> x\quad\quad (\text{if } 0 < x < 1)\\ \Rightarrow && x^{f(x)} &< x^x \\ && g(x) &< f(x) \\ && 1&>f(x) \\ \Rightarrow && x &< x^{f(x)} = g(x) \end{align*}
2. \(\,\) \begin{align*} && f(x) &= e^{x \ln x} \\ \Rightarrow && f'(x) &= (\ln x + 1)e^{x \ln x} \\ \Rightarrow && f'(x) = 0 &\Leftrightarrow x = \frac1e \end{align*}
3. \(\,\) \begin{align*} && \lim_{x \to 0} f(x) &= \lim_{x \to 0} \exp \left ( x \ln x \right ) \\ &&&= \exp \left ( \lim_{x \to 0} \left ( x \ln x \right )\right) \\ &&&= \exp \left ( 0 \right) = 1\\ \\ && \lim_{x \to 0} g(x) &= \lim_{x \to 0} \exp \left ( f(x) \ln x\right) \\ &&&= \exp \left (\lim_{x \to 0} \ln x f(x)\right) \\ &&&= \exp \left (\lim_{x \to 0} \ln x \lim_{x \to 0}f(x)\right) \\ &&&= \exp \left (\lim_{x \to 0} \ln x\right) \\ &&&= 0 \end{align*}
4. \(y = x^{-1} + \ln x \Rightarrow y' = -x^{-2} + x^{-1}\) which has roots at \(x =1\), therefore the minimum value is \(1\). (We can see it's a minimum by considering \(x \to 0, x \to \infty\). So \begin{align*} && g'(x) &= x^{f(x)} \cdot (f'(x) \ln x + f(x) x^{-1})\\ &&&= x^{f(x)} \cdot f(x) \cdot ((1+\ln x) \ln x + x^{-1}) \\ &&&= x^{f(x)} \cdot f(x) \cdot (\ln x + x^{-1} + (\ln x)^2) \\ &&&\geq x^{f(x)} \cdot f(x) > 0 \end{align*}

---

Solution:

1. \(L_a : \frac{y}{x-a} = \frac{1-a-0}{0-a} = \frac{a-1}{a} \Rightarrow ay+(1-a)x = a(1-a)\) \begin{align*} && ay + (1-a)x &= a(1-a) \\ && by + (1-b)x &= b(1-b) \\ \Rightarrow && aby + b(1-a)x &= ba(1-a) \\ && aby + a(1-b)x &= ab(1-b) \\ \Rightarrow && (b-a)x &= ab(b-a) \\ \Rightarrow && x &= ab \\ && y &= \frac{a-1}{a} \cdot a(b-1) \\ &&&= (1-a)(1-b) \end{align*}
2. As \(a \to b\), \(x \to a^2, y \to 1-2a+a^2 =(1-a)^2 = (1-\sqrt{x})^2\)
3. \(\frac{\d y}{\d x} = 2(1-\sqrt{x})\cdot \left (-\tfrac12 \frac{1}{\sqrt{x}} \right) = 1 - \frac{1}{\sqrt{x}}\). Therefore the tangent when \(x = c^2, y = (1-c)^2\) is \begin{align*} && \frac{y-(1-c)^2}{x-c^2} &= 1 - \frac{1}{c} \\ \Rightarrow && cy + (1-c)x &= c(c-1)+c(1-c)^2 \\ &&&= c(1-c) \end{align*} Which is an equation of the form \(L_c\)

---

Solution:

1. Since \(k \geq 1\) we have \(n^{k+1} > n^k\) and \((k+1) > k\), therefore \((k+1)n^{k+1} >kn^k \Rightarrow \frac{1}{(k+1)n^{k+1}} < \frac{1}{kn^k}\) \begin{align*} && \ln \left ( 1 + \frac1n \right) &= \frac1n -\frac{1}{2n^2} + \frac{1}{3n^3} - \frac{1}{4n^4} + \cdots \\ &&&= \frac1n - \underbrace{\left (\frac{1}{2n^2}-\frac{1}{3n^3} \right)}_{>0}- \underbrace{\left (\frac{1}{4n^4}-\frac{1}{5n^5} \right)}_{>0} - \cdot \\ &&&< \frac1n \\ \\ \Rightarrow && n \ln \left ( 1 + \frac1n \right) &< 1 \\ \Rightarrow && \ln \left ( \left ( 1 + \frac1n \right)^n \right) &< 1 \\ \Rightarrow && \left ( 1 + \frac1n \right)^n &< e \end{align*}
2. \(\,\) \begin{align*} &&\ln \left(\frac{2y+1}{2y-1}\right) &= \ln \left (1 + \frac{1}{2y} \right)-\ln \left (1 - \frac{1}{2y} \right) \\ &&&= \frac{1}{2y} - \frac{1}{2(2y)^2} + \frac{1}{3(2y)^3} - \cdots - \left (-\frac{1}{2y} - \frac{1}{2(2y)^2} - \frac{1}{3(2y)^3} - \cdots \right) \\ &&&= \frac{1}{y} + \frac{2}{3(2y)^3} + \frac{2}{5(2y)^5} \\ &&&= \sum_{r=1}^{\infty} \frac{2}{(2r-1)(2y)^{2r-1}} \\ &&&> \frac1y \\ \\ \Rightarrow && \ln \left (1 + \frac{1}{y-\frac12} \right) &> \frac{1}{y} \\\Rightarrow && \ln \left (1 + \frac{1}{n} \right) &> \frac{1}{n+\frac12} \\ \Rightarrow &&(n+\tfrac12) \ln \left (1 + \frac{1}{n} \right) &> 1\\ \Rightarrow && \ln \left ( \left (1 + \frac{1}{n} \right)^{n+\tfrac12} \right) &> 1\\ \Rightarrow && \left (1 + \frac{1}{n} \right)^{n+\tfrac12} & > e \end{align*}

\item Since \(\left (1 + \frac1n \right)^n\) is both bounded above, and increasing, it must tend to some limit \(L\). \begin{align*} && \lim_{n \to \infty} \left (1 + \frac1n \right)^n && \leq e &\leq & \lim_{n \to \infty} \left (1 + \frac1n \right)^{n+\frac12} \\ \Rightarrow && \lim_{n \to \infty} \left (1 + \frac1n \right)^n && \leq e &\leq & \lim_{n \to \infty} \left (1 + \frac1n \right)^{n} \lim_{n \to \infty} \sqrt{1 + \frac1n} \\ \Rightarrow && \lim_{n \to \infty} \left (1 + \frac1n \right)^n && \leq e &\leq & \lim_{n \to \infty} \left (1 + \frac1n \right)^{n} \\ \end{align*} And therefore equality must hold.

---

Solution:

1. Claim \(f(t) + \frac12 t\) is an even function. Proof: Consider \(f(-t) - \frac12t\), then \begin{align*} f(-t) - \frac12t &= \frac{-t}{e^{-t}-1} - \frac12t \\ &= \frac{-te^t}{1-e^t} - \frac12 t \\ &= \frac{t(1-e^t) -t}{1-e^t} - \frac12 t \\ &= t - \frac{t}{1-e^t} - \frac12 t \\ &= \frac{t}{e^t-1} + \frac12 t \end{align*} So it is even.
2. 

   + - ↺
   Drawing the tangent to \(y = e^{-x}\) at \((0,1)\) we find that \(e^{-t} \geq (1-t)\) for all \(t\), in particular, \(e^t(1-t) \leq 1\) \(f'(t) = \frac{(e^t(1-t) -1}{(e^t-1)^2} \leq 0\) and \(f'(t) = -\frac12\) when \(t = 0\)

[Note: This is the exponential generating function for the Bernoulli numbers]

---

Solution:

1. \(\,\) \begin{align*} && \lim_{x \to 0} x^m(\ln x)^n &= \lim_{t \to \infty} (e^{-t})^m (\ln e^{-t})^n \\ &&&= \lim_{t \to \infty} e^{-mt} (-t)^n \\ &&&= (-1)^n \lim_{t \to \infty} e^{-mt} t^n = 0 \\ \\ && \lim_{x \to 0} x^x &= \lim_{x \to 0} e^{x \ln x} \\ &&&= \exp \left (\lim_{x \to 0} x \ln x \right) \\ &&&= \exp \left (0 \right) = 1 \end{align*}
2. \(\,\) \begin{align*} && I_{n} &= \int_0^1 x^m (\ln x)^n \d x \\ && I_{n+1} &= \int_0^1 x^m (\ln x)^{n+1} \d x \\ &&&= \left [\frac{x^{m+1}}{m+1} (\ln x)^{n+1} \right]_0^1 - \frac{1}{m+1} \int_0^1 x^{m+1} (n+1) (\ln x)^n \cdot x^{-1} \d x \\ &&&= 0 - \frac{1}{m+1} \lim_{x \to 0} \left (x^{m+1} (\ln x)^{n+1} \right) - \frac{n+1}{m+1} \int_0^1 x^m (\ln x)^n \d x \\ &&&= - \frac{n+1}{m+1} I_n \\ \\ && I_0 &= \int_0^1 x^m \d x = \frac{1}{m+1} \\ && I_1 &= -\frac{1}{(m+1)^2} \\ && I_2 &= \frac{2}{(m+1)^3} \\ && I_n &= (-1)^n \frac{n!}{(m+1)^{n+1}} \end{align*}
3. \(\,\) \begin{align*} && \int_0^1 x^x \d x &= \int_0^1 e^{x \ln x} \d x \\ &&&= \int_0^1 \sum_{k=0}^{\infty} \frac{x^k(\ln x)^k}{k!} \d x \\ &&&= \sum_{k=0}^{\infty} \int_0^1 \frac{x^k(\ln x)^k}{k!} \d x\\ &&&= \sum_{k=0}^{\infty} (-1)^k \frac{k!}{k!(k+1)^{k+1}}\\ &&&= \sum_{k=0}^{\infty} \frac{(-1)^k}{(k+1)^{k+1}}\\ &&&= 1 - \frac{1}{2^2} + \frac{1}{3^3} - \frac{1}{4^4} + \cdots \end{align*}

---

Solution:

\begin{align*} && V &= \lim_{n\rightarrow\infty}\left\{{1\over n+1} + {1\over n+2} + \cdots + {1\over n+n}\right\} \\ && &= \lim_{n\rightarrow\infty}\left\{\sum_{m=1}^n \frac{1}{n+m}\right\} \\ && &= \lim_{n\rightarrow\infty}\left\{\frac1n\sum_{m=1}^n \frac{1}{1+\frac{m}{n}}\right\} \\ &&&=\int_1^2 \frac{1}{x} \d x \\ &&&= \left [\ln x \right]_1^2 = \ln 2 \end{align*} \begin{align*} V &= \lim_{n\rightarrow\infty}\left\{{n\over n^2+1} + {n\over n^2+4} + \cdots + {n\over n^2+n^2}\right\} \\ &= \lim_{n\rightarrow\infty}\left\{\sum_{m=1}^n \frac{n}{n^2+m^2}\right\} \\ &= \lim_{n\rightarrow\infty}\left\{\frac{1}{n}\sum_{m=1}^n \frac{1}{1+\left (\frac{m}{n} \right)^2}\right\} \\ &= \int_0^1 \frac{1}{1+x^2} \d x \\ &= \left [\tan^{-1} x \right]_0^1 \\ &= \frac{\pi}4 \end{align*}

---

Solution: \begin{align*} && u_n &= \int_0^{\tfrac12 \pi} \sin^{n} t \, \d t \\ && &= \int_0^{\tfrac12 \pi} \sin t \sin^{n-1} t \, \d t \\ && &= \left [ -\cos t \sin^{n-1} t \right]_0^{\tfrac12 \pi} + \int_0^{\tfrac12 \pi} \cos t (n-1) \sin^{n-2} t \cos t \d t \\ && &= 0 + (n-1)\int_0^{\tfrac12 \pi} \cos^2 t \sin^{n-2} t \d t \\ && &= (n-1) \int_0^{\tfrac12 \pi}(1-\sin^2 t) \sin^{n-2} t \d t \\ && &= (n-1)u_{n-2} - (n-1)u_n \\ \Rightarrow && n u_n &= (n-1)u_{n-2} \\ \end{align*} Mutplying both sides by \(u_{n-1}\) we obtain \(nu_{n}u_{n-1}=\left(n-1\right)u_{n-1}u_{n-2}\). Therefore \(nu_nu_{n-1}\) is constant, ie is equal to \(\displaystyle u_1u_0 = \int_0^{\tfrac12 \pi} \sin^{1} t \, \d t \int_0^{\tfrac12 \pi} \sin^{0} t \, \d t = 1 \cdot \frac{\pi}{2} = \frac{\pi}{2}\)

Since \(0 < \sin t < 1\) for \(t \in (0, \tfrac{\pi}{2})\) we must have \(0 < \sin^n t < \sin^{n-1} t\), in particular \(0 < u_n < u_{n-1}\) Therefore \begin{align*} && nu_{n}u_{n-1} &= \tfrac{1}{2}\pi \\ \Rightarrow && nu_n u_n &< \tfrac{1}{2}\pi \tag{\(u_n < u_{n-1}\)} \\ \Rightarrow && nu_{n-1} u_{n-1} &> \tfrac{1}{2}\pi \tag{\(u_n < u_{n-1}\)} \\ \Rightarrow && nu_n^2 &< \tfrac12 \pi < n u_{n-1}^2 \end{align*} However we also have \(\tfrac12 \pi < (n+1)u_n^2\) (by considering the next inequality), so \(\left ( \frac{n}{n+1}\right) \tfrac12 \pi < n u_n^2 < \tfrac12 \pi\) but since as \(n \to \infty\) the right hand bound is constant and the left hand bound tends to \(\tfrac12 \pi\) therefore \(n u_n^2 \to \tfrac12 \pi\)

---

Solution: Claim: \(\displaystyle \sum_{r=1}^n \frac1{2^r} \tan \tfrac{\theta}{2^r} = \frac1{2^n}\cot \tfrac{\theta}{2^n} - \cot \theta\) Proof: (By Induction) Base case: \(n = 1\) \begin{align*} && LHS &= \sum_{r=1}^1 \frac1{2^r} \tan \frac{\theta}{2^r} \\ &&&= \frac1{2} \tan \frac{\theta}{2}\\ \\ && RHS &= \frac12 \cot \frac{\theta}{2} - \cot \theta \\ &&&= \frac12 \frac{1}{\tan \frac{\theta}{2}} - \frac{1-\tan^2 \frac{\theta}{2}}{2 \tan \frac{\theta}{2}} \\ &&&= \frac{1}{2} \tan \frac{\theta}{2} = LHS \end{align*} Therefore our base case is true. Assume our statement is true for some \(n=k\), then consider \(n = k+1\), ie \begin{align*} \sum_{r=1}^{k+1} \frac1{2^r} \tan \tfrac{\theta}{2^r} &= \sum_{r=1}^{k} \frac1{2^r} \tan \tfrac{\theta}{2^r} + \frac1{2^{k+1}} \tan \frac{\theta}{2^{k+1}} \\ &= \frac{1}{2^k} \cot \frac{\theta}{2^k} - \cot \theta + \frac{1}{2^{k+1}}\tan \frac{\theta}{2^{k+1}} \\ &= \frac{1}{2^{k+1}} \left (2 \cot \frac{\theta}{2^k} +\tan \frac{\theta}{2^{k+1}} \right) - \cot \theta \\ &= \frac{1}{2^{k+1}} \left (2\frac{1-\tan^2 \frac{\theta}{2^{k+1}}}{2 \tan \frac{\theta}{2^{k+1}}} + \tan \frac{\theta}{2^{k+1}} \right) - \cot \theta \\ &= \frac{1}{2^{k+1}} \cot \frac{\theta}{2^{k+1}} - \cot \theta \\ \end{align*} Therefore, since as \(x \to 0, x\cot x \to 1\) or \(x \cot \theta x \to \frac{1}{\theta}\) \begin{align*} \sum_{r=1}^{\infty}\frac{1}{2^{r}}\tan\frac{\theta}{2^{r}} &= \lim_{k\to \infty} \sum_{r=1}^{k}\frac{1}{2^{r}}\tan\frac{\theta}{2^{r}} \\ &= \lim_{k\to \infty} \left ( \frac{1}{2^{k+1}} \cot \frac{\theta}{2^{k+1}} - \cot \theta \right) \\ &= \lim_{k\to \infty}\frac{1}{2^{k+1}} \cot \frac{\theta}{2^{k+1}} - \cot \theta \\ &= \lim_{k\to \infty}\frac{1}{2^{k+1}} \cot \frac{\theta}{2^{k+1}} - \cot \theta \\ &= \lim_{k\to \infty}\frac{1}{2^{k+1}} \cot \frac{\theta}{2^{k+1}} - \cot \theta \\ &= \frac{1}{\theta} - \cot \theta \end{align*}

---

Solution:

1. \begin{align*} \lim_{n \to \infty} \frac{n}{n+1} &= \lim_{n \to \infty} \left (1 - \frac{1}{n+1} \right ) \\ &\underbrace{=}_{\text{sum of limits}} \lim_{n \to \infty} 1 - \lim_{n \to \infty} \frac{1}{n+1}\\ &= 1 \end{align*}
2. \begin{align*} \lim_{n \to \infty} \frac{5n+1}{n^2-3n+4} &= \lim_{n \to \infty} \frac{5/n + 1/n^2}{1-3/n+ 4/n^2} \\ &\underbrace{=}_{\text{ratio of limits}} \frac{\displaystyle \lim_{n \to \infty}(5/n + 1/n^2)}{\displaystyle \lim_{n \to \infty}(1-3/n+ 4/n^2)} \\ &= \frac{0}{1} = 0 \end{align*}
3. \begin{align*} && \lvert \frac{\sin n}{n} \rvert &\leq \frac{1}{n} \quad \quad (n \geq 1) \\ \Rightarrow && \lim_{n \to \infty} \lvert \frac{\sin n}{n} \rvert &\leq \lim_{n \to \infty}\frac{1}{n} \\ &&&= 0\\ \Rightarrow && \lim_{n \to \infty} \frac{\sin n}{n} &= 0 \end{align*}
4. First note that \(\displaystyle \lim_{x \to 0} \frac{\sin x}{x} \to 1\), then \(\frac1n\) is a sequence converging to zero, therefore \(\frac{\sin 1/n}{1/n}\) also must tend to \(1\).
5. Note that \(\lim_{x \to \infty} \tan^{-1} x = \frac{\pi}{2}\) and since \(n\) is a sequence tending to infinity we must have \(\lim_{n \to \infty} \tan^{-1} n = \frac{\pi}{2}\)
6. \begin{align*} \lim_{n \to \infty} \dfrac{\sqrt{n+1}-\sqrt{n}}{\sqrt{n+2}-\sqrt{n}} &= \lim_{n \to \infty} \dfrac{\frac{1}{\sqrt{n+1}+\sqrt{n}}}{\frac{2}{\sqrt{n+2}+\sqrt{n}}} \\ &= \frac12 \lim_{n \to \infty} \dfrac{\sqrt{n+2}+\sqrt{n}}{\sqrt{n+1}+\sqrt{n}}\\ &= \frac12 \lim_{n \to \infty} \dfrac{\sqrt{1+2/n}+\sqrt{1}}{\sqrt{1+1/n}+\sqrt{1}}\\ &= \frac12 \end{align*}