以理服人。

沈奇在笔记本电脑里新建一个tex文档，开始打字，写数学式子，辅以文字说明。

他要做的事情很明确，证明自己的论述逻辑正确，并指出审稿人评审意见中的逻辑错误。

▽Φ（x）=vth（x）=▽f（x）（a（x）-i）h（x）+▽g（x）（b（x）-i）h（x）

此处a（x）和b（x）满足式（7）的对角阵。

考虑向量（a（x）-i）h（x），由其构造可知，它的第i个分量非零等价于hi（x）≠0

即下面的情况中有一条满足：

（1）fi（x）≠0且gi（x）≠0

（2）fi（x）=0且gi（x）＜0

（3）fi（x）＜0且gi（x）=0

……

可证，若▽g（x）-1▽f（x）是一个线性代数中定义的-矩阵。

那么▽g（x）-1▽f（x）（a（x）-i）+（b（x）-i）是非奇异的。

故……

沈奇静静的码字，倔强的讲道理。

欧叶静静的看沈奇码字，时不时也在自己的电脑上码几个式子，她得到了启发，她跟沈奇研究的是同一篇论文，同一个课题。