- Source: Hukum jajaran genjang
Dalam matematika, bentuk paling sederhana dari Hukum jajaran genjang (juga disebut Identitas jajaran genjang) termasuk dalam geometri dasar. Ini menyatakan bahwa jumlah kuadrat dari panjang keempat sisi jajaran genjang sama dengan jumlah kuadrat dari panjang dua diagonal. Menggunakan notasi pada diagram di sebelah kanan, sisi-sisinya adalah (AB), (BC), (CD), (DA). Tapi karena dalam geometri Euclidean sebuah jajaran genjang harus memiliki sisi yang berlawanan sama, yaitu (AB) = (CD) dan (BC) = (DA), hukum dapat dinyatakan sebagai
2
(
A
B
)
2
+
2
(
B
C
)
2
=
(
A
C
)
2
+
(
B
D
)
2
{\displaystyle 2(AB)^{2}+2(BC)^{2}=(AC)^{2}+(BD)^{2}\,}
Jika jajaran genjang adalah persegi panjang, kedua diagonal memiliki panjang yang sama (AC) = (BD), so
2
(
A
B
)
2
+
2
(
B
C
)
2
=
2
(
A
C
)
2
{\displaystyle 2(AB)^{2}+2(BC)^{2}=2(AC)^{2}\,}
dan pernyataan tersebut direduksi menjadi Teorema Pythagoras. Untuk umum segiempat dengan empat sisi belum tentu sama,
(
A
B
)
2
+
(
B
C
)
2
+
(
C
D
)
2
+
(
D
A
)
2
=
(
A
C
)
2
+
(
B
D
)
2
+
4
x
2
,
{\displaystyle (AB)^{2}+(BC)^{2}+(CD)^{2}+(DA)^{2}=(AC)^{2}+(BD)^{2}+4x^{2},}
di mana x adalah panjang dari ruas garis yang menghubungkan titik tengah diagonal. Dapat dilihat dari diagram bahwa x = 0 untuk jajaran genjang, dan rumus umumnya disederhanakan menjadi hukum jajaran genjang.
Bukti
Di jajaran genjang di sebelah kiri, misalkan AD=BC=a, AB=DC=b, ∠BAD = α. Dengan menggunakan hukum kosinus dalam segitiga ΔBAD, kita mendapatkan:
a
2
+
b
2
−
2
a
b
cos
(
α
)
=
B
D
2
{\displaystyle a^{2}+b^{2}-2ab\cos(\alpha )=BD^{2}}
Dalam jajaran genjang, sudut damping adalah suplemen, oleh karena itu ∠ADC=180°- α. Dengan menggunakan hukum kosinus dalam segitiga ΔADC, kita mendapatkan:
a
2
+
b
2
−
2
a
b
cos
(
180
∘
−
α
)
=
A
C
2
{\displaystyle a^{2}+b^{2}-2ab\cos(180^{\circ }-\alpha )=AC^{2}}
Dengan menerapkan identitas trigonometri
cos
(
180
∘
−
x
)
=
−
cos
x
{\displaystyle \cos(180^{\circ }-x)=-\cos x}
untuk hasil sebelumnya, kita mendapatkan:
a
2
+
b
2
+
2
a
b
cos
(
α
)
=
A
C
2
{\displaystyle a^{2}+b^{2}+2ab\cos(\alpha )=AC^{2}}
Sekarang jumlah kuadrat
B
D
2
+
A
C
2
{\displaystyle BD^{2}+AC^{2}}
dapat dinyatakan sebagai:
B
D
2
+
A
C
2
=
a
2
+
b
2
−
2
a
b
cos
(
α
)
+
a
2
+
b
2
+
2
a
b
cos
(
α
)
{\displaystyle BD^{2}+AC^{2}=a^{2}+b^{2}-2ab\cos(\alpha )+a^{2}+b^{2}+2ab\cos(\alpha )}
Setelah menyederhanakan ekspresi ini, kita mendapatkan:
B
D
2
+
A
C
2
=
2
a
2
+
2
b
2
{\displaystyle BD^{2}+AC^{2}=2a^{2}+2b^{2}}
Hukum jajaran genjang di ruang hasil kali dalam
Dalam sebuah ruang bernorma, pernyataan hukum jajaran genjang adalah persamaan yang berhubungan norma:
2
‖
x
‖
2
+
2
‖
y
‖
2
=
‖
x
+
y
‖
2
+
‖
x
−
y
‖
2
.
{\displaystyle 2\|x\|^{2}+2\|y\|^{2}=\|x+y\|^{2}+\|x-y\|^{2}.\,}
Dalam ruang darab dalam, normanya ditentukan menggunakan darab dalam:
‖
x
‖
2
=
⟨
x
,
x
⟩
.
{\displaystyle \|x\|^{2}=\langle x,x\rangle .\,}
Sebagai konsekuensi dari definisi ini, dalam ruang hasil kali dalam, hukum jajaran genjang adalah identitas aljabar, yang siap dibuat menggunakan properti hasil kali dalam:
‖
x
+
y
‖
2
=
⟨
x
+
y
,
x
+
y
⟩
=
⟨
x
,
x
⟩
+
⟨
x
,
y
⟩
+
⟨
y
,
x
⟩
+
⟨
y
,
y
⟩
,
{\displaystyle \|x+y\|^{2}=\langle x+y,x+y\rangle =\langle x,x\rangle +\langle x,y\rangle +\langle y,x\rangle +\langle y,y\rangle ,\,}
‖
x
−
y
‖
2
=
⟨
x
−
y
,
x
−
y
⟩
=
⟨
x
,
x
⟩
−
⟨
x
,
y
⟩
−
⟨
y
,
x
⟩
+
⟨
y
,
y
⟩
.
{\displaystyle \|x-y\|^{2}=\langle x-y,x-y\rangle =\langle x,x\rangle -\langle x,y\rangle -\langle y,x\rangle +\langle y,y\rangle .\,}
Menambahkan dua ekspresi ini:
‖
x
+
y
‖
2
+
‖
x
−
y
‖
2
=
2
⟨
x
,
x
⟩
+
2
⟨
y
,
y
⟩
=
2
‖
x
‖
2
+
2
‖
y
‖
2
,
{\displaystyle \|x+y\|^{2}+\|x-y\|^{2}=2\langle x,x\rangle +2\langle y,y\rangle =2\|x\|^{2}+2\|y\|^{2},\,}
seperti yang dipersyaratkan.
Jika x ortogonal dengan y , maka
⟨
x
,
y
⟩
=
0
{\displaystyle \langle x,\ y\rangle =0}
dan persamaan di atas untuk norma penjumlahan menjadi:
‖
x
+
y
‖
2
=
⟨
x
,
x
⟩
+
⟨
x
,
y
⟩
+
⟨
y
,
x
⟩
+
⟨
y
,
y
⟩
=
‖
x
‖
2
+
‖
y
‖
2
,
{\displaystyle \|x+y\|^{2}=\langle x,x\rangle +\langle x,y\rangle +\langle y,x\rangle +\langle y,y\rangle =\|x\|^{2}+\|y\|^{2},}
yang merupakan Teorema Pythagoras.
Ruang vektor bernorma memenuhi hukum jajaran genjang
Sebagian besar nyata dan kompleks ruang vektor bernorma tidak memiliki hasil kali dalam, tetapi semua ruang vektor bernorma memiliki norma (menurut definisi). Misalnya, norma yang umum digunakan adalah p - norm:
‖
x
‖
p
=
(
∑
i
=
1
n
|
x
i
|
p
)
1
p
,
{\displaystyle \|x\|_{p}=\left(\sum _{i=1}^{n}|x_{i}|^{p}\right)^{\frac {1}{p}},}
dimana
x
i
{\displaystyle x_{i}}
adalah komponen vektor
x
{\displaystyle x}
.
Dengan adanya norma, orang dapat mengevaluasi kedua sisi hukum jajaran genjang di atas. Fakta yang luar biasa adalah jika hukum jajaran genjang berlaku.
Untuk setiap norma yang memenuhi hukum jajaran genjang (yang tentunya merupakan norma hasilkali dalam), hasilkali-dalam yang menghasilkan norma tersebut unik sebagai konsekuensi dari identitas polarisasi. Dalam kasus nyata, identitas polarisasi diberikan oleh:
⟨
x
,
y
⟩
=
‖
x
+
y
‖
2
−
‖
x
−
y
‖
2
4
,
{\displaystyle \langle x,y\rangle ={\frac {\|x+y\|^{2}-\|x-y\|^{2}}{4}},}
atau setara dengan
‖
x
+
y
‖
2
−
‖
x
‖
2
−
‖
y
‖
2
2
{\displaystyle {\frac {\|x+y\|^{2}-\|x\|^{2}-\|y\|^{2}}{2}}\ }
or
‖
x
‖
2
+
‖
y
‖
2
−
‖
x
−
y
‖
2
2
.
{\displaystyle \ {\frac {\|x\|^{2}+\|y\|^{2}-\|x-y\|^{2}}{2}}.}
Dalam kasus kompleks ini diberikan oleh:
⟨
x
,
y
⟩
=
‖
x
+
y
‖
2
−
‖
x
−
y
‖
2
4
+
i
‖
i
x
−
y
‖
2
−
‖
i
x
+
y
‖
2
4
.
{\displaystyle \langle x,y\rangle ={\frac {\|x+y\|^{2}-\|x-y\|^{2}}{4}}+i{\frac {\|ix-y\|^{2}-\|ix+y\|^{2}}{4}}.}
Misalnya, menggunakan p - norm dengan p = 2 dan vektor nyata
x
{\displaystyle x}
dan
y
{\displaystyle y}
, evaluasi hasil perkalian dalam dilanjutkan sebagai berikut :
⟨
x
,
y
⟩
=
‖
x
+
y
‖
2
−
‖
x
−
y
‖
2
4
=
1
4
[
∑
|
x
i
+
y
i
|
2
−
∑
|
x
i
−
y
i
|
2
]
=
1
4
[
4
∑
x
i
y
i
]
=
x
⋅
y
,
{\displaystyle {\begin{aligned}\langle x,y\rangle &={\frac {\|x+y\|^{2}-\|x-y\|^{2}}{4}}\\&={\tfrac {1}{4}}\left[\sum |x_{i}+y_{i}|^{2}-\sum |x_{i}-y_{i}|^{2}\right]\\&={\tfrac {1}{4}}\left[4\sum x_{i}y_{i}\right]\\&=x\cdot y,\end{aligned}}}
yang merupakan standar perkalian titik dari dua vektor.
Lihat pula
François Daviet
Properti komutatif
Ruang hasil dalam
Ruang vektor bernorma
Identitas polarisasi
Referensi
Pranala luar
(Inggris) Weisstein, Eric W. "Parallelogram Law". MathWorld.
The Parallelogram Law Proven Simply at Dreamshire blog
The Parallelogram Law: A Proof Without Words at cut-the-knot
Templat:Matematika Yunani kuno
Kata Kunci Pencarian:
- Hukum jajaran genjang
- Teorema Apollonius
- Garis besar geometri
- Gaya (fisika)
- Pangkat dua
- Teorema Pythagoras
- Daftar topik analisis fungsional
- Ruang Banach
- Daftar hal-hal yang dinamai dari Leonhard Euler
- Ruang Hilbert
