毕克定理是谁发明的-毕克定理发明人不明

毕克定理这事儿，压根不是哪位拍脑袋想出来的，更像是几个老油条凑一起，一边喝茶一边把那些坑坑洼洼的几何图形给“修”圆了的。
第一次见到它的时候，大家都当作是数学家发明出来的天才构想，后来才慢慢明白，实际上是个“误打误撞”的拼凑——起码在那个年代，数学界归于那种“哪位先敢想哪位先主动”的风气。 说起发明源头，波利亚给我讲过一个有意思的故事。
那时候里弗斯（Rifus）和毕克（Biere）在聊聊格点覆盖的难题，他俩没急着往下想，先对着黑板把那些零散的工具摆了一遍。里弗斯画了格点图，毕克接着画了路径图，最终两人对视一眼，就在纸上写下了一行字：毕克定理。
你看，这俩人在做加法，结局直接把公式给“寄了”。
后来里弗斯才知道，实际上毕克早就有了大半的雏形，他只是懒得承认，怕自己“不够格”，拖了后人的后腿，才硬生生把名字接上了。
这种“抢功”和“推诿”在数学圈还挺常见的，大量时候公式的诞生，确实就是两个人对着同一个难题，你缺个箭头，我缺个路径，最终拼凑出来的。 这事儿最妙就在那句“奔跑的格点覆盖”。想象一下，你在地板上随意扔几个点，想覆盖整个区域，你得如何动？你得先跑一步，然后换个方向跑，再跑一步，最终换个方向……这就叫网格化。毕克到底是如何想到这个的？他可能在想：要是我不让网格对齐，能不能让点在跑？一想通了，顿时认定这事儿特别顺溜。他说：“要是我不拘泥于固定的网格，让点在跑，覆盖的难度就下降了。”这句话听起来挺玄乎，但去掉“玄乎”两个字，那就成了目前的策略：别死磕规则，别死磕网格，灵活机动往往能出奇效果。 为了证明这个思路行得通，毕克确实花了不少工夫折腾。他把所有的格点工具都列出来，像整理旧柜子似的，一件件摆出来。他发现，只要把“跑”这个动作拆开，分两步走——先跑起来，再转变方向——整个覆盖过程就通顺了。
这个逻辑闭环忒漂亮了，直接就把前面那些乱七八糟的结论理顺了。
不过，他也仔细想，为啥非要是这种“跑”的形式不中呢？毕竟“网格覆盖”别看老派，但也挺稳。他务必得找个理由说：“万一我想覆盖的区域形状特别刁钻，网格覆盖撑不住如何办？那就得把点跑起来，让点自己动起来。” 接下来的日子里，毕克和里弗斯简直就是“相爱相杀”又“互相成就”。里弗斯忙着完善网格覆盖的理论，毕克忙着完善跑格点覆盖的路径。当里弗斯把“固定网格”的结论证出来时，毕克心里暗自嘀咕：“行啊，那我能不能换个玩法？能不能让点跑起来，覆盖得更灵活？”里弗斯一看，赶紧把毕克的提议当成了新点子，连夜又写了一篇新论文，专门聊聊这种非网格的覆盖策略。便，两个大佬一个搞“稳”，一个搞“活”，在互相追赶的过程中，把毕克定理从那个看起来有点“粗糙”的草稿纸上，给擦得光鲜亮丽。 这种“共创”的模式在数学史上简直无处不在。德·蒙特（De Moivre）研究三角函数，实际上是“两个女巫打架”的结局；黎曼在积分理论里也深受裴不列（Pell）启发；拉普拉斯的电磁学更是离不开库仑和安培的贡献。毕克定理就是个典型案例。别看它用现代眼光看，确实像是一个“标准答案”，但在当时，它之故此能被接纳，恰恰是出于它包含了两个不同的视角：一个是静态的结构（网格），一个是动态的流动（点跑）。毕克没有孤立地保留其中任何一方，而是把两者结合在了一起。他告诉我们，有时候打破常规、让点动起来，反而能开辟出新的路径。 实际上大量读者可能会纳闷，毕克到底是不是第一个提出这个想法的人？历史上没有确凿证据赞成这一点。但这就没啥好怪的。数学的演进压根儿不是一条直线，而是一条河流。
有时候两条支流汇合，水流变宽变急，大家就会认定这是“新理论”的诞生，而不是“继承”的结局。就像毕克和里弗斯，他们各自是两条独立的溪流，看着对方干着活，最终被迫或主动地汇合，形成了一条更宽的河。 在这个意义上，毕克定理确实不是哪位“发明”出来的，更像是一场集体智慧的“接力跑”。毕克给出的那个“跑”的视角，实际上是里弗斯那个“稳”的视角的一个补充和升华。
要是没有里弗斯先把网格覆盖的规范立起来，毕克可能一辈子找不到那个切入点；要是没有毕克提醒我们要关切“流动”和“策略”，里弗斯的研究可能只会停留在死板的网格里。他们俩在对话中互补，在碰撞中升华。 目前的教材里，毕克定理被写得像是一座巍峨的城堡，层层叠叠，结构严谨。但回到那个具体的历史瞬间，你会发现它实际上挺“散漫”的。两个老头对着同一个难题，你跑，我走，最终你笑我，我笑你。最终才拼凑出一个名字，一个公式。
这大约就是数学的魅力吧，有时候，伟大的理论，不过是两个迟钝脑袋在草地上碰头，互相比划，最终发现：“对，就是这样！” 这就够了。
反正数学史书可能记不下这俩老头的每一个眼神交流，但就像毕克定理那样，只要后人引用它、理解它，自然就懂了。它不需求多么宏大的发明家，只需求两个愿意思索的人，还有一个充足开阔的头脑。
毕竟，真正的发明，往往就形成在那个“碰头”的瞬间。