![嵌套证明和错误的垂直间距](https://linux22.com/image/331266/%E5%B5%8C%E5%A5%97%E8%AF%81%E6%98%8E%E5%92%8C%E9%94%99%E8%AF%AF%E7%9A%84%E5%9E%82%E7%9B%B4%E9%97%B4%E8%B7%9D.png)
我有以下有关嵌套定理的问题。
采取以下措施:
\begin{theorem}
Bla
\end{theorem}
\begin{proof}
Bla bla
%
\begin{lemma}
Bla
\end{lemma}
%
\begin{proof}[Proof of the Lemma]\renewcommand{\qedsymbol}{}
Bla bla
\end{proof}
%
\end{proof}
我的想法是,我只想要一个\qed
符号,而且我确实得到了它。但无论我如何使用\renewcommand{\qedsymbol}{}
(用于定理的证明或引理的证明),垂直间距总是错误的。下一个段落紧接着一个大段落。
[我认为这源于这样一个事实,即符号仍然存在于某种鬼模式]
有没有顺利解决这个问题的方法?非常感谢。
答案1
如果内部证明也结束于主要证明,那么您的读者就会感到困惑。
但这\qedhere
是可以做到的。
\documentclass{article}
\usepackage{amsthm}
\makeatletter
\newenvironment{innerproof}[1][\proofname]
{\par\normalfont \topsep6\p@ \@plus6\p@\relax
\trivlist
\item[\hskip\labelsep\itshape#1\@addpunct{.}]\ignorespaces}
{\endtrivlist\@endpefalse}
\makeatother
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\begin{document}
\begin{theorem}
Bla
\end{theorem}
\begin{proof}
Bla bla
\begin{lemma}
Bla
\end{lemma}
\begin{innerproof}[Proof of the Lemma]
Bla bla\qedhere
\end{innerproof}
\end{proof}
\begin{theorem}
Bla
\end{theorem}
\begin{proof}
Bla bla
\begin{lemma}
Bla
\end{lemma}
\begin{innerproof}[Proof of the Lemma]
Bla bla
\end{innerproof}
So the proof is finished.
\end{proof}
\end{document}