Une inégalité
Bonjour
Je cherche actuellement un exercice issu d'un TD sur l'orthogonalité. Voici l'énoncé :
Je cherche actuellement un exercice issu d'un TD sur l'orthogonalité. Voici l'énoncé :
soient $n \geqslant 2$ un entier, $(a_1 , \ldots , a_n)$ des réels strictement positifs et $(b_1 , \ldots , b_n)$ des réels. On suppose que $\sum\limits_{i=1}^n \sum\limits_{j=1 \atop j \neq i}^n a_i b_j = 0$. Montrer que $\sum\limits_{i=1}^n \sum\limits_{j=1 \atop j \neq i}^n b_i b_j \leqslant 0$.
Je me doute bien qu'il doit y avoir du Cauchy-Schwarz quelque part, mais pour le moment mes tentatives sont infructueuses (alors que c'est sans doute tout bête...). Quelqu'un voit-il comment faire ?
Je vous remercie d'avance pour votre aide !
Je vous remercie d'avance pour votre aide !
Réponses
-
Bonjour,
La forme bilinéaire correspondante est :
$$\sum_{i, j} a_i b_j - \sum_{i = 1}^n a_i b_i$$
Une fois mis sous cette forme, c'est facile de voir le résultat. -
@Bibix merci pour votre réponse !Le TD dont c'est issu ne suppose néanmoins pas connues les formes bilinéaires de façon générale (c'est un TD de sup) ; y a-t-il un moyen de le faire sans utiliser explicitement de "théorèmes généraux" sur les formes bilinéaires (càd autres que ceux du programme de sup/spé sur le produit scalaire) ?
-
BonjourSans restreindre la généralité on peut supposer que $\sum_{i=1} ^n a_i=1.$La première condition signifie $(\sum_{i=1} ^n a_i) (\sum_{i=1} ^n b_i)= (\sum_{i=1} ^n b_i)= a.b$De façon analogue, la condition à démontrer est : $(\sum_{i=1} ^n b_i)\leq b.b$Par C.S on a $(\sum_{i=1} ^n b_i)^2=(a.b)^2 \leq (\sum_{i=1} ^n a_i^2) \times b.b \leq b.b$
-
Bien sûr, il suffit d'en déduire que $$\sum_j b_j = \frac{\sum_i a_i b_i}{\sum_i a_i}.$$
Ce qui donne $$\sum_{i, j} b_i b_j = \left(\frac{\sum_i a_i b_i}{\sum_i a_i}\right)^2 \leqslant \sum_i b_i^2,$$ avec Cauchy-Schwarz.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 165.6K Toutes les catégories
- 64 Collège/Lycée
- 22.2K Algèbre
- 37.7K Analyse
- 6.3K Arithmétique
- 61 Catégories et structures
- 1.1K Combinatoire et Graphes
- 13 Sciences des données
- 5.1K Concours et Examens
- 26 CultureMath
- 51 Enseignement à distance
- 2.9K Fondements et Logique
- 10.8K Géométrie
- 86 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 79 Informatique théorique
- 3.9K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 29 Mathématiques et finance
- 343 Mathématiques et Physique
- 5K Mathématiques et Société
- 3.4K Pédagogie, enseignement, orientation
- 10.1K Probabilités, théorie de la mesure
- 804 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres