Известно, что для двух квадратных матриц выполнено соотношение: 

, 

 не нулевые. Доказать, что матрицы коммутируют.
Подействовав на любой вектор из ядра 

, устанавливаем что он лежит и в ядре 

. Аналогично делаем для ядра 

, отсюда 

 и 

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