항목별 환경을 중첩하지 않고 증명 개요

Question

증명을 작성할 때, 실제로 증명하기 전에 어떻게 증명할 것인지 대략적으로 설명하는 것이 도움이 되는 경우가 많습니다. 현재는 이 MWE에 표시된 대로 수행합니다.

\documentclass{article}
\usepackage[shortlabels]{enumitem}
\usepackage{amsthm}
\newtheorem{theorem}{Theorem}
\begin{document}
\begin{theorem}
    Every square is a rectangle, but not all rectangles are squares.
\end{theorem}
\begin{proof}
\hfill
\begin{enumerate}[{We prove:}]
\item
\begin{enumerate}
\item
    all squares are rectangles and
\item
    not all rectangles are squares.
\end{enumerate}
\end{enumerate}
Proof here.
\end{proof}
\end{document}

출력은 다음과 같습니다.

내가 원하는 결과는 어느 정도입니다. 그러나 이것은 내 네 개의 목록 중첩 중 두 개를 ``먹는'' 문제가 있습니다. 즉, 이것을 두 번만 중첩할 수 있다는 의미입니다(오랫동안 관련 증거는 과거에 세 개의 윤곽선을 중첩해야 했고, 나는 그것을 다음과 같이 보지 않습니다). 언젠가는 4개를 사용하고 싶겠지만).

나는 이 문제를 해결하려고 시도했지만 (내가 아는 한) 환경을 내부에 tabular넣을 수 없으며 다른 방법을 잘 모르겠습니다. 어떤 제안이 있으십니까?enumeratetabular

편집: 현재 ``솔루션"에서 제가 겪고 있는 주요 문제는 중첩 제한 문제에 더해 제 생각에는 코드가 믿을 수 없을 정도로 추악하다는 것입니다. 이러한 이유로 저는 중첩 목록을 피하는 솔루션을 원합니다. 그게 유일한 해결 방법입니다. 확실히 해내겠습니다.

Answer 1

enumitem더 깊이 있는 열거 환경을 만들 수 있습니다(적어도 최대 10개까지).

\documentclass{article}
\usepackage[utf8]{inputenc}
\usepackage{enumitem}
\newlist{myenum}{enumerate}{5}
\setlist[myenum]{label=\arabic*}
\begin{document}
  \begin{myenum}
    \item level 1
    \begin{myenum}
      \item level 2
      \begin{myenum}
        \item level 3
        \begin{myenum}
          \item level 4
          \begin{myenum}
            \item level 5
          \end{myenum}
        \end{myenum}
      \end{myenum}
    \end{myenum}
  \end{myenum}
\end{document}

Answer 2

좀 더 보기 좋은 코드를 갖고 싶다면 새 환경을 정의하세요.

\documentclass{article}
\usepackage[shortlabels]{enumitem}
\usepackage{amsthm}
\newtheorem{theorem}{Theorem}
\newenvironment{proofoutline}[1]
{\begin{enumerate}[{#1}]\item\begin{enumerate}}
{\end{enumerate}\end{enumerate}\par\noindent}

\begin{document}
\begin{theorem}
  Every square is a rectangle, but not all rectangles are squares.
\end{theorem}
\begin{proof}
  \hfill
    \begin{proofoutline}{We prove:}  
      \item
        all squares are rectangles and
      \item
        not all rectangles are squares.
    \end{proofoutline}
  Proof goes here
  \end{proof}
\end{document}