\begin{proof} 환경의 줄 간격을 늘리는 방법은 무엇입니까?

Question

amsthm의 증명 환경에서 간격을 변경하고 싶습니다(저의 경우 간격을 늘립니다). 나는 나의 시도를 포함시켰다. 번호 매기기를 원하지 않아서 *를 포함시켰습니다. 그러나 맨 오른쪽에 있는 증명 끝에 QED 기호가 포함되어 있지 않기 때문에 내 시도는 실패했습니다. 간격을 늘리고 QED 기호를 얻는 방법에 대한 아이디어가 있는 사람이 있습니까? 모든 사람이 내 myplain2 환경과 \begin{proof} 환경의 차이점을 볼 수 있도록 내 코드의 출력을 포함했습니다(내 코드에는 내가 원하는 간격이 있지만 QED 기호는 없으며 \begin{proof} 환경에는 그렇지 않습니다). 원하는 간격이 없지만 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

이유가 무엇인지 잘 모르겠습니다. 그래도…

\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

setspace 패키지를 사용하여 공간 환경에 따라 증명의 간격을 설정할 수 있습니다.

예를 들면 다음과 같습니다.

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