以下是Kalman的收敛性证明思路：
Kalman卡尔曼滤波，Least Square最小二乘估计，加权最小二乘，递归最小二乘
原文：https://www.cnblogs.com/lemonzhang/p/13232935.html
