从矩阵左上角走到右下角的走法（含证明）