如何给定理赋予特定数字？（即手动）

Question

在我的论文中，我有特定的定理/引理编号。由于我没有在 beamer 演示文稿中展示所有定理和引理，因此编号会有所不同。我如何手动为 beamer 演示文稿中的定理和引理提供正确的编号。

\begin{document}
\theoremstyle{plain}
\newtheorem{thm}{Sætning}[section]

\theoremstyle{definition}
\newtheorem{defn}[thm]{Definition}

\theoremstyle{plain}
\newtheorem{lem}[thm]{Lemma}

\theoremstyle{definition}
\newtheorem{eks}[thm]{Eksempel}

\theoremstyle{plain}
\newtheorem{prop}[thm]{Proposition}

\theoremstyle{plain}
\newtheorem{kor}[thm]{Korollar}

\theoremstyle{definition}
\newtheorem{ov}[thm]{Øvelse}


\frame{\titlepage \vspace{-0.5cm}
}


\frame
{
\frametitle{Oversigt}
\tableofcontents%[pausesection]
}

\section{Præsentation af sætningen.}
\frame{
\frametitle{Picard's sætning}
\begin{thm}
Lad $G$ være åben i $\mathbb{C}$. En funktion $h:G\to \mathbb{R}$ kaldes 
harmonisk hvis $h\in C^2(G)$ og $\Delta h=0$ i $G.$ 
\end{thm}
}
\end{document}

Answer 1

假设你的定理在你的论文中以某种方式被标记，例如

\documentclass{book}
\usepackage{amsthm}
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}

\begin{document}

\begin{theorem}\label{th:first}
theo1
\end{theorem}

\begin{theorem}\label{thm:second}
theo2
\end{theorem}

\ref{thm:second}

\end{document}

然后您可以使用该xr-hyper包将这些数字放入您的演示文稿中：

\RequirePackage{xr-hyper}
\documentclass{beamer}
\usepackage[utf8]{inputenc}    

\theoremstyle{plain}
\newtheorem{thm}{Sætning}[section]

\externaldocument{nameofyourthesisfile}

\begin{document}

\section{Præsentation af sætningen.}
\begin{frame}
\frametitle{Picard's sætning}

\begin{thm}[\ref{thm:second}]
Lad $G$ være åben i $\mathbb{C}$. En funktion $h:G\to \mathbb{R}$ kaldes 
harmonisk hvis $h\in C^2(G)$ og $\Delta h=0$ i $G.$ 
\end{thm}

\end{frame}
\end{document}

Answer 2

您可以定义一个新环境，以定理类型和（可选）数字作为参数。

请注意，最好先定义环境，\begin{document}并且该语法\frame{...}已被弃用。

\documentclass{beamer}
\usepackage[utf8]{inputenc}
\usepackage{xparse}

\usetheme{Warsaw}

\newcommand{\thisthmnumber}{}

\theoremstyle{plain}
\newtheorem{thm}{Sætning\thisthmnumber}
\newtheorem{lem}{Lemma\thisthmnumber}
\newtheorem{prop}{Proposition\thisthmnumber}
\newtheorem{kor}{Korollar\thisthmnumber}

\theoremstyle{definition}
\newtheorem{defn}{Definition\thisthmnumber}
\newtheorem{eks}{Eksempel\thisthmnumber}
\newtheorem{ov}{Øvelse\thisthmnumber}

\NewDocumentEnvironment{statement}{mo}
 {%
  \IfValueT{#2}{\renewcommand{\thisthmnumber}{ #2}}\begin{#1}%
 }
 {\end{#1}}

\begin{document}

\begin{frame}
\titlepage \vspace{-0.5cm}
\end{frame}


\begin{frame}
\frametitle{Oversigt}
\tableofcontents%[pausesection]
\end{frame}

\section{Præsentation af sætningen.}

\begin{frame}
\frametitle{Picard's sætning}

\begin{statement}{lem}
Easy lemma
\end{statement}

\begin{statement}{thm}[1]
Lad $G$ være åben i $\mathbb{C}$. En funktion $h\colon G\to \mathbb{R}$ kaldes 
harmonisk hvis $h\in C^2(G)$ og $\Delta h=0$ i $G$. 
\end{statement}

\end{frame}

\end{document}

如果您想以最少的人工干预重复使用您的语句，则有一个略有不同的想法：将手动分配的编号添加到括号中。这样也可以陈述定理归属。

\documentclass{beamer}
\usepackage[utf8]{inputenc}
\usepackage{xparse}

\usetheme{Warsaw}

% tweak \newtheorem
\let\originalnewtheorem\newtheorem
\RenewDocumentCommand{\newtheorem}{ommo}{%
  \originalnewtheorem{#2inner}{#3\thisthmnumber}
  \NewDocumentEnvironment{#2}{od()}
   {%
    \IfValueT{##2}{\renewcommand{\thisthmnumber}{ ##2}}%
    \IfValueTF{##1}{\begin{#2inner}[##1]}{\begin{#2inner}}%
   }
   {\end{#2inner}}
}
\newcommand{\thisthmnumber}{}

\theoremstyle{plain}
\newtheorem{thm}{Sætning}[section]
\newtheorem[thm]{lem}{Lemma}
\newtheorem[thm]{prop}{Proposition}
\newtheorem[thm]{kor}{Korollar}

\theoremstyle{definition}
\newtheorem[thm]{defn}{Definition}
\newtheorem[thm]{eks}{Eksempel}
\newtheorem[thm]{ov}{Øvelse}

\begin{document}

\begin{frame}
\titlepage \vspace{-0.5cm}
\end{frame}


\begin{frame}
\frametitle{Oversigt}
\tableofcontents%[pausesection]
\end{frame}

\section{Præsentation af sætningen.}

\begin{frame}
\frametitle{Picard's sætning}

\begin{lem}
Easy lemma
\end{lem}

\begin{thm}(1)
Lad $G$ være åben i $\mathbb{C}$. En funktion $h\colon G\to \mathbb{R}$ kaldes 
harmonisk hvis $h\in C^2(G)$ og $\Delta h=0$ i $G$. 
\end{thm}

\begin{thm}[Picard](3.1)
Lad $G$ være åben i $\mathbb{C}$. En funktion $h\colon G\to \mathbb{R}$ kaldes 
harmonisk hvis $h\in C^2(G)$ og $\Delta h=0$ i $G$. 
\end{thm}

\end{frame}

\end{document}