MathDB
identity

Source: Ireland 2002

July 5, 2009
floor functionalgebra unsolvedalgebra

Problem Statement

Let \alpha\equal{}2\plus{}\sqrt{3}. Prove that \alpha^n\minus{}[\alpha^n]\equal{}1\minus{}\alpha^{\minus{}n} for all nN0 n \in \mathbb{N}_0.