Problems

Filters
Clear Filters

137 problems found

1987 Paper 3 Q7
D: 1500.0 B: 1500.0
sequences series convergence Taylor series integration inequality arctan remainder estimation Leibniz formula for pi proof

Prove that \[ \tan^{-1}t=t-\frac{t^{3}}{3}+\frac{t^{5}}{5}-\cdots+\frac{(-1)^{n}t^{2n+1}}{2n+1}+(-1)^{n+1}\int_{0}^{t}\frac{x^{2n+2}}{1+x^{2}}\,\mathrm{d}x. \] Hence show that, if \(0\leqslant t\leqslant1,\) then \[ \frac{t^{2n+3}}{2(2n+3)}\leqslant\left|\tan^{-1}t-\sum_{r=0}^{n}\frac{(-1)^{r}t^{2r+1}}{2r+1}\right|\leqslant\frac{t^{2n+3}}{2n+3}. \] Show that, as \(n\rightarrow\infty,\) \[ 4\sum_{r=0}^{n}\frac{(-1)^{r}}{(2r+1)}\rightarrow\pi, \] but that the error in approximating \(\pi\) by \({\displaystyle 4\sum_{r=0}^{n}\frac{(-1)^{r}}{(2r+1)}}\) is at least \(10^{-2}\) if \(n\) is less than or equal to \(98\).

Solution: We start by noticing that \(\displaystyle \tan^{-1} t = \int_0^t \frac{1}{1+x^2} \d x\). Consider the geometric series \(1-x^2+(-x^2)^2+ \cdots + (-x^2)^n = \frac{1-(-x^2)^{n+1}}{1+x^2}\). Therefore, \((1+x^2)(1-x^2+(-x^2)^2+ \cdots + (-x^2)^n) = 1-(-x^2)^{n+1}\) or \(1 = (1+x^2)(1-x^2+x^4-\cdots+(-1)^nx^{2n}) +(-1)^{n+1}x^{2n+2}\) \begin{align*} \tan^{-1} t &= \int_0^t \frac{1}{1+x^2} \d x \\ &= \int_0^t \frac{(1+x^2)(1-x^2+x^4-\cdots+(-1)^nx^{2n}) +(-1)^{n+1}x^{2n+2}}{x^2+1} \d x \\ &= \int_0^t (1-x^2+x^4-\cdots+(-1)^nx^{2n})\d x + \int_0^t \frac{(-1)^{n+1}x^{2n+2}}{x^2+1} \d x \\ &= t - \frac{t^3}{3}+\frac{t^5}{5}-\cdots + (-1)^n \frac{t^{2n+1}}{2n+1}+\int_0^t \frac{(-1)^{n+1}x^{2n+2}}{x^2+1} \d x \\ &= \sum_{r=0}^n \frac{(-1)^r t^{2r+1}}{2r+1} + \int_0^t \frac{(-1)^{n+1}x^{2n+2}}{x^2+1} \d x \\ \end{align*} Therefore we can say (for \(0 \leq t \leq 1\)) \begin{align*} \left | \tan^{-1} t - \sum_{r=0}^n \frac{(-1)^r t^{2r+1}}{2r+1} \right | &= \left | \int_0^t \frac{(-1)^{n+1}x^{2n+2}}{x^2+1} \d x \right | \\ &\leq \left | \int_0^t x^{2n+2} \d x \right | \\ &= \frac{t^{2n+3}}{2n+3} \\ \\ \left | \tan^{-1} t - \sum_{r=0}^n \frac{(-1)^r t^{2r+1}}{2r+1} \right | &= \left | \int_0^t \frac{(-1)^{n+1}x^{2n+2}}{x^2+1} \d x \right | \\ &\geq \left | \int_0^t \frac{(-1)^{n+1}x^{2n+2}}{1+1} \d x \right | \\ &= \frac{t^{2n+3}}{2(2n+3)} \\ \end{align*} Since \(\tan^{-1} 1 = \frac{\pi}{4}\) we must have that: \begin{align*} \lim_{n \to \infty} \left | \frac{\pi}{4} - \sum_{r=0}^{n}\frac{(-1)^{r}}{(2r+1)} \right | \to 0 \Rightarrow \lim_{n \to \infty} 4\sum_{r=0}^{n}\frac{(-1)^{r}}{(2r+1)} \to \pi \end{align*} However, \begin{align*} && \left | 4\sum_{r=0}^{n}\frac{(-1)^{r}}{(2r+1)} - \pi \right | &\geq 4 \frac{1}{2(2n+3)} \\ && &= \frac{2}{2n+3} \\ \\ && \frac{2}{2n+3} \geq 10^{-2} \\ \Leftrightarrow && 200 \geq 2n+3 \\ \Leftrightarrow && 197 \geq 2n \\ \Leftrightarrow && 98.5 \geq n \\ \end{align*} Therefore we need more than \(98\) terms to get two decimal places of accuracy. Not great!

View
1987 Paper 3 Q9
D: 1500.0 B: 1500.0
groups direct product abelian group subgroup isomorphism cyclic group permutation group group axioms proof

Let \((G,*)\) and \((H,\circ)\) be two groups and \(G\times H\) be the set of ordered pairs \((g,h)\) with \(g\in G\) and \(h\in H.\) A multiplication on \(G\times H\) is defined by \[ (g_{1},h_{1})(g_{2},h_{2})=(g_{1}*g_{2},h_{1}\circ h_{2}) \] for all \(g_{1},g_{2}\in G\) and \(h_{1},h_{2}\in H\). Show that, with this multiplication, \(G\times H\) is a group. State whether the following are true or false and prove your answers.

  1. \(G\times H\) is abelian if and only if both \(G\) and \(H\) are abelian.
  2. \(G\times H\) contains a subgroup isomorphic to \(G\).
  3. \(\mathbb{Z}_{2}\times\mathbb{Z}_{2}\) is isomorphic to \(\mathbb{Z}_{4}.\)
  4. \(S_{2}\times S_{3}\) is isomorphic to \(S_{6}.\)
{[}\(\mathbb{Z}_{n}\) is the cyclic group of order \(n\), and \(S_{n}\) is the permutation group on \(n\) objects.{]}

Solution: Claim: \(G \times H\) is a group. (Called the product group). Proof: Checking the group axioms:

  1. (Closure) is inherited from \(G\) and \(H\), since \(g_1 * g_2 \in G\) and \(h_1 \circ h_2 \in H\)
  2. (Associativity) \begin{align*} (g_1, h_1)\l (g_2, h_2)(g_3,h_3)\r &= (g_1, h_1)(g_2 *g_3, h_2 \circ h_3) \\ &= (g_1*(g_2 *g_3), h_1 \circ (h_2 \circ h_3)) \\ &= ((g_1*g_2) *g_3), (h_1 \circ h_2) \circ h_3) \\ &= (g_1*g_2, h_1 \circ h_2)(g_3, h_3) \\ &= \l(g_1, h_1)(g_2, h_2) \r(g_3,h_3) \end{align*}
  3. (Identity) Consider \((e_G, e_H)\), then \((e_G, e_H)(g,h) = (g,h) = (g,h)(e_G, e_H)\)
  4. (Inverses) If \((g,h) \in G \times H\) then consider \((g^{-1}, h^{-1})\) and we have \((g^{-1}, h^{-1})(g,h) = (e_G,e_H) = (g,h)(g^{-1}, h^{-1})\)
  • Claim: \(G \times H\) is abelian iff \(G\) and \(H\) are. Proof: \(\Rightarrow\) Suppose \(g_1, g_2 \in G\) and \(h_1, h_2 \in H\) then \((g_1, g_2)(h_1,h_2) = (g_1 * g_2, h_1 \circ h_2) = (h_1,h_2)(g_1, g_2) = (g_2 * g_1, h_2 \circ h_1)\) so \(g_1*g_2 = g_2*g_1\) and \(h_1 \circ h_2 = h_2 \circ h_1\), therefore \(G\) and \(H\) are commutative. \(\Leftarrow\) If \(H\) and \(G\) are commutative then: \((g_1, g_2)(h_1,h_2) = (g_1 * g_2, h_1 \circ h_2) = (g_2 * g_1, h_2 \circ h_1) = (h_1,h_2)(g_1, g_2)\) so \(G \times H\) is commutative.
  • Claim: \(G\times H\) contains a subgroup isomorphic to \(G\). Consider the subset \(S = \{(g,e_H) : g \in G \}\). Then this is a subgroup isomorphic to \(G\) with isomorphism given by \(\phi : S \to G\) by \(\phi((g,e_H)) = g\)
  • If \(x \in \mathbb{Z}_2 \times \mathbb{Z}_2\) then \(x^2 = e\), but \(1\) does not have order 2 in \(\mathbb{Z}_4\)
  • \(S_2 \times S_3\) has order \(2 \times 6 = 12\). \(S_6\) has order \(6! \neq 12\)

View