Co oznata zapis w tożsamości Lagrange'a

[DareMo]

Mam wykazać to tożsamości Lagrange'a:
\(\displaystyle{ (\vec{x} \circ \vec{y} ) ^{2} + \left| \left| \vec{x} \times \vec{y} \right| \right| ^{2} = \left| \left| \vec{x} \right| \right| ^{2} \cdot \left| \left| \vec{y} \right| \right| ^{2}}\)

dla dowolnego \(\displaystyle{ \vec{x} , \vec{y} \in R ^{3}}\)


Mój problem polega na tym, że nie wiem co oznacza zapis: \(\displaystyle{ \left| \left| \vec{x} \right| \right|}\)

Z góry dziękuję za wyjaśnienie.

[AiDi]

Norma (długość) wektora.

[DareMo]

Aha, czyli to po prostu jest równe: \(\displaystyle{ \sqrt{x _{1} ^{2} + x _{2} ^{2} + x _{3} ^{2} }}\)
Wielkie dzięki.