On pose f(x) = x^2
A et B appartiennent à Cf
A(xA,xa^2 ) , B(xB,xB^2) avec xB<0
ON pose g(x) = ax + b , la fonction associée à la droite (AB)
alors g(xa ) = xa^2 cad a*xa + b = xa^2
g(xb) = xb^2 d'où a*xb + b = xb^2
On a le système :
{a*xa + b = xa^2
{a*xb + b = xb^2
{ b = xa^2 - a*xa
{ a * xb + xa^2 - a*xa = xb^2
{ b = xa^2 - a*xa
{ a ( xb - xa ) = xb^2 - xa^2 = ( xb + xa ) ( xb - xa ) dédicace à stellaire
xb - xa différent de 0 car xb<0 et xa>0 ( le cas xa= xb = 0 est pas très intéressant )
donc :
{ b = xa^2- a*xa
{ a = (xa+xb)*(xb-xa)/(xb-xa)= xa + xb
{ b = xa^2 -xa^2 - xa*xb
{a = xa + xb
g(x)= (xa + xb)x - xa*xb
g(0) = -xa*xb 