**TI82** TxtView file generated by CalcText - Kouri exponen1theoremepour tt x appartenant R, f(-x)f(x)=1 demonstration: posons phi(x)=f(-x)f(x) phi est derivable sur R comme produit de 2 fonctions derivables. On a: pr tt x E R phi'(x)=-1phi(-x)f(x)+f(-x)f'(x) phi'(x)=-f(-x)f(x)+f(-x)f(x) (car f'=f) phi'(x)=0 donc phi est constante sur R or phi(0)=f(-0)f(0)=f(0)f(0)=1x1=1 ccl:pr tt x E R phi(x)=1 cad: pr tt x E R f(-x)f(x)=1y