1. 为什么矩阵是LaTeX排版的“必修课”——先搞懂你面对的是什么如果你写过几篇带数学公式的文档早晚会遇到一个绕不过去的需求把矩阵排版出来。无论是线性代数作业、矩阵论笔记、论文里的混淆矩阵还是图像处理文章里的像素算子矩阵LaTeX都有一套专门的语法体系来处理。很多人一开始想当然觉得“矩阵不就是用括号把数组括起来吗”结果一上手就发现简单这么干出来的东西不是括号高度不对、就是列间距歪歪扭扭完全拿不出手。先说个概念上的区分在LaTeX里“描述矩阵”这个动作其实包含两层意思。第一层是排版层面也就是用\begin{bmatrix} ... \end{bmatrix}这类环境把矩阵的元素、括号、分割线呈现出来第二层是语义层面也就是通过合适的宏包和命令让矩阵在公式里能被正确编号、对齐、引用甚至在推导中被当作一个整体来参与运算。这两个层面搞混了就会经常出现“图是画出来了但公式整体一看就乱”的尴尬。我见过不少新手上来就用array环境硬排版矩阵感觉好像也能用但仔细一看元素之间间隙不均、括号太小、行高被希腊字母顶得参差不齐。其实LaTeX生态里专门为矩阵准备了一整套环境从matrix、pmatrix、bmatrix到vmatrix每一步都有它存在的理由。这篇文章不会只给你列一堆命令而是从实际使用场景出发告诉你什么情况选什么环境、参数怎么调、坑在哪里最后再给出一套可以直接复用的模板和排查清单。这篇内容适合的人正在写NumPy/SciPy文档注释的人、用Obsidian或VS Code做数学笔记的人、投期刊论文需要排版复杂矩阵的人以及所有被矩阵格式折腾过、想一次性搞明白的LaTeX使用者。2. 核心细节解析与实操要点——把矩阵写规范、写好看2.1 矩阵环境的家族谱系从零边框到花括号怎么选LaTeX矩阵家族的几个环境差异看起来只是“边框样式”但实际使用中选错了会让公式语义完全变味。matrix无边框矩阵。最常见出现在推导过程的中间步骤或者你希望在元素外自定义其它符号的时候。pmatrix小圆括号包围。向量、行向量、列向量推荐用这个。圆括号在数学出版物里最通用视觉上不抢戏。bmatrix方括号包围。这个是我个人最常用的。线性代数教材里绝大多数矩阵、雅可比矩阵、小规模数值例子都用它。方括号在横向上比圆括号显得更紧凑适合元素比较多的场景。Bmatrix花括号包围。集合相关的矩阵、状态转移集合的时候偶尔用到。vmatrix和Vmatrix单竖线/双竖线包围。行列式和范数专用。选环境的逻辑其实很简单先问自己这个“带括号的量”在数学上是什么身份。向量用pmatrix普通矩阵用bmatrix行列式用vmatrix一般情况下都不要用matrix裸奔——因为没有边框打印出来很容易和周围文字糊在一起。% 推荐写法 \mathbf{A} \begin{bmatrix} a_{11} a_{12} a_{13} \\ a_{21} a_{22} a_{23} \end{bmatrix}用bmatrix写出来的矩阵元素自动对齐成网格每一行列之间的间隔由LaTeX内部机制处理不需要手动加以外的空格命令。你在分隔列、\\换行时本质上就是在描述一个二维网格这和你在纸上画矩阵时的直觉一模一样。2.2 行列内的间距与对齐为什么你的矩阵总有“多余空隙”矩阵环境最大的隐藏问题不是边框而是间距。默认情况下matrix系列环境的列间距由\arraycolsep控制行间距则由\arraystretch间接影响。很多人觉得“矩阵里元素间距太松/太紧”其实就是在调这两个参数。我实际测试过对于元素较多的矩阵比如4x4或5x5默认间距会显得拥挤。常用的做法是在导言区加上\renewcommand{\arraystretch}{1.5}这个命令的作用是放大行高让矩阵里带分数的行、带希腊字母的行不至于上下贴死。对于列间距我一般用\setlength{\arraycolsep}{6pt}默认是5pt如果你矩阵里元素比较宽比如\sin\theta这种加到6pt或7pt会更透气。但注意\setlength是全局设置如果你只有一个矩阵觉得挤不要全局调而是用\begin{btable}之类的方式局部控制或者干脆给矩阵加一个启始声明\begin{bmatrix} \renewcommand{\arraystretch}{1.3} a b \\ c d \end{bmatrix}不过实测下来把\renewcommand{\arraystretch}写进矩阵环境里有时会影响到方程组环境所以更推荐全局设置一个合理值或者使用bmatrix宏包提供的\bmatrix选项之外的自定义环境。另一个坑是对齐问题。默认矩阵是居中对齐每列的内容会在列宽内居中。如果你需要左对齐或右对齐不能直接改bmatrix的列格式我建议改用array环境自己指定列格式\left[\begin{array}{lll} 1 0 0 \\ 0 1 0 \end{array}\right]这里的{lll}分别表示三列左对齐。这个技巧对处理多列文字或代码矩阵非常实用尤其你想在矩阵里放“左值”和“右值”的时候默认居中对齐会让数字之间的逗号忽左忽右。2.3 希腊字母、省略号与特殊矩阵元素矩阵里最常见的特殊元素无非三类希腊字母、省略号、算子比如\partial、\nabla。希腊字母本身没有任何问题但在矩阵里它们会影响行高的感知——比如\sigma和\pi这种带“小尾巴”的字母在行距不够的时候会被上下行裁剪。如果你在矩阵里大量使用希腊字母最稳妥的做法就是调\arraystretch。我自己写矩阵论笔记时如果矩阵中含有\alpha、\beta这类字母一定会把\arraystretch放到1.4以上否则打印出来上下行几乎贴在一起。一旦你接受了“矩阵行距默认不够”这个设定后面很多排版问题都能迎刃而解。省略号分三种别用错了横向省略号\cdots。用于同一行元素之间比如a_1 \cdots a_n。纵向省略号\vdots。用于同一列中间位置的元素。斜向省略号\ddots。用于从左上到右下或从左下到右上的对角线方向。在矩阵里最常见到有人把横向省略号写成\ldots效果是“底部对齐的省略号”用于枚举列表没问题但在矩阵里元素之间的省略应该用\cdots让省略号在数学中线上视觉上与±号、等号对齐。\begin{bmatrix} a_{11} \cdots a_{1n} \\ \vdots \ddots \vdots \\ a_{m1} \cdots a_{mn} \end{bmatrix}这一个矩阵三种省略号全用上了是泛型矩阵的标准表达也是矩阵论教材里几乎必出现的式样建议直接保存为模板。2.4 行内小矩阵别让公式把正文行距撑爆这是我在问答平台见过最多的问题“LaTeX行内公式行距被矩阵撑爆怎么办”。如果你在正文段落中插入一个矩阵默认的bmatrix会把那一行的行距顶得很大整段看起来出现一条白色缝隙非常丑。解决方案是smallmatrix环境你不需要写\left[\begin{smallmatrix}...\end{smallmatrix}\right]amsmath已经提供好了一个带括号的版本不用时$\mathbf{A} \begin{bmatrix} a b \\ c d \end{bmatrix}$ % 行距爆炸 推荐用$\mathbf{A} \left(\begin{smallmatrix} a b \\ c d \end{smallmatrix}\right)$ % 小巧玲珑smallmatrix主要面向行内场景元素字号比正文小一号。注意如果矩阵元素里有分式smallmatrix里面用\frac会显得很小建议改用\nicefrac或直接写斜杠形式a/b。小矩阵公式块相互之间可以用\quad或文本空格分隔整体阅读体验会流畅很多。3. 分块矩阵、增广矩阵与特殊结构矩阵的实现方案3.1 分块矩阵的核心用“嵌套辅助线”模拟块状结构分块矩阵是矩阵论作业和论文里最常见的高级需求。它的难点不在于“把矩阵写出来”而在于如何在视觉上清晰表达“几个子矩阵拼成了一个大矩阵”。我最常用的方案是array环境配合\hline等辅助线。比如最常见的分块矩阵\mathbf{M} \left[\begin{array}{cc|c} \mathbf{A} \mathbf{B} \mathbf{0} \\ \hline \mathbf{C} \mathbf{D} \mathbf{E} \end{array}\right]这里的{cc|c}表示前两列居中第三列之前有一条竖线。\hline添加横线。这样分割线就出来了。但如果你希望分割线更精细地区分块比如上下左右都有分界可以这样\mathbf{M} \left[\begin{array}{c|c} \mathbf{A} \mathbf{B} \\ \hline \mathbf{0} \mathbf{D} \end{array}\right]这种格式在证明分块矩阵可逆性、求逆公式时非常实用。一个容易忽略的细节是当矩阵子块本身又是矩阵时嵌套环境会把外层括号撑得很大看起来有点笨重。我一般用\Bigl[ ... \Bigr]之类的手动尺寸控制或者把内层矩阵改用smallmatrix让内层视觉重量降下来外层分块的线条更突出。另一个分块矩阵的坑是“分隔线对不齐”。当你用\hline时如果某些行元素高度不一致横线可能显得偏上或偏下。一个简单的解决方式是在需要对齐的行末尾加上\vphantom{\Huge X}之类的高度占位符但我实测最有效的反而是先编译看效果再微调\arraystretch很少用vphantom硬调。分块矩阵的语义计算也很重要。比如对分块矩阵求逆有Schur补的公式\mathbf{M} \begin{bmatrix} \mathbf{A} \mathbf{B} \\ \mathbf{C} \mathbf{D} \end{bmatrix} \quad \Rightarrow \quad \mathbf{M}^{-1} \begin{bmatrix} (\mathbf{A} - \mathbf{B}\mathbf{D}^{-1}\mathbf{C})^{-1} \cdots \\ \cdots \cdots \end{bmatrix}在LaTeX里这个公式的排版难点不是矩阵本身而是里面的\mathbf{A} - \mathbf{B}\mathbf{D}^{-1}\mathbf{C}这种长表达式塞进矩阵后列宽会被撑得很宽。这时矩阵可能超出版芯解决办法是把这个表达式拆到矩阵外面用\quad和文字说明来引导读者而不是一味塞进矩阵。3.2 增广矩阵竖线分隔的两区域布局增广矩阵的排版和分块矩阵几乎一模一样只不过语义上是“系数矩阵 右侧常数列”。解线性方程组时的标准写法是\left[\begin{array}{ccc|c} 1 2 1 3 \\ 2 5 0 7 \\ 3 7 1 1 \end{array}\right]这里的{ccc|c}就是三列左部分加一条竖线再加一列。对于高斯消元的步骤演示这种写法非常直观。实际操作中我还经常配合\xrightarrow{r_2 \leftarrow r_2 - 2r_1}这类命令来标注行变换。这些命令来自amsmath宏包具体用法如下\begin{bmatrix} 1 2 \\ 2 5 \end{bmatrix} \xrightarrow{R_2 \leftarrow R_2 - 2R_1} \begin{bmatrix} 1 2 \\ 0 1 \end{bmatrix}在展示消元步骤、求解逆矩阵时这种“矩阵-箭头-矩阵-箭头”的链式表达是刚需。我建议把这条链子用\[ ... \]独立成行否则行内会非常挤。关于增广矩阵的圆括号和方括号选择我见过很多人纠结。从数学语义上是没有强制规定的但建议一篇文档里保持一致。我个人偏爱方括号\left[ ... \right]因为竖线分割线已经很多再用圆括号视觉上会有点“软”。3.3 对称矩阵、正交矩阵、幂等矩阵如何在LaTeX中准确“表达类型”你在热搜词里看到“对称矩阵和初等矩阵”、“正交矩阵以及对角矩阵各是什么样的”这类问题的核心不是LaTeX语法而是数学定义。但在LaTeX里如何把“这是一个对称矩阵”通过排版暗示出来是有讲究的。对称矩阵的经典表达就是展示其对称元素\mathbf{S} \begin{bmatrix} s_{11} s_{12} s_{13} \\ s_{12} s_{22} s_{23} \\ s_{13} s_{23} s_{33} \end{bmatrix} \qquad (s_{ij} s_{ji})这里用s_{12}在(1,2)和(2,1)两处同时出现读者一眼看到重复下标就能感知对称性。你还可以用\dots配合文字说明但对于正式文档重复展示是最严格的写法。一个排版细节对称矩阵元素相对较多时建议矩阵整体用\renewcommand{\arraystretch}{1.5}否则_{12}这类下标会让行距看起来偏矮。正交矩阵的表达通常是利用两个等式\mathbf{Q}^\mathrm{T} \mathbf{Q} \mathbf{I} \quad\text{或}\quad \mathbf{Q}^{-1} \mathbf{Q}^\mathrm{T}在LaTeX中转置符号上标推荐用\mathrm{T}而不是直接写T因为数学斜体的T和后面的矩阵字母连在一起会混淆。另外\mathbf{I}表示单位矩阵记得用粗斜体或粗正体。如果你在写正交矩阵的对角化表达\mathbf{P}\mathbf{A}\mathbf{P}^{-1} \boldsymbol{\Lambda}这种链式拼写也常见\boldsymbol{\Lambda}里的\Lambda是一个大写的希腊字母λ用粗体后很有辨识度。幂等矩阵的定义是\mathbf{A}^2 \mathbf{A}这个表达非常简洁。我曾见过有人写\mathbf{A}^{2}\mathbf{A}而且整个文档都是这种不空格风格也不影响阅读但如果你公式较多还是顺手把空格加一下\,能产生细微空隙上下标更清晰。对于“a为n阶实对称幂等矩阵, r(a)r, 求|a-2i|”这道题LaTeX排版可以写成设 \mathbf{A} 为 n 阶实对称幂等矩阵\mathrm{rank}(\mathbf{A}) r求 |\mathbf{A} - 2\mathbf{I}|。这里有两个细节一是\mathrm{rank}要记得用正体数学中的函数名如det、rank、trace一般用罗马体二是|\mathbf{A} - 2\mathbf{I}|这个行列式写法竖线直接用|左右包起来但更规范的是用\det算子\det(\mathbf{A} - 2\mathbf{I})在行列式题中\det才是数学上准确表达。很多初学者用竖线包围矩阵只适合说明行列式本身不适合表达“求行列式值”。3.4 维度更高的矩阵表达稀疏矩阵与带省略号的泛型矩阵处理大规模矩阵时你不可能把每个元素都列出来这时就需要“结构化省略”。最典型的表达是带状矩阵、对角矩阵、上三角矩阵。对角矩阵的写法\boldsymbol{\Lambda} \operatorname{diag}(\lambda_1, \lambda_2, \ldots, \lambda_n) \begin{bmatrix} \lambda_1 \\ \ddots \\ \lambda_n \end{bmatrix}这个矩阵里空白部分被省略只显示对角线元素。注意在bmatrix里空列不是什么都不写而是要写一段空白列项\lambda_1 其中第二个和第三个之间是空的表示第2列没有元素。我见过有人完全省略结果编译出错或矩阵列数错乱。上三角矩阵的表达\mathbf{U} \begin{bmatrix} u_{11} u_{12} \cdots u_{1n} \\ u_{22} \cdots u_{2n} \\ \ddots \vdots \\ u_{nn} \end{bmatrix}这里每一行都要写够列数的否则矩阵会整体左移。记得最后一行也不能偷懒u_{nn}前面的几个要补齐。这是初学阶段最容易掉的坑编译后矩阵不报错但形状却不对。更高维的泛型矩阵我是一个模板打天下\mathbf{A} \begin{bmatrix} a_{11} a_{12} \cdots a_{1n} \\ a_{21} a_{22} \cdots a_{2n} \\ \vdots \vdots \ddots \vdots \\ a_{m1} a_{m2} \cdots a_{mn} \end{bmatrix}这个模板我用了好几年无论是写本科线性代数作业还是推文献里的公式都够用。3.5 矩阵运算的导数与特征值分解如何“优雅地连续铺排”热搜词里有“对矩阵求导”、“矩阵特征值分解”这两个主题虽然偏数学内容但在LaTeX里的表达密度非常高很考验排版功底。矩阵求导常见输出是分母布局下的表达式\frac{\partial \mathbf{x}^\mathrm{T} \mathbf{A} \mathbf{x}}{\partial \mathbf{x}} (\mathbf{A} \mathbf{A}^\mathrm{T}) \mathbf{x}这里叠加了转置、矩阵乘法、导数符号。排版要点是\partial不要忘记向量\mathbf{x}要全文一致。如果你文档中用到\boldsymbol{x}或\vec{x}就统一成一种不要混用。方程太长时建议用aligned环境分两行\begin{equation} \begin{aligned} \frac{\partial}{\partial \mathbf{x}} \left( \mathbf{x}^\mathrm{T}\mathbf{A}\mathbf{x} \right) \lim_{h\to 0} \frac{(\mathbf{x}h\mathbf{e}_i)^\mathrm{T}\mathbf{A}(\mathbf{x}h\mathbf{e}_i) - \mathbf{x}^\mathrm{T}\mathbf{A}\mathbf{x}}{h} \\ \mathbf{A}\mathbf{x} \mathbf{A}^\mathrm{T}\mathbf{x} \end{aligned} \end{equation}考虑到不同排版需求这里引用了一条较完整的推导链作为模板是完全可用的。aligned环境能够把等号对齐比放在矩阵里硬排省心得多。特征值分解的经典表达\mathbf{A} \mathbf{P} \boldsymbol{\Lambda} \mathbf{P}^{-1}后面可以跟一句解释“其中\mathbf{P}的列是特征向量\boldsymbol{\Lambda}是对角矩阵对角元是特征值”。写作代码时\boldsymbol{\Lambda}需要amsmath提供的\boldsymbol老版本LaTeX里可能不支持建议用\bm{\Lambda}需要bm宏包两者选一种即可但论文模板里通常已加载了其中一个直接查看模板即可。有特征值分解必然还绕不开“特征值怎么算”的铺垫比如方程\det(\mathbf{A} - \lambda \mathbf{I}) 0这个式子里的\lambda在矩阵中完全可以写在括号里面而不必担心和外面文字冲突因为\det本身就是正体函数名表达非常清晰。4. 实操过程与核心环节实现——从空文档到完整矩阵演示4.1 最小工作示例5分钟搭起一个可运行矩阵文档纸上谈兵说得再多不如一个最小工作示例。我把从空白文档到成功编译出一个分块矩阵的完整过程拆解如下。首先确保你的工具链是完整的。如果你是Mac/Linux用户推荐本地安装MacTeX或TeX LiveWindows用户推荐TeX Live或MiKTeX。在线方案选Overleaf它能省去所有本地环境麻烦。新建一个.tex文件内容如下\documentclass{article} \usepackage{amsmath} \begin{document} 线性方程组 $A\mathbf{x} \mathbf{b}$ 的增广矩阵为 \[ \left[\begin{array}{ccc|c} 2 1 -1 8 \\ -3 -1 2 -11 \\ -2 1 2 -3 \end{array}\right] \] 对称矩阵示例 \[ \mathbf{S}\begin{bmatrix} 1 0 2 \\ 0 3 -1 \\ 2 -1 4 \end{bmatrix} \] \end{document}编译后你应该看到两个独立的矩阵公式第一个带竖线分割第二个是标准的方括号矩阵。这个例子覆盖了array、\left[、\right]、bmatrix、、\\这些最核心的命令。如果你用的是Overleaf直接新建项目把代码粘贴进去就能编译。如果你在本地用latexmk、xelatex或pdflatex编译推荐使用latexmk进行自动化编译。中文字符如果需要渲染改用xelatex并加载ctex宏包不需要额外改矩阵代码。4.2 多分类混淆矩阵的排版实践热词里的实际应用场景“python多分类混淆矩阵代码”这个词条表明很多人实际上是把Python绘制的混淆矩阵结果放到论文里而LaTeX里也有两种展示路线。第一种直接用LaTeX表格形式排版混淆矩阵适合小规模数据。比如三分类模型\begin{table}[h] \centering \caption{三分类模型混淆矩阵} \begin{tabular}{c|ccc} 预测A 预测B 预测C \\ \hline 实际A 85 8 7 \\ 实际B 6 92 2 \\ 实际C 9 5 86 \\ \end{tabular} \end{table}第二种保留Python生成的热力图图片再用LaTeX作为外部图片引入。这里我个人建议论文优先用图片形式因为颜色能更直观地传达数值大小差异。但如果是纯LaTeX文档、不想处理图片路径和格式用表格是最省事的。矩阵形式和表格形式在LaTeX里是两套东西矩阵是数学对象表格是文档排版对象。很多人搞混在正文里用tabular来排版数学矩阵结果公式环境里无法正常被编号。原则是数学公式里的矩阵用矩阵环境报告文中的统计表用tabular环境。混淆矩阵本质上是统计表而非线性代数对象放表格环境其实更自然这也是很多人在期刊模板里看到的做法。4.3 单片机矩阵键盘和GNSS/图像处理方向矩阵场景的拓展热搜词里有“51单片机矩阵键盘教程”、“图像处理需要一些矩阵类的操作函数库 c c”这些虽然不直接用LaTeX排版但相关的实验报告或技术文档中矩阵的展示是刚需。矩阵键盘本质上是MCU里用行列扫描法读入按键状态的输入矩阵。你扫描4x4矩阵键盘时每次读入的按键值就是一个4x4矩阵状态。写实验报告时这个状态矩阵通常这么表达\text{按键状态矩阵} \begin{bmatrix} 0 0 0 0 \\ 0 1 0 0 \\ 0 0 0 0 \\ 0 0 0 0 \end{bmatrix}对图像处理方向卷积核、滤波器、邻域算子是一个经典矩阵场景比如Sobel算子G_x \begin{bmatrix} -1 0 1 \\ -2 0 2 \\ -1 0 1 \end{bmatrix}, \quad G_y \begin{bmatrix} -1 -2 -1 \\ 0 0 0 \\ 1 2 1 \end{bmatrix}这类矩阵在学术报告和论文里出现频率极高。写代码时建议建立自己的“卷积核模板库”把常见的Sobel、Laplacian、高斯核矩阵都准备好用的时候直接\input或复制粘贴即可。我自己的做法是在本地维护一个matrix_templates.tex文件任何矩阵格式需要直接查找复制省时省力。4.4 顺手处理矩阵里的特殊符号弧符号、极限与转置热搜词里有“latex 弧符号”这个在几何学中常用。LaTeX中弧符号命令是\wideparen或\overparen需要yhmath宏包支持但说实话矩阵里出现弧符号的情况很少更多是平面几何里表示弧AB。真正在矩阵里常见的是\top表示转置、^{-1}表示逆、^\mathrm{H}表示共轭转置。比如\mathbf{M}^\top \mathbf{M}, \quad \mathbf{M}^{-1}, \quad \mathbf{A}^\mathrm{H}这三个符号建议统一文档风格不要一会儿用^T一会儿用^\top否则读者会怀疑是不是两个不同符号。我自己统一使用^\top因为它在视觉上比大写T更像上标箭头。另外矩阵里的真值断言、条件期望之类的衍生符号例如\mathbb{E}、\mathbf{1}如果你在概率相关文档里写矩阵这些符号也经常要和矩阵结构配合\mathbb{E}[\mathbf{x}\mathbf{x}^\top] \begin{bmatrix} \sigma_1^2 \rho \sigma_1 \sigma_2 \\ \rho \sigma_1 \sigma_2 \sigma_2^2 \end{bmatrix}这里\rho是相关系数\sigma是标准差矩阵的方差-协方差结构一目了然。5. 常见问题与排查技巧实录——我踩过的那些坑5.1 “行内公式行距被撑爆”的彻底解决前面提到过smallmatrix但那只是其中一个方案。如果你遇到“行内矩阵导致段落间距变大”问题先判断是哪种情况情况A矩阵本身出现在文本行中间段落被撑高。解决改用smallmatrix或\smash命令。情况B矩阵被放在\[...\]独立公式中但其上下仍与正文太近。解决调整\abovedisplayskip和\belowdisplayskip。\smash[b]{\begin{bmatrix}...\end{bmatrix}}可以“压扁”矩阵的底部高度让段落不被撑高。但这个命令比较激进如果矩阵后面还有\\换行可能会覆盖下一行内容一定要先测试再使用。最稳妥还是smallmatrix。我实测过一行文字里嵌入一个3x3的smallmatrix行距基本不会被破坏几乎完美融入正文。5.2 大括号尺寸异常的排查为什么矩阵括号忽大忽小\left[和\right]的动态大小特性在矩阵里偶尔会失灵——尤其是矩阵里包含分数或大括号时括号可能撑得“过度”。我之前遇到一个案例矩阵里嵌入了\dfrac结果方括号的高度竟然比数学符号还高出一大截看起来和整个公式格格不入。排查思路先检查是不是有\left(和\right)内嵌导致的双层括号问题。再用\biggl[或\Biggl[手动指定括号尺寸。或者用\vphantom插入不可见的高度占位符。手动指定尺寸是最可控的。我的习惯是当矩阵元素里有分数时外层不用自动尺寸而是用\left[因为amsmath的矩阵环境会自动采用合适尺寸但如果使用array环境则必须手动加\left不然括号就是普通小括号非常难看。5.3 编译报错“Missing $ inserted”的常见触发点这个错误对新手很有迷惑性。通常原因是你把矩阵环境写在了纯文本段落中而没有放在数学模式里。矩阵环境本身需要在数学模式中才能使用。正确做法用 \[ ... \] 或 \begin{equation} ... \end{equation} 包裹矩阵。如果你只是想写在句子中间也需要至少这样向量 $\mathbf{v}\begin{bmatrix}1\\2\end{bmatrix}$ 是列向量。很多人写完矩阵忘了加$或\[编译直接报错。还有一种情况是环境嵌套层级不对比如在equation里用了aligned然后又用matrix理论上没问题但只要有一层没闭合就会报错。建议编译前先检查每个\begin都有对应的\end。5.4 矩阵内等号对齐与公式编号的小秘密如果你有一系列公式推导希望矩阵与等号对齐\begin{align} \mathbf{A} \begin{bmatrix} 1 2 \\ 3 4 \end{bmatrix} \\ \mathbf{B} \mathbf{A}^{-1} \end{align}这里要注意align环境内部的矩阵元素里不能再直接使用\begin{bmatrix}而不处理对齐实际上bmatrix里本身有列分隔符它和align的对齐符会冲突。解决办法是把整个矩阵当作普通符号放在矩阵外面而不是里面。矩阵里的是列分隔外面的是公式对齐两者层级错开就不会报错。如果你用equation环境给矩阵编号默认编号在右侧格式为(1)。如果希望编号在左侧需要加\documentclass[leqno]{article}选项。期刊论文模板一般已经设置好了不用自己改。5.5 MathType、Word与LaTeX矩阵的格式互通问题热搜词里有“mathtype中的latex的公式字体”这是一个很实际的需求很多人用MathType在Word里编辑公式然后需要把这套内容搬进LaTeX或者反过来。MathType支持把公式转换为LaTeX代码但生成的代码比较冗长矩阵公式尤其明显——它会用一堆\left[和\begin{array}而不是简洁的bmatrix环境。我建议在MathType里用的公式粘贴到LaTeX后不要直接用而是手动替换成矩阵环境。反过来LaTeX写好的公式想放到Word里除了截图还可以用MathType直接粘贴LaTeX代码。比如你在MathType的“LaTeX模式”下粘贴\begin{bmatrix}a b \\ c d\end{bmatrix}MathType能识别并转成Word公式。但实测来看转换成功率并不高尤其包含\mathbf、\boldsymbol等粗体命令时容易出错。我的经验是如果只是一两个公式直接粘贴还能凑合如果整段文档包含大量矩阵建议直接在LaTeX里排版后导出PDF再插入Word别折腾公式互转。5.6 矩阵里的字体与粗体处理从\mathbf到\boldsymbol的准确选择矩阵代数里的向量和矩阵字体区分是排版细节的重灾区。常规约定矩阵用粗正体或粗斜体向量用粗斜体。LaTeX里最常被混用的是\mathbf和\boldsymbol。\mathbf{A}产生粗正体的A。适合表示矩阵但在表示向量时可能不够“斜”。\boldsymbol{A}产生粗斜体的A。适合表示向量和矩阵变量。\bm{A}同样粗斜体来自bm宏包常在期刊模板中替代\boldsymbol。我个人的惯例是矩阵用\mathbf向量用\boldsymbol。这样视觉上有区分读者看见正体粗体就知道是矩阵看见斜体粗体就知道是向量。比如\mathbf{A} \boldsymbol{x} \boldsymbol{b}这个式子里的矩阵\mathbf{A}和向量\boldsymbol{x}、\boldsymbol{b}形成对比非常清晰。如果你用\boldsymbol表示矩阵也可以但全文一定要统一。另外单位矩阵、零矩阵这些特殊符号我用\mathbf{I}和\mathbf{0}表示不会加粗过头。在矩阵里嵌入零矩阵时\mathbf{0}在视觉上就足够表示“零块”了。6. 关于工具链与模板的几条实战建议LaTeX矩阵排版的工具链其实很固定编辑器选顺手的就行。我用过VS Code TeX Live、Overleaf、以及本地Vim latexmk的组合体验各不相同但最终选择的标准很清楚能快速编译、错误提示友好、支持反向定位源码。如果你在VS Code里写推荐安装LaTeX Workshop插件。它能自动补全\begin{bmatrix}这类的环境名还能在保存时自动编译。我个人最常用的是在VS Code中维护一个snippets.json把常用矩阵环境都写好代码片段输入快捷键直接生成模板。一个实用的矩阵模板区% 二行二列方括号矩阵 \begin{bmatrix} a b \\ c d \end{bmatrix} % 增广矩阵竖线分隔 \left[\begin{array}{cc|c} a b c \\ d e f \end{array}\right] % 分块矩阵横竖线分隔 \left[\begin{array}{c|c} \mathbf{A} \mathbf{B} \\ \hline \mathbf{0} \mathbf{D} \end{array}\right] % 小矩阵行内嵌入 \left(\begin{smallmatrix} a b \\ c d \end{smallmatrix}\right)每次新建文档时把这些模板放进去书写体验能提升一大截。关于论文模板中文学报、IEEE、ACM、Springer等平台都有官方LaTeX模板模板里已经预加载了amsmath等宏包你只需要写矩阵内容不需要关心加载宏包的问题。但有一个坑有些老旧的期刊模板没有加载amsmath你直接写bmatrix会报错。遇到这种情况在导言区手动加\usepackage{amsmath}通常能解决但如果模板本身是老式article类且限制了宏包可能需要改用array环境来替代。这也是我始终建议大家先备份一个能编译的bmatrix小文档的原因——出现问题时可以逐句对照排查快速判定是环境问题还是命令问题。最后分享一个小技巧。在写完一堆矩阵公式后如果你总觉得某处间距别扭可以连续编译两次让LaTeX完成交叉引用和间距计算。很多时候第一次编译的排版结果并不是最终效果尤其是在使用\left、\right和大矩阵时前后有编号的公式会互相影响间距。我记得有一回写了一个带\label的分块矩阵推导链第一次编译后矩阵之间空隙过大第二次编译后所有间距都归位了从那以后我养成了“所有公式文档至少编译两遍”的习惯几乎没再被间距问题困扰过。
LaTeX矩阵排版完全指南：从环境选择到实战模板
1. 为什么矩阵是LaTeX排版的“必修课”——先搞懂你面对的是什么如果你写过几篇带数学公式的文档早晚会遇到一个绕不过去的需求把矩阵排版出来。无论是线性代数作业、矩阵论笔记、论文里的混淆矩阵还是图像处理文章里的像素算子矩阵LaTeX都有一套专门的语法体系来处理。很多人一开始想当然觉得“矩阵不就是用括号把数组括起来吗”结果一上手就发现简单这么干出来的东西不是括号高度不对、就是列间距歪歪扭扭完全拿不出手。先说个概念上的区分在LaTeX里“描述矩阵”这个动作其实包含两层意思。第一层是排版层面也就是用\begin{bmatrix} ... \end{bmatrix}这类环境把矩阵的元素、括号、分割线呈现出来第二层是语义层面也就是通过合适的宏包和命令让矩阵在公式里能被正确编号、对齐、引用甚至在推导中被当作一个整体来参与运算。这两个层面搞混了就会经常出现“图是画出来了但公式整体一看就乱”的尴尬。我见过不少新手上来就用array环境硬排版矩阵感觉好像也能用但仔细一看元素之间间隙不均、括号太小、行高被希腊字母顶得参差不齐。其实LaTeX生态里专门为矩阵准备了一整套环境从matrix、pmatrix、bmatrix到vmatrix每一步都有它存在的理由。这篇文章不会只给你列一堆命令而是从实际使用场景出发告诉你什么情况选什么环境、参数怎么调、坑在哪里最后再给出一套可以直接复用的模板和排查清单。这篇内容适合的人正在写NumPy/SciPy文档注释的人、用Obsidian或VS Code做数学笔记的人、投期刊论文需要排版复杂矩阵的人以及所有被矩阵格式折腾过、想一次性搞明白的LaTeX使用者。2. 核心细节解析与实操要点——把矩阵写规范、写好看2.1 矩阵环境的家族谱系从零边框到花括号怎么选LaTeX矩阵家族的几个环境差异看起来只是“边框样式”但实际使用中选错了会让公式语义完全变味。matrix无边框矩阵。最常见出现在推导过程的中间步骤或者你希望在元素外自定义其它符号的时候。pmatrix小圆括号包围。向量、行向量、列向量推荐用这个。圆括号在数学出版物里最通用视觉上不抢戏。bmatrix方括号包围。这个是我个人最常用的。线性代数教材里绝大多数矩阵、雅可比矩阵、小规模数值例子都用它。方括号在横向上比圆括号显得更紧凑适合元素比较多的场景。Bmatrix花括号包围。集合相关的矩阵、状态转移集合的时候偶尔用到。vmatrix和Vmatrix单竖线/双竖线包围。行列式和范数专用。选环境的逻辑其实很简单先问自己这个“带括号的量”在数学上是什么身份。向量用pmatrix普通矩阵用bmatrix行列式用vmatrix一般情况下都不要用matrix裸奔——因为没有边框打印出来很容易和周围文字糊在一起。% 推荐写法 \mathbf{A} \begin{bmatrix} a_{11} a_{12} a_{13} \\ a_{21} a_{22} a_{23} \end{bmatrix}用bmatrix写出来的矩阵元素自动对齐成网格每一行列之间的间隔由LaTeX内部机制处理不需要手动加以外的空格命令。你在分隔列、\\换行时本质上就是在描述一个二维网格这和你在纸上画矩阵时的直觉一模一样。2.2 行列内的间距与对齐为什么你的矩阵总有“多余空隙”矩阵环境最大的隐藏问题不是边框而是间距。默认情况下matrix系列环境的列间距由\arraycolsep控制行间距则由\arraystretch间接影响。很多人觉得“矩阵里元素间距太松/太紧”其实就是在调这两个参数。我实际测试过对于元素较多的矩阵比如4x4或5x5默认间距会显得拥挤。常用的做法是在导言区加上\renewcommand{\arraystretch}{1.5}这个命令的作用是放大行高让矩阵里带分数的行、带希腊字母的行不至于上下贴死。对于列间距我一般用\setlength{\arraycolsep}{6pt}默认是5pt如果你矩阵里元素比较宽比如\sin\theta这种加到6pt或7pt会更透气。但注意\setlength是全局设置如果你只有一个矩阵觉得挤不要全局调而是用\begin{btable}之类的方式局部控制或者干脆给矩阵加一个启始声明\begin{bmatrix} \renewcommand{\arraystretch}{1.3} a b \\ c d \end{bmatrix}不过实测下来把\renewcommand{\arraystretch}写进矩阵环境里有时会影响到方程组环境所以更推荐全局设置一个合理值或者使用bmatrix宏包提供的\bmatrix选项之外的自定义环境。另一个坑是对齐问题。默认矩阵是居中对齐每列的内容会在列宽内居中。如果你需要左对齐或右对齐不能直接改bmatrix的列格式我建议改用array环境自己指定列格式\left[\begin{array}{lll} 1 0 0 \\ 0 1 0 \end{array}\right]这里的{lll}分别表示三列左对齐。这个技巧对处理多列文字或代码矩阵非常实用尤其你想在矩阵里放“左值”和“右值”的时候默认居中对齐会让数字之间的逗号忽左忽右。2.3 希腊字母、省略号与特殊矩阵元素矩阵里最常见的特殊元素无非三类希腊字母、省略号、算子比如\partial、\nabla。希腊字母本身没有任何问题但在矩阵里它们会影响行高的感知——比如\sigma和\pi这种带“小尾巴”的字母在行距不够的时候会被上下行裁剪。如果你在矩阵里大量使用希腊字母最稳妥的做法就是调\arraystretch。我自己写矩阵论笔记时如果矩阵中含有\alpha、\beta这类字母一定会把\arraystretch放到1.4以上否则打印出来上下行几乎贴在一起。一旦你接受了“矩阵行距默认不够”这个设定后面很多排版问题都能迎刃而解。省略号分三种别用错了横向省略号\cdots。用于同一行元素之间比如a_1 \cdots a_n。纵向省略号\vdots。用于同一列中间位置的元素。斜向省略号\ddots。用于从左上到右下或从左下到右上的对角线方向。在矩阵里最常见到有人把横向省略号写成\ldots效果是“底部对齐的省略号”用于枚举列表没问题但在矩阵里元素之间的省略应该用\cdots让省略号在数学中线上视觉上与±号、等号对齐。\begin{bmatrix} a_{11} \cdots a_{1n} \\ \vdots \ddots \vdots \\ a_{m1} \cdots a_{mn} \end{bmatrix}这一个矩阵三种省略号全用上了是泛型矩阵的标准表达也是矩阵论教材里几乎必出现的式样建议直接保存为模板。2.4 行内小矩阵别让公式把正文行距撑爆这是我在问答平台见过最多的问题“LaTeX行内公式行距被矩阵撑爆怎么办”。如果你在正文段落中插入一个矩阵默认的bmatrix会把那一行的行距顶得很大整段看起来出现一条白色缝隙非常丑。解决方案是smallmatrix环境你不需要写\left[\begin{smallmatrix}...\end{smallmatrix}\right]amsmath已经提供好了一个带括号的版本不用时$\mathbf{A} \begin{bmatrix} a b \\ c d \end{bmatrix}$ % 行距爆炸 推荐用$\mathbf{A} \left(\begin{smallmatrix} a b \\ c d \end{smallmatrix}\right)$ % 小巧玲珑smallmatrix主要面向行内场景元素字号比正文小一号。注意如果矩阵元素里有分式smallmatrix里面用\frac会显得很小建议改用\nicefrac或直接写斜杠形式a/b。小矩阵公式块相互之间可以用\quad或文本空格分隔整体阅读体验会流畅很多。3. 分块矩阵、增广矩阵与特殊结构矩阵的实现方案3.1 分块矩阵的核心用“嵌套辅助线”模拟块状结构分块矩阵是矩阵论作业和论文里最常见的高级需求。它的难点不在于“把矩阵写出来”而在于如何在视觉上清晰表达“几个子矩阵拼成了一个大矩阵”。我最常用的方案是array环境配合\hline等辅助线。比如最常见的分块矩阵\mathbf{M} \left[\begin{array}{cc|c} \mathbf{A} \mathbf{B} \mathbf{0} \\ \hline \mathbf{C} \mathbf{D} \mathbf{E} \end{array}\right]这里的{cc|c}表示前两列居中第三列之前有一条竖线。\hline添加横线。这样分割线就出来了。但如果你希望分割线更精细地区分块比如上下左右都有分界可以这样\mathbf{M} \left[\begin{array}{c|c} \mathbf{A} \mathbf{B} \\ \hline \mathbf{0} \mathbf{D} \end{array}\right]这种格式在证明分块矩阵可逆性、求逆公式时非常实用。一个容易忽略的细节是当矩阵子块本身又是矩阵时嵌套环境会把外层括号撑得很大看起来有点笨重。我一般用\Bigl[ ... \Bigr]之类的手动尺寸控制或者把内层矩阵改用smallmatrix让内层视觉重量降下来外层分块的线条更突出。另一个分块矩阵的坑是“分隔线对不齐”。当你用\hline时如果某些行元素高度不一致横线可能显得偏上或偏下。一个简单的解决方式是在需要对齐的行末尾加上\vphantom{\Huge X}之类的高度占位符但我实测最有效的反而是先编译看效果再微调\arraystretch很少用vphantom硬调。分块矩阵的语义计算也很重要。比如对分块矩阵求逆有Schur补的公式\mathbf{M} \begin{bmatrix} \mathbf{A} \mathbf{B} \\ \mathbf{C} \mathbf{D} \end{bmatrix} \quad \Rightarrow \quad \mathbf{M}^{-1} \begin{bmatrix} (\mathbf{A} - \mathbf{B}\mathbf{D}^{-1}\mathbf{C})^{-1} \cdots \\ \cdots \cdots \end{bmatrix}在LaTeX里这个公式的排版难点不是矩阵本身而是里面的\mathbf{A} - \mathbf{B}\mathbf{D}^{-1}\mathbf{C}这种长表达式塞进矩阵后列宽会被撑得很宽。这时矩阵可能超出版芯解决办法是把这个表达式拆到矩阵外面用\quad和文字说明来引导读者而不是一味塞进矩阵。3.2 增广矩阵竖线分隔的两区域布局增广矩阵的排版和分块矩阵几乎一模一样只不过语义上是“系数矩阵 右侧常数列”。解线性方程组时的标准写法是\left[\begin{array}{ccc|c} 1 2 1 3 \\ 2 5 0 7 \\ 3 7 1 1 \end{array}\right]这里的{ccc|c}就是三列左部分加一条竖线再加一列。对于高斯消元的步骤演示这种写法非常直观。实际操作中我还经常配合\xrightarrow{r_2 \leftarrow r_2 - 2r_1}这类命令来标注行变换。这些命令来自amsmath宏包具体用法如下\begin{bmatrix} 1 2 \\ 2 5 \end{bmatrix} \xrightarrow{R_2 \leftarrow R_2 - 2R_1} \begin{bmatrix} 1 2 \\ 0 1 \end{bmatrix}在展示消元步骤、求解逆矩阵时这种“矩阵-箭头-矩阵-箭头”的链式表达是刚需。我建议把这条链子用\[ ... \]独立成行否则行内会非常挤。关于增广矩阵的圆括号和方括号选择我见过很多人纠结。从数学语义上是没有强制规定的但建议一篇文档里保持一致。我个人偏爱方括号\left[ ... \right]因为竖线分割线已经很多再用圆括号视觉上会有点“软”。3.3 对称矩阵、正交矩阵、幂等矩阵如何在LaTeX中准确“表达类型”你在热搜词里看到“对称矩阵和初等矩阵”、“正交矩阵以及对角矩阵各是什么样的”这类问题的核心不是LaTeX语法而是数学定义。但在LaTeX里如何把“这是一个对称矩阵”通过排版暗示出来是有讲究的。对称矩阵的经典表达就是展示其对称元素\mathbf{S} \begin{bmatrix} s_{11} s_{12} s_{13} \\ s_{12} s_{22} s_{23} \\ s_{13} s_{23} s_{33} \end{bmatrix} \qquad (s_{ij} s_{ji})这里用s_{12}在(1,2)和(2,1)两处同时出现读者一眼看到重复下标就能感知对称性。你还可以用\dots配合文字说明但对于正式文档重复展示是最严格的写法。一个排版细节对称矩阵元素相对较多时建议矩阵整体用\renewcommand{\arraystretch}{1.5}否则_{12}这类下标会让行距看起来偏矮。正交矩阵的表达通常是利用两个等式\mathbf{Q}^\mathrm{T} \mathbf{Q} \mathbf{I} \quad\text{或}\quad \mathbf{Q}^{-1} \mathbf{Q}^\mathrm{T}在LaTeX中转置符号上标推荐用\mathrm{T}而不是直接写T因为数学斜体的T和后面的矩阵字母连在一起会混淆。另外\mathbf{I}表示单位矩阵记得用粗斜体或粗正体。如果你在写正交矩阵的对角化表达\mathbf{P}\mathbf{A}\mathbf{P}^{-1} \boldsymbol{\Lambda}这种链式拼写也常见\boldsymbol{\Lambda}里的\Lambda是一个大写的希腊字母λ用粗体后很有辨识度。幂等矩阵的定义是\mathbf{A}^2 \mathbf{A}这个表达非常简洁。我曾见过有人写\mathbf{A}^{2}\mathbf{A}而且整个文档都是这种不空格风格也不影响阅读但如果你公式较多还是顺手把空格加一下\,能产生细微空隙上下标更清晰。对于“a为n阶实对称幂等矩阵, r(a)r, 求|a-2i|”这道题LaTeX排版可以写成设 \mathbf{A} 为 n 阶实对称幂等矩阵\mathrm{rank}(\mathbf{A}) r求 |\mathbf{A} - 2\mathbf{I}|。这里有两个细节一是\mathrm{rank}要记得用正体数学中的函数名如det、rank、trace一般用罗马体二是|\mathbf{A} - 2\mathbf{I}|这个行列式写法竖线直接用|左右包起来但更规范的是用\det算子\det(\mathbf{A} - 2\mathbf{I})在行列式题中\det才是数学上准确表达。很多初学者用竖线包围矩阵只适合说明行列式本身不适合表达“求行列式值”。3.4 维度更高的矩阵表达稀疏矩阵与带省略号的泛型矩阵处理大规模矩阵时你不可能把每个元素都列出来这时就需要“结构化省略”。最典型的表达是带状矩阵、对角矩阵、上三角矩阵。对角矩阵的写法\boldsymbol{\Lambda} \operatorname{diag}(\lambda_1, \lambda_2, \ldots, \lambda_n) \begin{bmatrix} \lambda_1 \\ \ddots \\ \lambda_n \end{bmatrix}这个矩阵里空白部分被省略只显示对角线元素。注意在bmatrix里空列不是什么都不写而是要写一段空白列项\lambda_1 其中第二个和第三个之间是空的表示第2列没有元素。我见过有人完全省略结果编译出错或矩阵列数错乱。上三角矩阵的表达\mathbf{U} \begin{bmatrix} u_{11} u_{12} \cdots u_{1n} \\ u_{22} \cdots u_{2n} \\ \ddots \vdots \\ u_{nn} \end{bmatrix}这里每一行都要写够列数的否则矩阵会整体左移。记得最后一行也不能偷懒u_{nn}前面的几个要补齐。这是初学阶段最容易掉的坑编译后矩阵不报错但形状却不对。更高维的泛型矩阵我是一个模板打天下\mathbf{A} \begin{bmatrix} a_{11} a_{12} \cdots a_{1n} \\ a_{21} a_{22} \cdots a_{2n} \\ \vdots \vdots \ddots \vdots \\ a_{m1} a_{m2} \cdots a_{mn} \end{bmatrix}这个模板我用了好几年无论是写本科线性代数作业还是推文献里的公式都够用。3.5 矩阵运算的导数与特征值分解如何“优雅地连续铺排”热搜词里有“对矩阵求导”、“矩阵特征值分解”这两个主题虽然偏数学内容但在LaTeX里的表达密度非常高很考验排版功底。矩阵求导常见输出是分母布局下的表达式\frac{\partial \mathbf{x}^\mathrm{T} \mathbf{A} \mathbf{x}}{\partial \mathbf{x}} (\mathbf{A} \mathbf{A}^\mathrm{T}) \mathbf{x}这里叠加了转置、矩阵乘法、导数符号。排版要点是\partial不要忘记向量\mathbf{x}要全文一致。如果你文档中用到\boldsymbol{x}或\vec{x}就统一成一种不要混用。方程太长时建议用aligned环境分两行\begin{equation} \begin{aligned} \frac{\partial}{\partial \mathbf{x}} \left( \mathbf{x}^\mathrm{T}\mathbf{A}\mathbf{x} \right) \lim_{h\to 0} \frac{(\mathbf{x}h\mathbf{e}_i)^\mathrm{T}\mathbf{A}(\mathbf{x}h\mathbf{e}_i) - \mathbf{x}^\mathrm{T}\mathbf{A}\mathbf{x}}{h} \\ \mathbf{A}\mathbf{x} \mathbf{A}^\mathrm{T}\mathbf{x} \end{aligned} \end{equation}考虑到不同排版需求这里引用了一条较完整的推导链作为模板是完全可用的。aligned环境能够把等号对齐比放在矩阵里硬排省心得多。特征值分解的经典表达\mathbf{A} \mathbf{P} \boldsymbol{\Lambda} \mathbf{P}^{-1}后面可以跟一句解释“其中\mathbf{P}的列是特征向量\boldsymbol{\Lambda}是对角矩阵对角元是特征值”。写作代码时\boldsymbol{\Lambda}需要amsmath提供的\boldsymbol老版本LaTeX里可能不支持建议用\bm{\Lambda}需要bm宏包两者选一种即可但论文模板里通常已加载了其中一个直接查看模板即可。有特征值分解必然还绕不开“特征值怎么算”的铺垫比如方程\det(\mathbf{A} - \lambda \mathbf{I}) 0这个式子里的\lambda在矩阵中完全可以写在括号里面而不必担心和外面文字冲突因为\det本身就是正体函数名表达非常清晰。4. 实操过程与核心环节实现——从空文档到完整矩阵演示4.1 最小工作示例5分钟搭起一个可运行矩阵文档纸上谈兵说得再多不如一个最小工作示例。我把从空白文档到成功编译出一个分块矩阵的完整过程拆解如下。首先确保你的工具链是完整的。如果你是Mac/Linux用户推荐本地安装MacTeX或TeX LiveWindows用户推荐TeX Live或MiKTeX。在线方案选Overleaf它能省去所有本地环境麻烦。新建一个.tex文件内容如下\documentclass{article} \usepackage{amsmath} \begin{document} 线性方程组 $A\mathbf{x} \mathbf{b}$ 的增广矩阵为 \[ \left[\begin{array}{ccc|c} 2 1 -1 8 \\ -3 -1 2 -11 \\ -2 1 2 -3 \end{array}\right] \] 对称矩阵示例 \[ \mathbf{S}\begin{bmatrix} 1 0 2 \\ 0 3 -1 \\ 2 -1 4 \end{bmatrix} \] \end{document}编译后你应该看到两个独立的矩阵公式第一个带竖线分割第二个是标准的方括号矩阵。这个例子覆盖了array、\left[、\right]、bmatrix、、\\这些最核心的命令。如果你用的是Overleaf直接新建项目把代码粘贴进去就能编译。如果你在本地用latexmk、xelatex或pdflatex编译推荐使用latexmk进行自动化编译。中文字符如果需要渲染改用xelatex并加载ctex宏包不需要额外改矩阵代码。4.2 多分类混淆矩阵的排版实践热词里的实际应用场景“python多分类混淆矩阵代码”这个词条表明很多人实际上是把Python绘制的混淆矩阵结果放到论文里而LaTeX里也有两种展示路线。第一种直接用LaTeX表格形式排版混淆矩阵适合小规模数据。比如三分类模型\begin{table}[h] \centering \caption{三分类模型混淆矩阵} \begin{tabular}{c|ccc} 预测A 预测B 预测C \\ \hline 实际A 85 8 7 \\ 实际B 6 92 2 \\ 实际C 9 5 86 \\ \end{tabular} \end{table}第二种保留Python生成的热力图图片再用LaTeX作为外部图片引入。这里我个人建议论文优先用图片形式因为颜色能更直观地传达数值大小差异。但如果是纯LaTeX文档、不想处理图片路径和格式用表格是最省事的。矩阵形式和表格形式在LaTeX里是两套东西矩阵是数学对象表格是文档排版对象。很多人搞混在正文里用tabular来排版数学矩阵结果公式环境里无法正常被编号。原则是数学公式里的矩阵用矩阵环境报告文中的统计表用tabular环境。混淆矩阵本质上是统计表而非线性代数对象放表格环境其实更自然这也是很多人在期刊模板里看到的做法。4.3 单片机矩阵键盘和GNSS/图像处理方向矩阵场景的拓展热搜词里有“51单片机矩阵键盘教程”、“图像处理需要一些矩阵类的操作函数库 c c”这些虽然不直接用LaTeX排版但相关的实验报告或技术文档中矩阵的展示是刚需。矩阵键盘本质上是MCU里用行列扫描法读入按键状态的输入矩阵。你扫描4x4矩阵键盘时每次读入的按键值就是一个4x4矩阵状态。写实验报告时这个状态矩阵通常这么表达\text{按键状态矩阵} \begin{bmatrix} 0 0 0 0 \\ 0 1 0 0 \\ 0 0 0 0 \\ 0 0 0 0 \end{bmatrix}对图像处理方向卷积核、滤波器、邻域算子是一个经典矩阵场景比如Sobel算子G_x \begin{bmatrix} -1 0 1 \\ -2 0 2 \\ -1 0 1 \end{bmatrix}, \quad G_y \begin{bmatrix} -1 -2 -1 \\ 0 0 0 \\ 1 2 1 \end{bmatrix}这类矩阵在学术报告和论文里出现频率极高。写代码时建议建立自己的“卷积核模板库”把常见的Sobel、Laplacian、高斯核矩阵都准备好用的时候直接\input或复制粘贴即可。我自己的做法是在本地维护一个matrix_templates.tex文件任何矩阵格式需要直接查找复制省时省力。4.4 顺手处理矩阵里的特殊符号弧符号、极限与转置热搜词里有“latex 弧符号”这个在几何学中常用。LaTeX中弧符号命令是\wideparen或\overparen需要yhmath宏包支持但说实话矩阵里出现弧符号的情况很少更多是平面几何里表示弧AB。真正在矩阵里常见的是\top表示转置、^{-1}表示逆、^\mathrm{H}表示共轭转置。比如\mathbf{M}^\top \mathbf{M}, \quad \mathbf{M}^{-1}, \quad \mathbf{A}^\mathrm{H}这三个符号建议统一文档风格不要一会儿用^T一会儿用^\top否则读者会怀疑是不是两个不同符号。我自己统一使用^\top因为它在视觉上比大写T更像上标箭头。另外矩阵里的真值断言、条件期望之类的衍生符号例如\mathbb{E}、\mathbf{1}如果你在概率相关文档里写矩阵这些符号也经常要和矩阵结构配合\mathbb{E}[\mathbf{x}\mathbf{x}^\top] \begin{bmatrix} \sigma_1^2 \rho \sigma_1 \sigma_2 \\ \rho \sigma_1 \sigma_2 \sigma_2^2 \end{bmatrix}这里\rho是相关系数\sigma是标准差矩阵的方差-协方差结构一目了然。5. 常见问题与排查技巧实录——我踩过的那些坑5.1 “行内公式行距被撑爆”的彻底解决前面提到过smallmatrix但那只是其中一个方案。如果你遇到“行内矩阵导致段落间距变大”问题先判断是哪种情况情况A矩阵本身出现在文本行中间段落被撑高。解决改用smallmatrix或\smash命令。情况B矩阵被放在\[...\]独立公式中但其上下仍与正文太近。解决调整\abovedisplayskip和\belowdisplayskip。\smash[b]{\begin{bmatrix}...\end{bmatrix}}可以“压扁”矩阵的底部高度让段落不被撑高。但这个命令比较激进如果矩阵后面还有\\换行可能会覆盖下一行内容一定要先测试再使用。最稳妥还是smallmatrix。我实测过一行文字里嵌入一个3x3的smallmatrix行距基本不会被破坏几乎完美融入正文。5.2 大括号尺寸异常的排查为什么矩阵括号忽大忽小\left[和\right]的动态大小特性在矩阵里偶尔会失灵——尤其是矩阵里包含分数或大括号时括号可能撑得“过度”。我之前遇到一个案例矩阵里嵌入了\dfrac结果方括号的高度竟然比数学符号还高出一大截看起来和整个公式格格不入。排查思路先检查是不是有\left(和\right)内嵌导致的双层括号问题。再用\biggl[或\Biggl[手动指定括号尺寸。或者用\vphantom插入不可见的高度占位符。手动指定尺寸是最可控的。我的习惯是当矩阵元素里有分数时外层不用自动尺寸而是用\left[因为amsmath的矩阵环境会自动采用合适尺寸但如果使用array环境则必须手动加\left不然括号就是普通小括号非常难看。5.3 编译报错“Missing $ inserted”的常见触发点这个错误对新手很有迷惑性。通常原因是你把矩阵环境写在了纯文本段落中而没有放在数学模式里。矩阵环境本身需要在数学模式中才能使用。正确做法用 \[ ... \] 或 \begin{equation} ... \end{equation} 包裹矩阵。如果你只是想写在句子中间也需要至少这样向量 $\mathbf{v}\begin{bmatrix}1\\2\end{bmatrix}$ 是列向量。很多人写完矩阵忘了加$或\[编译直接报错。还有一种情况是环境嵌套层级不对比如在equation里用了aligned然后又用matrix理论上没问题但只要有一层没闭合就会报错。建议编译前先检查每个\begin都有对应的\end。5.4 矩阵内等号对齐与公式编号的小秘密如果你有一系列公式推导希望矩阵与等号对齐\begin{align} \mathbf{A} \begin{bmatrix} 1 2 \\ 3 4 \end{bmatrix} \\ \mathbf{B} \mathbf{A}^{-1} \end{align}这里要注意align环境内部的矩阵元素里不能再直接使用\begin{bmatrix}而不处理对齐实际上bmatrix里本身有列分隔符它和align的对齐符会冲突。解决办法是把整个矩阵当作普通符号放在矩阵外面而不是里面。矩阵里的是列分隔外面的是公式对齐两者层级错开就不会报错。如果你用equation环境给矩阵编号默认编号在右侧格式为(1)。如果希望编号在左侧需要加\documentclass[leqno]{article}选项。期刊论文模板一般已经设置好了不用自己改。5.5 MathType、Word与LaTeX矩阵的格式互通问题热搜词里有“mathtype中的latex的公式字体”这是一个很实际的需求很多人用MathType在Word里编辑公式然后需要把这套内容搬进LaTeX或者反过来。MathType支持把公式转换为LaTeX代码但生成的代码比较冗长矩阵公式尤其明显——它会用一堆\left[和\begin{array}而不是简洁的bmatrix环境。我建议在MathType里用的公式粘贴到LaTeX后不要直接用而是手动替换成矩阵环境。反过来LaTeX写好的公式想放到Word里除了截图还可以用MathType直接粘贴LaTeX代码。比如你在MathType的“LaTeX模式”下粘贴\begin{bmatrix}a b \\ c d\end{bmatrix}MathType能识别并转成Word公式。但实测来看转换成功率并不高尤其包含\mathbf、\boldsymbol等粗体命令时容易出错。我的经验是如果只是一两个公式直接粘贴还能凑合如果整段文档包含大量矩阵建议直接在LaTeX里排版后导出PDF再插入Word别折腾公式互转。5.6 矩阵里的字体与粗体处理从\mathbf到\boldsymbol的准确选择矩阵代数里的向量和矩阵字体区分是排版细节的重灾区。常规约定矩阵用粗正体或粗斜体向量用粗斜体。LaTeX里最常被混用的是\mathbf和\boldsymbol。\mathbf{A}产生粗正体的A。适合表示矩阵但在表示向量时可能不够“斜”。\boldsymbol{A}产生粗斜体的A。适合表示向量和矩阵变量。\bm{A}同样粗斜体来自bm宏包常在期刊模板中替代\boldsymbol。我个人的惯例是矩阵用\mathbf向量用\boldsymbol。这样视觉上有区分读者看见正体粗体就知道是矩阵看见斜体粗体就知道是向量。比如\mathbf{A} \boldsymbol{x} \boldsymbol{b}这个式子里的矩阵\mathbf{A}和向量\boldsymbol{x}、\boldsymbol{b}形成对比非常清晰。如果你用\boldsymbol表示矩阵也可以但全文一定要统一。另外单位矩阵、零矩阵这些特殊符号我用\mathbf{I}和\mathbf{0}表示不会加粗过头。在矩阵里嵌入零矩阵时\mathbf{0}在视觉上就足够表示“零块”了。6. 关于工具链与模板的几条实战建议LaTeX矩阵排版的工具链其实很固定编辑器选顺手的就行。我用过VS Code TeX Live、Overleaf、以及本地Vim latexmk的组合体验各不相同但最终选择的标准很清楚能快速编译、错误提示友好、支持反向定位源码。如果你在VS Code里写推荐安装LaTeX Workshop插件。它能自动补全\begin{bmatrix}这类的环境名还能在保存时自动编译。我个人最常用的是在VS Code中维护一个snippets.json把常用矩阵环境都写好代码片段输入快捷键直接生成模板。一个实用的矩阵模板区% 二行二列方括号矩阵 \begin{bmatrix} a b \\ c d \end{bmatrix} % 增广矩阵竖线分隔 \left[\begin{array}{cc|c} a b c \\ d e f \end{array}\right] % 分块矩阵横竖线分隔 \left[\begin{array}{c|c} \mathbf{A} \mathbf{B} \\ \hline \mathbf{0} \mathbf{D} \end{array}\right] % 小矩阵行内嵌入 \left(\begin{smallmatrix} a b \\ c d \end{smallmatrix}\right)每次新建文档时把这些模板放进去书写体验能提升一大截。关于论文模板中文学报、IEEE、ACM、Springer等平台都有官方LaTeX模板模板里已经预加载了amsmath等宏包你只需要写矩阵内容不需要关心加载宏包的问题。但有一个坑有些老旧的期刊模板没有加载amsmath你直接写bmatrix会报错。遇到这种情况在导言区手动加\usepackage{amsmath}通常能解决但如果模板本身是老式article类且限制了宏包可能需要改用array环境来替代。这也是我始终建议大家先备份一个能编译的bmatrix小文档的原因——出现问题时可以逐句对照排查快速判定是环境问题还是命令问题。最后分享一个小技巧。在写完一堆矩阵公式后如果你总觉得某处间距别扭可以连续编译两次让LaTeX完成交叉引用和间距计算。很多时候第一次编译的排版结果并不是最终效果尤其是在使用\left、\right和大矩阵时前后有编号的公式会互相影响间距。我记得有一回写了一个带\label的分块矩阵推导链第一次编译后矩阵之间空隙过大第二次编译后所有间距都归位了从那以后我养成了“所有公式文档至少编译两遍”的习惯几乎没再被间距问题困扰过。
和run()的区别，面试必问的启动方式与源码解析)
