如何为定义制定自定义定理?

如何为定义制定自定义定理?

查看维基教科书上有关定理的文章让我感到疑惑...如果可能的话,我想做一些类似于默认的“证明”定理样式的事情,这样我就可以为每个定理添加一个自定义名称。

例如:在 wikibooks 中这里,它说如果我使用以下代码,我就有机会命名证明:

\begin{proof}[Proof of important theorem]
    Here is my important proof
\end{proof}

如果我省略[重要定理的证明],它只会说“证明:”。

我希望能够定义一个定义定理,该定理始终显示“定义 #”,但我可以选择为其添加一个名称,以便它可以显示类似“定义 3.1 -宇宙万物的答案",后面跟着相关定义。

目前,这就是我所拥有的一切。我对 TeX 还不太了解,因为我现在才刚刚开始学习。

\newtheoremstyle{definitionstyle} % name of the style to be used
  {10mm}        % measure of space to leave above the theorem. E.g.: 3pt
  {10mm}        % measure of space to leave below the theorem. E.g.: 3pt
  {}            % name of font to use in the body of the theorem
  {}            % measure of space to indent
  {\bfseries}   % name of head font
  {\newline}    % punctuation between head and body
  {10mm}        % space after theorem head
  {}            % Manually specify head
\theoremstyle{definitionstyle}
\newtheorem{mydef}{Definition}[section]

答案1

所有定理环境都支持定理名称或注释的可选参数。在下面的例子中,我使用了thmtools包来格式化笔记。(该amsthm包仍然提供一些底层功能,但我更喜欢thmtools“键值语法”。)

\documentclass{article}

\usepackage{amsthm}
\usepackage{thmtools}

\declaretheoremstyle[%
  within=section,%
  spaceabove=10mm,%
  spacebelow=10mm%,
  headfont=\bfseries,%
  headpunct={},%
  postheadspace=\newline,%
  notefont=\normalfont\itshape,%
  notebraces={--~}{},% punctuation before and after the note
]{definitionstyle}
\declaretheorem[style=definitionstyle,name=Definition]{mydef}

\usepackage{lipsum}

\begin{document}

\section{foo}

\begin{mydef}[The answer of the universe and everything]
\lipsum[1]
\end{mydef}

\end{document}

在此处输入图片描述

相关内容