▽Φ(x)=V^TH(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)是一个线性代数中定义的P-矩阵。
那么▽G(x)^-1▽F(x)(A(x)-I)+(B(x)-I)是非奇异的。
故……
沈奇静静的码字，倔强的讲道理。
欧叶静静的看沈奇码字，时不时也在自己的电脑上码几个式子，她得到了启发，她跟沈奇研究的是同一篇论文，同一个课题。
最初写论文的时候，沈奇没有对手，对于自己的论文逻辑，他能自圆其说即可。
而现在，沈奇有对手了，对手说他逻辑错误，要大修。
一篇学术论文特别是数学论文，不怕细节上的错误和局部计算偏差，就怕被人指摘核心逻辑错误。
作者的核心逻辑被推翻，等于是被全盘否定，这篇论文白写了，大修等同于是写一篇新论文。
大修个毛线啊，马上过年了，谁有心情跟你大修？
为了不大修，沈奇需要用更犀利更尖锐的数学语言，证明自己的逻辑没有错，并打动审稿人，征服审稿人。
这份工作持续了一上午。
咕咕，沈奇的胃部发出闷响，饿了。
“服务员，补充水源，再提供一些食物。”沈奇叫来服务员。
服务员鼻子一酸，眼泪都快流出来，不容易啊，这一男一女来我们家喝白开水喝成了VIP会员，终于舍得点一回吃的了。
“请问需要点些什么吃的？”服务员将菜单递给沈奇，说到：“套餐B也就是双人情侣套餐，享受午餐折扣优惠，性价比很高，推荐你们点这份套餐。”
套餐B就是牛排+意粉+小面包+沙拉+咖啡的组合，沈奇说到：“那就点这个套餐，我们只饮用纯净水，咖啡就不要了，少算点钱。”
“不要咖啡也是这么多钱。”服务员客气的说到。
沈奇：“那不点套餐了，扛着，都是年轻人饿不死。”
“行行行，咱不要咖啡，少算点钱，回头我跟店长解释一下，毕竟你们是本店的VIP会员，享有特权。”服务员懂得不能因小失大的