我尝试过的方法

Question

我想给一个定理（下面最小不工作示例中的“Korollar”）添加一个脚注，用简单的语言解释该定理用准确（但更难）的语言陈述的内容。因此脚注应该放在数字后面。

请注意，我只需要对一两个定理进行此操作。对于其余（大约 20 个），我不需要它。因此解决方案不应改变其他定理的行为。

我尝试过的方法

尝试 1

这个来自另一个问题，但脚注根本没有出现：

\documentclass{scrbook}
\usepackage{etoolbox}
\usepackage{amsmath,amssymb}% math symbols / fonts
\usepackage[utf8]{inputenc} % this is needed for umlauts
\usepackage[ngerman]{babel} % this is needed for umlauts
\usepackage[T1]{fontenc}    % this is needed for correct output of umlauts in pdf
\usepackage[framed,amsmath,thmmarks,hyperref]{ntheorem}
\usepackage{framed}

\theoremstyle{break}
\setlength\theoremindent{0.7cm}
\theoremheaderfont{\kern-0.7cm\normalfont\bfseries} 
\theorembodyfont{\normalfont} % nicht mehr kursiv

\newframedtheorem{satz}{Satz}[chapter]
\newframedtheorem{lemma}[satz]{Lemma}
\newtheorem{korollar}[satz]{Korollar}

\begin{document}
    \begingroup
    \apptocmd{\thetheorem}{\protect\footnote{Im Grunde wird die Äquivalenz von Stetigkeit im Sinne der Analysis und Topologie auf metrischen Räumen gezeigt.}}{}{}
    \begin{korollar}
        Seien $X, Y$ metrische Räume und $f: X \rightarrow Y$ eine Abbildung.

        Dann gilt: $f$ ist stetig $\Leftrightarrow$ zu jedem $x \in X$ und jedem
        $\varepsilon > 0$ gibt es $\delta(x, \varepsilon) > 0$, sodass für
        alle $y \in X$ mit $d(x,y) < \delta $ gilt 
        $d_Y(f(x), f(y)) < \varepsilon$.
    \end{korollar}
    \endgroup
\end{document}

尝试 2

\documentclass[a6paper]{scrbook}
\usepackage[a6paper]{geometry}
\usepackage{etoolbox}
\usepackage{amsmath,amssymb}% math symbols / fonts
\usepackage[utf8]{inputenc} % this is needed for umlauts
\usepackage[ngerman]{babel} % this is needed for umlauts
\usepackage[T1]{fontenc}    % this is needed for correct output of umlauts in pdf
\usepackage[framed,amsmath,thmmarks,hyperref]{ntheorem}
\usepackage{framed}

\theoremstyle{break}
\setlength\theoremindent{0.7cm}
\theoremheaderfont{\kern-0.7cm\normalfont\bfseries} 
\theorembodyfont{\normalfont} % nicht mehr kursiv

\newframedtheorem{satz}{Satz}[chapter]
\newframedtheorem{lemma}[satz]{Lemma}
\newtheorem{korollar}[satz]{Korollar}

\begin{document}
    \begin{korollar}\footnote{Im Grunde wird die Äquivalenz von Stetigkeit im Sinne der Analysis und Topologie auf metrischen Räumen gezeigt.}
        Seien $X, Y$ metrische Räume und $f: X \rightarrow Y$ eine Abbildung.

        Dann gilt: $f$ ist stetig $\Leftrightarrow$ zu jedem $x \in X$ und jedem
        $\varepsilon > 0$ gibt es $\delta(x, \varepsilon) > 0$, sodass für
        alle $y \in X$ mit $d(x,y) < \delta $ gilt 
        $d_Y(f(x), f(y)) < \varepsilon$.
    \end{korollar}
\end{document}

尝试 3

\documentclass[a6paper]{scrbook}
\usepackage[a6paper]{geometry}
\usepackage{etoolbox}
\usepackage{amsmath,amssymb}% math symbols / fonts
\usepackage[utf8]{inputenc} % this is needed for umlauts
\usepackage[ngerman]{babel} % this is needed for umlauts
\usepackage[T1]{fontenc}    % this is needed for correct output of umlauts in pdf
\usepackage[framed,amsmath,thmmarks,hyperref]{ntheorem}
\usepackage{framed}

\theoremstyle{break}
\setlength\theoremindent{0.7cm}
\theoremheaderfont{\kern-0.7cm\normalfont\bfseries} 
\theorembodyfont{\normalfont} % nicht mehr kursiv

\newframedtheorem{satz}{Satz}[chapter]
\newframedtheorem{lemma}[satz]{Lemma}
\newtheorem{korollar}[satz]{Korollar}

\begin{document}
    \begin{korollar}[\footnote{Im Grunde wird die Äquivalenz von Stetigkeit im Sinne der Analysis und Topologie auf metrischen Räumen gezeigt.}]
        Seien $X, Y$ metrische Räume und $f: X \rightarrow Y$ eine Abbildung.

        Dann gilt: $f$ ist stetig $\Leftrightarrow$ zu jedem $x \in X$ und jedem
        $\varepsilon > 0$ gibt es $\delta(x, \varepsilon) > 0$, sodass für
        alle $y \in X$ mit $d(x,y) < \delta $ gilt 
        $d_Y(f(x), f(y)) < \varepsilon$.
    \end{korollar}
\end{document}

Answer 1

您可以轻松劫持定理编号后面紧接着的定理分隔符/标点符号。在您的例子中它是空的，但无论如何您可以让它包含一个命令，您可以在需要时重新定义它。现在使用和的\thmfoot组合来获取脚注：\footnotemark\footnotetext

\documentclass{scrbook}
\usepackage{etoolbox}
\usepackage{amsmath,amssymb}% math symbols / fonts
\usepackage[utf8]{inputenc} % this is needed for umlauts
\usepackage[ngerman]{babel} % this is needed for umlauts
\usepackage[T1]{fontenc}    % this is needed for correct output of umlauts in pdf
\usepackage[framed,amsmath,thmmarks,hyperref]{ntheorem}
\usepackage{framed}

\newcommand{\thmfoot}{}

\theoremstyle{break}
\setlength\theoremindent{0.7cm}
\theoremheaderfont{\kern-0.7cm\normalfont\bfseries} 
\theorembodyfont{\normalfont} % nicht mehr kursiv
\theoremseparator{\thmfoot}

\newframedtheorem{satz}{Satz}[chapter]
\newframedtheorem{lemma}[satz]{Lemma}
\newtheorem{korollar}[satz]{Korollar}

\begin{document}

\begingroup
\renewcommand{\thmfoot}{\footnotemark}
\begin{korollar}
  \footnotetext[\thefootnote]{Im Grunde wird die Äquivalenz
  von Stetigkeit im Sinne der Analysis und Topologie auf metrischen
  Räumen gezeigt.}
  Seien $X, Y$ metrische Räume und $f\colon X \rightarrow Y$ eine
  Abbildung.

  Dann gilt: $f$ ist stetig $\Leftrightarrow$ zu jedem $x \in X$ und
  jedem $\varepsilon > 0$ gibt es $\delta(x, \varepsilon) > 0$, sodass
  für alle $y \in X$ mit $d(x,y) < \delta $ gilt $d_Y(f(x), f(y)) <
  \varepsilon$.
\end{korollar}
\endgroup

\end{document}