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...
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$.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres