Définition des symboles :

{^(a,b)= Somme pour k allant de a à b
[(a,b)=intégrale de a à b


1a) G commencé une récurrence pour cette question. j'ai réussi à
prouver l'initialisation mais pas l'hérédité. un coup de
main serait sympa

pour tt x de R-pi Z, pr tt n de N, montrer que
1/2 + {^(0, pi/2) (cos(2kx)) = [sin(2n+1)x]/2sinx