overleaf 公式_Latex的公式输入

本文来自Wikibooks-LateX/Mathemaatics的翻译，有耐心的战友可以去看原网页，点击那一长串英文字符即可传送。写本文是因为最近看一本书预测分析—R语言的实现，里面有大量的数学公式要输入，正好简书markdown也支持Latex的公式输入，介绍文章在这里https://www.jianshu.com/p/336c1577a1f4。

Latex/数学公式

当Donald Knuth开始开发原始TeX系统时，最大的激励力之一就是创造一些允许简单构建数学公式的东西，同时在打印时看起来很专业。他成功的事实很可能是为什么TeX(以及后来的LaTeX)在科学界变得如此受欢迎。排版数学公式是LaTeX最大的优势之一。由于存在如此多的数学符号，这也是一个很大的话题。

如果您的文档只需要几个简单的数学公式，那么普通的LaTeX就拥有您需要的大多数工具。如果您正在编写包含许多复杂公式的科学文档，则amsmath包

\usepackage {amsmath}

或者

\usepackage {mathtools}

mathtools包会自动加载amsmath包，因此如果mathtools被使用，就不必再添加\usepackage {amsmath}。

数学环境

LaTeX需要知道文本何时输入数学的。这是因为LaTeX排版数学符号与普通文本不同。因此，需要声明特殊环境。它们可以根据它们的呈现方式分为两类：

text - 文本公式以内联方式显示，即在声明它的文本体内，例如，我可以说在这句话中 a + a = 2a。

displayed - 显示的公式本身就是一行。

由于数学需要特殊的环境，因此您可以使用标准方式使用适当的环境名称。然而，与大多数其他环境不同，有一些方便的缩写来声明您的公式。总结如下表：

类型

行内(在文本中)公式

显示的公式式

显示并自动编号的方程式

环境

math

displaymath

equation

LaTeX速记

\(...\)

\[...\]

TeX速记

$...$

$$...$$

评注

equation* (加星标版)抑制编号，但需要amsmath

建议：应该避免使用$$...$$，因为它可能会导致问题，尤其是AMS-LaTeX宏。此外，如果出现问题，错误消息可能没有帮助。

蓝而这个正是简书编写行间公式的声明语句

在equation*与displaymath环境在功能上等同。

如果您在常规输入文本，则说您处于文本模式 (text mode)，但是当您在其中一个数学环境中键入时，您被称为处于数学模式 (math mode)，它与文本模式相比有一些差异：

大多数空格和换行没有任何意义，因为所有空格都是从数学表达式逻辑推导出来的，或者必须用特殊命令指定，例如 \quad

不允许空行。每个公式只有一个段落。

每个字母都被认为是变量的名称，并且将被排版。如果要在公式(正常直立字体和正常间距)中排版普通文本，则必须使用专用命令输入文本。

在文本块中插入displayed数学

为了使某些运算符，例如\lim或\sum在某些数学环境中正确显示($...$)，在环境中编写\displaystyle类可能会很方便。这样做可能会导致行更高，但会使得某些数学运算符正确显示指数和索引。例如，$\sum$将打印较小的Σ，$\displaystyle \sum$会打印较大的

就像在方程中一样(这只适用于AMSMATH包)。通过在最开始(即之前)(例如，在\begin{document}之前)，声明 \everymath{\displaystyle}，可以强制所有数学环境中的此行为。

符号

数学有很多符号！有一组符号可以直接从键盘访问：

+ - = ! / ( ) [ ] < > | ' : *

除了上面列出的那些之外，必须发出不同的命令以显示所需的符号。有许多例子，如希腊字母，集合和关系符号，箭头，二元运算符等。

例如：

\forall x \in X, \quad \exists y \leq \epsilon |

幸运的是，有一种工具可以极大地简化对特定符号命令的搜索。在下面的外部链接部分中查找“Detexify” 。另一种选择是在下面的外部链接部分查看“综合Latex符号列表” 。

希腊字母

希腊字母通常用于数学，它们在数学模式输入很简单。你只需要在反斜杠后输入字母的名称：如果第一个字母是小写的，你会得到一个小写的希腊字母，如果第一个字母是大写(只有第一个字母)，那么你将获得一个大写字母。请注意，一些大写的希腊字母看起来像拉丁字母，因此它们不是由LaTeX提供的(例如，大写的Alpha和Beta分别只是“A”和“B”)。小写epsilon，theta，kappa，phi，pi，rho和sigma以两种不同的版本提供，替代的，或variant的版本由字母的名称前加上“var”创建的：

\alpha, \Alpha, \beta, \Beta, \gamma, \Gamma, \pi, \Pi, \phi, \varphi, \mu, \Phi

image.png

但是，简书上好像不支持大写版本：

\alpha, \beta, \gamma, \pi, \phi, \varphi, \mu |

List数学符号以获得希腊符号的完整列表。

运算符

运算符是一个写成单词的函数：例如三角函数(sin，cos，tan)，对数和指数(log，exp)，limit(lim)，以及trace和行列式(tr，det)。LaTeX有许多定义为命令：

\cos(2 \theta) = \cos ^ 2 \theta - \sin ^ 2 \theta

对于某些运算符(如极限 limit)，下标位于运算符下方：

\lim_{x \to \infty} \exp(-x) = 0

对于模运算符，有两个命令：\bmod和\pmod:

a \bmod b |

x \equiv a \pmod {b} |

要使用未预定义的运算符(例如argmax)，请参阅自定义运算符

幂和脚标

幂和脚标等同于普通文本模式中的上标和下标。插入符号(^; 也称为抑扬音符)用于上抬某些文本，而下划线(_)用于下降文本。如果需要上抬或降低多个表达式，则应使用花括号({和})对它们进行分组。

k_{n+1} = n^2 + k_n^2 - k_{n-1} |

对于具有多个数字的幂指数，请使用{}围绕指数。

n ^ {22} |

下划线(_)可与垂直条一起使用|用数学中的下标符号表示脚标：

f(n)= n ^ 5 + 4n ^ 2 + 2 | _ {n = 17} |

分数和二项式

使用\frac{numerator}{denominator}创建分数。(它们分别是顶部和底部！)。同样，可以使用命令二项式系数(也称为选择函数)： \frac{numerator}{denominator}\binom

\frac{n!}{k!(n-k)!} = \binom{n}{k} |

您可以在分数中嵌入分数:

\frac{\frac{1}{x} + \frac{1}{y}}{yz} |

请注意，当出现在另一个分数内部或内联文本中

时 ，分数明显小于显示的数学公式。的\tfrac和\dfrac命令\textstyle和\displaystyle。类似地，\tbinom和\dbinom命令排版二项式系数。

对于相对简单的分数，特别是在文本中，使用指数和脚标可能在美学上更令人愉悦：

^ 3 / _ 7 |

如果这看起来有点“松散”(空间过大)，可以通过插入一些负空间来定义收紧版本:

%running fraction with slash - requires math mode.

\newcommand*\rfrac[2]{ {}^{#1}\!/_{#2}}

\rfrac{3}{7}

image.png

简书中貌似没有。

如果您在整个文档中使用它们，建议使用xfrac软件包。该软件包提供\sfrac了创建倾斜分数的命令。用法：

Take $\sfrac{1}{2}$ cup of sugar, \dots

3\times\sfrac{1}{2}=1\sfrac{1}{2}

Take ${}^1/_2$ cup of sugar, \dots

3\times{}^1/_2=1{}^1/_2

image.png

如果使用分数作为指数，则必须在\sfrac命令周围使用花括号：

$x^\frac{1}{2}$ % no error

$x^\sfrac{1}{2}$ % error

$x^{\sfrac{1}{2}}$ % no error

$x^\frac{1}{2} |

在某些情况下，单独使用包会导致某些字体形状无法使用的错误。在这种情况下，还需要添加lmodern和fix-cm包。

或者，nicefrac包提供\nicefrac命令，其用法类似于\sfrac。

连续分数

应使用\cfrac命令

\begin {equation}

x = a _ 0 + \cfrac {1} {a _ 1

+ \cfrac {1} {a _ 2

+ \cfrac {1} {a _ 3 + \cfrac {1} {a _ 4} } } }

\end {equation}

两个数字的乘法

为了使乘法在视觉上类似于分数，可以使用嵌套数组，例如，一个在另一个之下写入的数字的乘法。

\begin{equation}

\frac{

\begin{array}[b]{r}

\left( x_1 x_2 \right)\\

\times \left( x'_1 x'_2 \right)

\end{array}

}{

\left( y_1y_2y_3y_4 \right)

}

\end{equation}

根

该\sqrt命令创建一个围绕表达式的平方根。它接受方括号([和])中指定的可选参数来改变幅度：

\sqrt{\frac{a}{b}} |

\sqrt[n]{1+x+x^2+x^3+\dots+x^n} |

有些人更喜欢将平方根写成“关闭”它的内容。这种方法可以说明更清楚根符号的范围。在使用计算机进行书写时通常不会使用此习惯，但如果您仍想更改平方根的输出，LaTeX会为您提供这种可能性。只需在文档的前言中添加以下代码：

% New definition of square root:

% it renames \sqrt as \oldsqrt

\let\oldsqrt\sqrt

% it defines the new \sqrt in terms of the old one

\def\sqrt{\mathpalette\DHLhksqrt}

\def\DHLhksqrt#1#2{%

\setbox0=\hbox{$#1\oldsqrt{#2\,}$}\dimen0=\ht0

\advance\dimen0-0.2\ht0

\setbox2=\hbox{\vrule height\ht0 depth -\di