Latex中定义、定理、引理、证明 设置方法总结
在LaTex中需要有关定理、公理、命题、引理、定义等时，常用如下命令
- ewtheorem{定理环境名}{标题}[主计数器名]
- ewtheorem{theorem}{Theorem}[Chapter]
意思就是定义一个以Theorem为标题的theorem环境,计数以章节数为主.
egin{theorem}[均值不等式] 设$A,B$是两个实数, 则$2ABleq 2 A^2+B^2$. end{theorem}
如果需要输出中文,使用定义theorem如下
ewtheorem{theorem}{hspace{2em}定理}[chaptet]
另外在{hspace{2em}定理}中还可以输入更改字体的命令来改变定理的字体
其他中文模式：
- ewtheorem{Definition}{hspace{2em}定义}[chapter]
- ewtheorem{theorem}{hspace{2em}定理}[chapter]
- ewtheorem{lemma}{hspace{2em}引理}[chapter]
- ewtheorem{Proof}{证明}[chapter]
前面提到的定理、公理、命题、引理、定义的一套命令可以用这个
% Theorem style
- ewtheoremstyle{mystyle}{3pt}{3pt}{kaishu}{0cm}{heiti2 }{}{1em}{} heoremstyle{mystyle}
- ewtheorem{definition}{hspace{2em}定义}[chapter] %
- 没有章, 只有节, 把上面的[chapter]改成[section]
文章中可以直接使用的范例：
ewtheorem{theorem}[definition]{hspace{2em}定理}
ewtheorem{axiom}[definition]{hspace{2em}公理}
ewtheorem{lemma}[definition]{hspace{2em}引理}
ewtheorem{proposition}[definition]{hspace{2em}命题}
ewtheorem{corollary}[definition]{hspace{2em}推论}
ewtheorem{remark}{hspace{2em}注}[chapter]
Latex-定理定义的排版
ewtheorem{thm}{Theorem}[section]
ewtheorem{prop}{Proposition}[section]
以上定理和命题分别计数，如果命题也用定理的计数器，可以这样定义：
ewtheorem{prop}[thm]{Proposition}
引用：
egin{thm}[附加标题,如定理名称，作者]
文本
end{thm}
较短的证明可以用
egin{proof}[标题]
证明内容。
end{proof}
如果有[标题]选项，则显示这个标题(斜体)，否则自动打印斜体的Proof，并在证明结束时自动生成证毕符号口。
如果使用proof命令，则需要在结束时手动加上结束命令qed。
当然你可以重定义证毕符号，例如：
enewcommand*{qedsymbol}{[证毕]}
egin{proof}[证:]
证明正文。
end{proof}
注意： egin{proof}...end{proof}环境需要usepackage{amsthm}宏包的支持