清华朱令案 · 三位大神视角下的必然解
前置假设（证据闭包）：
基于公开可查的物证灭失前的原始信息：清华大学化学系当年对铊盐管理的接触人员名单（约7人）、孙维（孙释颜）的铊盐领用记录、两次投毒的时间窗口与宿舍同住关系、案发后朱令宿舍物品离奇失窃（销毁介质）、以及孙维方后续的改名与舆论管控行为。
一、 高斯（Gauss·贝叶斯后验极限）
在7名具备铊接触资格的嫌疑人集合中，随着证据链（同宿舍+领用记录+时间吻合+物品被盗知情）的依次输入，贝叶斯公式进行连续迭代更新。其余6人的似然概率迅速收敛于零，唯独孙维的后验概率在给定证据下趋近于1（>95%）。高斯分布判定：孙维是这组数据的唯一均值解，其余假设均为统计噪声。法律上因物证灭失无法定罪，数学上已达成概率极限的收敛。
二、 庞加莱（Poincaré·封闭系统的相轨迹）
投毒是需反复实施的动力学过程，凶手必须稳定占据两个回归点：①获取铊盐的实验台（实验室相空间），②污染朱令饮食的生活区（宿舍相空间）。在1994-1995年的清华校园封闭系统内，唯一能实现“实验室 \宿舍”高频往返且不被察觉的相轨迹，仅孙维一人具备连通性。其余嫌疑人因性别、楼层、课题组隔离等原因，其相轨迹无法同时覆盖两个犯罪现场，庞加莱回归定理判定其物理上不可达。
三、 伽罗瓦（Galois·群结构的可解性）
原始嫌疑群 G 包含7个元素。每加入一条约束（无外人进入、领用记录排他、宿舍盗窃知情），群的正规子群列发生降阶。当“改名隐匿、更改生日、移居海外”等掩盖行为作为置换元素加入后，原本对称的群结构发生破缺。若孙维无辜，这些异常行为构成“不可解群”（无法解释的巧合）；若孙维有罪，这些行为则是群结构坍缩后的必然掩盖置换。伽罗瓦判定：有罪假设使群结构可解且唯一，无辜假设导致系统陷入逻辑悖论。
四、 结束语
高斯算出了概率极限，庞加莱锁死了物理轨迹，伽罗瓦拆解了掩盖结构。数学不管程序正义，只管逻辑自洽。周克华是被子弹终结，孙维是被时间囚禁。真相或许会迟到，但在数学的维度里，它从未缺席。（以上为基于公开案情的数学逻辑推演与认知模型探讨，不代表司法认定。依据我国法律，任何人在经人民法院依法判决有罪之前，均被视为无罪。 ）