amsthm 中的子示例

Question

我在 amsthm 中使用 newtheorem 宏作为示例环境。有没有办法使用子示例？我不需要缩进之类的花哨功能，只需一个新的计数器级别即可。因此，在示例 4 中，一些子示例将被编号为示例 4.1、示例 4.2 等。也许我可以对文档该区域中的计数器做些什么？

\documentclass[12pt]{article}
\usepackage{amsthm}
\newtheorem{example}{Example}
\begin{document}

\begin{example} first example
\end{example}

\begin{example} second example. Here are situations where this occurs.
\end{example}

%\begin{subexample} first sub-example of second example
%\end{subexample}

%\begin{subexample} second sub-example of second example
%\end{subexample}

\begin{example} third example
\end{example}

\end{document}

Answer 1

按照正常方式定义subexample使用amsthm命令。

随后，发出\counterwithin{subexample}{example}，这将使子示例的计数器从属于例如。

Answer 2

您可以通过最终/结束可选参数指定此“子编号” \newtheorem{<theorem>}[<sibling counter>]{<title>}[<sub-counter>]（其中可选参数是互斥的；也就是说，您不能同时使用）：

\documentclass{article}

\usepackage{amsthm}

\newtheorem{example}{Example}
\newtheorem{subexample}{Example}[example]% subexample is a sub-counter to example

\begin{document}

\begin{example} first example
\end{example}

\begin{example} second example. Here are situations where this occurs.
\end{example}

\begin{subexample} first sub-example of second example
\end{subexample}

\begin{subexample} second sub-example of second example
\end{subexample}

\begin{example} third example
\end{example}

\end{document}