Olá João e Sobolev,
Vejo aqui uma dedução interessante que me faz pensar mais sobre as matrizes pseudoinversas.
Efectivamente, encontrei literatura interessante:
"Equalities and inequalities for inertias of Hermitian
matrices with applications"
que no fundo dá a resposta à primeira questão mas é bastante complicada...
As minhas abordagens passam pela decomposição da matriz em soma e em vectores próprios:
Por exemplo:
\(\begin{equation}
M=\begin{bmatrix}
S_1 &C\\
C^T &S_2\\
\end{bmatrix}=
\begin{bmatrix}
S_1 &0\\
0 &0\\
\end{bmatrix}+
\begin{bmatrix}
0 &0\\
0 &S_2\\
\end{bmatrix}+
\begin{bmatrix}
0 &C\\
C^T &0\\
\end{bmatrix}
\end{equation}\)
Cada uma destas matrizes é decomposta da seguinte forma
\(\sum\lambda_i.u_i.u_i^T\)
João, se vires o paper vais ver que estiveste quase lá

Eu não consegui ainda achar uma forma elegante para este problema e por isso vou ainda continuar a deduzir.
Tudo de bom e obrigado
GoodSpirit