![Proof Methods Showcase (MAT 3100 assignment template)](https://writelatex.s3.amazonaws.com/published_ver/12419.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240901T124303Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240901/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=67ebb6317598a088ba585aacee672de8327b312f3ef18ba34f9d542ce75e4940)
Proof Methods Showcase (MAT 3100 assignment template)
Author
The BFG
Last Updated
5 years ago
License
Creative Commons CC BY 4.0
Abstract
MAT 3100 assignment template
![Proof Methods Showcase (MAT 3100 assignment template)](https://writelatex.s3.amazonaws.com/published_ver/12419.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240901T124303Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240901/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=67ebb6317598a088ba585aacee672de8327b312f3ef18ba34f9d542ce75e4940)
MAT 3100 assignment template
\documentclass{article}
\usepackage[utf8]{inputenc}
\usepackage{amsthm,amssymb,amsmath}
\newtheorem*{theorem}{Theorem}
\newcommand{\NN}{\mathbb{N}}
\newcommand{\ZZ}{\mathbb{Z}}
\newcommand{\RR}{\mathbb{R}}
\newcommand{\QQ}{\mathbb{Q}}
\newcommand{\CC}{\mathbb{C}}
\title{Proof Methods Showcase}
\author{Me} % Replace Me with your name!
\date{\today}
\begin{document}
\maketitle
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{Direct Proof}
Replace this text with a few sentences describing the process for this type of proof and when you might use this method. (Reviewing Section 3.6 can help.)
\begin{theorem}
Replace this text with the theorem statement.
\end{theorem}
\begin{proof}
Write your proof here.
\end{proof}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{Proof by Contrapositive}
Replace this text with a few sentences describing the process for this type of proof and when you might use this method. (Reviewing Section 3.6 can help.)
\begin{theorem}
Replace this text with the theorem statement.
\end{theorem}
\begin{proof}
Write your proof here.
\end{proof}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{Proof by Contradiction}
Replace this text with a few sentences describing the process for this type of proof and when you might use this method. (Reviewing Section 3.6 can help.)
\begin{theorem}
Replace this text with the theorem statement.
\end{theorem}
\begin{proof}
Write your proof here.
\end{proof}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{Proof by Mathematical Induction}
Replace this text with a few sentences describing the process for this type of proof and when you might use this method.
\begin{theorem}
Replace this text with the theorem statement.
\end{theorem}
\begin{proof}
Write your proof here.
\end{proof}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section*{Some LaTeX Commands}
Here are some example sentences using LaTeX commands:\\
If $a\equiv 2\pmod{3}$, then $a^2\equiv 1\pmod 3$.\\
If $x$ and $y$ are positive real numbers, the arithmetic mean is $\dfrac{x+y}{2}$ and the geometric mean is $\sqrt{xy}$.\\
The union of two sets is $A\cup B$ and the intersection of two sets is $A\cap B$.\\
Let $(x,y)\in A\times B$.\\
Let $f:\mathbb{R}\to\mathbb{R}$ be defined by $f(x)=x^{2019}$.\\
In set-builder notation, the set of all odd integers is $\{2k+1\mid k\in\mathbb{Z}\}$.\\
Suppose that
\[1+3+5+\cdots+(2k-1) = k^2.\]
Note that if $a=2k$, then
\begin{align*}
a^2+3a+5 &= (2k)^2+3(2k)+5 \\
&= 4k^2+6k+4+1 \\
&= 2(2k^2+3k+2)+1.
\end{align*}
If $g\circ f$ is surjective, then $g$ is surjective.\\
Note that $\NN\subseteq \ZZ\subseteq \QQ\subseteq\RR\subseteq\CC$.
\end{document}