$x \in R^n$ debe ser verdadera, de lo contrario las matrices no pueden restarse entre sí.
\begin{equation} \begin{split} \displaystyle \min_{x} ||Ax - b||_2^2 = \displaystyle \min_{x} ||Q^T(Ax - b)||_2^2 \\ = \displaystyle \min_{x} ||Q^TAx - Q^Tb||_2^2 \\ = \displaystyle \min_{x} || \begin{pmatrix} Rx & wx \\ 0 & vx \end{pmatrix} - \begin{pmatrix} c \\ d \end{pmatrix} ||_2^2 \\ \fin{split} \fin{según la ecuación}
Esto se puede escribir como:
\begin{multline} \displaystyle \min_{x} || \begin{pmatrix} Rx & wx \\ 0 & vx \end{pmatrix} - \begin{pmatrix} 0 & 0 \\ 0 & vx \end{pmatrix} - \begin{pmatrix} c \\ d \end{pmatrix} ||2^2 - \displaystyle \_min_{x} ||| \begin{pmatrix} 0 & 0 \\ 0 & vx \end{pmatrix} - \begin{pmatrix} c \\ d \end{pmatrix} ||_2^2 \\ \fin{multline}
Resolviendo la primera parte de la ecuación 2 siguiendo el Teorema LSQR :
\begin{equation} \begin{split} \displaystyle \min_{x} || \begin{pmatrix} Rx & wx \\ 0 & vx \end{pmatrix} - \begin{pmatrix} 0 & 0 \\ 0 & vx \end{pmatrix} - \begin{pmatrix} c \\ d \end{pmatrix} ||_2^2 \\ = \displaystyle \_min_{x} ||| \begin{pmatrix} Rx & wx \\ 0 & 0 \end{pmatrix} - \begin{pmatrix} c \\ d \end{pmatrix} ||_2^2 \\ = ||d||_2^2 \fin{split} \Fin de la ecuación.
Luego se resuelve la segunda parte de la ecuación 2 siguiendo el teorema LS:
\begin{equation} \begin{split} \displaystyle \min_{x} || \begin{pmatrix} 0 & 0 \\ 0 & vx \end{pmatrix} - \begin{pmatrix} c \\ d \end{pmatrix} ||_2^2 \\ = \displaystyle \min_{x} || vx - d||_2^2 \\\\\2 = ((v^Tv)^{-1}v^td)^2 = \left(\frac{v^Td}{||v|_2}right)^2 \nd{split} \N - fin{ecuación}
Sustituyendo las ecuaciones 3 y 4 en la ecuación 2 se obtiene la respuesta solicitada.
\begin{equation} \displaystyle \min_{x} ||Ax - b||_2^2 = ||d||_2^2 - \left(\frac{v^Td}{||v||_2}\right)^2 \end{equation}
¿Hay alguna posibilidad de que sea un estudiante de la Universidad Técnica de Delft que se dedique al filtrado y la identificación? Ya que tuve el mismo ejercicio exacto como tarea :). Esto es lo que creo que funciona, no es la mejor explicación. Todavía está borroso en mi propia cabeza. Además tengo dudas de que sea $\left(\frac{v^Td}{||v||_2}\right)^2$ porque esperaría que fuera $\frac{v^Td}{||v||_2^2}$ . Tal vez tengas alguna idea al respecto. Buena suerte y hazme saber si crees que se puede escribir mejor.