Fibonacci recurrence matrix modulo an integer

ID: fibonacci-recurrence-matrix-modulo-an-integer

The vector advances by multiplication by . Matrix powers therefore prove modular recurrence identities uniformly in . Explicitly, , , and . The last congruence gives , hence for every nonnegative .

New to topics? Read the docs here!