"Dire que la droite d d´équation x = a est un axe de symétrie de C équivaut a dire que : pour tout x = a + h de D(f), a-h est dans D(f) et f(a+h) = f(a-h)"
On considère C dans le repère (O;i,j), on pose A ayant pour coordonnées (a;f(a)).
On a : AM=AO+OM et OM=AM+OA
Dans le repère (A;i,j),
Soit M(h;f(h),
M a donc pour coordonnées dans (O;i,j) : (h+a;f(h+a)).
D´autre part soit M´(-h;f(-h)) dans le repère (A;i,j),
M´ a pour coordonnées dans (O;i,j) (-h+a;f(-h+a))
Or, par hypothèse, f(a-h)=f(a+h)
Et dans le repère (A;i,j) f(h)=f(-h)
Donc dans le repère (A;i,j) f est une fonction paire et la droite d´équation x=a est un axe de symétrie.
Donc dans le repère (O;i,j) cf admet x=a comme axe de symétrie.
