数值最优化定理5.3

全文证明十分有条理性，需要细细品味。看过一遍之后，最大的体会不是具体的证明细节，而是证明中对数学归纳法的运用。

第一个地方是，假设两个等式5.17，5.18在n=k时，同时成立，然后证明5.17在n=k+1成立；

这个说法以前其实是没见过的，第一次见同时一下子假设两个的，但细想一下，确实没什么问题。本来k=0时，他俩都是成立的。

第二个地方是：

他这里使用了一个条件，其实不是n=k时，假设成立能得出的，而是n=1，2，,,,，k都成立才有的这几个p互相共轭。虽然也不太一样，但同样的其实也没什么问题，感觉就像是归纳法的一种变体，首先n=1等式成立，然后假设，n=1, ...，k时等式都都成立，证明n=1, ... , k, k+1时等式都成立。   

似乎这个和一般的数学归纳法是等价的写法。