如何使用 LaTeX 书写证明

作为大一学生，很多同学或许之前没有接触过如何快速用电脑打出漂亮的证明，下面 yummy 给大家一个例子，演示如何用 LaTeX 证明，所有代数数（存在非零的、有理系数多项式函数使得它是函数一个零点的复数）构成的集合是可数的。

对于一个代数数 x，假设它是多项式函数 f 的字典序第 k 大的复数根，那么写出 (f,k) 的 LaTeX 代码，并在电脑内以二进制文件存储，这个二进制文件进制转换得到的自然数即为所求。显然，任何两个不同的代数数对应的数字都不相同。

当然上面的证明仅仅用了一种方法使用 LaTeX，下面我们在此基础上接着改进证明。

对于一个代数数 x，假设它是多项式函数 f 的字典序第 k 大的复数根，那么写出 (f,k) 的 \LaTeX 代码，并在电脑内以二进制文件存储，这个二进制文件进制转换得到的自然数即为所求。显然，任何两个不同的代数数对应的数字都不相同。