☰

如何使定理 n 后面跟着定理 n' ？

tag-icon • tag-icon numbering theorems
如何使定理 n 后面跟着定理 n' ？

我正在写一篇论文，其中我陈述了一个定理，然后过了一会儿，我又陈述了另一个与第一个定理等价的定理。是否可以对它们进行编号，以便第二个定理是第一个定理的撇号版本？换句话说，如果第一个定理编号为定理 7，我希望它的等效版本编号为定理 7'。有什么想法吗？谢谢。

答案1

\documentclass[a4paper]{article}

\newtheorem{thm}{Theorem}
\newenvironment{thmbis}[1]
  {\renewcommand{\thethm}{\ref{#1}$'$}%
   \addtocounter{thm}{-1}%
   \begin{thm}}
  {\end{thm}}

\begin{document}
\begin{thm}
$1+1=2$
\end{thm}
\begin{thm}\label{comm}
$a+b=b+a$
\end{thm}
\begin{thmbis}{comm}
$x+y=y+x$
\end{thmbis}
\begin{thm}
$0\ne0$
\end{thm}
\end{document}

这样，“启动”定理就不需要靠近主定理了。thmbis环境将主定理的标签作为参数。

如果“引理”定理总是紧跟在主定理之后，你可以说

\newenvironment{thmbis}
  {\addtocounter{thm}{-1}%
   \renewcommand{\thethm}{\arabic{thm}$'$}%
   \begin{thm}}
  {\end{thm}}

如果超链接使用时，必须破解其创建超链接的自动机制；以下方法似乎有效：

\makeatletter
\newcommand{\neutralize}[1]{\expandafter\let\csname c@#1\endcsname\count@}
\makeatother

\newtheorem{thm}{Theorem}

\newenvironment{thmbis}[1]
  {\renewcommand{\thethm}{\ref{#1}$'$}%
   \neutralize{thm}\phantomsection
   \begin{thm}}
  {\end{thm}}

\ref*{#1}如果您不想建立指向“主要定理”的链接则使用。

答案2

一个想法，但...最后我取消删除

\documentclass[12pt]{book}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage{lmodern}
\usepackage{amssymb,amsmath,latexsym}

\newtheorem{theo}{Theorem}
\newcounter{biscompt}

\newtheorem{bis}[biscompt]{Theorem}
\renewcommand{\thebiscompt}{% 
\setcounter{biscompt}{\thetheo} 
\arabic{theo}'}
\usepackage{hyperref}   

\begin{document}

\chapter{}

\section{}  
\begin{theo}
On vérifie que :  $1\not= 1$
\end{theo}

\newpage
\section{}
\begin{theo}
On vérifie que :  $2\not= 3$
\end{theo}

\newpage   
\section{}   



\begin{theo}
On vérifie que :  $1\not= 1$
\end{theo}

\begin{bis}\label{bis}
On vérifie que :  $1\not= 1$
\end{bis}

\newpage
\section{}

With \ref{bis} 
\end{document}

相关内容