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
87
votes
3answers
14k views

Theorem packages: which to use, which conflict?

As far as I know, one can create theorem environments using any of amsthm, ntheorem, thmtools and probably more. How should I define my theorem environments? Is one package clearly superior? Which ...
83
votes
8answers
24k views

How do I repeat a theorem number?

Often in my papers I want to mention theorems in the introduction that are introduced in more detail and proved in a later section. I'd like to include the statement of these theorems twice over, ...
79
votes
3answers
102k views

Theorem without numbering

Is it possible to have single theorems without numbering? I would like to be able to switch them off individually with asterisk-* or have a nono-theorem environment. \newtheorem{theorem}{Theorem} \...
71
votes
5answers
73k views

Non italic text in theorems, definitions, examples

What package should I use, or what setting can I make to the font in theorems so that the text wouldn't be italic. I use amsmath, and from default, everything I write in theorem environments becomes ...
67
votes
2answers
239k views

Theorem/Definition/Lemma problem — Numbering

I am trying to work on the numbering of the theorems/definitions/lemmas etc., and I have some problems with the numbering. I would like the theorems, propositions, corollarys, definitions, ...
61
votes
2answers
16k views

Recalling a theorem [duplicate]

Suppose I have some theorem in the paper Section 1 Theorem 1.1. Let ... And then later in the paper I want to recall the theorem by reprinting it Section 4 We recall Theorem 1.1: ...
45
votes
6answers
23k views

Pushing \qed to the right within a displayed formula

In my own custom theorem environment, I'm using the \qed command to create a white box. This works wonderfully when the theorem ends with a regular paragraph -- the box is pushed to the right where it ...
44
votes
2answers
31k views

Custom theorem numbering

This one should be easy for the gurus… Suppose I want to define a theorem environment which has a custom numbering scheme. That is, instead of being numbered according to some counter, it is numbered ...
42
votes
2answers
122k views

Solid black box in the proof environment

I am using \documentclass[12pt]{article} \usepackage{amsmath} \usepackage{amssymb} \usepackage{amsthm} \begin{document} \begin{proof} A = B \end{proof} \end{document} and an empty square box ...
41
votes
6answers
33k views

Customizing theorem name

Suppose I have a series of theorems that I would like displayed as Jim's Theorem. Bob's Theorem. Will's Theorem. rather than as “Theorem (Jim).”, “Theorem (Bob).”, and “Theorem (Will)”. ...
39
votes
5answers
30k views

Changing style of Proof

I'm using the \begin{proof} of the amsthm package. And I want to change the style of the Proof word that is added in the beginning. By default it is italic, I want to make it bold. How can I do it?
39
votes
4answers
20k views

How to make the optional title of a theorem bold with amsthm?

I use the code mentioned in Title of the theorem: \begin{theorem}[The title] Some statement \end{theorem} However with amsthm the optional title -- above: "The title" -- is neither bold nor italic, ...
39
votes
1answer
22k views

How to change the word “Proof” in the proof environment?

I want to change the word "Proof" into "Solution". Of course the following works. \begin{proof}[Solution] \end{proof} But it's quite cumbersome to add this additional [Solution] every time. Is there ...
38
votes
5answers
6k views

How to prevent paragraph breaks after theorem environments?

By default, the list environments (such as itemize) have the nice property that if you add a blank line after it, it starts a new paragraph, and if you don't, the paragraph continues. So The ...
37
votes
4answers
43k views

A better way to reference theorem-like environments?

I know how to use \label and \ref to get a reference to a result(or whatever else really) that I have made previously in the document. But this is tedious and requires me to create a label name every ...
36
votes
6answers
12k views

Is it possible to skip the first line in a theorem environment?

I'm currently writing up some solutions, and I like to rewrite the problem before answering it. I've set exercise to be a theorem environment, and the code I'm using is \begin{exercise} \begin{...
36
votes
1answer
14k views

amsthm: what are the newtheoremstyle parameters for the default styles?

The package amsthm contains the predefined theorem styles plain, definition and remark which you can employ using \theoremstyle before your \newtheorem. You can also create new theorem styles like ...
36
votes
3answers
6k views

How to place all proofs automatically in appendix?

Can I place all proofs to theorems in appendix automatically? Usually proofs are written in the LaTeX codes immediately after the theorems. Without physically moving proofs to appendix, how can I ...
33
votes
6answers
102k views

\qed for theorems without proofs

It is common to place a \qed-Box at the end of a theorem statement (or lemma, corollary, ...) if we give no proof for that statement. How can I do this in LaTeX? If I place a qed-box at the end of ...
31
votes
3answers
16k views

Remove the qed symbol from only one proof environment, not all

I have seen several posts on how to remove the qed symbol in a proof, but that affects all proof environments. I would like to know how to remove the qed symbol in a particular proof because I have ...
29
votes
3answers
13k views

Enumerate alignment problem in theorem environment

I'm using amsart. When I create an enumeration inside a theorem environment, the numbering is not aligned properly: Theorem 14. (1) (2) (3) (4) How do I shift the (2),(3),... to be aligned with (1)? ...
29
votes
1answer
8k views

Problem with qedhere

In a paper I'm writing, I end a proof with a displayed equation that has some cases in it. The relevant code looks something like the following: \[f(x) = \begin{cases} 2x & \text{if $x<0$}\\ ...
28
votes
4answers
43k views

box around theorem statement

Is there an easy way to put a box around a theorem in LaTeX? For example to state an important theorem. I tried using page 20 of the ntheorem documentation (http://ctan.mackichan.com/macros/latex/...
28
votes
3answers
11k views

Citing inside theorem header

How do I create something like this without getting any errors? \begin{thm}[\cite[page 10]{ABC2011}] ... \end{thm} I tried putting various things into {...} brackets, but not eliminating any errors. ...
28
votes
2answers
35k views

Theorem numbering as chapter.section.subsection.theorem number

This might be a simple question but it's weird that I couldn't find the answer anywhere on the internet. If I set as \newtheorem{-}{-}[section] then I get the numbering as Theorem [section....
27
votes
1answer
17k views

How can I create a “Proof of Theorem x.xx” header for a proof environment?

In many papers in mathematics, the author states a theorem in somewhere and adds some explanations and perhaps some lemmas and later starts the proof with a phrase like "Proof of Theorem x.xx" (x's ...
27
votes
1answer
4k views

How do I get sub-numbering for theorems (Theorem 1.A., Theorem 1.B., Theorem 2.)?

I am trying to number my theorems as follows: Theorem 1.A. First part of a theorem. Theorem 1.B. Second part of the theorem. Theorem 2. A theorem with no parts. The following almost works: \...
26
votes
2answers
22k views

How do I get non-italic words in a theorem environment?

I want some words in my theorem environment to not be italic. I know there are simple ways to get the entire theorem in roman, but I'm looking for an italic theorem with specified words in roman. I ...
26
votes
1answer
59k views

Using \newtheorem

Edited to include complete code, as suggested: Here is what the preamble of my main file looks like: \documentclass[12pt]{report} \usepackage{epsfig} \usepackage{upmathgrad2} \usepackage{...
26
votes
3answers
9k views

How to get correct autoref for theorems

I have some own theorem environments. And my theorems are numbered like the chapter. Now I would like to use autoref with that. But it does not work like it is described here (http://www.tug.org/...
25
votes
1answer
24k views

Start theorem counter from specific number

I have defined a new theorem and I would like it to start from a specific number(let's say 3). At first I thought of using \addtocounter{\theexe}{3}(where exe is the new theorem) but I get an error ...
25
votes
1answer
22k views

Numbered Definitions, Theorems in beamer

How to get numbered Lemmas, Definitions, Theorems and so on in beamer?
24
votes
1answer
15k views

Using LaTeX, how can I restate a theorem, with the same theorem number, later in a paper? [duplicate]

Possible Duplicate: How do I repeat a theorem number? I am writing a paper, and would like to state the main results in the Introduction. Then, when I come to prove the main results in later ...
22
votes
3answers
22k views

How to change the way theorems are displayed?

I am in the process of writing a large document containing some theorems, lemma, and propositions. Currently, I am using packages amsmath and amsthm. I defined my own environment for theorems by ...
22
votes
4answers
2k views

A problem with thmtools and cleveref

I am trying to use thmtools and cleveref and I am getting a quite peculiar error. Here's a minimal example. \documentclass{article} \usepackage{thmtools} \usepackage{cleveref} \declaretheorem[name=...
22
votes
3answers
2k views

amsthm with shared counters messes up autoref references

When I define amsthm theorem environments with shared counters, autoref messes up the names of the references. For example, in the output below, we should have "Definition 2" instead of "Theorem 2". \...
22
votes
1answer
29k views

How can one cite theorems of references?

I would like to cite the item (iii) of proposition 3 of a reference. How can I do it? Which ways do you suggest? This is a question not only about LaTeX, but also about style. One option I have seen ...
22
votes
1answer
10k views

How to cross-reference theorems with “Theorem”?

I use \begin{lemma} \label{aaa} ... \end{lemma} \begin{theorem} \label{bbb} ... \end{theorem} and many other similar kinds in the same document. When I cross-reference those lemmas and theorems ...
21
votes
6answers
44k views

Defining my own proof environment?

How would I define a proof environment that is basically used with \begin{proof} some proof here \end{proof} and it would be equivalent to: \paragraph{Proof:} some proof here \hfill \box ?
21
votes
3answers
13k views

How to Make Theorems and Equations Share Numbering

How do I make theorems and equations share numbering? The default numbering system goes like this: Theorem 1. Blah blah blah... 1=0+1 (1) Theorem 2. More blahs... Theorem 3. No more ...
21
votes
3answers
18k views

Proof environment - line break after the “Proof.”

I want to make the proof environment in amsthm package to auto add a line break right after the "Proof." I tried the following code, which also removed the QED sign, but it doesn't work: No linebreak ...
21
votes
2answers
20k views

Spacing before and after with \newtheoremstyle

I want to define my own theorem style for examples. I want them to be numbered the same way as theorems (so Example 2.4 follows Theorem 2.3); I want them to be formatted exactly the same as theorems ...
21
votes
3answers
6k views

Cleveref and named theorems

Is it possible with Cleverref to reference not only the number of an environment but the "name" (the thing that is passed to it in square brackets? In the following example I want to replace the line ...
19
votes
2answers
20k views

How to rename theorem (or lemma) in Beamer to another language?

I'm Malay user. I want to rename the theorem tag in Beamer. Does anyone know how to do it? When the document class is article or book, I can simply modify the preamble as follows: \newtheorem{theorem}...
19
votes
2answers
30k views

Title of the theorem

in my paper the text inside theorem is italic while the word Theorem 1 is bold and not italic. I would like to have a title of the theorem also not italic. The example is here: Theorem 1. (The title) ...
19
votes
1answer
7k views

Including end mark in definitions and examples (using amsthm)

I am using the amsthm package, and I have this in the preamble: \theoremstyle{definition} \newtheorem{definition}{Definition}[chapter] \newtheorem{example}[definition]{Example} \theoremstyle{plain} \...
19
votes
2answers
20k views

Allow theorem split in many frames in beamer

How can a theorem-like environment be (automatically) split into multiple frames if the vertical space it needs is not enough in a frame? In my document preamble I have \theoremstyle{definition} \...
19
votes
5answers
2k views

How to put a star (or other symbol) in sections that are “special” (difficult, optional, etc)?

I'm currently writing a book, and I'd like some of the sections to be clearly marked as "difficult" or "optional". Not only sections, but also exercises (I'm using the exercise package) and theorems ...
19
votes
2answers
15k views

Proofs in Beamer

I'm writing a presentation in Beamer, where I present proofs which are longer than one frame. How to make Beamer to break it automatically to another frame? If it is not possible how am I supposed to ...
18
votes
1answer
2k views

Cleveref with counters with same name

I am trying to use the cleveref package. I have the following counters defined (hopefully this is the right way to do it!) \newtheorem{thm}{Theorem}[section] \newtheorem{lemma}[thm]{Lemma} \...