素数五个为一行的_4k+1型素数表为二平方和：拉格朗日方法

触碰标题下面一行的“邵勇老师”查看所有文章；触碰“数学教学研究”, 关注本微信公众号(sx100sy)。本公众号内容均由邵勇(北京)本人独创，欢迎转发，但未经许可不能转载。每周推送两到三篇内容上有份量的数学文章，但在行文上力争做到深入浅出。几分钟便可读完，轻松学数学。

特别声明，本人未曾授权任何网站(包括微博)、公众号或其他什么号转载北京邵勇原创的“数学教学研究”公众号的内容。建议您一定直接关注本公众号(sx100sy)，这样有什么问题可以留言交流和发消息，我会诚恳回复。未经授权而转载我文章的地方丢失了很多功能，比如留言，比如发消息到我后台。未经授权而转载我文章的地方，毕竟还存留着贯穿于我文章中的图片(比如公式)，图片的右下角都有原公众号的水印“微信号: sx100sy”，通过在微信中搜索“sx100sy”，一定可以找到原始的公众号，也就是本公众号《数学教学研究》(sx100sy)并加以关注。本公众号才是良好的交流平台和文明的生态环境。

今天介绍一种由拉格朗日发明的数学方法，用以将4k+1形式的素数表成两个正整数的平方和。欧拉当年就证明了，一切4k+1形式的素数都可以唯一地表为两平方数之和。注意，拉格朗日发明的这种方法不是通用的，只针对某一部分4k+1形式的素数。这样的素数可以很小，我们用“肉眼”即可看出它是哪两个平方数之和，比如13=3^2+2^2；也可以很大，那它是哪两个平方数之和就不太容易看出。我今天举例说明拉格朗日方法的过程，让您感悟其中的奥妙，体验数学的真谛。我自己对数学有一种特别的感觉：它就像冰封的河流下面暗自涌动的江水，不易被人觉察，但它就在那里，静静地流淌着。

我今天以29这个非常小的素数为例来讲拉格朗日的方法。数虽小，但方法不一般。

√29(根号29)是一个二次无理数。它可以唯一表为一个无限循环简单连分数。下面就先讲一讲如何把√29表为连分数。设

其中的5是小于√29的最大正整数；x2是一个大于1的数。由此得出

可以看出，x2，x3，x4，x5，x6，x7都是关于√29的二次无理数。这点很重要，切记！正因为这一点，拉格朗日方法才能得以实现。可以看出，x7=x2。于是，循环开始。连分数就是下面的样子：

(注意，上面连分数的循环节最后一个数“10”是连分数第一个部分商“5”的两倍，这个性质对一切√N (N不是平方数)都成立，这里不做证明；循环节中除“10”以外的其他数是对称的，这个也是√N连分数展示中的通用性质，也不在这里证明。)

连分数太占“地盘”，所以有个简便的表示方式：部分商表示方式：

√29=[5, 2, 1, 1, 2, 10, 2, 1, 1, 2, 10, ··· ]

其中加粗的五个数字是循环节(注意，5不参与循环，所以√29不是纯循环连分数(√N都不是纯循环小数，因为它的共轭“－√N”不在－1与0之间)；循环节中10之前的数字“2,1,1,2”是对称的，并且个数是偶数，所以没有中间数，这是拉格朗日方法得以实施的必要条件)。我们不妨把循环节多写几遍，即把部分商写得长一些：

√29=[5, 2,1,1,2,10, 2,1,1,2,10, 2,1,1,2,10, 2,1, ··· ]

我把它重新标粗体：

√29=[5,2,1, 1,2,10,2,1, 1,2,10,2,1, 1,2,10,2,1, ··· ]

看出来没有，我们是不是也可以把这个连分数看做从第4个部分商开始循环，循环节为“1,2,10,2,1”(前面所说的“除10以外循环节中的数是对称的且个数为偶数”，是这里循环节得以后移的保证)。于是，新的循环节也是对称的。好的，回到“占地面积”太大的连分数本身，但我们把循环节做了重新标注：

我们设

α = [ 1, 2, 10, 2, 1, 1, 2, 10, 2, 1, · · · ]

这是一个纯循环连分数，并且循环节“1,2,10,2,1”对称，从而它的逆顺序连分数与它完全相同。于是，根据上一讲所讲，α与逆顺序连分数的负倒数“－1/α”，是某个整系数二次方程的两个无理根，且这两个无理根共轭。也就是，一根形如：

(其中的根式是√29，这与前面红色文字相呼应)，另一根形如：

把这两式相乘，得：

整理，得：

二平方和的形式出现了！(注：二平方和，两平方数之和，两个数的平方和，这三者是同一个意思。)

下面只需求出α，也就是求出P和Q，然后我们便大功告成。把α的无穷连分数写成有穷的方程：

逐步化简上式：

解这个二次方程，得：

即：

所以，

P=2， Q=5

所以，由

得

于是，拉格朗日的方法就帮助我们找到了两个平方数4和25，它们的和就是4k+1型的素数29。

---

相关阅读：

《纯循环连分数 与 二次方程的根》

《二平方和》