6.11: Activities
- Page ID
- 88417
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)- Write a technical definition for the word car.
- Using only your technical definition (i.e. ignoring your common sense notions of the word car), decide whether a transport truck should be called a car. Then do the same for a train.
Note. Do not go back and modify your definition of car; test the objects transport truck and train against whatever definition you initially came up with in Task a.
- What is the point of this activity?
A square number is an integer which is equal to the square of some integer. An integer is square free if it is not divisible by any square number other than \(1\text{.}\)
- Is \(0\) a square number? Is it square free?
- Does there exist a negative square number?
- Is every negative number square free?
- Is every prime number square free?
- Is every square free number prime?
- Does there exist an integer which is both a square number and square free?
The following statement is a basic (and very useful) fact about real numbers.
Triangle Inequality: For every pair of real numbers \(x\) and \(y\text{,}\) \(\vert x+y \vert \le \vert x \vert + \vert y \vert\text{.}\)
Use the above statement to directly prove the following extended version of the inequality, without resorting to considering cases of positive/negative for any of the variables.
For every triple of real numbers \(x\text{,}\) \(y\text{,}\) and \(z\text{,}\) \(\vert x+y+z \vert \le \vert x \vert + \vert y \vert + \vert z \vert\text{.}\)
Remark. Using the two-number version of the inequality to prove the three-number version is an example of inductive reasoning, something that we will soon investigate further.
Suppose you are analyzing the rules for a complicated table-top game, and you have come to the following realization.
Given any trio of distinct wizards where the first is zapping the second, at least one of the following must also occur: the first is zapping the third or the third is zapping the second.
If you were to approach proving this statement using the advice you read on how to handle statements involving disjunction in Procedure 6.5.1, the first sentence of your proof would be
Assume \(\underline{ }\).
and the last sentence of your proof would be
Therefore \(\underline{ }\).
What is the difference between proving the contrapositive and proof by contradiction?
- A positive integer that is greater than \(1\) and not prime is called composite.
Write a technical definition for the concept of composite number with a similar level of detail as in the “more complete” definition of prime number given in Example 6.1.1.
Note. Don't just define it as “not prime.” And make sure that the equality \(7 = 1 \times 7\) can't be used to justify the statement “\(7\) is composite” by your definition (because prime \(7\) is most definitely not composite).
- Prove by proving the contrapositive: If \(2^n - 1\) is prime, then \(n\) is prime.
- Hint
-
You may find the following “difference of powers” factorization formula useful:
\begin{equation*} a^m - b^m = (a-b)(a^{m-1} + a^{m-2}b + a^{m-3}b^2 + \cdots + a^2b^{m-3} + ab^{m-2} + b^{m-1}) \text{.} \end{equation*}
- Write down a technical definition of the term rational number.
- Prove directly: The sum of two rational numbers is a rational number.
- Prove by contradiction: The sum of a rational number and an irrational number is irrational.
- Disprove by counterexample: The sum of two irrational numbers is irrational.
Refer to Activity \(\PageIndex{2}\).
- Prove that a positive number \(n\) is square free if and only if for every factorization \(n = ab\text{,}\) the integers \(a\) and \(b\) do not share a common factor other than \(1\text{.}\)
- Prove that a positive number is square free if and only if it is not divisible by the square of a prime number.
A pair of prime numbers \(p_1,p_2\) is called a twin prime pair if \(p_2 = p_1 + 2\text{.}\) A prime number is called an isolated prime if it is not part of a twin prime pair.
- Determine the first (i.e. smallest) four twin prime pairs.
- Determine the first (i.e. smallest) two isolated primes.
- Prove that if \(p, p+2\) is a twin prime pair with \(p \ge 5\text{,}\) then \(p+1\) is divisible by \(6\text{.}\)
- Prove that if \(p, p+2\) is a twin prime pair, then \(p-2,p\) and \(p+2,p+4\) cannot be twin prime pairs.