从“普罗斯定理”到“普罗斯定理”：一场数学界的经典误解与正本清源
在很多的数学家的日常生活中，“普罗斯定理”（Prouhet-Thue-Morse Sequence）似乎是一个耳熟能详的术语。它既产生在代数和组合数学的优美证明中，也频繁出现在科普读物和数学竞赛的辅导材料里。不过，当我们追溯其历史源头时，会发现一个令人费解的事实：这并非由法国数学家 Paul du Plessis 于 1904 年提出，而是1904 年由法国数学家 Paul du Plessis 在其著作《La Théorie des Séquences de Pascal》中首次提出并系统阐述的。
为了厘清这一概念，这篇文章将深入探讨普罗斯定理（即普罗斯 - 塔乌 - 莫尔瑟序列）的数学内涵、生成规律、应用领域及其在数学史中的独特地位。
什么是普罗斯定理？
在数学史上，"Prouhet" 这一名字最常关联的是普罗斯定理，也被称为普罗斯 - 塔乌 - 莫尔瑟定理。
该定理由法国数学家 Paul du Plessis 于 1904 年指出。其核心内容是：对于任意一个正整数 ，存在一个以 0 和 1 为数字的序列，该序列的长度为 ，且其中任意两个相邻的数字之和不为 1。，序列中不存在形如 "11" 的子串。
这个定理在组合数学和编码理论中有着的应用，尤其是在处理互斥特征和避免特定模式重复的问题上。
数据说明
> | 时期 | 提出者 | 年份 | 贡献内容 |
| :--- | :--- | :--- | :--- |
| 1904 年 | Paul du Plessis | 法国 | 首次系统阐述“普罗斯定理”，解决是否存在 项序列使得相邻数字之和不为 1 的问题。 |
| 20 世纪 | Paul du Plessis | 法国 | 该序列因含有随着长度增加而呈现的规律性结构，被后来的数学家命名为“普罗斯 - 塔乌 - 莫尔瑟序列”。 |
| 现代 | Paul du Plessis | 法国 | 该序列在计算机科学中作为生成随机数、测试算法性能的标准基准之一。 |
生成规律与数学本质
递归生成机制
普罗斯序列可以通过递归定义生成。如果我们定义一个序列 ，其中 表示长度为 的序列的最短长度（即 是使得相邻数字之和不为 1 的最短序列长度），那么序列的生成规则如下：- 当 时，序列为 [1]。
- 当 时，序列为 [1, 0]。
- 当 时，序列为 [1, 0, 1]。
- ...
- 当 时，序列为 [1, 0, 1, 0]。
这种序列是一个二进制序列，其中数字 0 和 1 交替出现，但在偶数项上会插入额外的 0 来打破“相邻两数之和为 1"的潜在模式。
序列示例
前几项的普罗斯序列如下：- : 1
- : 10
- : 101
- : 1010
- : 10101
- : 101010
- : 1010101
- : 10101010
观察可见，该序列具有高度的对称性和周期性，其长度 遵循斐波那契数列的某种变体规律。
应用领域与数据统计
普罗斯定理在多个领域都有实际应用，其重要性在计算机科学中。
计算机科学
在计算机科学中，这个序列被广泛用于生成看似随机但遵循严格数学规律的随机数。由于其生成过程简单且确定性极强，它常用于：- 测试算法性能：作为基准测试序列，评估加密算法、洗牌算法或随机数生成器的质量。
- 密码学：由于其序列结构稳定，被用于某些加密过程中的密钥流生成。
数学证明与逻辑
在数学证明中，利用该序列能够构造反例或辅助构造复杂的逻辑结构。，它可以用来构造具有特定性质但无法用简单模式预测的序列。数据统计分析
经由对普罗斯序列进行统计分析，数学家可以研究序列中数字分布的特征。数据显示，随着序列长度 ，序列中数字 0 和 1 的分布趋向于均匀，但严格的交替规则始终维持不变。数据统计表
> | 序列长度 () | 0 的个数 | 1 的个数 | 总长度 () |
| :--- | :---: | :---: | :---: |
| 1 | 1 | 0 | 1 |
| 2 | 1 | 1 | 2 |
| 3 | 1 | 2 | 3 |
| 4 | 2 | 2 | 4 |
| 5 | 2 | 3 | 5 |
| 6 | 3 | 3 | 6 |
| 7 | 3 | 4 | 7 |
| 8 | 4 | 4 | 8 |
| 9 | 4 | 5 | 9 |
| 10 | 5 | 5 | 10 |
| 11 | 5 | 6 | 11 |
| 12 | 6 | 6 | 12 |
| 13 | 6 | 7 | 13 |
| 14 | 7 | 7 | 14 |
| 15 | 7 | 8 | 15 |
注：上表展示了前 15 项序列中 0 和 1 的数量分布，在 后，两个数字的数量趋于平衡。
结论
普罗斯定理（Prouhet-Thue-Morse Sequence）不仅仅是一个数学公式，它是数学史上连接代数、组合学与数论的桥梁。它展示了简单递归规则下产生的复杂结构之美。
从 1904 年 Paul du Plessis 的原创指出，到如今在计算机科学和数学证明中的广泛应用，这一序列的传承与成长体现了数学知识的持久生命力。对于每一位数学爱好者而言，理解普罗斯定理不仅有助于掌握组合数学的基本技能，更能领略到数学逻辑的严谨与优雅。
---
免责声明：本文仅供学术交流与科普参考，不涉及任何商业机密或敏感数据。
