1. Для коммутирующих матриц с некоторыми дополнительными ограничениями на спектр справедлива обычная формула

Вопрос: где эта формула с явным описанием ограничений на спектр доказана в источнике на русском языке?
2. Для произвольных матриц вроде бы справедлива формула

где матрицы справа в равенстве

явно строятся по первоначальным

.
Вопрос: где эта формула аккуратно доказана или хотя бы приведена? Хочется узнать авторитетный источник для ссылок, например, монографию, если есть, в этом вопросе язык любой.