Bonjour,
f(2x) = f(x) cos(x)
f(x) = f(x/2) cos(x/2)
Pour x différent de kpi :
f(x)/sin(x) = f(x/2) cos(x/2) /(2 sin(x/2)cos(x/2) = (f(x/2)/sin(x/2)) /2
Et, évidemment :
Pour x différent de kpi :
f(x)/sin(x) = f(x/2^n)/(2^n sin(x/2^n)
Quand n tend vers +inf :
f(x/2^n) --> 1 (continuité de f et f(0)=1)
2^n sin(x/2^n) --> x
Donc :
Pour x différent de kpi :
f(x)/sin(x) = 1/x
f(x) = sin(x)/x
Comme f est continue, la prolongation en kpi est facile :
f(x) = sin(x)/x pour tout x différent de 0
f(0) = 1
On vérifie aisément que cette condition nécessaire est suffisante.
Belle équation !
--
Patrick