仅当使用 thmbox 时，Proof 环境才会产生“Proof Proof：...”

Question

我正在使用thmtools。当我thmbox在定理环境定义中使用关键字时，所有证明都以“证明证明：”开头。

梅威瑟：

\documentclass{article}
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{thmtools}

\declaretheoremstyle[
    thmbox=S,
]{thmsty}
\declaretheorem[style=thmsty]{thm}

\begin{document}
    \begin{thm}
        There are infinitely many prime numbers.
    \end{thm}
    \begin{proof}
        Exercise for the reader
    \end{proof}
\end{document}

结果如下：

如果我thmbox=S从样式定义中删除，问题就解决了：

编辑：我在thmbox文档中看到它重新定义了proof环境。我该如何防止这种情况发生？\usepackage{thmbox}在顶部添加解决了“证明”被写两次的问题。但是，样式仍然不像以前那样。

Answer 1

thmtools是的，据我所知，这是 中的一个错误。但是，proof定义的环境thmbox并不是我真正想要使用的。您可以按照amsthm以下方式恢复 。

\documentclass{article}
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{letltxmacro}

\LetLtxMacro\amsproof\proof
\LetLtxMacro\amsendproof\endproof

\usepackage{thmtools}
\usepackage{xcolor}

\AtBeginDocument{%
  \LetLtxMacro\proof\amsproof
  \LetLtxMacro\endproof\amsendproof
}

\declaretheoremstyle[
    thmbox=S,
]{thmsty}
\declaretheorem[style=thmsty]{thm}

\begin{document}

\begin{thm}
There are infinitely many prime numbers.
\end{thm}

\begin{proof}
Exercise for the reader
\end{proof}

\end{document}

Answer 2

这个 hack 也有效。只需输入序言：

\renewcommand{\proof}{type whatever you want}

例子：

\renewcommand{\proof}{\textit{Proof.}}

\documentclass{article}
\usepackage{amsmath}
\usepackage{amsthm}

\usepackage{thmtools}
\usepackage{xcolor}

\declaretheorem[name=Theorem,thmbox=L]{thm}

\renewcommand{\proof}{\textit{Proof.}}


\begin{document}

\begin{thm}
There are infinitely many prime numbers.
\end{thm}

\begin{proof}
Exercise for the reader
\end{proof}

\end{document}