Bonjour ! Je dois démontrer des sommes pour par récurrence mais je n’y arrive pas.
La première c’est H(n)= somme de 1/k pour k allant de 1 à n. Il faut démontrer que H(2 puissance n) <= (n+2)/2
Ensuite il y a 2 * somme de sin(x)cos((2j-1)x) pour j allant de 1 à n. Il faut démontrer que c’est égal à sin(2nx).
Voilà, à chaque fois j’arrive à prouver que ça marche pour 1. Mais ensuite j’arrive à des égalités trop compliquées...
-----