Wie kann der Zeilenabstand der \begin{proof}-Umgebung vergrößert werden?

Question

Ich möchte den Abstand in der Beweisumgebung von amsthm ändern (in meinem Fall den Abstand vergrößern). Ich habe meinen Versuch beigefügt. Ich möchte keine Nummerierung, also habe ich das * eingefügt. Mein Versuch schlägt jedoch fehl, da er das QED-Symbol am Ende des Beweises ganz rechts nicht enthält (das ich brauche). Hat jemand eine Idee, wie man den vergrößerten Abstand UND ein QED-Symbol erhält? Ich habe die Ausgabe meines Codes beigefügt, damit jeder den Unterschied zwischen meiner myplain2-Umgebung und den \begin{proof}-Umgebungen sehen kann (mein Code hat den gewünschten Abstand, aber kein QED-Symbol, und die \begin{proof}-Umgebung hat nicht den gewünschten Abstand, aber das QED-Symbol).

\newtheoremstyle{myplain2}
 {-\baselineskip\topsep}   % ABOVESPACE
  {\topsep}   % BELOWSPACE
  {\normalfont\setstretch{2}}  % BODYFONT
  {0pt}       % INDENT (empty value is the same as 0pt)
  {\bfseries} % HEADFONT
  {.}         % HEADPUNCT
  {5pt plus 1pt minus 1pt} % HEADSPACE
  {}   
\theoremstyle{myplain2}
\newtheorem*{proof_new}{Proof}

\begin{proof}
Oh hi Mark.\\
Oh hi Mark.\\
Oh hi Mark.
\end{proof}

\begin{proof_new}
Oh hi Mark.\\
Oh hi Mark.\\
Oh hi Mark.
\end{proof_new}

Answer 1

Ich bin nicht sicher, was der Grund sein könnte. Wie auch immer …

\documentclass{article}
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{setspace}

\usepackage{lipsum} % for mock text

% spaced proof
\newenvironment{sproof}
 {\par\vspace{-\topsep}\begin{spacing}{1.5}\begin{proof}}
 {\end{proof}\end{spacing}\par\vspace{-\topsep}}

\begin{document}

\lipsum[1][1-5]

\begin{proof}
\lipsum[2][1-5]
\end{proof}

\lipsum[1][1-5]

\begin{sproof}
\lipsum[2][1-5]
\end{sproof}

\lipsum[1][1-5]

\end{document}

Answer 2

Mit dem Paket „setspace“ können Sie den Abstand des Beweises mit der Space-Umgebung festlegen.

Ein Beispiel hierfür ist unten aufgeführt:

\documentclass[12pt,a4paper]{book} 
\usepackage{setspace}

\renewcommand{\baselinestretch}{1} 


\begin{document}
    
    Lorem Ipsum is simply dummy text of the printing and typesetting industry. Lorem Ipsum has been the industry's standard dummy text ever since the 1500s, when an unknown printer took a galley of type and scrambled it to make a type specimen book.
    
    \begin{spacing}{2}
        Lorem Ipsum is simply dummy text of the printing and typesetting industry. Lorem Ipsum has been the industry's standard dummy text ever since the 1500s, when an unknown printer took a galley of type and scrambled it to make a type specimen book. It has survived not only five centuries, but also the leap into electronic typesetting, remaining essentially unchanged. It was popularised in the 1960s with the release of Letraset sheets containing.
    \end{spacing}


    Lorem Ipsum is simply dummy text of the printing and typesetting industry. Lorem Ipsum has been the industry's standard dummy text ever since the 1500s, when an unknown pri.



\end{document}