☰

是否可以使用枚举或对齐或数学模式来结束同一条线定理证明

tag-icon • tag-icon math-mode
是否可以使用枚举或对齐或数学模式来结束同一条线定理证明 
\documentclass[CEJB,PDF]{cej}
\usepackage{layout}
\usepackage{lipsum}
\usepackage{enumerate}
\usepackage{amssymb}
\begin{document}
\begin{proof}
In \begin{proof} \end{proof} the end of proof small appearing in same while the proof was ending with text.
But the proof is ending with enumerate or align or math mode the small box appearing in next line.
\end{proof}
\begin{proof}
\[{f}(x)=\left\{
                \begin{array}{ll}
                  \frac{{f(x)+f(y)}}{2}, & \hbox{if $f(x)+f(y)$ is odd} \\
                  \frac{{f(x)+f(y)+ 1}}{2}, & \hbox{if $f(x)+f(y)$ is even}
                \end{array}
         \right.
\]
\end{proof}
\begin{proof}
\begin{enumerate}
\item  item a
\item  item b
\item  item c
\end{enumerate}
\end{}

在\begin{proof} \end{proof}证明结束时，小框出现在相同行中，而证明以文本结尾。但证明以枚举或对齐或数学模式结尾，小框出现在下一行。在使用枚举或对齐或数学模式时，是否可以在同一行结束定理证明？

答案1

您有两个选择。

选项1：用于\qedhere手动将框放置在您喜欢的位置，例如枚举的最后一项。这将抑制自动框并将其放置在该位置。

选项 2\unskip：在内容结束后，之前使用\end{proof}。如果适用，这将“撤消”框前的垂直空间。

仅当您所使用的类/包支持时，解决方案才会有效。

这是您的 MWE 的更正版本。注意事项：

  1. 最好使用cases环境进行案例拆分
  2. \qedhere使用数组或案例时，垂直居中放置是一个已知问题。我们在此按照建议更正了此问题这里

代码：

\documentclass[CEJB,PDF]{cej}
\usepackage{layout}
\usepackage{lipsum}
\usepackage{enumerate}
\usepackage{amssymb}

\begin{document}
\begin{proof}
  In \verb|\begin{proof} \end{proof}| the end of proof small appearing in same while the proof was ending with text.
  But the proof is ending with enumerate or align or math mode the small box appearing in next line.
\end{proof}
\begin{proof}
  This does not align well
  \[
    {f}(x)=
    \begin{cases}
        \frac{{f(x)+f(y)}}{2}, & \text{if $f(x)+f(y)$ is odd} \\
        \frac{{f(x)+f(y)+ 1}}{2}, & \text{if $f(x)+f(y)$ is even}
    \end{cases}
    \qedhere
  \]
\end{proof}
\begin{proof}
  \[
    {f}(x)=
    \begin{cases}
        \frac{{f(x)+f(y)}}{2}, & \text{if $f(x)+f(y)$ is odd} \\
        \frac{{f(x)+f(y)+ 1}}{2}, & \text{if $f(x)+f(y)$ is even}
    \end{cases}
  \]
  \par \vspace{-\baselineskip}
  \qedhere
\end{proof}
\begin{proof}
  \begin{enumerate}
    \item  item a
    \item  item b
    \item  item c\qedhere
  \end{enumerate}
\end{proof}
\end{document}

相关内容