2023-11-07 20:36:59 -08:00
|
|
|
% use [nosolutions] flag to hide solutions.
|
|
|
|
% use [solutions] flag to show solutions.
|
|
|
|
\documentclass[
|
|
|
|
solutions,
|
2023-11-08 15:09:41 -08:00
|
|
|
singlenumbering
|
2023-11-07 20:36:59 -08:00
|
|
|
]{../../resources/ormc_handout}
|
|
|
|
\usepackage{../../resources/macros}
|
|
|
|
|
|
|
|
\usepackage{units}
|
|
|
|
|
|
|
|
\uptitlel{Math Circle Basics}
|
2024-04-01 21:50:50 -07:00
|
|
|
\uptitler{\smallurl{}}
|
2023-11-07 20:36:59 -08:00
|
|
|
\title{Proof Techniques}
|
2024-04-01 21:50:50 -07:00
|
|
|
\subtitle{Prepared by Mark on \today{}}
|
2023-11-07 20:36:59 -08:00
|
|
|
|
|
|
|
% Default \implies is ugly
|
|
|
|
\let\implies\Rightarrow
|
|
|
|
\let\rimplies\Leftarrow
|
|
|
|
\let\iff\Leftrightarrow
|
2023-11-08 15:09:41 -08:00
|
|
|
\let\notimplies\nRightarrow
|
2023-11-07 20:36:59 -08:00
|
|
|
|
|
|
|
\begin{document}
|
|
|
|
|
|
|
|
\maketitle
|
|
|
|
|
|
|
|
\input{parts/0 intro}
|
|
|
|
\input{parts/1 contradiction}
|
|
|
|
\input{parts/2 induction}
|
|
|
|
|
|
|
|
\end{document}
|