琴生不等式及其加权形式的证明

    证明琴生不等式也是突发奇想，印象中自己好像高中证明过。但是一时半会又想不起来证明方法，遂百度，发现给出的证明方法乱七八糟，于是这里给出自己的证明方法以供参考。

在思考式【2】的证明时也曾想过使用多元函数求驻点，再利用海森矩阵来判断驻点的极值性质。

想来想去觉得其中还包括一个正定阵的证明，实在太为繁琐，远不如归纳法来的飘逸。这里就不给出证明了。