我想要得到类似的东西（单个定理的几个证明）：
Theorem 1. bla-bla-bla
Proof 1. bla-bla-bla
Proof 2. bla-bla-bla
Theorem 2. bla-bla-bla
Proof. bla-bla-bla
我怎样才能达到它？
答案1
使用amsthm及其proof环境接受可选参数来设置非标准标签。
\documentclass{article}
\usepackage{amsthm}
\newtheorem{theorem}{Theorem}
\begin{document}
\begin{theorem}
This is a big statement that deserves two proofs.
\end{theorem}
\begin{proof}[\proofname\ 1]
This is the first proof.
\end{proof}
\begin{proof}[\proofname\ 2]
This is the second proof.
\end{proof}
\begin{theorem}
This is a normal statement with a single proof.
\end{theorem}
\begin{proof}
Exercise for the reader.
\end{proof}
\end{document}
\begin{proof}[Proof 1]当然，您也可以输入。如果使用 ，则使用\proofnameautomaticall 会适应语言。babel
如果您出于某些原因想要自动编号，则可以设置一个计数器，当theorem计数增加时，该计数器会重置。
\documentclass{article}
\usepackage{amsthm}
\newtheorem{theorem}{Theorem}
\newcounter{proofs}[theorem]
\renewcommand{\theproofs}{\arabic{proofs}}
\newenvironment{numproof}
{\stepcounter{proofs}\begin{proof}[\proofname\ \theproofs]}
{\end{proof}}
\begin{document}
\begin{theorem}
This is a big statement that deserves two proofs.
\end{theorem}
\begin{numproof}
This is the first proof.
\end{numproof}
\begin{numproof}
This is the second proof.
\end{numproof}
\begin{theorem}
This is another big statement with two proofs.
\end{theorem}
\begin{numproof}
This is the first proof.
\end{numproof}
\begin{numproof}
This is the second proof.
\end{numproof}
\end{document}
