Bon, je détaille :
Le système (en x,y)
-x+y=t
ax+by=z
admet une unique solution (c'est un "changement de variables"), à savoir
y=z+at
x=z-bt
donc
équivaut à
Cette formule, pour t=1, montre que f' s'exprime en fonction de f et donc que f est indéfiniement dérivable. De plus, on sait que deux fonctions dérivables sur un intervalle sont égales ssi leur dérivées sont égales ET qu'elles sont égales en un point (il suffit d'intégrer pour le voir). Ici les deux fonctions sont trivialement égales en t=0 donc, en dérivant en t, le problème est équivalent à :
De nouveau, pour t=0, la condition est trivialement vérifié donc le p.b. est équivalent à
ce qui, en reprenant les variables de départ équivaut à :
Deux cas se présentent :
1) Si
on trouve (en prenant x=y)
: f est un poly. de degrés<=1.
2) Si
on trouve
: f est un poly. de degrés<=2.
Remarque : en fait on peut enlever la condition a+b=1 qui ne fait que simplifier les calculs mais n'est pas indispensable.