Prouver d'abord que (M'_{n+1}M_{n+1})//(0M_n), puis prendre O' de telle manière que (OM_nO'M_{n+1}) soit un parallélogramme et enfin lui appliquer le lemme correspondant avec R=M_{n+1} puis avec R=M'_{n+1}.

figures/aires_trapeze.png
Crédit : Astrophysique sur Mesure / Vienne