Integer powers for an annihilating polynomial with roots one and minus one

ID: integer-powers-for-an-annihilating-polynomial-with-roots-one-and-minus-one

If a square matrix satisfies , then , and every integer matrix power lies in the span of . Writing , the universal formula is , where , and . The polynomial on the right satisfies , and . These value and derivative conditions implement interpolation at a repeated root. For negative integers the inverse formula first puts in the same polynomial algebra; the nilpotent block identity for proves the derivative rule for every integer.

New to topics? Read the docs here!