![Proof Template](https://writelatex.s3.amazonaws.com/published_ver/69.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240701T071939Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240701/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=2aee6bb19615f9dc3e54cee01f6930924c77d308e1838af4d6a6227db447961f)
Proof Template
Last Updated
11 years ago
License
Other (as stated in the work)
Abstract
Proof Template
![Proof Template](https://writelatex.s3.amazonaws.com/published_ver/69.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240701T071939Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240701/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=2aee6bb19615f9dc3e54cee01f6930924c77d308e1838af4d6a6227db447961f)
%
% Version 1: 9/24/13
%
\documentclass[letterpaper]{article}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amsthm}
\usepackage[colorinlistoftodos]{todonotes}
\usepackage{pifont}
\usepackage{mdframed,color}
\newtheoremstyle{statement}{3pt}{3pt}{}{}{\bfseries}{:}{.5em}{}
\theoremstyle{statement}
\newtheorem*{atmProp}{Proposition}
\newenvironment{atmProof}{\noindent\ignorespaces\paragraph{Proof:}}{\hfill \ding{122}\par\noindent}
%%%%% You should not need to edit anything above this line. %%%%%
\title{Proof Template} % Put the title of the assignment here...
\author{Your Name} % ... and your name here.
\begin{document}
\maketitle
%%%%% You can copy the following segment of code for each proof in the assignment. %%%%%
\begin{mdframed}[
leftmargin=1pt,
innerleftmargin=10pt,
innertopmargin=10pt,
innerbottommargin=10pt,
skipabove=15pt,
skipbelow=15pt
]
\textbf{6b) Let $a$ and $b$ be rational numbers such that $\sqrt{ab}$ is irrational. Prove that $\sqrt{a}+\sqrt{b}$ is irrational.}
\end{mdframed}
\begin{atmProp}
Statement of proposition goes here.
\end{atmProp}
\begin{atmProof}
Proof of proposition goes here.
\end{atmProof}
%%%%%%%%%%
\end{document}