Department of Mathematics

Colorado State University

Math 317: Homework 1

Due: Friday, September 6, 2019

You are welcome to use any result of Theorem 3.1 and 3.2 in the book if you find them helpful.

  1. Prove that .

    We prove this using induction. As a base case, we notice that \(1^3 = 1 = (1)^2\).

    Suppose now that \(1^3 + 2^3 + \cdots + k^3 = (1 + 2 + \cdots k)^2\). Then:

    So we are done by induction.

  2. Guess a formula for the sum (try evaluating for and look for patterns). Then prove that your formula is correct.

    We claim that \(1 + 3 + \cdots + (2n - 1) = n^2\).

    We prove this using induction. As a base case, we notice that \(1 = 1^2\).

    Suppose now that \(1 + 3 + \cdots + (2k - 1) = k^2\). Then:

    So we are done by induction.

  3. For each subset of below, determine both the maximum and the minimum, if they exist. If either doesn’t exist, say so. You do not need to give a rigorous proof of your answer.

    1. Maximum 5, minimum 1

    2. Maximum 1/2, minimum -1

    3. Maximum 1, minimum -1

    4. Maximum DNE, minimum DNE

    5. Maximum DNE, minimum 1/2

  4. Don’t worry about writing out any formal proofs in this problem. Decide whether each of the following statements is true. If the statement is true, you don’t need to do anything more. If the statement is false, give a concrete example (that is, a counterexample) that shows the statement failing.

    1. An irrational number is an element of . If is rational and is irrational, then is irrational.

    2. for all .

    3. A nonempty finite set always has a maximum.

    1. True. If \(r + \alpha = p/q\) for some integers \(p, q\) then \(\alpha = p/q - r\), a rational; this is a contradiction.

    2. True. Without loss of generality, assume that \(\vert a \vert \ge \vert b \vert\) so that \(\vert \vert a \vert - \vert b \vert \vert = \vert a \vert - \vert b \vert\). We have that \(\vert a \vert = \vert (a-b) + b \vert \le \vert a-b \vert + \vert b \vert\) by the Triangle inequality, which is equivalent to saying that \(\vert a \vert - \vert b \vert \le \vert a - b \vert\).

    3. True. This is a fact about maximums; since the set is finite, a maximum can always be found in finite time (just look through all elements).

  5. Let be a nonempty set of real numbers which has a minimum. Let be the set . Prove that

    Let \(m = \min A\). So for each \(a \in A, m \le a\). Then for any \(y=-a \in -A\), we have that \(m \le a\) and so \(-m \ge -a = y\). So \(-m = \max (-A)\) or equivalently that \(\min A = -\max(-A)\).