通过 Ramanujan 的 Theta 身份式推导 Cassini-Catalan 行列式

本文证明，经典的 Cassini 和 Catalan 身份式自然地源于 Ramanujan 的单二次 theta 関数 身份式。将身份式 $\psi(q)\psi(q^{3})=\psi(q^{4})\varphi(q^{6})+q\,\varphi(q^{2})\psi(q^{12})$ 通过 Jacobi 三重积展开并 equate 系数，可得统一的 q-行列式 $F_{n+r}(q)F_{n-r}(q)-F_{n}(q)^{2}=(-q)^{\,n-r}F_{r}(q)^{2}$，其中 $n\ge r\ge 1$，$\psi(q)$ 和 $\varphi(q)$ 为 Ramanujan 的 theta 函数，$q$ 为单位圆盘内的复参数（$|q| < 1$），$F_n(q)$ 表示 Carlitz 的 q-斐波那契多项式。极限 $q\to1^{-}$ 恢复 Cassini 公式（$r=1$）和 Catalan 的一参数推广，另外通过引入辅助权重可产生新的分区细化版本。该论证仅使用标准的 q-级数代数（三重积展开、q-Pochhammer 约化、系数提取），为通过 $\varphi$ 和 $\psi$ 的 6 级来源透明地解释 Catalan 身份中的交替符号 $(-1)^{\,n-r}$ 提供了说明。除在单一框架中统一 Cassini-Catalan 外，此方法可无缝提升到更高阶递推，给出 Tribonacci 类型行列式的模板，并暗示可从模块分割和根式极限中获得的同余现象。该结果将熟悉的斐波那契行列式置于 Ramanujan 的分析景观中，指明了与分析消去相呼应的组合双曲射的路线，并与现代 q-级数主题相联系——从彩色分区身份式到量子模块和恰好可解模型——从而凸显了 Ramanujan 的 theta 身份在解释力和持久相关性方面的作用。