Teorema paralelogramului

Un paralelogram, laturile sunt albastre iar diagonalele roșii.

În matematică cea mai simplă formă a teoremei paralelogramului (numită și identitatea paralelogramului) aparține geometriei elementare. Afirmă că suma pătratelor lungimilor celor patru laturi ale unui paralelogram este egală cu suma pătratelor lungimilor celor două diagonale. Se notează laturile cu AB, BC, CD, DA. Întrucât în geometria euclidiană un paralelogram are în mod necesar laturile opuse egale, adică AB = CD și BC = DA, teorema poate fi enunțată prin următoarea egalitate de expresii algebrice

$2A{B}^2+2B{C}^2=A{C}^2+B{D}^2$.

Dacă paralelogramul este un dreptunghi, cele două diagonale sunt de lungimi egale AC = BD, deci $2A{B}^2+2B{C}^2=2A{C}^2$, iar afirmația se reduce la teorema lui Pitagora. Pentru patrulaterul general diagonalele nu sunt neapărat egale,

$A{B}^2+B{C}^2+C{D}^2+D{A}^2=A{C}^2+B{D}^2+4x^2,$

unde $x$ este lungimea segmentului care unește punctele de mijloc ale diagonalelor. Din diagramă se poate observa că pentru un paralelogram $x=0$, și astfel formula generală se simplifică la forma pentru paralelogram.

Demonstrație

În paralelogramul de sus, fie Format:Mvar, Format:Mvar, $\mathrm{\angle }BAD=\alpha .$ Din teorema cosinusului în triunghiul $\mathrm{△}BAD,$ se obține:

$a^2+b^2-2ab\cos (\alpha )=B{D}^2.$

într-un paralelogram, unghiurile adiacente sunt suplementare, deci $\mathrm{\angle }ADC=180^{\circ }-\alpha .$ Folosind teorema cosinusului în triunghiul $\mathrm{△}ADC,$ se obține:

$a^2+b^2-2ab\cos (180^{\circ }-\alpha )=A{C}^2.$

Aplicând celor de mai sus identitatea trigonometrică privind cosinusurile unghiurilor suplementare $\cos (180^{\circ }-x)=-\cos x$ se obține:

$a^2+b^2+2ab\cos (\alpha )=A{C}^2.$

Acum suma pătratelor $B{D}^2+A{C}^2$ se poate exprima ca:

$B{D}^2+A{C}^2=a^2+b^2-2ab\cos (\alpha )+a^2+b^2+2ab\cos (\alpha ).$

După simplificări relația devine:

$B{D}^2+A{C}^2=2a^2+2b^2.$

Teorema paralelogramului în spațiile prehilbertiene

Vectori în cazul teoremei paralelogramului

Într-un spațiu normat, enunțul teoremei paralelogramului este o ecuație în legătură cu normele:

$2\Vert x{\Vert }^2+2\Vert y{\Vert }^2=\Vert x+y{\Vert }^2+\Vert x-y{\Vert }^2\text{ pentru toate }x,y.$

Teorema paralelogramului este echivalentă cu afirmația aparent mai slabă:

$2\Vert x{\Vert }^2+2\Vert y{\Vert }^2\le \Vert x+y{\Vert }^2+\Vert x-y{\Vert }^2\text{ pentru toate }x,y$

deoarece inegalitatea inversă se poate obține din ea prin substituirea $\frac{1}{2}(x+y)$ pentru $x,$ și $\frac{1}{2}(x-y)$ pentru $y,$ și apoi simplificând. Prin aceeași demonstrație, teorema paralelogramului este echivalentă și cu:

$\Vert x+y{\Vert }^2+\Vert x-y{\Vert }^2\le 2\Vert x{\Vert }^2+2\Vert y{\Vert }^2\text{ pentru toate }x,y.$

Într-un spațiu prehilbertian, norma este determinată prin produsul scalar:

$\Vert x{\Vert }^2=⟨x,x⟩.$

Ca o consecință a acestei definiții, într-un spațiu prehilbertian teorema paralelogramului este o identitate algebrică, ușor de stabilit folosind proprietățile produsului scalar:

$\Vert x+y{\Vert }^2=⟨x+y,x+y⟩=⟨x,x⟩+⟨x,y⟩+⟨y,x⟩+⟨y,y⟩,$

$\Vert x-y{\Vert }^2=⟨x-y,x-y⟩=⟨x,x⟩-⟨x,y⟩-⟨y,x⟩+⟨y,y⟩.$

Adunând aceste două expresii se obține:

$\Vert x+y{\Vert }^2+\Vert x-y{\Vert }^2=2⟨x,x⟩+2⟨y,y⟩=2\Vert x{\Vert }^2+2\Vert y{\Vert }^2,$

ceea ce s-a cerut.

Dacă $x$ este ortogonal cu $y,$ înseamnă că $⟨x,y⟩=0,$ iar ecuația de mai sus pentru norma unei sume devine:

$\Vert x+y{\Vert }^2=⟨x,x⟩+⟨x,y⟩+⟨y,x⟩+⟨y,y⟩=\Vert x{\Vert }^2+\Vert y{\Vert }^2,$

care este Teorema lui Pitagora.

Spații prehilbertiene care satisfac teorema paralelogramului

Cele mai multe spații vectoriale normate reale și complexe nu au produse scalare, dar toate spațiile vectoriale normate au norme (prin definiție). De exemplu, o normă folosită în mod obișnuit pentru un vector $x=(x_1,x_2,\dots ,x_n)$ în spațiul de coordonate reale ${ℝ}^n$ este [[funcții p-sumabile și funcții local p-sumabile |Format:Math-norma]]:

$\Vert x{\Vert }_p={(|x_1{|}^p+|x_2{|}^p+\cdots +|x_n{|}^p)}^{1/p}.$

Fiind dată o normă, se pot evalua ambele părți ale teoremei paralelogramului de mai sus. Un fapt remarcabil este că, dacă teorema paralelogramului este valabilă, atunci norma trebuie să apară în mod obișnuit dintr-un produs scalar. În special, este valabil pentru o Format:Math-normă dacă și numai dacă Format:Math, adică norma euclidiană sau norma standard.

Pentru orice normă care satisface teorema paralelogramului (care este în mod necesar o normă de produs scalar), produsul scalar care generează norma este unic ca o consecință a identității de polarizare. În cazul real, identitatea de polarizare este dată de:

$⟨x,y⟩=\frac{\Vert x+y{\Vert }^2-\Vert x-y{\Vert }^2}{4},$

sau, echivalent, de

$\frac{\Vert x+y{\Vert }^2-\Vert x{\Vert }^2-\Vert y{\Vert }^2}{2}\text{ sau }\frac{\Vert x{\Vert }^2+\Vert y{\Vert }^2-\Vert x-y{\Vert }^2}{2}.$

În cazul numerelor complexe este dată de:

$⟨x,y⟩=\frac{\Vert x+y{\Vert }^2-\Vert x-y{\Vert }^2}{4}+i\frac{\Vert ix-y{\Vert }^2-\Vert ix+y{\Vert }^2}{4}.$

De exemplu, cu Format:Math-norma cu Format:Math și vectorii reali Format:Math și Format:Math, calculul produsului scalar este: $\begin{array}{cc}⟨x,y⟩& =\frac{\Vert x+y{\Vert }^2-\Vert x-y{\Vert }^2}{4}\\ & =\frac{1}{4}(\sum _i|x_i+y_i{|}^2-\sum _i|x_i-y_i{|}^2)\\ & =\frac{1}{4}\left(4\sum _i{x}_i{y}_i\right)\\ & =x\cdot y,\\ \end{array}$
care este produsul scalar standard al doi vectori.

O altă condiție necesară și suficientă ca să existe un produs scalar care induce norma dată $\Vert \cdot \Vert$ este ca norma să satisfacă teorema lui Ptolemeu:

$\Vert x-y\Vert \Vert z\Vert +\Vert y-z\Vert \Vert x\Vert \ge \Vert x-z\Vert \Vert y\Vert$ pentru toți vectorii Format:Math.

Legături externe

• Format:En icon Format:MathWorld
• Format:En icon The Parallelogram Law: A Proof Without Words la cut-the-knot