En effet sur la figure, si on n'a pas fait d'erreur en la construisant, on voit que les droites (EE') et (D'E') sont sécantes.
Mais "voir" n'est pas démontrer
Si tu as fait une bonne figure, normalement on voit que les droites (EE') et (D'E'), en plus d'être sécantes, semblent perpendiculaires en se coupant en E'.
En langage mathématique on peut dire ça de cette façon : "D'après la figure, on conjecture que les droites (EE') et (D'E') sont perpendiculaires"
Conjecturer, en mathématique, c'est émettre une hypothèse qu'on va chercher à démontrer.
Tout le travail va donc consister à démontrer que ces deux droites sont perpendiculaires.
On peut prouver la perpendicularité de plusieurs façons :
- En utilisant le produit scalaire de deux vecteurs qui doit être égal à 0 (mais comme tu ne l'as pas encore vu, on laisse tomber cette méthode)
- En utilisant le théorème de Pythagore. (Je l'ai fait, mais cela nous fait faire de longues lignes de calculs. Et en plus on part de l'hypothèse que le triangle DEE' est rectangle en E' et c'est justement ce que l'on veut démontrer)
- En utilisant les propriété de notre rotation r d'angle PI/2
-----
