`\proof` 上方多出多余的空格

Question

在定理 1 和 2 中，等式和证明之间有额外的空间。在定理 3 中，没有。在定理 2 的情况下，是什么导致了这种情况，我如何才能让命令\proof不插入额外的空间（而不诉诸负 vspace）？我希望了解机制（我不是正在寻找一个可以为我的方程式着色的包：我知道这些）。

\documentclass{article}

\usepackage{amsthm,xcolor}
\newtheorem{theorem}{Theorem}


\begin{document}



\begin{theorem}
    blabla
    {\color{red}
    \begin{equation} 
    x
    \end{equation}}%
    \proof
    hi  
\end{theorem}

\begin{theorem}
    blabla
    \begin{equation} \color{red}
    x
    \end{equation}
    \proof
    hi  
\end{theorem}


\begin{theorem}
    blabla
        \begin{equation} {\color{red}
        x}
        \end{equation}%
    \proof
    hi  
\end{theorem}
\end{document}

Answer 1

该软件包amsthm提供了一个proof 环境。由于实施原因，该命令\proof存在，但应该不是在文档中使用，因为它打开了一个trivlist未正确关闭的内部环境。

此外，证明不属于陈述，因此环境应该在外面theorem。

为了给方程式（的一部分）着色，请使用\textcolor{<color>}{<math>}。

所以正确的输入方式是

\documentclass{article}

\usepackage{amsthm,xcolor}

\newtheorem{theorem}{Theorem}

\begin{document}

\begin{theorem}
blabla
\begin{equation}
\textcolor{red}{x}
\end{equation}
\end{theorem}

\begin{proof}
hi
\end{proof}

\end{document}

正如您所见，其中没有奇怪的间距。

如果你不想要“墓碑”（又名“证明结束符号”），只需添加

\renewcommand{\qedsymbol}{}

前\begin{document}。

这就是说，你可以自由地自毁前程，但使用不受支持的命令或语法则是不受支持的。