How to force a line break right after the name of the proof environment?

Question

I'm not experienced with LaTeX and so I couldn't really judge if this is a trivial fix.

I want to have a proof-statement on it's own line. Currently, things get displayed like this:

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

where "Beweis" is the german equivalent of "proof". So what I am aiming for is a display that looks like this:

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

I came up with this command-definition:

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

... but it didn't work as I expected it to. Note: I really don't want to alter the way "Beweis" looks (font-size, indentation, etc.), I just want it to be displayed on its own line.

Answer 1

Something like this?

\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

I suppose you use amsthm package,

In this package proof is defined as :

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

You can change it in the preambule of your document adding this code :

\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

Like this?

\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}