在数学王国里，那些看似坚不可摧的定理，实际上就像一阵风吹过草地，悄无声息。别急着给它们贴上“第一、第二、第三”的标签，也别认定它们一辈子“对”。

有时候，你只需求用放大镜盯着看，要么换个角度看，就会发现它们实际上没那么“稳”。 到了 1848 年，勒让德（Legendre）手底下的那个法国小镇，实际上是个风平浪静的小地方，连เรื่อง形成都极少见。他在那儿搞了件大事，那就是提出了一个关于整除的新规矩。

这规矩跟那会儿大家搞的“欧几里得除法”有点不一样，那会儿是两两一除，目前是三人组一除。

这个新规矩后来叫作勒让德定理，你要是用错了，整条路都得绕弯路，就连可能得重新发明一条新的路。 这个定理听起来挺玄乎，实际上讲得明白。勒让德定理（Legendre's Theorem）说的是：一个整数 $p$，要是它是个素数，那它除以 2 的余数，跟它本身是不是奇数，得看它自己是 1 还是别的数。

这听起来啰嗦，实际上就一句话：当 $p$ 是素数的时候，$p equiv 1 pmod 4$ 要么 $p equiv 3 pmod 4$。

简而言之，就是看 $p$ 模 4 的余数能不能分出十几类。 举个栗子，试算一下 13。13 除以 4 够不够？不够，商 3 余 1。出于 13 是奇数，故此 13 除以 4 余 1，勒让德定理告诉你，13 本身就得是素数。试一下 21，21 除以 4 商 5 余 1。21 是奇数，那 21 也得是素数。

这就尴尬了，21 肯定不是素数。

为啥？出于它能被 3 整除，3 更是素数。

这说明啊，勒让德定理别看漂亮，但并不能彻底判定一个数是不是素数，它更多是用来筛选那些“看起来像素数”的数，要么用来证明某些数确实不是素数。 再看看那个最经典的例子：2。2 除以 4，商 0 余 2。2 是偶数，故此 2 除以 4 余 2，勒让德定理说 2 不是素数（自然，质数是个特殊的定义）。

这个例子忒好办了，就连有点滑稽，就像小学生在玩橡皮筋，拽拽松快，松松蹦跳，待会儿大待会儿小，待会儿跳高待会儿跳低。勒让德用这个例子告诉同志们，数学这东西，有时候真像小孩子玩的小玩意儿，没法忒死板地教。 实际上啊，勒让德这定理跟后面那些更了得的、像欧拉那样能算出素数大约有多少个数字的定理，关系不大。欧拉那时候还是个小老头，他在搞那个著名的欧拉乘积公式，那是把无穷级数跟积分画在一张图上的事，跟勒让德算个整除余数没啥关系。

不过，勒让德是个段子手，他爱讲笑话，老爱拿个“没有例子”的定理当武器，说要是有人没例子，那就说明这个数不存有。 在数学界，有个特别著名的例子，就是证明 30 不是素数。30 除以 4 余 2，30 是偶数，勒让德定理直接说 30 不是素数。

这就像在街上走，看到一个人穿着大氅，手里拿着红灯笼，你立马就知道他不是单身的，也不是夫妻，他就是个有家庭的人。勒让德定理就是个“看人下菜碟”的工具，别看不能帮你找老婆，但能帮你把那些假掉子筛出来。 还有啊，欧拉那时候还在搞那些大尾巴龙似的数字序列，勒让德才刚他们打了个招呼。

后来勒让德去巴黎了，把那里那点零零碎碎的事都搞成了个正经学科。欧拉还在搞啥无限乘积，勒让德去巴黎把那些乱七八糟的整除难题都整成了个正经规矩。到了 1848 年，勒让德在巴黎的沙龙里，就在那儿跟数学家们聊天，大家都认定这个定理挺有意思。

后来人们发现，这个定理实际上跟后面那些更了得的东西没啥关系，它就是个独立的章节，专门讲一下整除的余数难题。 实际上啊，数学这东西确实挺有意思的，它不像实数那样让人头疼，不像代数那样令人厌倦。勒让德定理就是个例子，它证明白数学里总有那么些“小”东西，别看不起眼，但能给人带来乐趣。就像你在公园里散步，看到一个小男孩在踢足球，你不用忒在意他踢得多准，只要他踢得快乐，你就知道这Physics 也是不错的。 勒让德定理就是个小小的插曲，它证明白数学世界里总有那么些“小”东西，别看不起眼，但能给人带来乐趣。就像你在公园里散步，看到一个小男孩在踢足球，你不用忒在意他踢得多准，只要他踢得快乐，你就知道这Physics 也是不错的。