Droite orthogonale à un plan
Bonjour,
En TS la définition de droite orthogonale à un plan est la suivante :
Définition : D est orthogonale à P si et seulement si D est orthogonale à toute droite du plan P.
Puis on donne la propriété :
Propriété : D est orthogonale à P si et seulement si D est orthogonale à deux droites sécantes du plan P.
Ces deux propriétés sont données dans le chapitre "géométrie non repérée" et dans ce chapitre on admet cette propriété.
On peut démontrer cette propriété quand on arrive au chapitre produit scalaire.
Ma question : peut-on démontrer cette propriété sans utiliser le produit scalaire ?
Merci.
En TS la définition de droite orthogonale à un plan est la suivante :
Définition : D est orthogonale à P si et seulement si D est orthogonale à toute droite du plan P.
Puis on donne la propriété :
Propriété : D est orthogonale à P si et seulement si D est orthogonale à deux droites sécantes du plan P.
Ces deux propriétés sont données dans le chapitre "géométrie non repérée" et dans ce chapitre on admet cette propriété.
On peut démontrer cette propriété quand on arrive au chapitre produit scalaire.
Ma question : peut-on démontrer cette propriété sans utiliser le produit scalaire ?
Merci.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
La définition de "P orthogonal à une droite" utilise le produit scalaire, donc je vois mal comment pourrait-on faire...
(B) est généralement bien connu,
mais pas (A) : quelles sont les hypothèses, qu'est-ce qui est admis ?
(A) est souvent enfoui dans la vase d'un étang brouillardeux, du coup on ne saitpas que faire.
1ère mission : amener en plein jour les prérequis.
Apparemment, personne n'a l'air de lire ce qui est écrit. La définition est une DÉFINITION. Cette définition n'utilise pas le produit scalaire, et une définition n'a pas d'hypothèses.
La seule question est : comment démontrer la propriété à partir de la définition ?
la définition de "P orthogonal à une droite" repose sur la définition de "droites orthogonales" et celle-ci me semble utiliser le produit scalaire...
Hum, ça ou le produit scalaire, c'est kif-kif, non ?
Voir aussi ici.
La démonstration de GaBuZoMeu me semble incontournable.
e.v.
PJ : LES QUINZE LIVRES DES ELEMENTS GEOMETRIQUES D'EVCLIDE, Traduicts en françois par D. Henrion, professeur ès Mathematiques, imprimez et corrigez du vivant de l'Autheur. 1632.
Edit : on peut en fait squeezer les lignes 3 et 4 qui ne font que répéter les lignes 1 et 2, mutatis mutandis (remplacer $A$ par $B$).
[Inutile de recopier un message présent sur le forum. Un lien suffit. AD]
Bonsoir
ce que je voulais dire c'est la chose suivante : il me semble que si on suppose que l'on a Al-Kashi (ou Pythagore) dans tout plan de l'espace, c'est équivalent à dire que l'on a un produit scalaire.
Est-ce complètement à côté de la plaque ?
Est-ce "Si on a une structure euclidienne sur chaque plan affine d'un espace affine de dimension 3 et si ... conditions supplémentaires ??? ..., alors ces structures euclidiennes sont induites par une structure euclidienne sur l'espace entier" ?
Ou alors, quoi ?
Ça me semble diverger de la question de départ du fil.
> Pourrais-tu formuler plus précisément ta
> question ?
Je vais essayer, désolé de ne pas être assez clair.
> Est-ce "Si on a une structure euclidienne sur
> chaque plan affine d'un espace affine de dimension
> 3 et si ... conditions supplémentaires ??? ...,
> alors ces structures euclidiennes sont induites
> par une structure euclidienne sur l'espace entier"
> ?
Comment compares-tu la longueur BC dans le plan ABC avec celle de BC dans le plan BCD sans utiliser le fait que la distance dans l'espace est donnée par la norme d'un vecteur ?
> Ou alors, quoi ?
> Ça me semble diverger de la question de départ
> du fil.
Il me semblait que justement dans ce cas là, si la distance provient d'une norme, elle provient d'un produit scalaire.
Si la distance est une notion première, on définit avec elle la notion de produit scalaire. Si on considère qu'on est à priori dans un espace euclidien, c'est le produit scalaire qui est la notion première et la distance en découle.
Sauf erreur, la notion de distance dans l'espace est connue (habituelle) en lycée, pas les structures euclidiennes.
Cordialement.
En effet, @bulledesavon voulait une preuve dans le chapitre "géométrie non repérée" et je pensais trop bancal de parler de distance dans ce contexte.
Et quitte à mettre un repère et une distance, autant faire la preuve avec le produit scalaire.
je ne comprends pas pourquoi tu parles de repère à propos de la distance. Tu sembles confondre la notion de distance avec celle de norme de vecteur. Les chauffeurs routiers connaissent les distances, ils ignorent (ou ont oublié) les vecteurs.
Rappel : la distance entre A et B est la longueur du segment [A,B].
Cordialement.
Un repère ?
Pourquoi pas. Pas de problème.
Le produit scalaire ?
C'est beaucoup plus problématique. Suivant la façon de l'introduire, tu vas tomber sur un os :
Démontrer que le produit scalaire est bilinéaire.
C'était l'objet du fil que j'ai ouvert, où je cherchais une démonstration géométrique de la chose.
Je considère que la démonstration de GaBuZoMeu répond à ma question.
Merci GaBuZoMeu.
T'as droit au bisou baveux.
Quand et où tu veux.
amicalement,
e.v.
AC = AC', AD = AD'
$\triangle$ ACD = $\triangle$ A'CD (trois côtés resp. égaux)
$\sphericalangle $ ACE = $\sphericalangle $ A'CE
$\triangle$ ACE = $\triangle$ A'CE (angle compris entre deux côtés, resp. égaux)
AE = A'E
BE $\bot $ AB
Le produit scalaire est facile à écrire en fonction de la distance mais ses propriétés ne sont pas aussi évidentes à prouver que je le pensais.
En revanche, 2 semaines avant de faire le produit scalaire et de passer du côté "moderne" de la géométrie (sans nostalgie GG, on ne fait plus les triangles semblables !), je préfère suivre l'avis officiel du programme.
P.S. : Gérard0, je n'ai pas le permis poids lourds mais à vélo ça marche aussi !