\newtheorem 带有 qed 符号

Question

对于末尾带有 qed 符号的定理，是否存在预定义的定理环境？

类似于证明环境，但是带有\theoremstyle{plain}？

\documentclass{scrartcl}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage[ngerman]{babel}
\usepackage{amssymb,amsmath}
\usepackage{amsthm}
\usepackage{dsfont}
\usepackage{empheq}
\theoremstyle{plain}
\newtheorem{theo}{theorem}

\begin{document}
\begin{theo}
One theorem.
\end{theo}
Some text.
\begin{proof}
One proof.
\end{proof}
\end{document}

在我的代码中：我正在寻找 theo-layout 但其末尾有一个正方形。

Answer 1

我建议为不需要证明的定理建立一个theo环境和一个环境。对所有定理陈述使用墓碑似乎不是一个好主意，因为与证明相反，定理陈述是界限分明的。theo*

\documentclass{scrartcl}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage[ngerman]{babel}
\usepackage{amssymb,amsmath}
\usepackage{amsthm}
\usepackage{dsfont}
\usepackage{empheq}
\theoremstyle{plain}

\newtheorem{theo}{Satz}
\newenvironment{theo*}
 {\pushQED{\qed}\theo}
 {\popQED\endtheo}

\begin{document}
\begin{theo*}
This requires no proof.
\end{theo*}

\begin{theo}
One theorem.
\end{theo}
Some text.
\begin{proof}
One proof.
\end{proof}
\end{document}

Answer 2

tac.cls 文档样式位于http://www.tac.mta.ca/tac/style/tac.cls包含带有 Halmos QED 的证明环境。amsthm 包有一个带有空心 QED 符号的证明环境。不是你想要的，但也许会有所帮助。

顺便说一句，首字母缩略词 QED 代表 quod erat demonstrandum，因此仅在证明之后才适用。