☰

缺失}插入。\end{proof}

tag-icon • tag-icon proof-package
缺失}插入。\end{proof}

我收到一堆错误信息告诉我：

第 417 行：缺失 { 插入。\end{proof}
第 417 行：缺失 } 插入。\end{proof}
第 426 行：缺失 { 插入。\end{proof}
第 426 行：缺失 } 插入。\end{proof}
第 439 行：缺失 { 插入。\end{proof}
第 439 行：缺失 } 插入。\end{proof}

部分示例源代码如下：

417 号线

\begin{proof}
    \begin{equation*}
        f'(x)=\lim_{h \to 0}\frac{c-c}{h}=0
    \end{equation*}
\end{proof}

426 号线

\begin{proof}
    pending
\end{proof}

439 行

\begin{proof} 
    \begin{align*}
        \frac{d}{dx}(cf)&=\lim_{h \to 0}\frac{cf(x+h)-cf(x)}{h} \\[0.2cm]
        &= c\lim_{h \to 0}\frac{f(x+h)-f(x)}{h} \\[0.2cm]
        &=c\frac{df}{dx}
    \end{align*} 
\end{proof}

为了以防万一，我将提供我的 usepackages：

\documentclass[11pt,a4paper]{article}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{makeidx}
\usepackage{graphicx}
\usepackage{amsthm}
\usepackage{ntheorem}
\usepackage{proof}

\theoremstyle{break}
\newtheorem*{theorem}{Theorem}

答案1

永远不要忽视错误信息，并且始终寻找第一个错误信息，在你的情况下是

! Package ntheorem Error: Theorem style plain already defined.

See the ntheorem package documentation for explanation.
Type  H <return>  for immediate help.

而错误就在于ntheorem和amsthm在重新定义时互相争斗\newtheorem。

消除ntheorem。

如果你想要“break style”（我不喜欢），你需要自己构建它，因为amsthm它没有提供开箱即用的功能。你可以查阅其文档以找到

\newtheoremstyle{break}
  {}
  {}
  {\itshape}
  {}
  {\bfseries}
  {}% Note that final punctuation is omitted.
  {\newline}
  {}

（空参数通常用默认值（而不是标点符号参数）替换。

\documentclass[11pt,a4paper]{article}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{makeidx}
\usepackage{graphicx}
\usepackage{amsthm}
\usepackage{proof}

\newtheoremstyle{break}
  {}
  {}
  {\itshape}
  {}
  {\bfseries}
  {}% Note that final punctuation is omitted.
  {\newline}
  {}
\theoremstyle{break}

\newtheorem*{theorem}{Theorem}

\begin{document}

\begin{theorem}
Something neat here to state.
\end{theorem}

\begin{proof}
    \begin{equation*}
        f'(x)=\lim_{h \to 0}\frac{c-c}{h}=0 \qedhere
    \end{equation*}
\end{proof}

\end{document}

我离开了\usepackage{proof}，但我不认为你想要它，因为它是为了“逻辑证明”而存在的，与环境无关proof。

在此处输入图片描述

答案2

经过反复试验，发现错误是由于以下两个冲突引起的：

\usepackage{ntheorem}

和

\usepackage{amsthm}

我最初包含 \usepackage{ntheorem} 是因为我想在 Theorem 标题后休息一下，而使用 AMSTHM 的 \newtheoremstyle 却无法实现这一点。

相关内容