Soit et une famille libre de .
1. Montrer que la famille est libre.
2. Pour , on pose . Montrer que la famille est libre, et que
Corrigé
1. Si , on regroupe selon les : La liberté donne , puis de proche en proche.
2. On a et pour : chaque famille est formée de combinaisons de l'autre, d'où l'égalité des sous-espaces engendrés. Si , alors , donc toutes les sommes sont nulles ; leurs différences successives donnent .