Axiomes de plans projectifs/homogènes

Fichier:.PNG

1. Il existe au moins 2 points. En effet on peut exhiber au moins les deux points (1,0,0) et (0,1,0), car le corps commutatif K contient au moins les 2 nombres 1 et 0.
2. Chaque droite possède au moins 3 points. Soit la droite (a,b,c), a,b et c n'étant pas nuls les 3 points (b,-a,0), (0,c,-b) et (-c,0,a) existent, sont distincts et sont incidents à la droite. Si a est nul mais ni b ni c, la droite est (0,b,c) et on considère

les points (1,0,0) (0,c,-b) et (k(b-c),c,-b) qui possèdent les bonnes propriétés. Si a et b sont nuls, la droite est (0,0,1) qui contient les 3 points distincts (1,0,0) (0,1,0) (1,1,0).

1. Pour deux points distincts il existe une et une seule droite qui leur est incidente. Soit les deux points (x,y,z) (t,u,v) distincts si xyz ne sont pas proportionnels à tuv, on cherche la ou les droites (a,b,c) qui leur sont incidentes. Cela conduit au système de deux équations ax+by+cz=0 et at+bu+cv=0 qui admet comme solutions l'ensemble des droites représentées par les vecteurs k*(yv-zu, zt-xv, xu-yt) qui font partie de la même classe d'équivalence, donc c'est une seule droite.
2. Deux droites distinctes ont un et un seul point commun. Même démonstration en échangeant les rôles.
3. Pour toute droite il existe au moins un point non incident à cette droite. Soit la droite (a,b,c). Si c est non-nul le point (c²,0,1-ac) existe et n'est pas sur la droite car le produit scalaire est=c. Si c est nul et pas a ni b, la droite est (a,b,0) et le point (1,0,0) convient. Si b et c sont nuls, la droite est (1,0,0) et le point (1,0,0) convient aussi.

Donc les axiomes du PPI sont satisfaits par un PPH.

En matière de coordonnées homogènes l'usage est de garder Z dans (X;Y;Z), même si on sait que le point est affine et qu'on pourrait parler de (x,y,1). Pourquoi? simplement pour garder toutes les formules d'un degré homogène en X Y Z, même et surtout si ce degré est élevé, 4 ou 6 voir plus si affinités.

Dans certains calculs compliqués, mettre en évidence des fonctions symétriques de X Y Z, quitte à avoir l'impression que ceci alourdit. Ceci peut indiquer une piste; par exemple la formule f=(u²+mm')*(m-m') est peut-être plus intéressante au carré f²=(u²+mm')*( (m+m')²-4mm') la différence a disparu, il ne reste plus que la somme et le produit qui sont symétriques, l'inconvénient étant qu'on a doublé le degré, et perdu le signe de f (qui nous est quelquefois indifférent).

Penser à reconnaître un déterminant 3x3, un produit scalaire derrière une formule compliquée mais qui a des petits airs symétriques.

Dans le même ordre d'idées tenter une écriture tensorielle, appliquer éventuellement l'associativité du produit tensoriel.

Fichier:.PNG Les formules utilisent les propriétés du corps commutatif K.

1. Un point est représenté par, à un facteur multiplicatif près,
2. Une droite est représentée par, à un facteur multiplicatif près,
3. L'incidence est représentée par : formule typiquement autoduale.
4. L'alignement de trois points P1, P2, P3 respectivement s'exprime par: det(P1,P2,P3) =
5. La convergence de trois droites s'exprime par la même propriété de déterminant nul.
6. Une bidroite [Bd] est représentée par une matrice 3x3 symétrique de déterminant nul. C'est l'ensemble des points P tels que: P*[Bd] *P=0. En fait c'est une conique ponctuelle dégénérée.
7. Etant donné un quadruplet (ordonné) formé de 2 droites et de deux points (d1,d2,p3,p4), on appelle leur rapport anharmonique un nombre appartenant au prolongé de K. Ce nombre est défini ainsi : rho = birapport(d1 , d2, p3, p4), soit en termes mathématiques =(si le deuxième terme est non nul)
8. Deux droites et deux points sont dits en division harmonique si leur rapport anharmonique est égal à (k, − k), k étant un élément non nul du corps K.
9. Une transformation ponctuelle projective générale est représentée à un facteur multiplicatif près, par une matrice : Elle est bijective si le déterminent est non-nul. La propriété fondamentale d'une telle transformation est la conservation des alignements. L'ensemble des transformations ponctuelles possède une loi de composition interne, le produit dont l'élément neutre est la transformation identité. Le produit est associatif et en général non-commutatif.
10. Une transformation ponctuelle homologie (généralisation de l'homothétie) est: . La droite d=[u,v,w] est appelée axe de l'homologie, le point C=[e,f,g] est appelé son centre. L'axe et le centre ne sont pas incidents, les coefficients a et b n'ont pas leur somme nulle. Chaque point de l'axe est invariant, le centre est invariant. Si P'=T(P) est l'image de P, alors les points C P P' sont alignés. Si P' et Q' sont les transformés de P et Q, alors les droites (PQ) et (P'Q') se coupent sur l'axe.
11. Une transformation ponctuelle homologie harmonique (généralisation de la symétrie par rapport à une droite) est obtenue lorsque b=-2a: . Sa principale propriété est l'involutivité: H² = I involution. Son caractère harmonique se manifeste lorsqu'on calcule le rapport anharmonique de d,h, P et P', d étant l'axe, P étant un point, P' son image, h étant une droite qui contient le centre C et pas P. Ce birapport est alors équivalent à (1,-1). En effet, on peut le simplifier en remplaçant P' par H*P:
12. La transformation homologie, lorsque a+b=0, dégénère en la projection sur l'axe à partir du centre.
13. Etant donnés une droite d=[u,v,w] incidente à un point C=[e,f,g] appelés axe et centre, ainsi que deux nombres (a^3 et b) du corps K, une transformation ponctuelle [E] élation (généralisation de la translation) est: . Remarque: le coefficient a^3 est défini ainsi pour que toutes les formules de calcul soient homogènes. Chaque point de l'axe est invariant, y compris le centre. Si P'=T(P) est l'image de P, alors le centre, P et P' sont alignés. Si Q' est l'image de Q, alors les droites (PQ) et (P'Q') se coupent sur l'axe. Considérons l'ensemble des élations de même axe d, mais de centres et coefficients (a^3 et b) divers. Le produit de deux de ces transformations est encore une élation de même axe; plus précisément, on peut vérifier que si la première élation est définie par (d,C[e,f,g], a^3,b), la seconde par (d, C2[i,j,k],c^3,d) alors leur produit est défini par (d,C3=[ c^3*be+a^3*di , c^3*bf+a^3*dj , c^3*bg+a^3*dk ], a^3*c^3, 1). De plus le produit est commutatif. L'opposée de l'élation (d,C, a^3,b) est l'élation (d,C, a^3, (-b) ). La matrice d'une élation peut aussi s'exprimer si on connaît l'axe (d = u,v,w), un point origine (Xo,Yo,Zo) et son point extrémité (Xe,Ye,Ze). Pour simplifier les notations et respecter les degrés homogènes notons Rr = (uXo+vYo+wZo) et Ss=(uXe+vYe+wZe). Alors l'élation prend la forme Une propriété harmonique: Si M=E(P), N=E²(P), h étant une droite qui contient M et pas le centre C, alors le rapport anharmonique de d, h, P et N est harmonique. Par analogie avec la translation, on peut voir le quadrilatère MNQP comme un quasi-parallélogramme, on peut parler de "quasi-équipollence": un couple ordonné de points (M-N) est quasi-équipollent au couple (P-Q) s'il existe une élation d'axe d telle que N et Q sont images de M et P. Le théorème de "croisement des quasi-équipollences" en découle: si (M-N) est quasi-équipollent à (P-Q), alors (M-P) est quasi-équipollent à (N-Q), c’est-à-dire qu'il existe une élation d'axe d telle que P et Q sont images de M et N. Les élations de même axe forment un groupe commutatif.
14. Les élations et les homologies forment un ensemble de transformations appelées "dilatations" du plan projectif.
15. Une conique ponctuelle définie à un facteur multiplicatif près, par une matrice [a]3*3 symétrique, est l'ensemble des points [X:Y:Z]définis par l'équation
16. Une conique tangentielle définie à un facteur multiplicatif près, par une matrice [d]3*3 symétrique, est l'ensemble des droites (u; v; w ) définies par l'équation
17. La polaire d'un point [X:Y:Z] par rapport à une conique ponctuelle est la droite [U:V:W] définie à un facteur multiplicatif près:
18. La tangente en un de ses points [X:Y:Z] à une conique ponctuelle est la droite définie à un facteur multiplicatif près par les équations: et
19. Les deux tangentes à une conique ponctuelle issues d'un point [x0  :y0  :z0] sont représentées indistinctement par la bidroite définie ainsi. La polaire du point [x0  :y0  :z0 ] par rapport à la conique est la droite [u0  :v0  :w0 ], . La bidroite est représentée à un facteur multiplicatif près par la matrice symétrique 3x3 ,

Cette formule ne préjuge en rien de l'existence ou non de tangentes réelles, d'ailleurs on ne précise pas dans quel corps commutatif K on travaille.

Il sera intéressant pour la démonstration de théorèmes ultérieurs de disposer de la caractérisation de certaines transformations d'un point en un autre point, en particulier la transformation projective unidimensionnelle bijective d'une division rectiligne sur une autre droite ou sur elle-même. Soient la droite de départ= (u' , v', w') et la droite d'arrivée= (u , v, w). Une transformation projective est linéaire, donc représentée par une matrice carrée. Les points d'arrivée sont tous sur la droite d'arrivée SSI les lignes de cette matrice sont liées par u*ligne1+ v*ligne2+ w*ligne3 =0, son déterminant est nul, c'est naturel puisqu'il ne s'agit pas d'une bijection en dim2 mais seulement en dim1. Il reste 6 degrés de liberté à cette matrice, à un coefficient multiplicatif près; nous choisirons 6 paramètres a b c a' b' c' du corps des complexes, et définirons la matrice de transformation (T) d'une manière esthétique en équilibrant la combinaison linéaire des lignes par les éléments diagonaux:

.

Voilà deux transfos dont la droite d'arrivée est (u;v;w) = ( 1 ; 3 ; -6 ), la première avec a=24 b=-6 c=3 a'=3 b'=1 c'=-4, la matrice après simplification est

, on remarque qu'il s'agit d'une projection centrale simple à partir du point (1; -4; 1), on pourra vérifier que les birapports sont conservés. La seconde transformation, de droite de départ ( 1 ; -4 ; 12) et munie des paramètres a=78 b=-228 c=21 a'=-4 b'=1 c'=1, a pour matrice Les droites joignant un point à son image ne sont pas concourantes, on peut démontrer qu'elles sont tangentes à une conique, une parabole en l'occurrence car une de ces tangentes est la droite de l'infini.

La transformation projective unidimensionnelle IDENTITE, ou "neutre" (N) de la droite (u; v; w) sur elle-même ne s'exprime pas par une matrice diagonale de 1, mais par exemple avec des paramètres a, b, k, g appartenant aux complexes, k élevé à la puissance 3 et g(=1) étant là pour conserver un degré homogène 5 dans tous les éléments.

Un point quelconque de la droite concernée est P = [ wX; wY; -(uX+vY) ] et on vérifie que N*P=w*k^3*g*P, tous les points de la droite sont donc fixes, N est l'identité sur la droite.

Fichier:.PNG

La droite de l'infini est (0,0,1), les points de l'infini sont (a,b,0) a et b étant Complexes.

Un point à l'infini (a,b,0) est aussi appelé la direction (a,b). Exemple, la direction (1,2) correspondant au point (1,2,0) voit passer les droites (2,-1,0) (2,-1,500) par exemple ainsi que (-6,3,9999) ou (i,-i/2,365), i étant un nombre complexe tel que i²=-1.

Si l'on considère le plan projectif homogène privé des points à l'infini, alors les points sont de coordonnées homogènes (X,Y,Z) avec Z non-nul, et le point de dimension 2 (x,y)= (X/Z, Y/Z) est celui des coordonnées cartésiennes classiques. La droite non-infinie (A,B,C) est la droite cartésienne y=-A/B*x-C/B si B est non-nul, (A,0,C) est la droite cartésienne x=-C/A si B=0 et A non-nul, la droite (0,0,C) n'existant pas dans le plan affine.

une des droites orthogonales à une droite donnée se calcule par une multiplication, par exemple:

, exemple dans lequel les coordonnées des droites sont exprimées sous forme homogène, la matrice de transformation aussi, dans cette matrice l'élément m3;3 est arbitraire ici on lui a donné la valeur 0,2 pourquoi pas?

Deux points particuliers de ce plan projectif homogène se distinguent, il s'agit des "ombilics" ou "points cycliques", de représentants (1,i,0) (1,-i,0) que l'on peut appeler globalement ω1 et ω2 (omega1 et omega2). Lorsqu'on ne cherche pas à les individualiser, on parle de leur équation globale X²+Y²=0 ou de leur forme matricielle qui est (k étant un complexe non-nul) le "bipoint cyclique"= Bipcy=, équivalente à , ce qui signifie que c'est l'ensemble des points (X,Y,Z) tels que

X²+Y²=. Contrairement aux apparences le forme matricielle est utile et très simple à manipuler.

Un rapport anharmonique bien particulier peut être mis en évidence, il s'agit d'un nombre complexe-prolongé, mais on utilisera la tolérance de langage qui consiste à l'exprimer simplement en supposant que le deuxième membre n'est pas nul, ρ = exp(i * 2 * θ) = (cos(2 * θ) + isin(2 * θ)) , theta étant l'angle non-orienté de 2 droites non-infinies et non-complexes D1 et D2, et défini par rho = birapport(D1 et D2,ω1 et ω2), soit en termes mathématiques , exprimé ainsi ce n'est pas très opérationnel, mais après calculs, la partie réelle de ce nombre représentant le cos de l'angle double, on en déduit le cos² de l'angle simple par:

, soit si les deux droites s'expriment respectivement ainsi en coordonnées homogènes ou en coordonnées cartésiennes, D1=(A:B:F) ou y=mx+u, D2=(C:D:G) ou y=m'x+v

, cette formule donne 4 valeurs pour l'angle θ, le cosinus pouvant être positif ou négatif et l'angle étant positif ou négatif. Dans l'exemple des droites ci-dessus (1:2: 0,15) et (2:-1:0,75), l'application de la formule est simple car le numérateur est nul, d'où

Dans le même ordre d'idées, le point à l'infini d'une droite non-infinie se calcule par la multiplication suivante

. exemple pour la droite1 ci-dessus,

.

Un point à l'infini est encore plus simple, appelé "centre normal d'une droite"; c'est le point à l'infini de la direction orthogonale à cette droite, il est obtenu en multipliant la droite par le bipoint cyclique.

. exemple pour la droite1 ci-dessus,

.

Un autre exemple de calcul d'angle:

Comme on ne connaît que le carré du cosinus, les quatre angles non-orientés de ces deux droites sont

 Plus ou moins   \pm       [modulo  \pi]</math>   \vec{u} \cdot \vec{v}  
(,,)  (,,)  (,,)  (,,)  (,,)  (,,)  .

(,,) (,,) (,,) (,,) (,,) (,,) .

Nous n'envisagerons ici que les coniques ponctuelles (ensemble de points), les coniques tangentielles (ensemble de droites) ayant un traitement exactement dual. Une conique est un ensemple de points [X:Y:Z]définis par l'équation

la matrice [a] étant symétrique. La conique dégènère en une bidroite si le détermnant en nul. Le bipoint cyclique n'est qu'un cas particulier de conique tangentielle dégénérée. La polaire d'un point [X:Y:Z] par rapport à la conique est la droite de coordonnées homogènes [U:V:W],

[U:V:W]=

Si le point [X:Y:Z] est sur la conique, alors la polaire ainsi définie est la tangente à la conique en ce point. Quelques exemples illustrent que l'on peut dessiner ainsi facilement des coniques réelles, polaires et tangentes en utilisant ces formules dans un tableur du commerce. Par exemple une ellipse, une hyperbole------ L'hyperbole a été dessinée sur un tableur avec une formule paramètrique qui donne ses trois coordonnées homogènes ainsi:

X= (+1)*(t-u)*(v-t)

Y= (+2)*(u-v)*(t-u)

Z= (-1)*(v-t)*(u-v), tous ces nombres étant réels

t, u, v étant trois nombres quelconques (3 paramètres pour parcourir la partie réelle d'une courbe est certes un peu luxueux, mais ça donne des formules très symétriques).

La partie réelle de l'ellipse a été parcourue au myen d'un seul paramètre t

X= 5t²+2t+1

Y= -2(2t²-t-2)

Z= 3(t²+1) .

Applications numériques. Sur l'hyperbole comme sur l'ellipse ci-dessus, les points respectifs (1,2,1) et (1,0,1) ont pour polaire la droite de l'infini, ce sont donc les centres des coniques. Dans le premier cas si on calcule la bidroite tangente issue du centre on obtient une équation factorisable en deux droites, les asymptotes de l'hyperbole. Pour l'ellipse, on peut calculer la bidroite tangente issue d'un point extérieur (3,2,2)=(7.5 ,5,5), on obtient une équation factorisable en deux droites réelles que l'on peut ensuite traduire en coordonnées cartésiennes, y=-8x+13 et y= -4x/11+17/11; on vérifie que ces deux droites se coupent bien au point (3/2 , 1) et sont tangentes à l'ellipse. Dans le même ordre d'idées il existe des formules pour trouver les axes, les foyers, les diamètres conjugués, etc.