动态规划矩阵连乘积证明