这是我的代码：
如您所见，TeX Studio 无法识别该proof环境。尽管如此，我有amsmath在首选项中激活了该包：
那么为什么它不起作用呢？我尝试重新启动电脑，看看它是否能加载该包，但没有起作用。
我正在使用 ProTeXt 包。输出文件看起来不错。
答案1
实际上，您没有正确描述问题。当 TeXstudio 无法识别环境时，它会以\begin红色\end突出显示。例如，如果我添加环境foo，我会得到以下信息：
将鼠标光标悬停在 上时会弹出“无法识别的命令”弹出窗口\begin。（抱歉，它没有显示在屏幕截图中。）
您面临的问题是另一个问题：您在数学模式之外使用了仅限数学模式的代码。proof确实不是启动数学模式。TeXstudio 会告诉你情况如下：
补充说明
我刚刚看到你正在使用$$ ... $$显示数学。不要这样做，使用\begin{equation*} ... \end{equation*}或\[ .. \]，请参阅为什么\[ … \]优于$$？