Résumé, Projection dans le plan

#tcsf

(D)(D) et (D)(D') deux droites sécantes en OO

Par le point MM passe une seule droite parallèle à (D)(D) et qui coupe (D)(D) en MM'

O(D)M²(Δ)M0
  • Le point MM' s’appelle : le projeté de MM sur (D)(D) parallèlement à (Δ)\left(\Delta\right)

  • MM' est le projeté de MM sur (D)(D) parallèlement à (Δ)\left(\Delta\right) si

    • (MM) (Δ)\left(MM'\right)\ \parallel(\Delta)
    • M(D)M'\in\left(D\right)

Si pp la projection sur (Δ)(\Delta) parallèlement à (D)(D) alors :

p(M)=Mp(M)=M' signfie que MM' est l’image de MM par la transformation pp c-à-d : M(D)M'\in\left(D\right) et (MM)(Δ)(MM')\parallel(\Delta)

  • si E(D)E\in(D) alors p(E)=Ep(E)=E, le point EE est dit invariant par la projection pp
  • si F(Δ)F\in(\Delta), alors p(F)=Op(F)=O

Exemple

pp est la prjection sur (D)(D) parallèlement à (Δ)(\Delta)

O(D)A²(Δ)A0E²F²GB²C
  • p(A) = A'
  • p(B) = C
  • p(E) = O
  • p(G) = C
  • p(F) = F
  • p(O) = O

Théorème de Thales (forme vectorielle)

Théorème direct

(D)(D) et (Δ)\left(\Delta\right) deux droites sécantes en OO et pp la projection sur (D)(D) parallèlement à (Δ)(\Delta) et kRk\in\R

Si {AB=kEFet p(A)=A et p(B)=B et p(E)=E et p(F)=F \begin{cases} \overrightarrow{AB}=k\overrightarrow{EF}\\ \text{et } p\left(A\right)=A' \text{ et } p(B)=B' \\ \text{ et } p(E)=E' \text{ et } p(F)=F' \end{cases}

Alors : AB=kEF\overrightarrow{A' B'}=k\overrightarrow{E' F'}

On dit que la projection conserve le coefficient de colinéarité


Théorème réciproque

A0AB0BM0MO(Δ)(D)

(D)(D) et (Δ)\left(\Delta\right) sécantes en OO, (AB)(AB) et (Δ)\left(\Delta\right) sont sécantes et pp la projection sur (D)(D) parallèlement à (Δ)(\Delta) et AM=kAB\overrightarrow{AM}=k\overrightarrow{AB}

Si p(A)=Ap\left(A\right)=A' ; p(B)=Bp\left(B\right)=B' et AM=kAB\overrightarrow{A' M'}=k\overrightarrow{A' B'}, alors p(M)=Mp\left(M\right)=M'