具有空标签且没有空格和点的定理环境。

具有空标签且没有空格和点的定理环境。

我想要一个类似定理的环境,没有通常的“定理 x。”标签。

我尝试定义一个空的标签文本,结果却使用点和空格作为标签文本 - 有没有简单的方法来做到这一点?

我为什么要这样做?我正在排版归纳证明;对于归纳基础,我想重新陈述已证明的定理,重新陈述基本情况。(即,将 i 替换为 1)。没有标签文本的定理环境正是我想要的。

答案1

如果您使用该ntheorem包来格式化定理类结构,则有一个\theoremstyle{empty}命令。下面是一个例子:我使用quotedthm空样式定义了一个。它继承了定义时声明的所有设计特征(当然除了样式)。特别是,您可以给它一个可选参数,例如引用的定理的名称,在我的例子中它将以小写字母输入。我添加了一个theorem indent相对于周围环境(证明)的 - 这是一个特定的特殊性,因为即使证明以等式结尾,证明结束标志也是ntheorem正确的。automatic placement

\documentclass[12pt,a4paper]{article}

\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{fourier}
\usepackage{heuristica}
\usepackage{latexsym}
\usepackage{amsmath}
\usepackage[thmmarks, amsmath]{ntheorem}
\usepackage{latexsym}

\theoremstyle{plain}
\theoremheaderfont{\scshape\upshape}
\theorembodyfont{\itshape}
\theoremseparator{.}
\newtheorem{thm}{Theorem}
{
\theoremstyle{empty}
\theoremindent 1cm
\newtheorem{quotedthm}{}}

\theoremstyle{nonumberplain}
\theorembodyfont{\normalfont}
\theoremsymbol{\ensuremath{\Box}}
\newtheorem{proof}{Proof}
\begin{document}


\begin{thm}[Euclid’s lemma]
If a prime number $ p $ divides a product of integers, it divides at least one of them.
\end{thm}

\begin{thm}[Gauss’s lemma]
If an integer $ n $ divides the product of two integers, and it is coprime with one of them, it divides the other.
\end{thm}

\begin{proof}
Remember Euclid’s lemma :
\begin{quotedthm}
If a prime number $ p $ divides a product of integers, it divides at least one of them.
\end{quotedthm}
Or remember
\begin{quotedthm}[Euclid : ]
If a prime number $ p $ divides a product of integers, it divides at least one of them.
\end{quotedthm}
In other words :
 \[ p \in \mathbf{P} \wedge (p \mid ab) \Rightarrow (p\mid a) \vee (p\mid b). \]%
\end{proof}

\end{document}

在此处输入图片描述

相关内容