Корень

, конечно, есть (вторая строчка в этом случае равна нулю).
Я бы еще предложил подействовать матрицей на вектор и понять, что значит, что действие равно нулю. Легко видеть, что первая компонента такого вектора равна 0, вторую можно считать единицей (т. к. иначе можно отмасштабировать), третья равна двойке и т. д. (не в смысле что четвертая равна тройке). Будет рекуррентное соотношение на компоненты вектора, которое имеет решение из того, что коэффициент при следующей компоненте не равен нулю. И так до предпоследней строчки, откуда мы найдем последнюю компоненту вектора (видимо,

). А последняя строчка как бы говорит нам, что

. И здесь можно пытаться прийти к противоречию --- например, доказать, что в процессе решения рекуррентных уравнений возникают только положительные числа. Если это верно, конечно.