Закон паралелограма

Странице паралелограма АБЦД су приказане плавом бојом, а дијагонале црвеном. Збир површина плавих квадрата једнак је збиру црвених квадрата.

У математици, најједноставнији облик закона о паралелограму (који се назива и идентитет паралелограма ) припада стандарној геометрији . Он говори да је збир квадрата дужина четири стране паралелограма једнак збиру квадрата дужина две дијагонале. Користимо ове ознаке за странице: AB, BC, CD, DA . Али пошто у Еуклидовој геометрији паралелограм мора да има једнаке супротне странице, то јест, AB = CD и BC = DA, закон се може изразити као$$2A{B}^2+2B{C}^2=A{C}^2+B{D}^2$$Ако је паралелограм правоугаоник, две дијагонале су исте дужине, AC = BD, па$$2A{B}^2+2B{C}^2=2A{C}^2$$, а исказ се своди на Питагорину теорему . За општи четвороугао са четири стране које не морају бити једнаке,$$A{B}^2+B{C}^2+C{D}^2+D{A}^2=A{C}^2+B{D}^2+4x^2,$$где $x$ је дужина сегмента праве који спаја средине дијагонала. Из дијаграма се види да $x=0$ за паралелограм, па се општа формула поједностављује на закон паралелограма.

Доказ

У паралелограму десно, нека AD = BC = а, AB = DC = б, $\mathrm{\angle }BAD=\alpha .$ Коришћењем закона косинуса у троуглу $\mathrm{△}BAD,$ добијамо следеће:$$a^2+b^2-2ab\cos (\alpha )=B{D}^2.$$У паралелограму су суседни углови суплементни, дакле $\mathrm{\angle }ADC=180^{\circ }-\alpha .$ Коришћење закона косинуса у троуглу $\mathrm{△}ADC,$ производи:$$a^2+b^2-2ab\cos (180^{\circ }-\alpha )=A{C}^2.$$Применом тригонометријског идентитета $\cos (180^{\circ }-x)=-\cos x$ на претходни резултат доказује:$$a^2+b^2+2ab\cos (\alpha )=A{C}^2.$$Сада збир квадрата $B{D}^2+A{C}^2$ може се изразити и као:$$B{D}^2+A{C}^2=a^2+b^2-2ab\cos (\alpha )+a^2+b^2+2ab\cos (\alpha ).$$Поједностављујући овај израз, постаје:$$B{D}^2+A{C}^2=2a^2+2b^2.$$

Вектори укључени у закон паралелограма.

У нормираном простору, исказ закона паралелограма је једначина која се односи на норме :$$2\Vert x{\Vert }^2+2\Vert y{\Vert }^2=\Vert x+y{\Vert }^2+\Vert x-y{\Vert }^2\text{ for all }x,y.$$Закон паралелограма је еквивалентан наизглед слабијој изјави:$$2\Vert x{\Vert }^2+2\Vert y{\Vert }^2\le \Vert x+y{\Vert }^2+\Vert x-y{\Vert }^2\text{ for all }x,y$$јер се из ње заменом може добити обрнута неједначина $\frac{1}{2}(x+y)$ за $x,$ и $\frac{1}{2}(x-y)$ за $y,$ а затим упрошћавање. Са истим доказом, закон паралелограма је такође еквивалентан:$$\Vert x+y{\Vert }^2+\Vert x-y{\Vert }^2\le 2\Vert x{\Vert }^2+2\Vert y{\Vert }^2\text{ for all }x,y.$$У простору унутрашњег производа, норма се утврђује коришћењем унутрашњег производа :$$\Vert x{\Vert }^2=⟨x,x⟩.$$Као последица ове дефиниције, у простору унутрашњег производа, закон паралелограма је алгебарски идентитет, који се лако успоставља коришћењем особина унутрашњег производа:$$\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⟩.$$Додајући ова два израза:$$\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,$$по потреби.

Ако $x$ је ортогонално на $y,$ значење $⟨x,y⟩=0,$ и горња једначина за норму збира постаје:$$\Vert x+y{\Vert }^2=⟨x,x⟩+⟨x,y⟩+⟨y,x⟩+⟨y,y⟩=\Vert x{\Vert }^2+\Vert y{\Vert }^2,$$што је Питагорина теорема .

Нормирани векторски простори који задовољавају закон паралелограма

Већина реалних и комплексних нормираних векторских простора нема унутрашње производе, али сви нормирани векторски простори имају норме (по дефиницији). На пример, уобичајена норма за вектор $x=(x_1,x_2,\dots ,x_n)$ у реалном координатном простору ${ℝ}^n$ је нормала :$$\Vert x{\Vert }_p={(|x_1{|}^p+|x_2{|}^p+\cdots +|x_n{|}^p)}^{1/p}.$$Уз дату норму, може се проценити обе стране закона паралелограма изнад. Изванредна чињеница је да ако важи закон паралелограма, онда норма мора произаћи на уобичајен начин из неког унутрашњег производа. Конкретно, то важи за $p$ -норма ако и само ако $p=2,$ такозвана Шаблон:Em норма или Шаблон:Em норма.

За сваку норму која задовољава закон паралелограма (који мора бити нормала унутрашњег производа), унутрашњи производ који генерише норму је јединствен као последица идентитета поларизације. У стварном случају, идентитет поларизације је дат са:$$⟨x,y⟩=\frac{\Vert x+y{\Vert }^2-\Vert x-y{\Vert }^2}{4},$$или једнако од стране$$\frac{\Vert x+y{\Vert }^2-\Vert x{\Vert }^2-\Vert y{\Vert }^2}{2}\text{ or }\frac{\Vert x{\Vert }^2+\Vert y{\Vert }^2-\Vert x-y{\Vert }^2}{2}.$$У сложеном случају дат је:$$⟨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}.$$На пример, коришћењем $p$ -нормале са $p=2$ и реални вектори $x$ и $y,$ евалуација унутрашњег производа се одвија на следећи начин:$$\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}$$што је стандардни тачкасти производ два вектора.

Још један неопходан и довољан услов да постоји унутрашњи производ који индукује дату норму $\Vert \cdot \Vert$ је да норма задовољи Птоломејеву неједнакост : $$\Vert x-y\Vert \Vert z\Vert +\Vert y-z\Vert \Vert x\Vert \ge \Vert x-z\Vert \Vert y\Vert \text{ for all vectors }x,y,z.$$

Види још

• Шаблон:Annotated link

Спољашње везе

• Шаблон:MathWorld
• The Parallelogram Law Proven Simply at Dreamshire blog
• The Parallelogram Law: A Proof Without Words at cut-the-knot