Dejemos que $A \in \mathbb{R}^{n \times n}$ sea semidefinido positivo ( $A = A^\top \succcurlyeq 0$ ) y con elementos diagonales positivos ( $A_{i,i} > 0$ para todos $i$ ).
Supongamos que tanto la columna como la fila suman $A$ es $0$ es decir, para todos los $i$ , $\sum_{j} A_{i,j} = 0$ y para todos $j$ , $\sum_{i} A_{i,j} = 0$ . Supongamos también que $A$ tiene exactamente un valor propio igual a $0$ .
Dejemos que $b, c \in \mathbb{R}^n$ sean vectores positivos y no negativos respectivamente, es decir $b > 0$ y $c \geq 0$ . Supongamos que $c^\top b > 0$ .
Demostrar que el $(n+1)$ -Matriz de dimensiones $$ \left[ \begin{matrix} A & b \\ c^\top A & c^\top b\end{matrix} \right]$$ tiene valores propios con parte real no negativa.
Observaciones. Los números demuestran que la afirmación es cierta. En aquí se demuestra que $A \succcurlyeq 0$ no es suficiente para que la afirmación sea cierta, por lo que la suposición adicional sobre $A$ sería necesario.