Projection affine

Pour les articles homonymes, voir Projection.

En géométrie affine, une projection affine est une application ponctuelle de l'espace dans un sous-espace, dans laquelle un point et son image sont dans une direction fixe appelée direction de la projection.

Exemple de projection : l'ombre de la cloche est l'image de la cloche projetée sur le mur selon la direction des rayons de soleil

Ainsi l'ombre, portée par le soleil, sur une surface plane, des objet de l'espace est, en première approximation^[1], une projection de l'espace sur un plan selon la direction des rayons du soleil.

Les projections affines sont utiles dans la construction de repère du plan ou de l'espace. Elles interviennent aussi dans la construction des affinités. Elles sont utilisées dans certaines représentations en deux dimensions d'objets en trois dimensions. On parle alors de perspective axonométrique.

Dans un espace euclidien, quand la direction de la projection est orthogonale au sous-espace sur lequel on projette, on parle de projection orthogonale. Lorsque la direction n'est pas fixe mais qu'il existe un point fixe tel que un point et son image soient toujours alignés avec le point fixe, il ne s'agit pas d'une projection affine mais d'une projection centrale.

Projection en géométrie plane

Présentation

Points A₁, A, B, G et leur projetés A'₁, A', B', G' sur la droite D selon la direction Δ

En géométrie plane, on considère une droite D du plan et une direction Δ non parallèle à D. La projection sur la droite D selon la direction Δ transforme le point A en un point A' tel que

• A' est sur la droite parallèle à Δ passant par A
• A' est sur la droite D

Les deux droites précédentes étant non parallèles, elles se rencontrent un point unique ce qui garantit l'existence et l'unicité de A' lorsqu'un point A est donné.

On remarque que , si A appartient à la droite D, il est son propre projeté. Enfin, tout point A' situé sur D est le projeté d'une infinité de points : tous les points situés sur la droite passant par A' et parallèle à Δ se projettent sur A'. La projection n'est donc pas injective et n'est pas une bijection.

La projection est une application affine. Cela signifie que la projection conserve les barycentres : si A et B sont deux points et si a et b sont deux réels tels que a + b soit non nul et si G est le barycentre des points A et B affectés des coefficients a et b, le projeté du point G est encore le barycentre des projetés de A et de B affectés des mêmes coefficients a et b.

En particulier, si A, B et C sont trois points alignés et si A', B' et C' sont leurs projetés, alors la projection conserve les rapports de mesures algébriques :

$\frac{\overline{AB}}{\overline{AC}} = \frac{\overline{A'B'}}{\overline{A'C'}}$

Cette propriété est à rapprocher de la propriété de Thalès.

À l'application affine est associée une application linéaire sur les vecteurs du plan $\vec p$ : $\vec p(\overrightarrow{AB}) = \overrightarrow{A'B'}$

$\vec p(\overrightarrow{AB} + \overrightarrow{AC}) = \vec p(\overrightarrow{AB}) + \vec p(\overrightarrow{AC})$

et si k est un scalaire, alors

$\vec p(k \overrightarrow{AB}) = k\vec p(\overrightarrow{AB})$.

Cette application linéaire est une projection vectorielle.

Projections et coordonnées cartésiennes

Les droites D et Δ se coupent en O. Alors, soient A' le projeté de A sur D parallèlement à Δ, et A'' le projeté de A sur Δ parallèlement à D. Alors :

$\overrightarrow{OA}=\overrightarrow{OA'}+\overline{OA''}$

Si u est un vecteur directeur de D et v un vecteur directeur de Δ, (0,u,v) est un repère affine du plan. Si les coordonnées de A dans ce repère sont (x,y), alors :

$\overrightarrow{OA'}=x\cdot u\ ;\ \ \overrightarrow{OA''}=y\cdot v.$

Projection parallèlement à une droite en géométrie analytique

Soit $\vec{u}$ un vecteur directeur de Δ de composantes (x_u, y_u). Soit

a·x + b·y + c = 0

l'équation de D. Soit le point A de coordonnées (x_A, y_A) et son projeté A' de coordonnées (x_A', y_A').

Comme (AA' ) est parallèle à Δ, il existe un scalaire k tel que

$\overrightarrow{AA'} = k \cdot \vec{u}$

soit

$\left \{ \begin{matrix} x_{A'} - x_A = k \cdot x_u \\ y_{A'} - y_A = k \cdot y_u \end{matrix} \right.$

Par ailleurs, A' est sur D, ce qui signifie que

a·x_A' + b·y_A' + c = 0

on obtient donc

a·(k·x_u + x_A) + b·(k·y_u + y_A) + c = 0

d'où

$k = -\frac{a \cdot x_A + b\cdot y_A +c}{a \cdot x_u + b \cdot y_u}$

(a·x_u + b·y_u est non nul puisque $\vec{u}$ n'est pas colinéaire à D) d'où

$\left \{ \begin{matrix} x_{A'} = -\frac{a \cdot x_A + b\cdot y_A + c}{a \cdot x_u + b \cdot y_u} \cdot x_u + x_A\\ y_{A'} = -\frac{a \cdot x_A + b\cdot y_A + c}{a \cdot x_u + b \cdot y_u} \cdot y_u + y_A \end{matrix} \right.$

soit

$\left \{ \begin{matrix} x_{A'} = \frac{b \cdot (x_A y_u - y_A x_u) - c \cdot x_u}{a \cdot x_u + b \cdot y_u}\\ y_{A'} = \frac{a \cdot (y_A x_u - x_A y_u) - c \cdot y_u}{a \cdot x_u + b \cdot y_u} \end{matrix} \right.$

Projection en géométrie dans l'espace

Projection sur un plan parallèlement à une droite

Présentation

Projection d'un cube sur un plan parallèlement à une droite

Dans l'espace, on considérons un plan Π et une droite Δ non parallèle à Π. La projection sur le plan Π selon la direction Δ transforme le point A en un point A' tel que

• A' appartient au plan Π ;
• A' est sur la droite parallèle à Δ passant par A

Le plan et la droite étant non parallèles, ils se coupent en un point unique, ce qui garantit l'existence et l'unicité de A' lorsqu'un point A est donné. Si Δ est perpendiculaire à Π, alors la projection est dite orthogonale.

On retrouve les mêmes propriétés que dans la projection précédente : si A appartient au plan, A est son propre projeté. Tout point A' du plan est le projeté d'une infinité de points situés sur la droite passant par A' et parallèle à Δ

La projection est une application affine, qui conserve les barycentres et le parallélisme. C'est-à-dire que deux droites parallèles se projettent ou bien selon deux points, ou bien selon deux droites également parallèles. Ce type de projection permet les représentations planes d'objets dans l'espace sous forme de perspectives axonométriques comme la perspective cavalière.

Comme pour toute application affine, la propriété de Thalès est encore vérifiée : si A, B et C sont trois points alignés et si A', B' et C' sont leurs projetés, alors

$\frac{\overline{AB}}{\overline{AC}} = \frac{\overline{A'B'}}{\overline{A'C'}},$

c'est-à-dire qu'il existe un scalaire λ vérifiant à la fois

$\overrightarrow{AB}=\lambda~\overrightarrow{AC}\quad\text{et}\quad\overrightarrow{A'B'}=\lambda~\overrightarrow{A'C'}.$

En effet, à l'application affine est associée une application linéaire sur les vecteurs de l'espace, qui envoie $\overrightarrow{AC}$ sur $\overrightarrow{A'C'}$ et $\overrightarrow{AB}$ sur $\overrightarrow{A'B'}$.

L'application linéaire associée à une projection affine est une projection vectorielle.

Expression analytique

Soit $\vec{u}$ un vecteur directeur de Δ de composantes (x_u, y_u, z_u). Soit

a·x + b·y + c·z + d = 0

l'équation de Π. Soit le point A de coordonnées (x_A, y_A, z_A) et son projeté A' de coordonnées (x_A', y_A', z_A').

Comme (AA' ) est parallèle à Δ, il existe un scalaire k tel que

$\overrightarrow{AA'} = k \cdot \vec{u}$

soit

$\left \{ \begin{matrix} x_{A'} - x_A = k \cdot x_u \\ y_{A'} - y_A = k \cdot y_u \\ z_{A'} - z_A = k \cdot z_u \\ \end{matrix} \right.$

Par ailleurs, A' est sur Π, ce qui signifie que

a·x_A' + b·y_A' + c·z_A' + d = 0

On voit que d'un point de vue analytique, le problème est très similaire au précédent. On a un système de quatre équations à quatre inconnues x_A', y_A', z_A' et k. On obtient :

$\left \{ \begin{matrix} x_{A'} = \frac{b \cdot (x_A y_u - y_A x_u) + c \cdot (x_A z_u - z_A x_u) - d \cdot x_u}{a \cdot x_u + b \cdot y_u + c \cdot z_u} \\ y_{A'} = \frac{a \cdot (y_A x_u - x_A y_u) + c \cdot (y_A z_u - z_A y_u) - d \cdot y_u}{a \cdot x_u + b \cdot y_u + c \cdot z_u} \\ z_{A'} = \frac{a \cdot (z_A x_u - x_A z_u) + b \cdot (z_A y_u - y_A z_u) - d \cdot z_u}{a \cdot x_u + b \cdot y_u + c \cdot z_u} \\ \end{matrix} \right.$

Dans le cas d'une projection orthogonale et si le repère est orthonormal, on peut choisir x_u = a, y_u = b et z_u = c, soit

$\left \{ \begin{matrix} x_{A'} = \frac{(b^2 + c^2) \cdot x_A - ab \cdot y_A - ac \cdot z_A - d \cdot a}{a^2 + b^2 + c^2} \\ y_{A'} = \frac{-ab \cdot x_A + (a^2 + c^2) \cdot y_A - bc \cdot z_A - d \cdot b}{a^2 + b^2 + c^2} \\ z_{A'} = \frac{-ac \cdot x_A - bc \cdot y_A + (a^2 + b^2) \cdot z_A - d \cdot c}{a^2 + b^2 + c^2} \\ \end{matrix} \right.$

Si l'on décide arbitrairement que Π contient l'origine (d = 0) et que a² + b² + c² = 1, alors on a

$\left \{ \begin{matrix} x_{A'} = (b^2 + c^2) \cdot x_A - ab \cdot y_A - ac \cdot z_A \\ y_{A'} = -ab \cdot x_A + (a^2 + c^2) \cdot y_A - bc \cdot z_A \\ z_{A'} = -ac \cdot x_A - bc \cdot y_A + (a^2 + b^2) \cdot z_A \\ \end{matrix} \right.$

Dans le cas de la perspective isométrique, on choisit |a| = |b| = |c| = 1/√3. Par exemple, si on choisit les trois valeurs positives, on a

$\left \{ \begin{matrix} x_{A'} = 2/3 \cdot x_A - 1/3 \cdot y_A - 1/3 \cdot z_A \\ y_{A'} = -1/3 \cdot x_A + 2/3 \cdot y_A - 1/3 \cdot z_A \\ z_{A'} = -1/3 \cdot x_A - 1/3 \cdot y_A + 2/3 \cdot z_A \\ \end{matrix} \right.$

Projection sur une droite parallèlement à un plan

Projection sur une droite parallèlement au plan de base. Tous les points de la face inférieure du cube se projettent en A et tous les points de la face supérieure se projettent en B

Avec les mêmes notations que ci-dessus, on peut définir la projection sur Δ parallèlement à Π : elle transforme le point A en un point A' tel que

• A' est sur Δ ;
• A' appartient au plan parallèle à Π passant par A

Comme précédemment, le fait que la droite et le plan ne soient pas parallèles permet de dire qu'ils se coupent en un point et garantit l'existence et l'unicité de A' lorsqu'un point A est donné. Si Δ est perpendiculaire à Π, alors la projection est dite orthogonale.

On retrouve les même propriétés que dans la projection précédente : si A appartient à la droite , A est son propre projeté. Tout point A' de la droite est le projeté d'une infinité de points situés dans le plan passant par A' et parallèle à Π.

C'est toujours une application affine donc l'application linéaire associée est une projection vectorielle, elle a donc les propriétés énoncées ci-dessus.

Projections et coordonnées cartésiennes

Considérons trois droites D₁ de vecteur directeur u₁, D₂ de vecteur directeur u₂ et D₃ de vecteur directeur u₃, non coplanaires et concourantes en un point O.

Pour un point de l'espace A, on appelle :

• A₁ le projetté de A sur D₁ parallèlement au plan (D₂, D₃) ;
• A₂ le projetté de A sur D₂ parallèlement au plan (D₃, D₁) ;
• A₃ le projetté de A sur D₃ parallèlement au plan (D₁, D₂).

Alors :

$\overrightarrow{OA}=\overrightarrow{OA_1}+\overrightarrow{OA_2}+\overrightarrow{OA_3}$

et si A a pour coordonées (x,y,z) dans le repère (0,u₁,u₂,u₃), alors

$\overrightarrow{OA_1}=x\cdot u_1\ ;\ \ \overrightarrow{OA_2}=y\cdot u_2\ ;\ \ \overrightarrow{OA_3}=z\cdot u_3.$

Définition générale

Dans un espace affine quelconque, on considère deux sous-espaces affines F₁ et F₂ de directions V₁ et V₂ supplémentaires, on appelle projection sur F₁ selon la direction V₂^[2], l'application qui transforme tout point A en un point A' vérifiant

• A' appartient au sous-espace passant par A et de direction V₂, noté A + V₂
• A' appartient à F₁

Le fait que les directions soient supplémentaires assure que les deux sous-espaces ainsi créés n'ont qu'un seul point en commun.

On démontre qu'une projection affine est toujours une application affine dont l'application linéaire associée est la projection sur V₁ de direction V₂. Réciproquement, toute application affine dont l'application linéaire associée est une projection sur V₁ selon la direction V₂, et qui possède un point fixe O est une projection sur O + V₁ selon la direction V₂.

La projection affine est idempotente, c'est-à-dire que $p \circ p = p$. Réciproquement, toute application affine vérifiant $p \circ p = p$ est un projection affine sur p(E) de direction $Ker \vec p$^[2].

Références

1. ↑ On considère que la source est suffisamment lointaine pour que les rayons du soleil soient considérés comme parallèles
2. ↑ ^{a et b} Aviva Szpirglas, Algèbre L3 : Cours complet avec 400 tests et exercices corrigés [détail des éditions], p 107

Bibliographie

• Aviva Szpirglas, Algèbre L3 : Cours complet avec 400 tests et exercices corrigés [détail des éditions]
• Dany-Jack Mercier, L'épreuve d'exposé au CAPES mathématiques: leçons rédigées et commentées, Volume 4, Editions Publibook, 2008

Articles connexes

• Géométrie projective
• Projecteur
• Perspective isométrique