Que A \in M_n y B,C \in M_m probar eso si
H =\begin{bmatrix} A&0 \\ 0 & B \end{bmatrix}
es similar a k =
\begin{bmatrix} A&0 \\ 0 & C \end{bmatrix}
Entonces B es similar a C.
No estoy seguro de cómo sería hacerlo sé que si H es similar a K entonces para algunos no singular matriz S y S^{-1} H S=K