第135章 LaTeX：数学论文的写作（2/2）

tex不是一个简单的高级排版软件，而是一套基于tex的、用于排版科技文档的标记语言和文档准备系统。

数学论文里那些优美而复杂的多行公式、分块矩阵、交换图表、复杂的定理环境，在word里编排起来足以让最耐心的学者抓狂，格式错乱、编号失控、引用爆炸是家常便饭。tex则允许你像写程序一样，用简洁的指令来生成完美的积分符号，用清晰的结构来封装证明过程。它分离了内容与格式，作者只需专注于内容逻辑，最终那具有标准学术美感的pdf输出，tex引擎按照预设或自定义的样式文件.cls自动生成。

几乎所有重要的数学期刊，投稿模板都tex格式；arxiv预印本库是它的主场；同行之间交流草稿，一个 .tex 源文件往往比一个.docx文件更受青睐，因为它稳定、纯粹，且能清晰展现作者的逻辑结构。

如果说陈航刚刚完成的数学证明，是在思维的星空中绘制出了一幅精密的星座图，那tex，就是将他脑中的这幅星图，翻译成地面所有天文学家都能清晰阅读、无误复现的标准星图语言的工具。这是他从“解决了一个问题”到“向世界宣告解决了这个问题”之间，必须跨过的、最后一道看似枯燥却无比重要的技术门槛。

但这之前，他还没有学tex，现在他需要好好学一学。

他从网上淘了一份刘海洋撰写的tex入门》资料，一份则是名为《lshort-zh》的资料。

《lshort-zh》是对刘海洋老师写的tex入门》一些精简与课后习题的解答，是专门tex研发的一些人员撰写的，资料都是免费正版。

一两小时过去，陈航就看完并学会了。

《lshort-zh》确实是入门，看完之后，不仅是撰写普通的论文已经够用，再有特制的模板之下，撰写硕士研究生的毕业论文都够了。

如果还需要深入学习，则是需要访问ctan站点，各类宏包的也可以从网站和遍布全球的各个镜像站点中获得。

随后，陈航便开始撰写自己的论文：a plete solution to the moving sofa problem: a proof of the optimality and uniqueness of gerver’s construction（移动沙发问题的完整解：gerver构造的最优性与唯一性证明）

论文写作的时候，非常的迅速。

陈航的草稿本来就写得极度清晰，每一步推导旁边都有密密麻麻的批注，哪些地方可以松弛、哪里必须等号、哪里是关键的变分不等式，他都标注得一清二楚。

敲tex的过程反而像是在“誊写”一件艺术品。

定理、引理、命题一个接一个冒出来，他用theorem、lemma、proposition环境包裹，编号自动递增，整齐得像军队列队。

他就像是个浸淫数学多年的老学究，tex写论文的过程根本不像一个新手那样磕磕盼盼，而是非常流畅。

键盘啪啪响，一篇优美的论文就此成型。

当然，他也做了相当程度的“隐身术”。

凡是那些虽然在计算中起到重要辅助作用、但本质上属于“工程实现”而非“数学核心”的部分，他都毫不犹豫地删掉了。

也并不是他小气或者什么，只是那些内容，在不影响论文的严谨性和完整性的情况下，很有可能给了其他人在无人机或机器人领域上有所应用，如果是自己国家的人倒是无所谓，但如果是其他国家的人，那就有点不好了。

虽然科学无国界，数学更是如此，但是历史上也不是没有这个例子。数学教皇格罗滕迪克不就是这样一个例子。你也不能说别人错了，但是这种事还是尽量避免的好，陈航可不希望自己在实现自己的梦想的时候某些国家过度的阻碍。

而且删掉它们，文章不但没有变弱，反而显得更纯粹、更锋利。

两天后，论文写完。他把整个文件夹打包，拷进一个崭新的u盘。提前联系了丘老，他就洗了个澡，换了件干净衬衫，揣着u盘出门，朝数学科学中心的丘成桐办公室走去。