title: Théorème de Clairaut (géométrie)
text: # Théorème de Clairaut (géométrie)
  
  Le théorème de Clairaut en géométrie est une généralisation du théorème de Pythagore, où les égalités d'aires entre carrés construits sur les côtés d'un triangle rectangle, deviennent des égalités d'aire entre parallélogrammes construits sur les côtés d'un triangle quelconque. En français, il porte souvent le nom d'un frère du mathématicien Alexis Claude Clairaut, bien qu'il soit dû en réalité à Pappus d'Alexandrie (IVe siècle apr. J.-C.).
  
  ## Énoncé
  
  * Si ABC est un triangle
  * Si ABDE et ACFG sont des parallélogrammes extérieurs au triangle
  * Si (DE) et (FG) se coupent en O
  * Si, enfin, BCHI est un parallélogramme extérieur au triangle tel que [OA] et [CH] soient parallèles de même longueur
  
  alors
  
  * L'aire du parallélogramme BCHI est égale à la somme des aires des deux autres parallélogrammes
  
  ## Démonstration
  
  Il suffit de déformer les parallélogrammes sans modifier leur aire.
  
  Puisque OF'CA, CHIB, BD'OA sont des parallélogrammes, "[OA] et [CH] soient parallèles de même longueur" implique que [BD'], [IB], [QP], [HC] et [CF'] y sont également parallèles de même longueur.
  
      aire(ABDE) =aire(ABD'O) (même base, même hauteur)
      aire(ACFG) = aire(ACF'O)
  
  Si la droite OA rencontre (BC) et (HI) en P et Q alors
  
      aire(ABD'O) =aire(BIQP) (même base, même hauteur)
      aire(ACF'O) = aire(CHQP)
  
  ## Cas particulier
  
  Si ABC est un triangle rectangle en A, si ABDE et ACFG sont des carrés, on montre que la droite OA est perpendiculaire à l'hypoténuse BC du triangle et de même longueur, et alors BCHI est aussi un carré. On retrouve alors l'égalité du théorème de Pythagore.
  
  ## Histoire
  
  Le théorème apparaît à la proposition 1 du livre IV de la Collection mathématique de Pappus. Le parallélogramme est construit sur l'hypoténuse du même côté que le triangle (ce qui permet une construction géométrique simple de celui-ci).
  
  En France le théorème porte souvent le nom de Clairaut, mais il s'agit, non pas du mathématicien du XVIIIe siècle bien connu Alexis Claude Clairaut, mais de son frère cadet, mathématicien précoce mort prématurément, et auteur de deux publications en géométrie $élémentaire^,.$ Le nom de Clairaut reste attaché au théorème, bien que dès 1778 Jean-Étienne Montucla l'attribuait déjà à Pappus dans une réédition des Récréations mathématiques et physiques de Jacques $Ozanam^,.$
  
  