LaTeX自定義定理，引理和證明環(huán)境

在LaTeX論文撰寫(xiě)中，遇到未包含定制定理、引理和證明環(huán)境的模板時(shí)，需要自行設(shè)置。以IEEE Computer Society期刊模板為例，參考Overleaf教程，以下是自定義這些數(shù)學(xué)環(huán)境的步驟:
首先，你需要在LaTeX的 preamble部分（導(dǎo)言區(qū)）中引入amsthm包，以便使用其提供的證明環(huán)境。只需在相應(yīng)位置添加以下代碼：
latex
\usepackage{amsthm}
接著，定義定理、推論和引理。在導(dǎo)演區(qū)（preamble部分的最后），添加以下代碼來(lái)創(chuàng)建自定義的環(huán)境:
latex
\newtheorem{theorem}{定理}
\newtheorem{lemma}[theorem]{引理}
\newtheorem{proof}[theorem]{證明}
在使用這些新環(huán)境時(shí)，如需在定理中添加標(biāo)簽以便后續(xù)引用，可以在\begin{theorem}后面加上\label，例如:
latex
\begin{theorem}[見(jiàn)定理\ref{th}]\label{th}
這是一個(gè)定制的定理...
\end{theorem}
在正文部分引用這些定理、引理和證明時(shí)，只需按照標(biāo)準(zhǔn)格式，如:
latex
根據(jù)定理\ref{th}，我們可以得出...
\begin{proof}
證明過(guò)程...
\end{proof}
這樣，你就可以在LaTeX文檔中方便地使用自定義的定理、引理和證明環(huán)境了。通過(guò)這種方式，你可以確保論文的數(shù)學(xué)部分整潔且符合所需的格式要求。

TeX中如何設(shè)置定理（命題，假設(shè)，證明等）環(huán)境

首先你要先使用宏包 ntheorem \usepackage[amsmath,thmmarks]{ntheorem}% 定理類(lèi)環(huán)境宏包，其中 amsmath 選項(xiàng)% 用來(lái)兼容 AMS LaTeX 的宏包 %=== 配合上面的ntheorem宏包產(chǎn)生各種定理結(jié)構(gòu),重定義一些%正文相關(guān)標(biāo)題 ===\theoremstyle{plain}\theoremheaderfont{
ormalfont\rmfamily\CJKfamily{hei}}\theorembodyfont{
ormalfont\rm\CJKfamily{kai}} \theoremindent0em\theoremseparator{\hspace{1em}} \theoremnumbering{arabic}%\theoremsymbol{} %定理結(jié)束時(shí)自動(dòng)添加的標(biāo)志
ewtheorem{definition}{\hspace{2em}定義}[section]%
ewtheorem{definition}{\hei 定義}[section]%!!!注意當(dāng)section為中國(guó)數(shù)字時(shí)，[section]不可用！
ewtheorem{proposition}{\hspace{2em}命題}[section]
ewtheorem{property}{\hspace{2em}性質(zhì)}[section]
ewtheorem{lemma}{\hspace{2em}引理}[section]%
ewtheorem{lemma}[definition]{引理}
ewtheorem{theorem}{\hspace{2em}定理}[section]
ewtheorem{axiom}{\hspace{2em}公理}[section]
ewtheorem{corollary}{\hspace{2em}推論}[section]
ewtheorem{exercise}{\hspace{2em}習(xí)題}[section]\theoremsymbol{$\blacksquare$}
ewtheorem{example}{\hspace{2em}例}[section]\theoremstyle{nonumberplain}\theoremheaderfont{\CJKfamily{hei}\rmfamily}\theorembodyfont{
ormalfont \rm \CJKfamily{song}} \theoremindent0em\theoremseparator{\hspace{1em}} \theoremsymbol{$\blacksquare$}
ewtheorem{proof}{\hspace{2em}證明} 注意：如果你使用的book,而不是article，那么你要把所有的section改為chapter.

LaTeX-定理類(lèi)環(huán)境-ntheorem

在LaTeX的世界中，定理類(lèi)環(huán)境扮演著關(guān)鍵角色，它們提供了標(biāo)題、編號(hào)和定制格式的文本展現(xiàn)?；A(chǔ)的\newtheorem命令雖然易于使用，但其格式相對(duì)固定。ntheorem宏包的引入則為我們提供了更大的靈活性，允許調(diào)整定理環(huán)境的參數(shù)。在使用時(shí)，確保導(dǎo)入了相關(guān)宏包，如amsmath（可能需要添加amsmath選項(xiàng)以避免問(wèn)題）和thmmarks（用于添加定理末尾的符號(hào)）。
\theoremstyle{}命令允許你選擇不同風(fēng)格的定理環(huán)境，如預(yù)定義的樣式。除了基本命令，你還可以自定義環(huán)境的設(shè)置，比如更改標(biāo)題格式或添加特定標(biāo)識(shí)。
特別地，證明類(lèi)環(huán)境無(wú)需編號(hào)，通過(guò)調(diào)整命令可以實(shí)現(xiàn)。對(duì)于答案類(lèi)環(huán)境，如習(xí)題解答，可能需要etoolbox和environ宏包的配合，以實(shí)現(xiàn)開(kāi)關(guān)控制答案的顯示。然而，這類(lèi)環(huán)境可能無(wú)法顯示\theoremsymbol，這需要進(jìn)一步研究。
要實(shí)際應(yīng)用這些環(huán)境，只需像下面這樣編寫(xiě)代碼：
latex
\usepackage{thmmarks,amsmath} % 選擇所需的宏包
\theoremstyle{...} % 選擇定理樣式
\newtheorem{myTheorem}{我的定理}[section] % 聲明定理環(huán)境
\newtheorem*{myProof}{證明} % 聲明無(wú)編號(hào)的證明環(huán)境
\newbool{showAnswers} % 定義開(kāi)關(guān)
\NewEnviron{myAnswer}[1][解答]{% 聲明答案環(huán)境
\ifbool{showAnswers}%
{#1: \BODY}% 展示答案
{}
}

LaTeX筆記 | 關(guān)于 \newtheorem

看了百度首頁(yè)上的一些帖子，要么是沒(méi)有講多個(gè)數(shù)學(xué)內(nèi)容如何組織編號(hào)的問(wèn)題，要么是一些基礎(chǔ)的用法說(shuō)明不夠齊整，于是整理了一番，暫時(shí)感覺(jué)“夠用”。
ewtheorem 是定義 “命題，定理，，定義，引理，假設(shè)，說(shuō)明，證明，推論，例子” 等 數(shù)學(xué)內(nèi)容 的命令。調(diào)用時(shí)需要引用包： \usepackage{amsthm} 。
常用的 “數(shù)學(xué)內(nèi)容” ：Proposition，Theorem，Definition，Lemma，Assumption，Remark，Proof，Corollary，Example
該命令不使用參數(shù)區(qū)分這些數(shù)學(xué)內(nèi)容，而是提供了三種 顯示風(fēng)格 ：
\theoremstyle{plain}
\theoremstyle{definition}
\theoremstyle{remark}
每一個(gè)數(shù)學(xué)內(nèi)容都必須定義一個(gè) 唯一的 theorem 環(huán)境，環(huán)境定義在 \begin{document} 之前：
ewtheorem{環(huán)境名}{數(shù)學(xué)內(nèi)容}[section]
例如
ewtheorem{asm}{Assumption}[section]
[chapter] [section] [subsection] 指定了該數(shù)學(xué)內(nèi)容的編號(hào)是按 章/節(jié)/小節(jié) 命名的。
在正文中使用 \begin{環(huán)境名}[名稱(chēng)]... \end{環(huán)境名} 調(diào)用已經(jīng)定義好的環(huán)境。([名稱(chēng)]可缺省)
例如 \begin{asm}[PE condition] ... \end{asm}
另一種更為常見(jiàn)的 編號(hào)方式 形如 "Definition 1, Definition 2..." "Assumption 1, Assumption 2..."，即同種類(lèi)型的數(shù)學(xué)內(nèi)容共同組成一組編號(hào)。因?yàn)樵撁罱M不區(qū)分?jǐn)?shù)學(xué)內(nèi)容的使用方式，所以我們需要手工組織哪些環(huán)境是同組編號(hào)的：
有一些數(shù)學(xué)內(nèi)容一般是不需要進(jìn)行編號(hào)的，如Proof，在定義時(shí)添加一個(gè)星號(hào)即可：
ewtheorem*{prf}{Proof}
不過(guò)，latex自帶一個(gè)proof環(huán)境，在正文中可以直接調(diào)用：
\begin{proof} ... \end{proof}
三種顯示風(fēng)格，三種編號(hào)方式（注意 [] 的內(nèi)容、位置）。

latex中使用proof證明時(shí)如何去掉QED

這問(wèn)題我已經(jīng)回答過(guò)一次了。復(fù)制一次
%\usepackage{amsthm}
\renewcommand{\qedsymbol}{} %去掉QED
當(dāng)然你可以改成其它 符號(hào)， 比如改成自己的ID
\documentclass[10pt,a4paper]{ctexart}
\usepackage{amsthm}
%\renewcommand{\qedsymbol}{}%去掉QED
\renewcommand{\qedsymbol}{by texmaker9}
\begin{document}
\begin{proof}
latex中使用proof證明時(shí)如何去掉QED
\end{proof}
\end{document}