Comme , en on a: . Or, par définition, . Ainsi, .
Par ailleurs, en remplaçant dans l'équation de Mathieu (notée matriciellement), on a:
Comme cela est vrai pour tout de , on a bien .