%导言区
\documentclass{ctexart} %ctexbook ctexrep
%\usepackage{ctex}
\usepackage{amsmath}
\usepackage{amssymb}
%正文区
\begin{document}
%可以使用gather环境实现多行公式排版
%内部可以使用\\换行
%带编号
\begin{gather}
a + b = b + a \\
ab = ba
\end{gather}
%不带编号
\begin{gather*}
3 + 5 = 5 + 3 = 8 \\
3 \times 5 = 5 \times 3
\end{gather*}
%在\\前使用\notag 阻止编号
\begin{gather}
3^2 + 4^2 = 5^2 \notag \\
5^2 + 12^2 = 13^2 \notag \\
a^2 + b^2 = c^2
\end{gather}
%align 和 align* 环境 (用&进行对齐 在&位置对齐)
%带编号
\begin{align}
x &= t + \cos t + 1 \\
y &= 2\sin t
\end{align}
%不带编号
\begin{align*} %按等号左端对齐
x &= t & x &= \cos t & x &= t \\
2y &=2t & 2y &= \sin(t+1) & y &= \sin t
\end{align*}
% split环境 (对齐采用align环境的方式,编号在中间)
\begin{equation}
\begin{split}
\cos 2x &= \cos^2 x - \sin^2 x \\
&= 2\cos^2 x - 1
\end{split}
\end{equation}
%cases 环境
%每行公式中使用&分隔为两部分,
%通常表示值和后面的条件
%\in 表示属于符号 \mathbb用于输出花体字符 需要导入amssymb宏包
%在数学公式中需要使用\text{}临时切换到文本模式 否则无法显示文本
\begin{equation}
D(x) = \begin{cases}
1, & \text{如果 } x \in \mathbb{Q}; \\
0,& \text{如果 } x \in \mathbb{R} \setminus \mathbb{Q}.
\end{cases}
\end{equation}
\end{document}
预览效果: