А почему именно так тупо можно сделать и именно тогда, когда диагонализуема? С чем это примерно связано?
С определением. Из определения функции от матрицы следует, что если матрица

диагональна, то

тоже диагональна, и под действием функции элементы на диагонали переходят в значения функции от этих элементов. Если жорданова клетка - то получится верхнетреугольная матрица, заполненная коэффициентами ряда Тейлора, в точке, равной соотв. этой клетке собств. значению.
Если матрица недиагонализируема, производные понадобятся - в нужных точках и до нужного порядка. В этой задаче производная в нуле не нужна, по двум причинам: матрица подобна диагональной, во-первых (то есть необходимо вычислять только значения самой функции), во-вторых, в любом случае производные вычисляются в точках спектра, а ноль у нас ею не является.
P.S. Конечно, определение ниоткуда не берется, но это уже отдельная песня.