Questions tagged [theorems]

{theorems} are environments which are commonly numbered. They are extensively used in math texts. Examples of such environments are theorems, corollaries, lemmas, propositions, remarks and definitions. Popular packages are {amsthm}, {ntheorem}, and {thmtools}. Covers discussion on proofs too.

Filter by
Sorted by
Tagged with
9
votes
2answers
1k views

Page-breaking over titles of theorems that have lists

When I have multiple part theorems, I use an enumerate environment inside my theorem environment. However, I don't like the list to start at the same level as the theorem title, since this produces ...
9
votes
1answer
2k views

Understanding differences between newtheorem and newenvironment

The difficulty that I am having is that I make a newtheorem: \newtheorem{definition}[theorem]{Definition} It however seems to act nearly the same as with newenvironment: \newenvironment{definition}[...
9
votes
1answer
883 views

Align the names in \listtheorems (ntheorem)

Question: How do I align the names of theorems in ntheorem list of theorems? Screenshot: Screenshot: (photoshopped) Context: I am using the ntheorem package to typeset a list of theorems and ...
9
votes
1answer
1k views

Theorem decorations that stay with theorem environment

I am typesetting a document using the memoir documentclass. Currently, my theorems have the following definition (using macros provided by the ntheorem package): % THEOREMS \theoremheaderfont{\...
8
votes
4answers
478 views

Why doesn't this code combining \foreach with \newtheorem work?

Here is an example document. \documentclass[a4paper]{amsart} \usepackage{tikz} \theoremstyle{definition} \newtheorem{baseTheorem}{Base Theorem}[section] \foreach \x in ...
8
votes
3answers
1k views

How to draw a horizontal line at the end of proofs?

How can I draw a horizontal line at the end of proofs? I use \begin{proof}....\end{proof}. I use amsthm package without any modification.
8
votes
2answers
814 views

How do you reprint a theorem, proposition, etc. in its entirety?

I would like to prove all my theorems in the appendix. To do that, I would like to remind the readers what the theorem is, by reprinting it in the appendix. However, I have not figured out a way to ...
8
votes
2answers
163 views

How to specify RULES in main body

I want to write RULES in main body, how to write the correct TeX code that guarantees a little larger space before and after RULES like this.
8
votes
3answers
1k views

Hyperref and theoremref conflict?

I initially thought that this problem was with Unicode characters, but reducing the file led to the MWE below which has none, so it seems that theoremref and hyperref don't like each other. Consider: ...
8
votes
1answer
3k views

Theorem formatting

\theoremstyle{remark} \newtheorem{example}{Example} Then: \begin{example} Some text \end{example} Output is: Example 1. Some text What is the way to automatically obtain without indent: Example ...
8
votes
3answers
227 views

How to make the enumeration of theorem-like environments indipendent from cross-referencing in a particular way

I'm writing a mathematical paper, and right now I'm using \newtheorem{theorem}{Theorem}[section] to enumerate theorems, propositions, etc. In this way, every statement shows the number of the ...
8
votes
2answers
360 views

How remove indention in theorem environment?

How is it possible to remove the indention at the beginning of the theorem text? \documentclass{article} \usepackage{amsthm} \usepackage{thmtools} \declaretheorem[thmbox=L]{boxtheorem L} \begin{...
8
votes
2answers
2k views

How to suppress vertical space between theorem heads and enumitem environments?

How can I suppress vertical space between a theorem head and an enumitem environment? I would like the output to look like version 3 below, but I hope there is an automatical solution without ~ and \...
8
votes
2answers
5k views

Babel (French) does not translate the theorem environment in Beamer class

I'm using the beamer class, with the following preamble: \usepackage[utf8]{inputenc} \usepackage[T1]{fontenc} \usepackage[french]{babel} \usepackage{ae,aecompl,aeguill} \usepackage{amsthm, amsmath, ...
8
votes
2answers
1k views

How to replace the “.” with “:” in the proof environment?

I have seen a similar post here How to remove the "." in the proof environment?. But I don't know how I can modify the answer to replace . with : by using etoolbox.
8
votes
2answers
4k views

No indentation after theorem environment with amsthm

I use the amsthm package and dont want lines which start right after the theorem environment to be indented. I consulted the manual of the package and it said to define a new theorem style. I expected ...
8
votes
1answer
3k views

How to copy a lemma to appendix without changing its number?

I have a document with a lemma (using amsthm), like so: \begin{lem} \label{mylemma} % ... \end{lem} The proof of this lemma can be found in the appendix (see section \ref{sec:proof_of_mylemma}). ...
8
votes
3answers
5k views

Lemmas and sub sections

I want to write a LaTeX code to show, Lemma 1 : x+y=z Lemma 1.1: z-r+t=3 Lemma 1.2: q=r How do I do that?
8
votes
2answers
1k views

change label of a single theorem using ntheorem

My question refers to the minimal example pasted below. I would like to change the title of the second theorem (the one with yyy) to Theorem 7' without affecting the theorem counter. That is, the ...
8
votes
2answers
4k views

How to number equations within theorem-like environments

I want to enumerate equations within theorem-like environments. Example: \documentclass[a4paper,10pt]{article} \usepackage{amsmath,amsthm} \newtheorem{theo}{Theorem}[section] % \begin{document} \...
8
votes
2answers
678 views

How to label items

Is it possible to label items in latex in the following manner: We have the following theorem: Theorem 3.2 (I) bla bla bla (II) ble ble ble (III) bli bli bli So I would like to ...
8
votes
3answers
2k views

How can I number theorems in introduction without section counter and later with it?

I would like to have my theorems numbered in the following way. Theorem 1. Blah-blah Theorem 2. More blah-blah Section 1. Theorem 1.1. Special blah Theorem 1.2. More special ...
8
votes
1answer
1k views

Double vertical bars alongside statements of theorems

Prof. Hatcher describes a way to produce them in TeX here: http://www.math.cornell.edu/~hatcher/AT/typography.html I would like to know if any of you guys knows of a way to generate them in LaTeX. ...
8
votes
2answers
278 views

Using `environ` to make a list of environments?

In my document I use an amsthm environment called question, which I use to, well, pose questions to myself for later reference. However, they are spread out in the text. I know ntheorem has a \...
8
votes
1answer
4k views

Best Practices for Using Enumerations Within Theorem Environments

Suppose one has a theorem/proof such as: \begin{theorem} The following are equivalent: \begin{enumerate} \item Statement 1 \item Statement 2 \item Statement 3 \end{enumerate} \end{...
8
votes
1answer
10k views

Definitions and theorems in beamer

I have several questions regarding the use of definitions and theorems in the beamer package. Here is an example: \documentclass[mathserif]{beamer} \usepackage{graphicx} \usepackage{tcolorbox} \...
8
votes
1answer
2k views

Shaded theorems (thmtools) spanning pages

When the thmtools package is used to create theorem environments with a shaded background, it does not allow separate theorems to span more than one page. This is a rather severe problem if the ...
8
votes
1answer
4k views

Theorem content right after theorem name in beamer

When we write a theorem in beamer, by default the theorem name and theorem content are in different lines, like this: |------------------------------------------- |Theorem 1 |-------------------------...
8
votes
1answer
2k views

Why is LaTeX giving all of my theorems the same number?

Whenever I try to number my theorems according to the section they are in, they all end up having the same number. I tried the other numbering schemes to see what they do, and the only one that gives ...
8
votes
1answer
141 views

Numbering theorems with page numbers

I want to number theorems by (page number).(sequential in the page). So in page 6 I would have Thm 6.1 AAAAAABBBVVV Thm 6.2 BBBGGSDFASFASF Thm 6.3 AXASDFASDF and then in page 7 it would ...
8
votes
1answer
218 views

Remove numbering of unreferenced theorems

Can theorems, lemmas, etc., be automatically displayed without numbers if not referenced (like \mathtoolsset{showonlyrefs} for equation tags)?
8
votes
1answer
1k views

How can I make a custom theorem for a definition?

Looking at the wikibooks article on theorems has me wondering... I'd like to do something, if possible, similar to the default "proof" theorem style, whereby I can add a custom name to each theorem as ...
8
votes
1answer
2k views

Custom proof environment

How to define another proof environment, say, for the "Proof of lemma"? Also, how to make it without the qed box? (I need one with qed box, and another one without qed box.) I'm using amsbook ...
8
votes
1answer
1k views

amsthm: Theorems, Lemmas numbered backwards

What I want \newtheorem{thm}{Theorem} \begin{thm} A \end{thm} \begin{thm} B \end{thm} \begin{thm} C \end{thm} Ends up generating Theorem 1 A. Theorem 2 B. Theorem 3 C. What I want instead: ...
8
votes
1answer
530 views

Using thmtools: numbering with asterisk

I would like to repeat a theorem number with an added asterisk. That is, the original theorem is: Theorem 1. Lorem ipsum... And I would like the analogue theorem to be: Theorem 1*. Lorem ipsum...
8
votes
1answer
3k views

Fancy box around equation

I am trying to get my equations to show up like: This is my attempt thus far: \documentclass[11pt,fleqn]{book} \usepackage[top=3cm,bottom=3cm,left=3.2cm,right=3.2cm,headsep=10pt,a4paper]{geometry} ...
8
votes
1answer
402 views

How to refer to the number of an item in an enumerate environment inside a theorem

I have something that looks like this: \usepackage{amsmath} \begin{document} \begin{thm} The following are true: \begin{enumerate} \item \label{foo} Foo \item \label{bar} Bar \item \label{baz} Baz \...
8
votes
1answer
292 views

How do I adjust the placement of descriptions I've made alongside enumerated statements within a boxed theorem environment?

Basically, what I'd like is to have an elegant command that would enable descriptions (commutativity, associativity, etc.) made alongside enumerated statements to be aligned to the far right side of ...
8
votes
1answer
12k views

No Counter Theorem1 is defined

I got an exception in the following latex code: "No Counter Theorem1 is defined", what is the problem? \documentclass[conference]{IEEEtran} \newtheorem{definition}[theorem1]{Definition} \begin{...
8
votes
1answer
6k views

Numbering theorems within chapters

I've recently asked a question: Chapters in TeX regarding working with chapters in tex. I have since learned that I must use documentclass report for the purposes of my document. However, now all of ...
8
votes
3answers
3k views

How to wrap around a figure in a theorem-like environment?

I want to illustrate my examples, which are set in a theorem-like environment. Is it possible to wrap the text and equations around the figures? I have read about several packages but I can't get them ...
8
votes
1answer
3k views

Remove dot after theorem with amsthm and hyperref

I would like to know how to remove the dot that amsthm adds after the number of the theorem (it gives Theorem 1.1. instead of Theorem 1.1 ). MWE: \documentclass{article} \usepackage{hyperref} \...
8
votes
1answer
820 views

Automatic upright math when text is in italic

This is in a way a follow-up to this question about upright math. I would like to have upright math (essentially variable names) when I use a theorem-like environment with statement in italic. This ...
8
votes
1answer
1k views

Add vertical space before and after framed-theorem environments

I want my theorem-like environments to be framed, as it's an effective way of making them stand out from the main text. According to Gonzalo Medina's answer to the question box around theorem ...
8
votes
1answer
428 views

Weird behavior of ntheorem.

I have the following strange phenomena using ntheorem: Weird phenomena http://www.cgti.nl/gf/weird.png I get $\Lambda$ instead of a \box. In other proofs I might get a \box or \Lambda. In the ...
8
votes
1answer
699 views

Theorem and lemma sharing counter with mdframed and cleveref

Problem Essentially I've got the same problem described in Cleveref with counters with same name: I've got theorems, lemmata and corollaries all sharing the same counter, and when referencing them ...
8
votes
1answer
501 views

Restate theorem in separate file

I state a theorem in the main body of a document and prove it in the appendix. I use thmtools's restatable environment to restate the theorem there. However, I now need to have my appendix in a ...
7
votes
3answers
756 views

How to make the asterisk a part of a counter?

I am writing a usual article in amsart style using amsthm package to number the theorems. I need to enumerate certain conditions, while two of them have to bear the same number differing only with an ...
7
votes
2answers
2k views

How to make equations, figures and theorems use the same numbering scheme

It was asked a while ago how to make equation use the same counter as a theorem for example and one solution was to make the theorem counter use the equation instead by using \newtheorem{thm}[...
7
votes
2answers
5k views

Avoid page break in theorem

I have a theorem which is half of it on another page, as I do for you automatically (without \newpage) get full theorem on the next page? \documentclass[a4paper]{book} \usepackage[utf8]{inputenc} \...