这肯定是一个非常新手的问题，但我仍然发现 LaTeX 文档很难访问。
给出以下 MWE 列出复数模的一些属性：
\documentclass{article}
\begin{document}
\noindent
$-|z| \le \Re{z} \le |z|$ \\
$-|z| \le \Im{z} \le |z|$ \\
$|z| \ge 0$ \\
$|z|=0 \Leftrightarrow z=0$ \\
$|z| = |-z| = |\overline{z}|$ \\
$z\overline{z}=|z|^2$\\
$|z_1 z_2|=|z_1||z_2|$\\
$|z_1|-|z_2| \le |z_1 + z_2| \le |z_1|+|z_2|$\\
$|z^{-1}|=|z|^{-1}$\\
$|\frac{z_1}{z_2}| = \frac{|z_1|}{|z_2|}$\\
$|z_1|-|z_2| \le |z_1 - z_2| \le |z_1|+|z_2|$
\end{document}
我想使线条居中但保持线条左对齐。
我还想对行进行编号。这可以自动完成吗，以便稍后插入属性时不需要重新编号并检查文档中其他地方的引用？
答案1
在 LaTeX 中，显示的数学通常是编号的，并且amsmath提供了几个可用的环境。搜索amsmath手册，您可以找到带有良好描述的用户手册。对于这种情况，我建议将其放在align左对齐的环境中。
\documentclass{article}
\usepackage{amsmath}
\usepackage{lipsum}
\begin{document}
\lipsum[1]
\begin{align}
&-|z| \le \Re{z} \le |z|\\
&-|z| \le \Im{z} \le |z|\\
&|z| \ge 0 \label{prop:non-negative}\\
&|z|=0 \Leftrightarrow z=0\\
&|z| = |-z| = |\overline{z}|\\
&z\overline{z}=|z|^2 \nonumber\\
&|z_1 z_2|=|z_1||z_2|\\
&|z_1|-|z_2| \le |z_1 + z_2| \le |z_1|+|z_2|\label{prop:inequality-++}\\
&|z^{-1}|=|z|^{-1}\\
&|\frac{z_1}{z_2}| = \frac{|z_1|}{|z_2|}\\
&|z_1|-|z_2| \le |z_1 - z_2| \le |z_1|+|z_2|
\end{align}
Property~\ref{prop:non-negative} is important, but
inequality~\ref{prop:inequality-++} is also frequently needed.
\lipsum[2]
\end{document}
代码中的内容lipsum只是为了获取一些文本。示例还展示了如何隐藏数字（\nonumber在此行中放置命令）、如何为行分配标签（使用命令\label），以及如何使用标签在文档中的任意位置引用行（使用命令\ref；查看编号行正下方的文本）。
答案2
你描述的是一个列表环境。让它居中的一种方法是使用这varwidth并集中指出：
笔记：
- 这
showframe 仅用于显示页边距。实际使用中不需要它。
代码：
\documentclass{article}
\usepackage{enumitem}
\usepackage{varwidth}
\usepackage{showframe}
\begin{document}
\noindent\hfill
\begin{varwidth}{\linewidth}
\begin{enumerate}%[nosep]
\item $-|z| \le \Re{z} \le |z|$
\item $-|z| \le \Im{z} \le |z|$
\item $|z| \ge 0$
\item $|z|=0 \Leftrightarrow z=0$
\item $|z| = |-z| = |\overline{z}|$
\item $z\overline{z}=|z|^2$
\item $|z_1 z_2|=|z_1||z_2|$
\item $|z_1|-|z_2| \le |z_1 + z_2| \le |z_1|+|z_2|$
\item $|z^{-1}|=|z|^{-1}$
\item $|\frac{z_1}{z_2}| = \frac{|z_1|}{|z_2|}$
\item $|z_1|-|z_2| \le |z_1 - z_2| \le |z_1|+|z_2|$
\end{enumerate}
\end{varwidth}\hfill\null{}
\end{document}
答案3
对于单独的公式列表，像 一样在左侧编号enumerate，独立于方程式计数器，这里有一个基于 的环境的解决方案tabularx。我做了一些改进，主要是使用 \widebar，来自mathabx，这比 更好\overline，以及一个\abs命令，带有可变大小的垂直线：
\documentclass{article}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{fourier}
\usepackage{mathtools}
\usepackage{eqparbox}
\usepackage{tabularx}
\DeclarePairedDelimiterXPP{\abs}[1]{}{\lvert}{\rvert}{\vphantom{#1}}{#1}
\DeclareFontFamily{U}{mathx}{\hyphenchar\font45}
\DeclareFontShape{U}{mathx}{m}{n}{
<5><6><7><8><9><10>
<10.95><12><14.4><17.28><20.74><24.88>
mathx10
}{}
\DeclareSymbolFont{mathx}{U}{mathx}{m}{n}
\DeclareFontSubstitution{U}{mathx}{m}{n}
\DeclareMathAccent{\widebar}{0}{mathx}{"73}
\let\conj\widebar
\newcounter{rowno}
\newenvironment{formlist}{%
\setcounter{rowno}{0}
\setlength\extrarowheight{4pt}
\par\vspace*{\topsep}
\centering\tabularx{\linewidth}{@{}>{\refstepcounter{rowno}\eqmakebox[Rno][r]{\therowno.}}l >{\centering\everymath{\displaystyle}\arraybackslash$}X <{$}}}%
{\endtabularx\vspace{\dimexpr\topsep + \partopsep}}
\begin{document}
Text text tex text text. Text text tex text text. Text text tex text text. Text text tex text text. Text text tex text text. Text text tex text text.
\begin{formlist}
& -\abs{z} \le \Re{z} \le \abs{z} \\
& -\abs{z} \le \Im{z} \le \abs{z} \\
& \abs{z} \ge 0 \\
& \abs{z}=0 \iff z=0 \\
& \abs{z} = \abs{-z} = \abs{\conj{z}} \\
& z \widebar{z}=\abs{z}^2 \\
& \abs{z_1 z_2}=\abs{z_1}\abs{z_2} \\
& \abs[\big]{\abs{z_1}-\abs{z_2}} \le \abs{z_1 + z_2} \le \abs{z_1}+\abs{z_2} \\
& \abs*{z^{-1}}=\abs{z}^{-1} \\
& \abs[\Big]{\frac{z_1}{z_2}} = \frac{\abs{z_1}}{\abs{z_2}} \\
& \abs[\big]{\abs{z_1}-\abs{z_2}} \le \abs{z_1 - z_2} \le \abs{z_1}+\abs{z_2}
\end{formlist}
\end{document}
