☰

ネストされた項目化環境なしで証明の概要を示す

tag-icon • tag-icon lists enumerate
ネストされた項目化環境なしで証明の概要を示す

証明を書くとき、実際に証明する前にどのように証明するかを概説しておくと役立つことがよくあります。現在、私はこの 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}

出力は次のようになります:

MWE出力

これは、私が期待する結果とほぼ同じです。ただし、これには 4 つのリスト ネストのうち 2 つが「消費」されるという問題があり、つまり、これを 2 回しかネストできません (長くて複雑な証明では、これまで 3 つのアウトラインをネストする必要がありましたが、いつか 4 つを使用したいと考える日が来ることはあり得ないことではないと思います)。

私はこれを回避しようとしましたが、（私の知る限り）内部に環境tabularを配置することはできませんし、他にどうすればよいのかよくわかりません。何か提案はありますか?enumeratetabular

編集: 現在の「ソリューション」で私が抱えている主な問題は、ネスト制限の問題に加えて、コードが私の意見では信じられないほど醜いということです。このため、ネストリストを回避するソリューションが欲しいのですが、それが唯一の回避策であるなら、私は間違いなくそれでやりくりします。

答え1

enumitemより深い（少なくとも 10 までだと思います）列挙環境を作成できます。

5つのレベル

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

答え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}

関連情報