如何在证明环境名称之后强制换行？

Question

我对 LaTeX 没有经验，所以我无法判断这是否是一个简单的修复。

我想在一行中有一个证明语句。目前，内容显示如下：

Beweis. G1 (a ∗ b) ∗ c = a ∗ (b ∗ c) ∀a, b, c ∈ G

其中“Beweis”是德语中“proof”的意思。所以我想要的显示效果如下：

Beweis. 
G1 (a ∗ b) ∗ c = a ∗ (b ∗ c) ∀a, b, c ∈ G

我想出了这个命令定义：

\renewcommand{\proofname}{\vspace{-\baselineskip}\normalfont\bfseries Beweis\newline}

...但它并没有像我预期的那样工作。注意：我真的不想改变“Beweis”的外观（字体大小、缩进等），我只想让它显示在自己的行上。

Answer 1

像这样吗？

\documentclass{article}
\usepackage[ngerman]{babel}
\usepackage{amsthm}

\begin{document}
\begin{proof} \hfill 

\noindent
$G1 (a * b) * c = a * (b * c) \forall a, b, c \in G$.
\end{proof}
\end{document}

Answer 2

我想你使用 amsthm 包，

在这个包中，证明定义为：

\newenvironment{proof}[1][\proofname]{\par
  \normalfont
  \topsep6\p@\@plus6\p@ \trivlist
  \item[\hskip\labelsep\itshape
    #1\@addpunct{.}]\ignorespaces
}{%
  \qed\endtrivlist
}

您可以在文档的序言中更改它，并添加以下代码：

\makeatletter
\renewenvironment{proof}[1][\proofname]{\par  %renew to change
  \normalfont
  \topsep6\p@\@plus6\p@ \trivlist
  \item[\hskip\labelsep\itshape
    #1\@addpunct{.}]\ignorespaces
        \hfill \break                         %change
}{%
  \qed\endtrivlist
}
\makeatother

Answer 3

像这样？

\documentclass{article}
\usepackage[ngerman]{babel}
\usepackage{amsthm,amsmath,amssymb}
\begin{document}
\begin{proof}\ \\ 
$G1 \quad (a * b) * c = a * (b * c), \quad  \forall a, b, c \in G$
\end{proof}
\end{document}