Известно, что для двух квадратных матриц выполнено соотношение:
,
не нулевые. Доказать, что матрицы коммутируют.
Подействовав на любой вектор из ядра
, устанавливаем что он лежит и в ядре
. Аналогично делаем для ядра
, отсюда
и
. Еще образ и ядро разных операторов пересекаются только по нулевому вектору. Попробовал отсюда + неравенства для рангов сделать какой-то вывод, не получилось.
Прямой проверкой еще ясно, что собственные вектора у операторов совпадают, собственные значения разные.
На этом застрял.