90 views

Uploaded by Ravi Mashru

A short hands-on guide on how to write a thesis in Mathematics using LaTeX.

save

- Comments on the Use of the Simple Proofs of Plane Geometry for Teaching Reasoning
- VI.3
- CS2800-Logic Part2 v.5
- geb_v3_5
- (eBook) - LaTeX - A graduate student guide to LaTeX and AMS-LaTeX.pdf
- lesson plan template 20170831 mathematical induction
- HW 3
- Proofs Meyer Rubinfeld
- l_8
- What Is Man
- Visualization in Real Analysis
- 416c4c02
- Q.E.D.
- 6 Induction
- math2syl
- Calculus: Continuity
- Geometry Assignments 2012-13
- Compositionality and Limitations
- AC65.pdf
- Cs6503 Toc Unit 1 Vb
- Algebra Textbook
- Tocoder
- kme latex talk-2018
- Making Presentations With LaTeX
- A Theology of Mathematics
- 04-pap
- Validation
- LecueNotes 21 (Math Induction)
- LaTeX Tute 2005
- On the Shapley Prevalue for Fuzzy Cooperative Games(Last Version)
- Pulse Modulation Techniques
- Ten Dimensions
- Computer Science and Engineering Course Details
- Preparing to Solve a Problem in Algebra
- Logistic functions
- Errors and Uncertainties in Physics Internal Assessments
- Displacement Velocity & Acceleration

You are on page 1of 6

**http://www.sharelatex.com/learn/Theorems_and_proofs 1/6
**

Theorems and proofs

Mathematical documents include elements that require special formatting and numbering such as theorems,

definitions, propositions, remarks, corollaries, lemmas and so on. This article explains how to define these

environments in L

A

T

E

X.

Contents

1 Introduction

2 Numbered theorems, definitions, corollaries and lemmas

3 Unnumbered theorem-like environments

4 Theorem styles

5 Proofs

6 Changing the qed symbol

7 Reference guide

8 Further reading

Introduction

Numbered environments in L

A

T

E

X can be defined by means of the command \newtheorem. An example is

presented below:

Theorems and proofs

\documentclass{article}

\usepackage[utf8]{inputenc}

\usepackage[enlgish]{babel}

\newtheorem{theorem}{Theorem}

\begin{document}

\section{Introduction}

Theorems can easily be defined

\begin{theorem}

Let $f$ be a function whose derivative exists in every point, then $f$

is a continuous function.

\end{theorem}

\end{document}

Output

The command \newtheorem{theorem}{Theorem} has two parameters, the first one is the name of the

environment that is defined, the second one is the word that will be printed, in boldface font, at the beginning of

the environment. Once this new environment is defined it can be used normally within the document, delimited it

with the marks \begin{theorem} and \end{theorem}.

Open an example in ShareLaTeX

6/16/2014 Theorems and proofs - LaTeX Reference and Guides

http://www.sharelatex.com/learn/Theorems_and_proofs 2/6

Numbered theorems, definitions, corollaries and lemmas

The numbering of the environments can be controlled by means of two additional parameter in the

\newtheorem command. Let's see:

Theorems and proofs

\documentclass{article}

\usepackage[utf8]{inputenc}

\usepackage[enlgish]{babel}

\newtheorem{theorem}{Theorem}[section]

\newtheorem{corollary}{Corollary}[theorem]

\newtheorem{lemma}[theorem]{Lemma}

\begin{document}

\section{Introduction}

Theorems can easily be defined

\begin{theorem}

Let $f$ be a function whose derivative exists in every point, then $f$ is

a continuous function.

\end{theorem}

\begin{theorem}[Pythagorean theorem]

\label{pythagorean}

This is a theorema about right triangles and can be summarised in the next

equation

\[ x^2 + y^2 = z^2 \]

\end{theorem}

And a consequence of theorem \ref{pythagorean} is the statement in the next

corollary.

\begin{corollary}

There's no right rectangle whose sides measure 3cm, 4cm, and 6cm.

\end{corollary}

You can reference theorems such as \ref{pythagorean} when a label is assigned.

\begin{lemma}

Given two line segments whose lengths are $a$ and $b$ respectively there is a

real number $r$ such that $b=ra$.

\end{lemma}

Output

There are three new environments defined in the preamble.

\newtheorem{theorem}{Theorem}[section]

This is the example presented in the introduction but it has the additional parameter [section] that

restarts the theorem counter at every new section.

\newtheorem{corollary}{Corollary}[theorem]

A environment called corollary is created, the counter of this new environment will be reset every time a

new theorem environment is used.

\newtheorem{lemma}[theorem]{Lemma}

In this case, the even though a new environment called lemma is created, it will use the same counter as

the theorem environment.

6/16/2014 Theorems and proofs - LaTeX Reference and Guides

http://www.sharelatex.com/learn/Theorems_and_proofs 3/6

Some famous theorems have their own names, for these cases you can add said name inside brackets in the

environment opening command. In the example the line \begin{theorem}[Pythagorean theorem] prints

"Pythagorean theorem" at the beginning of the paragraph.

As with many other numbered elements in L

A

T

E

X, the command \label can be used to reference theorem-like

environments within the document.

Open an example in ShareLaTeX

Unnumbered theorem-like environments

Sometimes it becomes handy to have an unnumbered theorem-like environments to add remarks, comments or

examples to a mathematical document. The package amsthm provides this functionality.

Theorems and proofs

\documentclass{article}

\usepackage[utf8]{inputenc}

\usepackage[enlgish]{babel}

\usepackage{amsthm}

\newtheorem*{remark}{Remark}

\begin{document}

Unnumbered theorem-like environments are also posible.

\begin{remark}

This statement is true, I guess.

\end{remark}

\end{document}

Output

The syntax of the command \newtheorem* is the same as the non-starred version, except for the counter

parameters. In this example a new unnumbered environment called remark is created.

Open an example in ShareLaTeX

Theorem styles

A feature that is important when working in a mathematical document is to easily tell apart, say, definitions from

theorems by its formatting. The package amsthm provide special commands to accomplish this.

6/16/2014 Theorems and proofs - LaTeX Reference and Guides

http://www.sharelatex.com/learn/Theorems_and_proofs 4/6

Theorems and proofs

\documentclass{article}

\usepackage[utf8]{inputenc}

\usepackage[enlgish]{babel}

\usepackage{amsthm}

\theoremstyle{definition}

\newtheorem{definition}{Definition}[section]

\theoremstyle{remark}

\newtheorem*{remark}{Remark}

\begin{document}

Unnumbered theorem-like environments are also possible.

\begin{remark}

This statement is true, I guess.

\end{remark}

And the next is a somewhat informal definition

\theoremstyle{definition}

\begin{definition}{Fibration}

A fibration is a mapping between two topological spaces that has the homotopy lifting property for every space

\end{definition}

\end{document}

Output

The command \theoremstyle{ } sets the styling for the numbered environment defined right below it. In the

example above the styles remark and definition are used. Notice that the remark is now in italics and the text in

the environment uses normal (Roman) typeface, the definition on the other hand also uses Roman typeface for

the text within but the word "Definition" is printed in boldface font.

See the reference guide for more theorem styles.

Open an example in ShareLaTeX

Proofs

Proofs are the core of mathematical papers and books and is customary to keep them visually apart from the

normal text in the document. The package amsthm provides the environment proof for this.

6/16/2014 Theorems and proofs - LaTeX Reference and Guides

http://www.sharelatex.com/learn/Theorems_and_proofs 5/6

Theorems and proofs

\documentclass{article}

\usepackage[utf8]{inputenc}

\usepackage[enlgish]{babel}

\usepackage{amsthm}

\begin{document}

\begin{lemma}

Given two line segments whose lengths are $a$ and $b$ respectively there

is a real number $r$ such that $b=ra$.

\end{lemma}

\begin{proof}

To prove it by contradiction try and assume that the statemenet is false,

proceed from there and at some point you will arrive to a contradiction.

\end{proof}

\end{document}

Output

The word Proof is italicized and there is some extra spacing, also a special symbol is used to mark the end of

the proof. This symbol can be easily changed, to learn how see the next section.

Open an example in ShareLaTeX

Changing the qed symbol

To change the symbol printed at the end of a proof is straightforward.

Theorems and proofs

\documentclass{article}

\usepackage[utf8]{inputenc}

\usepackage[enlgish]{babel}

\usepackage{amsthm}

\renewcommand\qedsymbol{$\blacksquare$}

\begin{document}

\begin{lemma}

Given two line segments whose lengths are $a$ and $b$ respectively there

is a real number $r$ such that $b=ra$.

\end{lemma}

\begin{proof}

To prove it by contradiction try and assume that the statemenet is false,

proceed from there and at some point you will arrive to a contradiction.

\end{proof}

\end{document}

Output

The command \renewcommand\qedsymbol{$\blacksquare$} changed the default white square for a black

square that is printed by $\blacksquare$, the parameter inside the braces. You can change this for any other

symbol or text, for instance you can use

\renewcommand\qedsymbol{QED}

6/16/2014 Theorems and proofs - LaTeX Reference and Guides

http://www.sharelatex.com/learn/Theorems_and_proofs 6/6

To print the traditional QED (quod erat demonstrandum) at the end of a proof.

Open an example in ShareLaTeX

Reference guide

Theorem styles

definition boldface title, romand body. Commonly used in definitions, conditions, problems and

examples.

plain boldface title, italicized body. Commonly used in theorems, lemmas, corollaries, propositions and

conjectures.

remark italicized title, romman body. Commonly used in remarks, notes, annotations, claims, cases,

acknowledgments and conclusions.

Further reading

For more information see the amsthm package documentation

Retrieved from "http://www.sharelatex.com/learn-scripts/index.php?title=Theorems_and_proofs&oldid=3047"

This page was last modified on 30 May 2014, at 03:03.

Privacy policy

About LaTeX Reference and Guides

Disclaimers

- Comments on the Use of the Simple Proofs of Plane Geometry for Teaching ReasoningUploaded byidavidmiller
- VI.3Uploaded byMark D. Ehlke
- CS2800-Logic Part2 v.5Uploaded byMariem
- geb_v3_5Uploaded bybanabjhf
- (eBook) - LaTeX - A graduate student guide to LaTeX and AMS-LaTeX.pdfUploaded bycarolinataringarcia
- lesson plan template 20170831 mathematical inductionUploaded byapi-367457807
- HW 3Uploaded byMatthew Pham
- Proofs Meyer RubinfeldUploaded byupload
- l_8Uploaded byEntropyPrinciple
- What Is ManUploaded bybeach_lover_1970
- Visualization in Real AnalysisUploaded bybookityo
- 416c4c02Uploaded byLouis Guy
- Q.E.D.Uploaded bymenilanjan89nL
- 6 InductionUploaded byanairineu
- math2sylUploaded byRafael_Soriano_4320
- Calculus: ContinuityUploaded bytoofo
- Geometry Assignments 2012-13Uploaded byAndy Ramroth
- Compositionality and LimitationsUploaded byFrancesco Spegni
- AC65.pdfUploaded byMeenu Gupta
- Cs6503 Toc Unit 1 VbUploaded byAppasami G
- Algebra TextbookUploaded byRituraj Gautam
- TocoderUploaded bymitser05
- kme latex talk-2018Uploaded byapi-373993645
- Making Presentations With LaTeXUploaded byado4112893
- A Theology of MathematicsUploaded byIsmet Korac
- 04-papUploaded byjackieness
- ValidationUploaded byabhishek_1
- LecueNotes 21 (Math Induction)Uploaded byarsenic_94
- LaTeX Tute 2005Uploaded byShehryar Ali
- On the Shapley Prevalue for Fuzzy Cooperative Games(Last Version)Uploaded byYEREMIA MAROUTIAN

- Pulse Modulation TechniquesUploaded byRavi Mashru
- Ten DimensionsUploaded byRavi Mashru
- Computer Science and Engineering Course DetailsUploaded byRavi Mashru
- Preparing to Solve a Problem in AlgebraUploaded byRavi Mashru
- Logistic functionsUploaded byRavi Mashru
- Errors and Uncertainties in Physics Internal AssessmentsUploaded byRavi Mashru
- Displacement Velocity & AccelerationUploaded byRavi Mashru