title: Théorème de la porte
text: # Théorème de la porte
  
  Le théorème de la porte est un théorème de géométrie dans l'espace.
  
  Le nom de théorème de la porte lui est parfois $donné^,^,$ car cette propriété est utile aux menuisiers pour s'assurer que l'axe de rotation d'une porte est perpendiculaire au plancher.
  
  ## Énoncé et illustration
  
  Théorème de la porte — Si une droite est orthogonale à deux droites sécantes du plan alors elle est orthogonale à toutes les droites du plan. On dit alors que la droite est perpendiculaire au plan.
  
  Propriété du menuisier : la droite (d), perpendiculaire aux droites $(d_1)$ et $(d_2)$ sécantes en O, est perpendiculaire au plan (p) contenant ces deux droites. La porte tourne alors normalement autour de (d).
  
  Cette propriété de géométrie dans l'espace se révèle tellement utile qu'on lui donne parfois le nom de théorème fondamental de l'orthogonalité.
  
  Elle se démontre facilement à l'aide du produit scalaire. Mais Daniel Perrin propose une démonstration utilisant uniquement des triangles isométriques: partant d'une droite (d) perpendiculaire en O à deux droites sécantes $(d_1)$ et $(d_2)$ du plan, il démontre qu'elle est perpendiculaire à toute autre droite $(d_3)$ du plan passant par O. Pour ce faire, il envisage une droite du plan coupant les trois droites en A, B et C, prend sur (d) deux points M et N symétriques par rapport à O et travaille successivement sur les triangles isométriques MAB et NAB puis MAC et NAC pour démontrer que $(d_3)$ est médiatrice de [MN].
  
  C'est une méthode utile pour démontrer que deux droites sont orthogonales : il suffit de démontrer qu'une des droites est perpendiculaire à un plan contenant l'autre droite, ou plus simplement que cette droite est orthogonale à deux droites sécantes d'un plan contenant l'autre droite. En particulier, ce théorème permet de démontrer le théorème des trois perpendiculaires.
  
  ## Article connexe
  
  Théorème du toit
  
  