耦合模理论的符号化求解

课程设计需要从耦合模哈密顿量出发，推导系统的本征频率与解析解。手工推导易错且难复核，于是搭建了本地 Wolfram 内核桥接，把每一步推导交给符号计算验证。

关键结论包括：对易子关系 [σx, σy] = 2i σz 的符号验证、耦合模本征值差的平方等式化简为零、以及弱耦合极限下 K→0 时的渐近行为。所有结果一键转 LaTeX 贴回论文。