Biderketa eskalarra espazio euklidear.
Matematikan, biderketa eskalarra [ 1] eragiketa aljebraiko bat da, dimentsio bereko bi bektore hartzen dituena eta zenbaki bat ematen duena. Geometria euklidearrean , biderketa eskalarra oso erabilgarria da koordenatuekin lantzeko.
Aljebraikoki, biderketa eskalarra batuketa bat da, biderkatzen diren bi bektoreetan indize bera duten elementuen arteko biderkaduraren batuketa, hain zuzen ere.
a
⋅
b
=
∑
i
=
1
n
a
i
b
i
=
a
1
b
1
+
a
2
b
2
+
⋯
+
a
n
b
n
{\displaystyle \mathbf {a} \cdot \mathbf {b} =\sum _{i=1}^{n}a_{i}b_{i}=a_{1}b_{1}+a_{2}b_{2}+\cdots +a_{n}b_{n}}
Geometrikoki bektoreen arteko angeluarekin (
θ
{\displaystyle \theta }
) erlazionatzen da:
a
⋅
b
=
|
a
|
|
b
|
cos
(
θ
)
{\displaystyle \mathbf {a} \cdot \mathbf {b} =|\mathbf {a} ||\mathbf {b} |\cos(\theta )}
non
|
a
|
{\displaystyle |\mathbf {a} |}
eta
|
b
|
{\displaystyle |\mathbf {b} |}
bektoreen luzerak diren.
Lagrangen estatua Turinen
Biderketa eskalarra biderketa bektorialarekin batera garatu zen. XVIII.mendean, Joseph-Louis Lagrange matematikari italiarrak definitu zituen bi biderketa hauek tetraedroa ikertzeko.
Ondoren, 1843an, William Rowan-ek koartenioiak sortu zituenean, biderketa eskalarra ere azaldu zuen. 40 urte geroago, Josiah Williard Gibbs-ek konturatu zen koaternioien teoria gogaikarria zela; izan ere, biderketa eskalarrak beste era batera egin behar ziren.
Momentu honetan, Gibbsen lanari esker biderketa eskalarra baliabide estandar gisa onartu zen ikerketa geometrikoetan.
Bektoreak geometrikoki deskribatzen badira, moduluaren , norabidearen eta noranzkoaren arabera, posible da biderketa eskalarra geometrikoki definitzea.
R
2
{\displaystyle \mathbb {R} ^{2}}
edo
R
3
{\displaystyle \mathbb {R} ^{3}}
espazioetan, bektoreak gezi gisa adieraz daitezke. Gezien luzera bektorearen modulua da, eta bektorearen norabidean eta noranzkoan apuntatzen dute. Bektoreak puntu beretik abiatuta irudikatzen badira, haien geziek angelu bat osatuko dute.
Biderketa eskalarra bektoreen artean puntu bat jarriz adierazten dugu.
a
⋅
b
=
|
a
|
|
b
|
cos
(
θ
)
{\displaystyle \mathbf {a} \cdot \mathbf {b} =|\mathbf {a} ||\mathbf {b} |\cos(\theta )}
a
{\displaystyle \mathbf {a} }
bektorearen proiekzioa
θ
≈
90
∘
{\displaystyle \theta \approx 90^{\circ }}
bada
a
{\displaystyle \mathbf {a} }
bektorearen proiekzioa
θ
≈
0
∘
{\displaystyle \theta \approx 0^{\circ }}
bada
Formula honen elementuak aztertzen baditugu, lehenengo biak
|
a
|
{\displaystyle |\mathbf {a} |}
eta
|
b
|
{\displaystyle |\mathbf {b} |}
dira. Hauek
a
{\displaystyle \mathbf {a} }
eta
b
{\displaystyle \mathbf {b} }
-ren moduluak dira; beraz, biderketa eskalarrak bektoreak zein luzeak diren hartzen du kontuan. Azkeneko faktorea
cos
(
θ
)
{\displaystyle \cos(\theta )}
da, non
θ
{\displaystyle \theta }
a
{\displaystyle \mathbf {a} }
eta
b
{\displaystyle \mathbf {b} }
bektoreek osatzen duten angelua den. Horrek adierazten digu biderketa eskalarrak norabidearekin zerikusia duela.
Zehazki,
θ
=
0
{\displaystyle \theta =0}
denean bi bektoreek norabide bera dute. Orduan hartzen du biderketa eskalarrak baliorik handiena,
cos
(
0
)
=
1
{\displaystyle \cos(0)=1}
baita. Oro har, bi bektoreen norabidea zenbat eta antzekoagoa izan, orduan eta handiagoa izango da haien arteko biderketa eskalarra.
θ
=
π
2
{\displaystyle \theta ={\dfrac {\pi }{2}}}
denean, bi bektoreak elkarzutak dira. Kasu honetan biderketa eskalarra 0 izango da,
cos
(
π
2
)
=
0
{\displaystyle \cos \left({\dfrac {\pi }{2}}\right)=0}
delako.
Biderketa eskalarra negatiboa izan daiteke bi bektoreek kontrako noranzkoan seinalatzen badute, hau da,
π
2
<
θ
<
3
π
2
{\displaystyle {\dfrac {\pi }{2}}<\theta <{\dfrac {3\pi }{2}}}
denean.
Biderketa eskalarra ikusteko beste modu bat da bektore batek bestearen gainean proiektatzen duen itzalean pentsatzea. Angelua txikia denean, itzala jatorritik urrun dago eta biderketa eskalarra handia da. Angelua
90
∘
{\displaystyle 90^{\circ }}
tik gertu dagoenean, berriz, proiektatzen den itzala jatorriaren ondoan dago eta biderketa txikia da.
Aurreko formula erabiliz bektore baten luzera kalkula daiteke.
a
⋅
a
=
|
a
|
|
a
|
cos
(
0
)
=
|
a
|
2
{\displaystyle \mathbf {a} \cdot \mathbf {a} =|\mathbf {a} ||\mathbf {a} |\cos(0)=|\mathbf {a} |^{2}}
Bektoreen arteko angelua ere kalkula daiteke.
θ
=
arccos
(
a
⋅
b
|
a
|
|
b
|
)
{\displaystyle \theta =\arccos \left({\frac {\mathbf {a} \cdot \mathbf {b} }{|\mathbf {a} ||\mathbf {b} |}}\right)}
Bira a ,b eta c bektoreak espazio jakin batean eta izan bedi k eskalar bat, hau da, zenbaki bat. Orduan, hurrengo propietateak betetzen dira [ 2] :
1. Trukakortasuna:
a
⋅
b
=
b
⋅
a
{\displaystyle \mathbf {a} \cdot \mathbf {b} =\mathbf {b} \cdot \mathbf {a} }
2. Banakortasuna gehieketarekiko:
a
⋅
(
b
+
c
)
=
a
⋅
b
+
a
⋅
c
{\displaystyle \mathbf {a} \cdot (\mathbf {b} +\mathbf {c} )=\mathbf {a} \cdot \mathbf {b} +\mathbf {a} \cdot \mathbf {c} }
3. Elkarkortasuna k eskalar baten biderketarekiko:
k
(
a
⋅
b
)
=
(
k
a
)
⋅
b
=
a
⋅
(
k
b
)
{\displaystyle k(\mathbf {a} \cdot \mathbf {b} )=(k\mathbf {a} )\cdot \mathbf {b} =\mathbf {a} \cdot (k\mathbf {b} )}
Biderketa eskalarra espazio bektorialetan defini daiteke. Izan bedi
E
{\displaystyle E}
R
{\displaystyle \mathbb {R} }
gaineko bektore-espazioa. Orduan,
E
{\displaystyle E}
gaineko biderketa eskalarra
f
:
E
×
E
→
R
{\displaystyle f:E\times E\rightarrow \mathbb {R} }
aplikazio bat da non
f
{\displaystyle f}
forma bilineala , simetrikoa , ez-endakatua eta positiboki definitua den [ 3] . Hau da,
f
{\displaystyle f}
-k hurrengo propietateak ditu:
f
{\displaystyle f}
'bilineala da:
f
(
α
v
1
+
β
v
2
,
w
)
=
α
f
(
v
1
,
w
)
+
β
f
(
v
2
,
w
)
,
α
,
β
∈
K
,
v
1
,
v
2
,
w
∈
E
{\displaystyle f(\alpha v_{1}+\beta v_{2},w)=\alpha f(v_{1},w)+\beta f(v_{2},w),\quad \alpha ,\beta \in K,\quad v_{1},v_{2},w\in E}
.
f
(
v
,
α
w
1
+
β
w
2
)
=
α
f
(
v
,
w
1
)
+
β
f
(
v
,
w
2
)
,
α
,
β
∈
K
,
v
1
,
v
2
,
w
∈
E
{\displaystyle f(v,\alpha w_{1}+\beta w_{2})=\alpha f(v,w_{1})+\beta f(v,w_{2}),\quad \alpha ,\beta \in K,\quad v_{1},v_{2},w\in E}
.
f
{\displaystyle f}
simetrikoa da:
f
(
v
,
w
)
=
f
(
w
,
v
)
v
,
w
∈
E
{\displaystyle f(v,w)=f(w,v)\quad v,w\in E}
.
f
{\displaystyle f}
ez-endakatua da:
f
(
v
,
w
)
=
0
,
w
∈
E
⟹
v
=
0
{\displaystyle f(v,w)=0,\quad w\in E\Longrightarrow v=0}
.
f
{\displaystyle f}
positiboki definitua da:
f
(
v
,
v
)
≥
0
,
v
∈
E
{\displaystyle f(v,v)\geq 0,\quad v\in E}
.
Izan bitez
a
{\displaystyle \mathbf {a} }
=
(
a
1
,
a
2
,
…
,
a
n
)
{\displaystyle (a_{1},a_{2},\ldots ,a_{n})}
eta
b
{\displaystyle \mathbf {b} }
=
(
b
1
,
b
2
,
…
,
b
n
)
{\displaystyle (b_{1},b_{2},\ldots ,b_{n})}
R
n
{\displaystyle \mathbb {R} ^{n}}
-ko bi bektore. Orduan, haien arteko biderkadura eskalarra honela definitzen da:
a
⋅
b
=
∑
i
=
1
n
a
i
b
i
=
a
1
b
1
+
a
2
b
2
+
⋯
a
n
b
n
.
{\displaystyle \mathbf {a} \cdot \mathbf {b} =\sum _{i=1}^{n}a_{i}b_{i}=a_{1}b_{1}+a_{2}b_{2}+\cdots a_{n}b_{n}.}
Adibidez, espazio tridimentsionalean,
[
1
,
3
,
−
5
]
{\displaystyle [1,3,-5]}
eta
[
4
,
−
2
,
−
1
]
{\displaystyle [4,-2,-1]}
bektoreen biderketa eskalarra horrela kalkulatzen da:
[
1
,
3
,
−
5
]
⋅
[
4
,
−
2
,
−
1
]
=
(
1
×
4
)
+
(
3
×
−
2
)
+
(
−
5
×
−
1
)
=
4
−
6
+
5
=
3
{\displaystyle {\begin{aligned}\ [1,3,-5]\cdot [4,-2,-1]&=(1\times 4)+(3\times -2)+(-5\times -1)\\&=4-6+5\\&=3\end{aligned}}}
Halaber,
[
1
,
3
,
−
5
]
{\displaystyle [1,3,-5]}
bektorearen luzeraren karratua honela lortzen da:
[
1
,
3
,
−
5
]
⋅
[
1
,
3
,
−
5
]
=
(
1
×
1
)
+
(
3
×
3
)
+
(
−
5
×
−
5
)
=
1
+
9
+
25
=
35
{\displaystyle {\begin{aligned}\ [1,3,-5]\cdot [1,3,-5]&=(1\times 1)+(3\times 3)+(-5\times -5)\\&=1+9+25\\&=35\end{aligned}}}
Beraz,
[
1
,
3
,
−
5
]
{\displaystyle [1,3,-5]}
-ren luzera
35
{\displaystyle {\sqrt {35}}}
da.
a
{\displaystyle \mathbf {a} }
eta
b
{\displaystyle \mathbf {b} }
bektoreak beren koordenatuen zutabe-matrizeekin identifikatzen badira, biderketa eskalarra matrizial gisa ikus daiteke:
a
⋅
b
=
a
T
b
=
(
a
1
a
2
⋯
a
n
)
(
b
1
b
2
⋮
b
n
)
{\displaystyle \mathbf {a} \cdot \mathbf {b} =\mathbf {a} ^{\mathrm {T} }\mathbf {b} ={\begin{pmatrix}a_{1}&a_{2}&\cdots &a_{n}\end{pmatrix}}{\begin{pmatrix}b_{1}\\b_{2}\\\vdots \\b_{n}\end{pmatrix}}}
non
a
T
{\displaystyle \mathbf {a} ^{\mathrm {T} }}
a
{\displaystyle \mathbf {a} }
-ren iraulia den.
Izan bitez
U
=
(
U
1
,
U
2
,
U
3
)
t
{\displaystyle \mathbf {U} =(U_{1},U_{2},U_{3})^{t}}
y
V
=
(
V
1
,
V
2
,
V
3
)
t
{\displaystyle \mathbf {V} =(V_{1},V_{2},V_{3})^{t}}
bektoreak
R
3
{\displaystyle \mathbb {R} ^{3}}
espazio euklidear tridimentsionalean.
U
{\displaystyle \mathbf {U} }
eta
V
{\displaystyle \mathbf {V} }
-ren arteko biderketa eskalarra forma matrizialean definitzen da:
U
⋅
V
=
U
t
V
=
[
U
1
U
2
U
3
]
[
V
1
V
2
V
3
]
=
U
1
V
1
+
U
2
V
2
+
U
3
V
3
{\displaystyle \mathbf {U} \cdot \mathbf {V} =U^{t}V={\begin{bmatrix}U_{1}&U_{2}&U_{3}\\\end{bmatrix}}{\begin{bmatrix}V_{1}\\V_{2}\\V_{3}\\\end{bmatrix}}=U_{1}V_{1}+U_{2}V_{2}+U_{3}V_{3}\,}
Bi bektoreak
B
=
{
e
1
,
e
2
,
e
3
}
{\displaystyle {\mathcal {B}}=\{e_{1},e_{2},e_{3}\}}
oinarri batean adierazten badira, orduan, bidekerta eskalarraren propietateak kontuan hartuta:
U
⋅
V
{\displaystyle \mathbf {U} \cdot \mathbf {V} }
=
{\displaystyle =}
(
u
1
e
1
+
u
2
e
2
+
u
3
e
3
)
⋅
(
v
1
e
1
+
v
2
e
2
+
v
3
e
3
)
{\displaystyle (u_{1}\mathbf {e} _{1}+u_{2}\mathbf {e} _{2}+u_{3}\mathbf {e} _{3})\cdot (v_{1}\mathbf {e} _{1}+v_{2}\mathbf {e} _{2}+v_{3}\mathbf {e} _{3})}
=
{\displaystyle =}
u
1
v
1
e
1
⋅
e
1
+
u
2
v
1
e
2
⋅
e
1
+
u
3
v
1
e
3
⋅
e
1
+
u
1
v
2
e
1
⋅
e
2
+
u
2
v
2
e
2
⋅
e
2
+
u
3
v
2
e
3
⋅
e
2
+
u
1
v
3
e
1
⋅
e
3
+
u
2
v
3
e
2
⋅
e
3
+
u
3
v
3
e
3
⋅
e
3
{\displaystyle {\begin{matrix}u_{1}v_{1}\mathbf {e} _{1}\cdot \mathbf {e} _{1}+u_{2}v_{1}\mathbf {e} _{2}\cdot \mathbf {e} _{1}+u_{3}v_{1}\mathbf {e} _{3}\cdot \mathbf {e} _{1}\\+u_{1}v_{2}\mathbf {e} _{1}\cdot \mathbf {e} _{2}+u_{2}v_{2}\mathbf {e} _{2}\cdot \mathbf {e} _{2}+u_{3}v_{2}\mathbf {e} _{3}\cdot \mathbf {e} _{2}\\+u_{1}v_{3}\mathbf {e} _{1}\cdot \mathbf {e} _{3}+u_{2}v_{3}\mathbf {e} _{2}\cdot \mathbf {e} _{3}+u_{3}v_{3}\mathbf {e} _{3}\cdot \mathbf {e} _{3}\end{matrix}}}
Adierazpen luze hau era matrizialean laburbil daiteke:
U
⋅
V
=
[
u
1
u
2
u
3
]
[
a
11
a
12
a
13
a
21
a
22
a
23
a
31
a
32
a
33
]
[
v
1
v
2
v
3
]
=
U
B
t
A
V
B
,
{\displaystyle \mathbf {U} \cdot \mathbf {V} ={\begin{bmatrix}u_{1}&u_{2}&u_{3}\\\end{bmatrix}}{\begin{bmatrix}a_{11}&a_{12}&a_{13}\\a_{21}&a_{22}&a_{23}\\a_{31}&a_{32}&a_{33}\\\end{bmatrix}}{\begin{bmatrix}v_{1}\\v_{2}\\v_{3}\\\end{bmatrix}}=U_{\mathcal {B}}^{t}AV_{\mathcal {B}},}
non A -ri biderketaren Gram-en matrizea deritzon. Matrize honen sarrerak oinarriaren biderketa eskalarrak dira, hau da,
a
i
j
=
e
i
⋅
e
j
{\displaystyle a_{ij}=e_{i}\cdot e_{j}}
. Oinarria ortonormala izanez gero, Gramen matrizea identitatea da.
Adierazpen hauek n dimentsioko espazioetara orokortu ahal dira. U eta V
R
n
{\displaystyle \mathbb {R} ^{n}}
-en bi bektore baldin badira, orduan:
U
⋅
V
=
U
1
V
1
+
U
2
V
2
+
.
.
.
+
U
n
V
n
.
{\displaystyle \mathbf {U} \cdot \mathbf {V} =U_{1}V_{1}+U_{2}V_{2}+...+U_{n}V_{n}\ .}
Era berean,
B
=
{
e
1
,
e
2
,
.
.
.
,
e
n
}
{\displaystyle {\mathcal {B}}=\{e_{1},e_{2},...,e_{n}\}}
oinarri batean bi bektoreen koordenatuekin lan daiteke, ondorioz, biderketa eskalarra honela idazten da:
U
⋅
V
=
U
B
t
A
V
B
,
{\displaystyle \mathbf {U} \cdot \mathbf {V} =U_{\mathcal {B}}^{t}\ A\ V_{\mathcal {B}},}
non Gramem A matrizea n x n ordena duen.
Hurrengo zerrendan espazio normatuetan erabiltzen diren biderketa eskalar ohikoenak zerrendatzen dira. Espazioaren arabera, biderketa eskalar desberdinak definitzen dira, espazioetako elementuak desberdinak baitira. Biderketa eskalar hauek kanonikotzat hartzen dira. Hala ere, espazio bakoitzean biderketa eskalar bat baino gehiago defini daiteke.
R
n
{\displaystyle \mathbb {R} ^{n}}
-en arrunta da biderketa eskalar honekin lantzea:
a
⋅
b
=
(
a
1
,
a
2
,
a
3
,
.
.
.
,
a
n
)
⋅
(
b
1
,
b
2
,
b
3
,
.
.
.
,
b
n
)
=
a
1
b
1
+
a
2
b
2
+
.
.
.
a
n
b
n
=
∑
a
i
⋅
b
i
{\displaystyle \mathbf {a} \cdot \mathbf {b} =(a_{1},a_{2},a_{3},...,a_{n})\cdot (b_{1},b_{2},b_{3},...,b_{n})=a_{1}b_{1}+a_{2}b_{2}+...a_{n}b_{n}=\sum a_{i}\cdot b_{i}}
C
n
{\displaystyle \mathbb {C} ^{n}}
-en biderketa eskalar ohikoena hau da:
a
⋅
b
=
(
a
1
,
a
2
,
a
3
,
.
.
.
,
a
n
)
⋅
(
b
1
,
b
2
,
b
3
,
.
.
.
,
b
n
)
=
a
1
b
1
¯
+
a
2
b
2
¯
+
.
.
.
a
n
⋅
b
n
¯
=
∑
a
i
⋅
b
i
¯
{\displaystyle \mathbf {a} \cdot \mathbf {b} =(a_{1},a_{2},a_{3},...,a_{n})\cdot (b_{1},b_{2},b_{3},...,b_{n})=a_{1}{\overline {b_{1}}}+a_{2}{\overline {b_{2}}}+...a_{n}\cdot {\overline {b_{n}}}=\sum a_{i}\cdot {\overline {b_{i}}}}
non
b
i
¯
{\displaystyle {\overline {b_{i}}}}
elementua
b
i
{\displaystyle b_{i}}
-ren konjugatua den.
Matrize-espazioetan ere defini daitezke, adibidez, m x n dimentsiodun matrize errealetan biderketa eskalar hau definitzen da:
A
⋅
B
=
tr
(
A
T
⋅
B
)
{\displaystyle \mathbf {A} \cdot \mathbf {B} =\operatorname {tr} (A^{T}\cdot B)}
non
t
r
(
A
)
{\displaystyle tr(A)}
A
{\displaystyle A}
matrizearen aztarna den eta
A
T
A
{\displaystyle A^{T}A}
matrizearen iraulia .
f
⋅
g
=
∫
a
b
f
(
x
)
g
(
x
)
¯
d
x
{\displaystyle \mathbf {f} \cdot \mathbf {g} =\int _{a}^{b}f(x){\overline {g(x)}}\mathrm {d} x}
non
g
(
x
)
¯
{\displaystyle {\overline {g(x)}}}
funtzioa
g
(
x
)
{\displaystyle g(x)}
-ren konjugatua den.
n edo gradu gutxiagoko polinomioen espazio bektorialean:
Izan bedi
[
x
1
,
x
2
,
x
3
,
.
.
.
,
x
n
,
x
n
+
1
]
⊆
R
{\displaystyle \textstyle [x_{1},x_{2},x_{3},...,x_{n},x_{n+1}]\subseteq \mathbb {R} }
, non elementuak ordenatuta dauden, hau da,
x
1
<
x
2
<
x
3
<
.
.
.
<
x
n
<
x
n
+
1
{\displaystyle \textstyle x_{1}<x_{2}<x_{3}<...<x_{n}<x_{n+1}\,}
:
p
⋅
q
=
p
(
x
1
)
q
(
x
1
)
+
p
(
x
2
)
q
(
x
2
)
+
.
.
.
+
p
(
x
n
)
q
(
x
n
)
+
p
(
x
n
+
1
)
q
(
x
n
+
1
)
=
∑
p
(
x
i
)
⋅
q
(
x
i
)
{\displaystyle \mathbf {p} \cdot \mathbf {q} =p(x_{1})q(x_{1})+p(x_{2})q(x_{2})+...+p(x_{n})q(x_{n})+p(x_{n+1})q(x_{n+1})=\sum p(x_{i})\cdot q(x_{i})}
Biderketa hirukoitza espazioan
Biderketa eskalarrak bektoreen arteko biderketa hirukoitza definitzeko balio du, biderketa bektorialarekin batera.
Eragiketa honi biderketa hirukoitza esaten zaio:
a
⋅
(
b
×
c
)
=
b
⋅
(
c
×
a
)
=
c
⋅
(
a
×
b
)
.
{\displaystyle \mathbf {a} \cdot (\mathbf {b} \times \mathbf {c} )=\mathbf {b} \cdot (\mathbf {c} \times \mathbf {a} )=\mathbf {c} \cdot (\mathbf {a} \times \mathbf {b} ).}
Honen balioa determinante bat da [ 4]
, hiru bektoreen koordenatuek osatzen duten matrizearen determinantea, alegia. Horrez gain, hiru bektoreek definitzen duten paralelepipedoaren bolumena da. Oso lagungarria da, batez ere Fisikan, kalkuluak errazteko.
a eta b bektoreez eta
θ
{\displaystyle \theta }
angeluaz definitutako triangelua.
Izan bitez bi bektore
a
{\displaystyle {\color {red}\mathbf {a} }}
eta
b
{\displaystyle {\color {blue}\mathbf {b} }}
, haien artean
θ
{\displaystyle \theta }
angelua osatzen dutenak. Horrela
c
=
a
−
b
{\displaystyle {\color {orange}\mathbf {c} }={\color {red}\mathbf {a} }-{\color {blue}\mathbf {b} }}
bektorearekin triangelu bat osatzen dute. Halaber,
A
{\displaystyle {\color {red}A}}
,
B
{\displaystyle {\color {blue}B}}
eta
C
{\displaystyle {\color {orange}C}}
balioak
a
{\displaystyle {\color {red}\mathbf {a} }}
,
b
{\displaystyle {\color {blue}\mathbf {b} }}
, eta
c
{\displaystyle {\color {orange}\mathbf {c} }}
bektoreen luzerak baldin badira, hurrenez hurren. Orduan, azken bektore honen luzera kalkulatu [ 5]
c
⋅
c
=
(
a
−
b
)
⋅
(
a
−
b
)
=
a
⋅
a
−
a
⋅
b
−
b
⋅
a
+
b
⋅
b
=
A
2
−
a
⋅
b
−
a
⋅
b
+
B
2
=
A
2
−
2
a
⋅
b
+
B
2
C
2
=
A
2
+
B
2
−
2
A
B
cos
θ
{\displaystyle {\begin{aligned}\mathbf {\color {orange}c} \cdot \mathbf {\color {orange}c} &=(\mathbf {\color {red}a} -\mathbf {\color {blue}b} )\cdot (\mathbf {\color {red}a} -\mathbf {\color {blue}b} )\\&=\mathbf {\color {red}a} \cdot \mathbf {\color {red}a} -\mathbf {\color {red}a} \cdot \mathbf {\color {blue}b} -\mathbf {\color {blue}b} \cdot \mathbf {\color {red}a} +\mathbf {\color {blue}b} \cdot \mathbf {\color {blue}b} \\&={\color {red}A}^{2}-\mathbf {\color {red}a} \cdot \mathbf {\color {blue}b} -\mathbf {\color {red}a} \cdot \mathbf {\color {blue}b} +{\color {blue}B}^{2}\\&={\color {red}A}^{2}-2\mathbf {\color {red}a} \cdot \mathbf {\color {blue}b} +{\color {blue}B}^{2}\\{\color {orange}C}^{2}&={\color {red}A}^{2}+{\color {blue}B}^{2}-2{\color {red}A}{\color {blue}B}\cos \mathbf {\color {purple}\theta } \\\end{aligned}}}
eta kosinuaren teorema lortzen da.
(Ingelesez) Serway, Raymond A.. (2004). Physics for Scientists and Engineers. Brooks/Cole ISBN 0-534-40842-7 . .
(Gaztelaniaz) Física para la ciencia y la tecnología (2 volúmenes). Barcelona: Ed. Reverté ISBN 84-291-4382-3 . .
↑ "Dot Product". www.mathsisfun.com
↑ Nykamp, Duane. "The dot product". Math Insight. Retrieved September 6, 2020.
↑ Txomin Ramirez, M. Asun García. Espazio Euklidearrak (2015). OCW Proiektua.[1]
↑ J. Heading (1970). Mathematical Methods in Science and Engineering. American Elsevier Publishing Company, Inc. pp. 262–263.
↑ Heath, Thomas Little. (1921). A history of Greek mathematics,. The Clarendon Press PMC 2014918 . .