Latex中定义、定理、引理、证明 设置方法总结
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}
注意: 环境需要\usepackage{amsthm}宏包的支持
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 10年+ .NET Coder 心语,封装的思维:从隐藏、稳定开始理解其本质意义
· .NET Core 中如何实现缓存的预热?
· 从 HTTP 原因短语缺失研究 HTTP/2 和 HTTP/3 的设计差异
· AI与.NET技术实操系列:向量存储与相似性搜索在 .NET 中的实现
· 基于Microsoft.Extensions.AI核心库实现RAG应用
· TypeScript + Deepseek 打造卜卦网站:技术与玄学的结合
· 阿里巴巴 QwQ-32B真的超越了 DeepSeek R-1吗?
· 【译】Visual Studio 中新的强大生产力特性
· 10年+ .NET Coder 心语 ── 封装的思维:从隐藏、稳定开始理解其本质意义
· 【设计模式】告别冗长if-else语句:使用策略模式优化代码结构