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

Question

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

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

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

Answer 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}