Como aumentar o espaçamento entre linhas do ambiente \begin{proof}?

Question

Desejo alterar o espaçamento no ambiente de prova do amsthm (no meu caso, aumentar o espaçamento). Eu incluí minha tentativa. Não quero numeração, então incluí o *. No entanto, minha tentativa falha porque não inclui o símbolo QED no final da prova na extrema direita (o que eu preciso). Alguém tem alguma idéia de como obter o espaçamento aumentado E um símbolo QED? Incluí a saída do meu código para que todos possam ver a diferença entre meu ambiente myplain2 e os ambientes \begin{proof} (meu código tem o espaçamento que desejo, mas nenhum símbolo QED, e o ambiente \begin{proof} tem não tem o espaçamento que desejo, mas tem o símbolo QED).

\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

Não tenho certeza de qual seria o motivo. De qualquer forma…

\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

Você pode usar o pacote setspace para definir o espaçamento da prova com o ambiente espacial.

Como exemplo é dado abaixo:

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