Théorème de Pythagore pour $n > 2$

Bonjour,

Soient $u_1,u_2,\ldots,u_n$ $n$ vecteurs d'un espace préhilbertien $E$.
On a le théorème de Pythagore "généralisé" : si pour tout couple $(i;j) \in [1;n]^2$ tel que $i \neq j $ on a $( u_i, u_j ) = 0$ alors $||\sum_{i=1}^n u_i||^2 = \sum_{i=1}^n ||u_i||^2 . $

La réciproque est fausse si $n> 2$ ... elle n'entraîne rien de plus que $\sum_{1 \leq i<j \leq n} (u_i,u_j) =0 $ !

Ma question est : peut-on trouver un contre-exemple, c'est-à-dire des vecteurs (au moins $3$ donc ! ) tels qu'ils ne soient pas orthogonaux 2 à 2 mais tels que $||\sum_{i=1}^n u_i||^2 = \sum_{i=1}^n ||u_i||^2 $ , c'est-à-dire tels que $\sum_{1 \leq i<j \leq n} (u_i,u_j) =0 $ ?

J'ai cherché dans $E=\R^2$ ou $ \R^3$ déjà mais rien... :-S

Merci !


@AD: comment on dit "intervalle fermé d'entiers" en Latex ? $[1;n]^2$ n'est pas correct...

Réponses

  • Tu as un carré mal placé dans ta formule de Pythagore.

    Dans $\mathbb R^3$, que penses-tu de $(1, 1, 1), (1, 1, 0), (1, -2, 0)$ ?
  • Ah oui en effet merci j'ai corrigé .

    Bravo pour ton exemple probant ! :-)
    Juste pour savoir, tu as trouvé à tâtons ou avec une méthode particulière ?
  • En tâtonnant. J'ai commencé par prendre deux vecteurs dont le produit scalaire fait $2$, puis j'en ai cherché un dernier dont le produit scalaire avec les deux premiers fait $-1$.
  • Autre exemple, $e_1$, $e_2$ et $e_1-e_2$ dans $\mathbb{R}^n$.
  • @talbon : mais $e_1$ et $e_2$ sont des vecteurs d'une base orthonormale ? si oui, ils sont orthogonaux...
Connectez-vous ou Inscrivez-vous pour répondre.