Moltiplicazione di matrici e sottrazione

Pubblicato:

Teorema

Siano Mi,Ni∈Rn×nM_i, N_i \in \mathbb{R}^{n \times n} per i=1,2,…,ki = 1, 2, \dots, k delle generiche matrici. Ne consegue che, per ogni k∈Nk \in \mathbb{N}, vale la seguente relazione:

M1M2…Mk−N1N2…Nk==(M1−N1)N2…Nk+M1(M2−N2)N3…Nk+⋯+M1M2…Mk−1(Mk−Nk)\begin{align*} &M_1 M_2 \dots M_k - N_1 N_2 \dots N_k = \\ &= (M_1 - N_1) N_2\dots N_k + M_1(M_2 - N_2)N_3\dots N_k + \dots + M_1 M_2 \dots M_{k-1}(M_k - N_k) \end{align*}

Dimostrazione

La dimostrazione procede per induzione su kk.

Caso base

Per k=1k = 1, la relazione è banalmente vera:

M1−N1=M1−N1M_1 - N_1 = M_1 - N_1

Passo induttivo

Si assuma che la relazione valga per k=nk = n:

M1M2…Mn−N1N2…Nn==(M1−N1)N2…Nn+M1(M2−N2)N3…Nn+⋯+M1M2…Mn−1(Mn−Nn)\begin{align*} &M_1 M_2 \dots M_n - N_1 N_2 \dots N_n = \\ &= (M_1 - N_1) N_2 \dots N_n + M_1 (M_2 - N_2) N_3 \dots N_n + \dots + M_1 M_2 \dots M_{n-1} (M_n - N_n) \end{align*}

Ne consegue che, per k=n+1k = n + 1, si ha:

M1M2…MnMn+1−N1N2…NnNn+1==(M1M2…Mn−N1N2…Nn)⏟Inductive hypothesisNn+1+M1M2…Mn(Mn+1−Nn+1)==(M1−N1)N2…NnNn+1+M1(M2−N2)N3…NnNn+1++⋯+M1M2…Mn−1(Mn−Nn)Nn+1+M1M2…Mn(Mn+1−Nn+1)□\begin{align*} &M_1 M_2 \dots M_{n}M_{n+1} - N_1 N_2 \dots N_{n}N_{n+1} = \\ &= \underbrace{(M_1 M_2 \dots M_n - N_1 N_2 \dots N_n)}_{\text{Inductive hypothesis}} N_{n+1} + M_1 M_2 \dots M_n(M_{n+1} - N_{n+1}) = \\ &= (M_1 - N_1) N_2 \dots N_n N_{n+1} + M_1 (M_2 - N_2) N_3 \dots N_n N_{n+1} + \\ &+\dots + M_1 M_2 \dots M_{n-1} (M_n - N_n)N_{n+1} + M_1 M_2 \dots M_n(M_{n+1} - N_{n+1}) \quad \square \end{align*}