soppsons que cos(1)£Q
on pose u_n=sum_{k=0}^{n}(1)^n/(2n)!=p_n/q_n avec (p_n) et (q_n) deux suites d'entiers convergent respictivement vers p et q et que pgcd(p_n,q_n)=1
donc on a u_n=u_(n-1)+(-1)^n/(2n)! donc p_n/q_n=[(2n)!p_(n-1)+q_(n-1)(-1)^n]/[(2n)!q_(n-1)]
=>p_n=(2n)!p_(n-1)+q_(n-1)(-1)^n et q_n=(2n)!q_(n-1)
=>p_n=(2n)!p_(n-1)+(2n-2)!(2n-4)!...2!p_0
donc on a clairement lim p_n=+00 (absurde)
d'ou ...