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

,

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

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

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

, отсюда

и

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