Analyse en geometrie

Le terme de gomtrie analytique, par opposition la gomtrie synthtique, se rfre aux

mthodes d'analyse et synthse pratiques par les gomtres grecs. Elle en est
progressivement venue se confondre avec sa mthode privilgie, la mthode des
coordonnes.
Dans les mathmatiques grecques, l'analyse consiste partir de l'objet cherch, en supposant
son existence, de manire tablir ses proprits. Il faut poursuivre dans cette voie jusqu'
produire assez de proprits pour caractriser l'objet. La situation peut tre renverse en ne
faisant plus l'hypothse d'existence et en introduisant effectivement l'objet par le biais des
proprits caractristiques : c'est la phase de synthse, qui doit aboutir la preuve
d'existence.
La difficult pratique qui a limit les progrs des gomtres est le manque d'un formalisme
adapt la description des relations entre grandeurs gomtriques. Franois Vite, la fin
du XVI
e
sicle unifie le calcul sur les nombres et le calcul sur les grandeurs gomtriques
travers un outil prcieux, le calcul littral. Le principe de la rduction au calcul algbrique est
pos, il manque encore une mthode systmatique pour l'exploiter.
Mthode des coordonnes
Marino Ghetadi, puis Ren Descartes proposent de rsoudre les problmes de gomtrie par
le recours systmatique au calcul algbrique. Dans sa Gomtrie de 1637, le philosophe en
formule le principe. Il s'agit de reprsenter grandeurs connues et inconnues par des lettres, et
de trouver autant de relations entre grandeurs connues et inconnues qu'il y a d'inconnues au
problme. On y reconnat bien une dmarche analytique, conduisant des systmes
d'quations qu'il s'agit de rduire une seule quation. Descartes donne des interprtations
des cas sur- ou sous-dtermins. Ses manipulations, cependant, se limitent aux quations
algbriques, qu'il classe par degr, et ne peuvent tre appliques aux courbes qu'il qualifie de
mcaniques (aujourd'hui dites transcendantes).
Pierre de Fermat est le premier faire, la mme poque, un usage systmatique
des coordonnes proprement dites pour rsoudre les problmes de lieux gomtriques. Il fait
intervenir notamment les premires quations de droites, paraboles ou hyperboles. Il prsente
ces ides dans Ad locus planos et solidos isagoge, en 1636, texte publi aprs sa mort.
Dans les notations de Descartes, contrairement Fermat, les constantes
sont continuellement notes a, b, c, d, ... et les variables x, y, z. Il s'oppose en cela la
tradition de l'poque et un lecteur d'aujourd'hui s'en trouve moins drout.

Gomtrie analytique plane
Le plan affine est muni d'un repre ; x dsigne l'abscisse d'un point, et y l'ordonne
de ce point.
Droite
Une droite affine (c'est--dire une droite au sens habituel, un ensemble de points) est
caractrise par une quation du premier degr deux inconnues. C'est--dire que tout
point M de coordonnes x et y appartient la droite si et seulement si ses coordonnes
vrifient l'quation :
ax + by + c = 0 (1)
Si c est nul, alors la droite passe par O, l'origine du repre. Si deux droites sont parallles,
alors leurs coefficients a et b sont proportionnels. Si b n'est pas nul, l'quation (1) est
quivalente :
y = ax + b (2)
a = - a/b est appel le coefficient directeur ou la pente de la droite dans un repre
orthonormal, et b = - c/b est appel ordonne l'origine (offset ou intercept en
anglais) ; deux droites parallles ont le mme coefficient directeur. Avec cette forme
l, on voit aisment que la droite passe par le point (0,b), qui est galement
appel ordonne l'origine (le terme dsigne donc la fois le point et l'ordonne de
ce point). Si a est nul, on a une droite horizontale
y = b
passant par le point (0,b). Si b est nul, on a une droite verticale
x = - c/a
passant par le point (- c/a,0).
Pour tracer une droite partir de son quation, il suffit de connatre deux
points. Le plus simple est de prendre l'intersection avec les axes, c'est--dire
de considrer successivement x = 0 et y = 0 (sauf si la droite est parallle un
axe, auquel cas le trac est trivial). On peut aussi prendre l'ordonne
l'origine et un point loign (c'est--dire au bord de la figure trace sur le
papier, par exemple considrer x = 10 si l'on va jusqu' 10), ou encore deux
points loigns (un chaque bord de la figure) ; en effet, plus les points sont
loigns, plus le trac de la droite est prcis.
Une droite vectorielle (c'est--dire un ensemble de vecteurs colinaires) est
reprsente simplement par une quation de droite avec c nul :
au
1
+ bu
2
= 0
o u
1
et u
2
sont les coordonnes des vecteurs. On en dduit que pour une
droite affine ou vectorielle, le vecteur de coordonnes

est un vecteur directeur de la droite. Si le repre est orthonorm,
d'aprs une proprit du produit scalaire, le vecteur

est un vecteur normal la droite.
Quel que soit le repre, si A(x
A
,y
A
) est un point de la droite
et un vecteur directeur, alors pour tout point M(x
M
,y
M
) de la
droite, on a

puisque est colinaire . Ceci nous donne une
quation paramtrique de la droite :

qui peut s'crire
(2)
en liminant le paramtre k, on retrouve une quation
de la forme (1).

Point
Un point est reprsent par un systme de deux quations du premier degr deux
inconnues :

ce qui est logique puisque, un point tant l'intersection de deux droites non-parallles, ses
coordonnes doivent vrifier les quations des deux droites : la rduction de ce systme
d'quations donne la forme ci-dessus. Ceci est bien videmment la reprsentation du point
(a,b).
Demi-plan
Un demi-plan est reprsent par une inquation du premier degr deux inconnues :
ax + by + c > 0
si l'on remplace le signe > par un signe =, on obtient l'quation de la droite qui dlimite le
demi-plan ; si l'on remplace le signe > par le signe < (ou si l'on inverse les signe des
coefficients), on obtient le demi-plan complmentaire.

Intersection de droites

Le plan est rapport un repre. Une droite (non verticale) peut tre dfinie par une quation :
y = ax + b.
Si on considre 2 droites dfinies par les quations y = ax + b et y = a'x + b', on peut
savoir s'il y a une intersection ou non grce l'un des 3 cas suivant :
si a = a' et b b', alors les droites sont parallles et il n'y a pas d'intersection ;
si a = a' et b = b', alors les 2 droites sont confondues et il y a donc une infinit de points
d'intersection ;
si a a', quels que soient b et b', il y a forcment un point d'intersection ; on obtient
comme coordonnes du point d'intersection :
et
.
La dmonstration se fait grce la rsolution d'un systme de deux quations
deux inconnues : y = ax + b et y = a'x + b'.
Demi-droite
Une demi-droite est caractrise par une quation et une inquation :

avec au moins a a ou b b. Une demi-droite est en effet l'intersection d'une droite et d'un
demi-plan dlimit par une droite non parallle la premire. La rsolution du systme
obtenu en remplaant le signe > par un signe = donne les coordonnes du point
extrmit de la demi-droite, c'est--dire les coordonnes du point A d'une demi-droite [AB).
Si a est non-nul, on peut se ramener un systme du type :

(les deux systmes reprsentant des demi-droites complmentaires), sinon un
systme du type :

Avec une quation paramtrique, cela revient l'quation (2) en rajoutant la
condition k > 0 ou k < 0.