Problems

Solution:

1. For step 3, since we have assumed \(\sqrt{2}\) is rational we can write it in the form \(p/q\) with \(p, q\) coprime with \(q \geq 1\). Then \(q \in S\) since \(q\sqrt{2} = p\) which is an integer. For step 5, notice that \((\sqrt{2}-1)k\) is an integer (since \(\sqrt{2}k\) is an integer and so is \(-k\). It is also positive since \(\sqrt{2} > 1\). We must check that \((\sqrt{2}-1)k \cdot \sqrt{2} = 2k - \sqrt{2}k\) is also an integer, but clearly it is as both \(2k\) and \(-\sqrt{2}k\) are integers. Therefore \((\sqrt{2}-1)k \in S\). For step 6, notice that \((\sqrt{2}-1) < 1\) and therefore \((\sqrt{2}-1)k < k\), contradicting that \(k\) is the smallest element in our set. (And all non-empty sets of positive integers have a smallest element)
2. Claim: \(2^{\frac13}\) is irrational \(\Leftrightarrow 2^{\frac23}\) is irrational. Proof: Since \(2^{\frac13} \cdot 2^{\frac23} = 2\) if one of them is rational, then the other one must also be rational. Which is the same as them both being irrational at the same time.
   1. Assume that \(\sqrt[3]{2}\) is rational, ie \(\sqrt[3]{2} = p/q\) for some integers.
   2. \(S := \{ n \in \mathbb{Z}_{>0} : n \sqrt[3]{2} \text{ and } n \sqrt[3]{4}\in \mathbb{Z}\}\)
   3. Suppose \(k\) is the smallest element in \(S\) (which must exist, consider \(q^2\)
   4. Consider \((\sqrt[3]{2}-1)k\) then clearly this is an integer, and \((\sqrt[3]{2}-1)\sqrt[3]{2}k = \sqrt[3]{4}k - \sqrt[3]{2}k \in \mathbb{Z}\) and \((\sqrt[3]{2}-1)\sqrt[3]{4}k = 2 k -\sqrt[3]{4}k \in \mathbb{Z}\).
   5. But this is a smaller element of \(S\), contradicting that \(k\) is the smallest element. Therefore, we have a contradiction.

Solution:

1. \begin{align*} (3+2\sqrt{5})^3 &= 3^3 + 3 \cdot 3^2 \cdot 2\sqrt{5} + 3 \cdot 3 \cdot (2 \sqrt{5})^2 + (2\sqrt{5})^3 \\ &= 27 + 180 + (54+40)\sqrt{5} \\ &= 207 + 94\sqrt{5} \end{align*}
2. \begin{align*} && (c-d\sqrt{2})^3 &= c^3+6cd -(3c^2d+2d^3)\sqrt{2} \\ \Rightarrow && 99 &= c(c^2+6d^2) \\ && 70 &= d(3c^2+2d^2) \\ \Rightarrow && c & \mid 99, d \mid 70 \\ && c &= 3, d = 2 \end{align*}
3. \begin{align*} && 0 &= x^6 - 198x^3 + 1 \\ \Rightarrow && 0 &= (x^3-99)^2+1-99^2 \\ \Rightarrow && x^3 &= 99 \pm \sqrt{99^2-1} \\ &&&= 99 \pm 10 \sqrt{98} \\ &&&= 99 \pm 70 \sqrt{2} \\ \Rightarrow && x &= 3 \pm 2 \sqrt{2} \end{align*}

Solution: Claim: \(x \in \mathbb{R}\setminus \mathbb{Q} \Rightarrow x^{1/3} \in \mathbb{R} \setminus\mathbb{Q}\) Proof: We will prove the contrapositive, since \(x^{1/3} = p/q\) but then \(x = p^3/q^3 \in \mathbb{Q}\), therefore we're done. Claim: \(u_n = 5^{1/(3^n)}\) is irrational for \(n \geq 1\) Proof: We are assuming the base case, but then \(u_{n+1} = \sqrt[3]{u_n}\) which is clearly irrational by our first lemma, so we're done. Note that \(u_n \to 1\) and so \((m-1)+u_n \to m\) for any integer \(m\).

Solution: \begin{align*} && (1-1/50)^{1/2} &= 1 + \frac12 \cdot \left ( -\frac1{50} \right) + \frac1{2!} \frac12 \cdot \left ( -\frac12 \right)\cdot \left ( -\frac1{50} \right)^2 + \frac1{3!} \frac12 \cdot \left ( -\frac12 \right) \cdot \left ( -\frac32 \right)\cdot \left ( -\frac1{50} \right)^3 + \cdots \\ &&&=1-\frac{1}{100} - \frac12 \frac1{10000} -\frac12 \frac1{1000000} +\cdots \\ &&&= 0.9899495 + \cdots \\ \Rightarrow && \frac{7\sqrt{2}}{10} &\approx 0.9899495 \\ \Rightarrow && \sqrt{2} &\approx \frac{9.899495}{7} \\ &&&\approx 1.414214 \end{align*} \begin{align*} && (1 + 3/125)^{1/3} &= \frac{\sqrt[3]{125+3}}{5} \\ &&& = \frac{8\sqrt[3]{2}}{10} \\ && (1 + 3/125)^{1/3} &= 1 + \frac13 \left ( \frac{3}{125} \right) + \frac1{2!} \cdot \frac{1}{3} \cdot \left ( -\frac23\right) \left ( \frac{3}{125}\right)^2 +\cdots \\ &&&= 1+ \frac{8}{1000} - \frac{64}{1000000} \\ &&&= 1.007936 \\ \Rightarrow && \sqrt[3]{2} &= \frac{10.07936}{8} \\ &&&= 1.259920 \end{align*}