\documentclass[12pt]{article}

\usepackage{amsmath,amssymb, setspace}

%\pagestyle{empty}

\topmargin -.8in
\textheight 9in
%\textwidth 6.5in
%\oddsidemargin 0in
%\evensidemargin 0in

%\begin{figure}[htb]
%\unitlength 1in
%\begin{picture}(4, 3.8)(0,0)%
%\put(1,0){\includegraphics[width=4in, height=3.8in]{grid2}}
%\end{picture}
%\end{figure}

%%%%%%%%
%%%%%%%%
%%%%%%%% T H E U S U A L M A T H S Y M B O L S
%%%%%%%%
%%%%%%%%

\newcommand{\cross}{\times}

\newcommand{\rationals}{\ensuremath{\mathbb Q}}
\newcommand{\reals}{\ensuremath{\mathbb R}}
\newcommand{\naturals}{\ensuremath{\mathbb N}}
\newcommand{\complex}{\ensuremath{\mathbb C}}
\newcommand{\integers}{\ensuremath{\mathbb Z}}

\newcommand{\Union}{\bigcup}
\newcommand{\union}{\cup}
\newcommand{\Intersect}{\bigcap}
\newcommand{\intersect}{\cap}

\newcommand{\isom}{\cong}

\newcommand{\andd}{\wedge}
\newcommand{\orr}{\vee}
\newcommand{\nott}{\neg}
\renewcommand{\implies}{\rightarrow}
\renewcommand{\iff}{\leftrightarrow}
\newcommand{\qed}{\hspace{1ex}$\blacksquare$}

\setstretch{2.5}

\begin{document}
\begin{singlespace}

\begin{center}
Ben Reiner\\
{Mathematics 324}\\
Spring 2017\\
Homework 1
%
%n
%
\end{center}

\ \\First draft due in class 27 January 2017\\

Final version due in class 1 February 2017

\vskip .2in
\hrule
\vskip .2in

Look at the file HW01.tex to see the code that produces the answers to the first
couple of questions in \LaTeX, and then write out your own answers to questions 3
and 4. Remember to use the control sequences (the things that start with \verb&\&)
to produce fractions and fancy mathematical symbols. Mathematical stuff needs to
be enclosed in \verb&$&'s, like this: \verb&$2^2 + 5 = \frac{27}{3}$&, which
produces $2^2 + 5 = \frac{27}{3}$. Check out the internet resources. You will
probably want to write your solutions using {\tt sharelatex.com} or {\tt
overleaf.com}, but I would suggest that you begin by pasting {\tt HW01.tex} into
your document, as it is set up to control the line spacing in a way that I like.

Your first draft will be commented upon and returned at the next class period.
Then you'll have the chance to fix your mathematics, clean up your typing, and
resubmit a final copy.

You will submit your work in two formats. In class, I'd like a printed version of
your typeset solutions. But also please email me the {\tt .tex} file that produces
your solutions. The email that you send me with that file attached {\em must}\/
have the subject line

\centerline{{\tt Math 324 Homework}.}

If you don't have the right subject line, I do not guarantee that I will be able to
find your submission in and amongst the vast piles of spam email that I get every
day.
\medskip

\hspace*{\fill}
\hrulefill
\hspace*{\fill}
\medskip
{\begin{center}
Please make sure that the typeset version of your solution has your name at the top
of the first page!
\end{center}}

\medskip

\hspace*{\fill}
\hrulefill
\hspace*{\fill}
\medskip

A word about late homework. Above and beyond the penalties that will be assessed
for late work as outlined in the syllabus, if your first draft is late I cannot
guarantee that I can review it in a timely fashion for you. Thus, you may have to
submit your final version without my comments on your first draft. So, don't be
late.

%I should make clear at this time my policy about late homework. Homework comes
with a date and a time at which it is due.
% Late homework will be charged a penalty at the following rate:
% \begin{itemize}
%
%\item Less than one hour late---no charge.
%
% \item Between 1 and 24 hours late---you are charged 20\% of your earned
%points
%
% \item Between 24 and 48 hours late---you are charged 50\% of your earned
% points
%
% \item $>48$ hours late---you are charged 75\% of your earned points
%
% \end{itemize}
% Of course, if you are ill or have an emergency and notify me
% about it {\bf before} the assignment is due, the Imperial Potentate
% has the power, at his discretion,
% to lessen or waive the above penalties.

\end{singlespace}
\newpage
\begin{enumerate}

\item Prove that $\{3, 4, 5\}$ is a Pythagorean Triple.

\begin{quotation}
We know that a triple of numbers $\{a, b, c\}$ is a Pythagorean Triple if and only
if the square of one of the numbers is the sum of the squares of the other two
numbers. Rapid mental calculation informs us that $3^2 + 4^2 = 5^2$. So we
conclude that $\{3,4,5\}$ is Pythagorean Triple.\qed

\end{quotation}
\item Show that if $k$ is an even number greater than two, then $k$ is not prime.

\begin{quotation}
Certainly if $k$ is even, then by definition there is an integer $j$ such that $k =
2j$. So, as $k$ is divisible by a natural number that is neither $k$ nor 1
(namely 2), $k$ is not prime.\qed
\end{quotation}

\item \begin{singlespace}
In Abbott, do Exercise 1.3.9(a).
\end{singlespace}

\begin{quotation}
%%%% Insert your proof between this line and the next comment line.
We will prove that if sup$A$ $<$ sup$B$, there is an element $b \in B$ that is an
upper bound of $A$. Assume that sup$A$ $<$ sup$B$. Since sup$(A)$ $<$ sup$B$, by
definition of sup we know that sup$A$ is not an upper bound of $B$. This then
implies there is a $b \in B$ that is greater than the sup$A$. So then if we look at
any $a \in A$ by definition of sup$A$ we have $a<$ sup$A$ $< b$. Which is the
definition of an upper bound. \qed
% This is the next comment line...
\end{quotation}

\item \begin{singlespace}
Read Exercise 1.3.5. In a similar vein, consider the following: Suppose that $A$ is
a nonempty subset of the reals that is bounded above. Define
\[ \sqrt{A} = \{ \sqrt{a} \mid a \in A\}.\]
What can you state and prove about $\sup \sqrt{A}$?
\end{singlespace}

\begin{quotation}
%%%% Insert your proof between this line and the next comment line.
We can state that if sup($\sqrt[]{A})= $$\sqrt {sup A}$. Consider $\sqrt
{a}=$sup$\sqrt[]{A}$ if we then consider squaring $a$ we have that $a$=sup$A$ which
then shows that if we take the square root of sup$A$. We then have sup($\sqrt[]
{A})= $$\sqrt {sup A}$. \qed
% This is the next comment line...
\end{quotation}

\end{enumerate}
\end{document}