博客
关于我
强烈建议你试试无所不能的chatGPT,快点击我
Latex中定义、定理、引理、证明 设置方法总结
阅读量:4572 次
发布时间:2019-06-08

本文共 1581 字,大约阅读时间需要 5 分钟。

Latex中定义、定理、引理、证明 设置方法总结

 

在LaTex中需要有关定理、公理、命题、引理、定义等时,常用如下命令

  • \newtheorem{定理环境名}{标题}[主计数器名] 
  • \newtheorem{theorem}{Theorem}[Chapter]

意思就是定义一个以Theorem为标题的theorem环境,计数以章节数为主.

 

\begin{theorem}[均值不等式]设$A,B$是两个实数, 则$2AB\leq 2 A^2+B^2$.\end{theorem}

如果需要输出中文,使用定义theorem如下

\newtheorem{theorem}{

\hspace{2em}定理}[chaptet]

另外在{\hspace{2em}定理}中还可以输入更改字体的命令来改变定理的字体

其他中文模式:

  • \newtheorem{Definition}{\hspace{2em}定义}[chapter]
  • \newtheorem{theorem}{\hspace{2em}定理}[chapter]
  • \newtheorem{lemma}{\hspace{2em}引理}[chapter]
  • \newtheorem{Proof}{证明}[chapter]

前面提到的定理、公理、命题、引理、定义的一套命令可以用这个

% Theorem style

  • \newtheoremstyle{mystyle}{3pt}{3pt}{\kaishu}{0cm}{\heiti2 }{}{1em}{}  \theoremstyle{mystyle}
  • \newtheorem{definition}{\hspace{2em}定义}[chapter] % 
  •  没有章, 只有节, 把上面的[chapter]改成[section] 

文章中可以直接使用的范例:

\newtheorem{theorem}[definition]{\hspace{2em}定理} 

\newtheorem{axiom}[definition]{\hspace{2em}公理} 

\newtheorem{lemma}[definition]{\hspace{2em}引理} 

\newtheorem{proposition}[definition]{\hspace{2em}命题} 

\newtheorem{corollary}[definition]{\hspace{2em}推论} 

 \newtheorem{remark}{\hspace{2em}注}[chapter]

 


 

Latex-定理定义的排版

\newtheorem{thm}{Theorem}[section]

\newtheorem{prop}{Proposition}[section]

以上定理和命题分别计数,如果命题也用定理的计数器,可以这样定义:

\newtheorem{prop}[thm]{Proposition}

引用:

\begin{thm}[附加标题,如定理名称,作者]文本\end{thm}较短的证明可以用\begin{proof}[标题]证明内容。\end{proof}

 

如果有[标题]选项,则显示这个标题(斜体),否则自动打印斜体的Proof,并在证明结束时自动生成证毕符号口。

如果使用\proof命令,则需要在结束时手动加上结束命令\qed。

当然你可以重定义证毕符号,例如:

\renewcommand*{\qedsymbol}{[证毕]}\begin{proof}[证:]证明正文。\end{proof}

注意: \begin{proof}...\end{proof}环境需要\usepackage{amsthm}宏包的支持

转载于:https://www.cnblogs.com/tsingke/p/6579620.html

你可能感兴趣的文章
creat-react-app搭建的项目中按需引入antd以及配置Less和如何修改antd的主题色
查看>>
IIS安装
查看>>
c#核心基础-委托
查看>>
VS2008试用版到期解决办法
查看>>
luoguP4169 [Violet]天使玩偶/SJY摆棋子 K-Dtree
查看>>
html块级元素和行级元素的区别和使用
查看>>
for循环嵌套
查看>>
寒冬夜行人
查看>>
bat for循环
查看>>
poj1151 Atlantis
查看>>
HTML页面之间的参数传递
查看>>
KVM宿主机上虚拟机动态添加新磁盘
查看>>
c#委托基础
查看>>
类型后面加?的问题
查看>>
11 步让你成为更优秀的程序员
查看>>
SQL 查找 45道练习题
查看>>
java面试题集锦
查看>>
scikit-learn:4.2.3. Text feature extraction
查看>>
varnish-4.x VCL之强制cache miss
查看>>
Spring Security构建Rest服务-0800-Spring Security图片验证码
查看>>