当证明以数学方程式结尾时，它会添加一个额外的空格。这意味着证明方块会转到下一行，而不是恰好出现在最后一行。
以下是一个例子：
\documentclass[10pt,a4paper]{article}
\usepackage[latin1]{inputenc}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}[section]
\begin{document}
\begin{theorem}
...
\end{theorem}
\begin{proof}
...
$$\begin{array}{ccc}
A & \Longrightarrow & B\\
& \Longrightarrow & C
\end{array}$$
\end{proof}
\begin{theorem}
...
\end{theorem}
\end{document}
编译结果如下。
我应该怎么做才能使正方形完全对齐，这意味着在同一行中存在“\Longrightarrow C”？
答案1
你永远不应该（在意义上永远不能) 在 LaTeX 中的使用$$...$$。毫无理由。请参阅为什么 \[ ... \] 比 $$ ... $$ 更可取？
对于以显示结束的证明，有\qedhere。
\documentclass[10pt,a4paper]{article}
\usepackage[latin1]{inputenc}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}[section]
\begin{document}
\begin{theorem}
...
\end{theorem}
\begin{proof}
...
\begin{align*}
A & \Longrightarrow B\\
& \Longrightarrow C\qedhere
\end{align*}
\end{proof}
\begin{theorem}
...
\end{theorem}
\end{document}
根据对齐的性质，您还可以使用
\begin{proof}
...
\begin{equation*}
\begin{split}
A & \Longrightarrow B\\
& \Longrightarrow C\qedhere
\end{split}
\end{equation*}
\end{proof}
答案2
至少，你应该 (a)\qedhere在“ ”后立即插入指令C，并且 (b) 更改\begin{array}{ccc}为\begin{array}[b]{ccc}。[b]（“bottom”）定位说明符告知 LaTeX QED 符号应与 的底部对齐，而不是与 的中心对齐array。
顺便说一句，你应该不是用于$$在 LaTeX 文档中启动和终止 displaymath-mode。它已被严重弃用。相反，请使用\[和\]。请参阅为什么\[ ... \]优于$$ ... $$？进行更长时间的讨论。
答案3
我想指出的是，它ntheorem会自动放置校对结束符号，而无需询问它（thmmarks选项）。此外，我们可以使用它的amsthm兼容性选项：
\documentclass[10pt, a4paper]{article}
\usepackage[utf8]{inputenc}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage[thmmarks, amsmath, thref, amsthm]{ntheorem}%
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}[section]
\begin{document}
\begin{theorem}
...
\end{theorem}
\begin{proof}
...
\begin{align*}
A & \Longrightarrow B\\
& \Longrightarrow C
\end{align*} %
\end{proof}
\begin{theorem}
...
\end{theorem}
\end{document}
