Discussion:Identité de Lagrange

Autres discussions [liste]

Admissibilité
Neutralité
Droit d'auteur
Article de qualité
Bon article
Lumière sur
À faire
Archives
Commons

Tout ou partie de cet article est issu de la traduction de l'article sous licence CC-BY-SA « (en) Lagrange's identity » dans sa version du 2 juin 2011.

Consultez l'historique de la page originale pour connaître la liste de ses auteurs.

Cet article est indexé par le projet Mathématiques.

Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.

**Évaluation** de l’article « **Identité de Lagrange** »
Avancement	Importance	pour le projet
Bon début	À évaluer		Mathématiques (discussion • critères • liste • stats • hist. • comité • stats vues)

Cet article ne comporte pas de liste de tâches suggérées. Vous pouvez saisir une liste de tâches à accomplir (par exemple sous forme d'une liste à puces), puis sauvegarder. Vous pouvez aussi consulter la page d'aide.

Démonstration de la version algébrique[modifier le code]

Quand je m'occupais de l'inégalité de Cauchy-Schwarz, j'avais réécrit ce paragraphe anglophone à ma façon. Ce n'est pas sourcé mais je trouve ça bien plus lisible. Est-ce recyclable ici ? Anne Bauval (d) 3 juin 2011 à 21:16 (CEST)[répondre]

{\begin{aligned}2\sum _{1\leq i<j\leq n}(a_{i}b_{j}-a_{j}b_{i})^{2}&=\sum _{1\leq i<j\leq n}(a_{i}b_{j}-a_{j}b_{i})^{2}+\sum _{1\leq j<i\leq n}(a_{j}b_{i}-a_{i}b_{j})^{2}\\&=\sum _{1\leq i,j\leq n}(a_{i}b_{j}-a_{j}b_{i})^{2}\\&=\left(\sum _{i=1}^{n}a_{i}^{2}\right)\left(\sum _{j=1}^{n}b_{j}^{2}\right)+\left(\sum _{j=1}^{n}a_{j}^{2}\right)\left(\sum _{i=1}^{n}b_{i}^{2}\right)-2\left(\sum _{i=1}^{n}a_{i}b_{i}\right)\left(\sum _{j=1}^{n}a_{j}b_{j}\right)\\&=2\left(\sum _{k=1}^{n}a_{k}^{2}\right)\left(\sum _{k=1}^{n}b_{k}^{2}\right)-2\left(\sum _{k=1}^{n}a_{k}b_{k}\right)^{2},\end{aligned}}

ce qui (en divisant par 2) démontre l'identité de Lagrange dans l'anneau de polynômes sur $\mathbb {Z}$ d'indéterminées $a_{k},b_{k}~(1\leq k\leq n)$ et par conséquent dans tout anneau commutatif.

Oui, c'est mieux. Bon, c'est un TI, mais je pense que renvoyer à la démo du Net suffira :-) Je recycle aussitôt--Dfeldmann (d) 5 juin 2011 à 13:28 (CEST)[répondre]