Márcio Katsumi Yamashita

Algumas Identidades Vetoriais.

~ = Vx~i + Vy~j + Vz~k

V ~ = ∂ ~i + ∂ ~j + ∂ ~k
∇ Ψ = Ψ (x, y, z) Φ = Φ (x, y, z)
∂x ∂y ∂z

F~ = Fx~i + Fy~j + Fz~k ~ = Gx~i + Gy~j + Vz~k

G

~ ∇Ψ
1. ∇. ~ = ∇2 Ψ

~ = ∂Ψ~i + ∂Ψ~j + ∂Ψ ~k
∇Ψ
∂x ∂y ∂z
 
~ ∂Ψ~ ∂Ψ~ ∂Ψ ~
∇. i+ j+ k
∂x ∂y ∂z

∂2Ψ ∂2Ψ ∂2Ψ

+ +
∂x2 ∂y 2 ∂z 2

⇒ ∇2 Ψ c.q.d.

 
~ ∇
2. ∇. ~ ×V
~ =0

     
~ ×V
~ = ∂Vz ∂Vy ~ ∂Vx ∂Vz ~ ∂Vy ∂Vx ~
∇ − i+ − j+ − k
∂y ∂z ∂z ∂x ∂x ∂y

2 2 2 2 2 2
~ = ∂ Vz − ∂ Vy + ∂ Vx − ∂ Vz + ∂ Vy − ∂ Vx
 
~ ∇
∇. ~ ×V
∂x∂y ∂x∂z ∂y∂z ∂y∂x ∂z∂x ∂z∂y

 
~ ∇
⇒ ∇. ~ ×V
~ = 0 c.q.d.

 
~ × ∇Ψ
3. ∇ ~ =0

~ = ∂Ψ~i + ∂Ψ~j + ∂Ψ ~k
∇Ψ
∂x ∂y ∂z

   ∂2Ψ ∂2Ψ ~
  2
∂ Ψ ∂2Ψ ~
  2
∂ Ψ ∂2Ψ ~

~ × ∇Ψ
∇ ~ = − i+ − j+ − k
∂y∂z ∂z∂y ∂z∂x ∂x∂z ∂x∂y ∂y∂x

 
~ × ∇Ψ
⇒∇ ~ = 0 c.q.d.

   
~ × ∇
4. ∇ ~ ×V
~ =∇~ ∇.
~ V
~ − ∇2 V
~

     
~ ×V
~ = ∂Vz ∂Vy ~ ∂Vx ∂Vz ~ ∂Vy ∂Vx ~
∇ − i+ − j+ − k
∂y ∂z ∂z ∂x ∂x ∂y
    ∂2V ∂ 2 Vx ∂ 2 Vx ∂ 2 Vz ~
  2
∂ Vz ∂ 2 Vy ∂ 2 Vy ∂ 2 Vx ~

~ ~ ~ y
∇× ∇×V = − − + i+ − − + j+
 2 ∂y∂x ∂y 2  ∂z 2 ∂z∂x ∂z∂y ∂z 2 ∂x2 ∂x∂y
2 2 2
∂ Vx ∂ Vz ∂ Vz ∂ Vy ~
− 2
− 2
+ k
∂x∂z ∂x ∂y ∂y∂z

Somando
 2 e Subtraindo os termos  2entre  colchetes
 2  temos:
∂ 2 Vx ∂ 2 Vx ∂ 2 Vz
 2
∂ 2 Vy ∂ 2 Vy ∂ 2 Vx
 2   2 
∂ Vy ∂ Vx ∂ Vx ~ ∂ Vz ∂ Vy ∂ Vy ~j+
− 2
− 2
+ + 2
− 2
i+ − 2
− 2
+ + 2
−
∂y∂x
 2 ∂y ∂z ∂z∂x ∂x ∂x ∂z∂y ∂z ∂x ∂x∂y ∂y ∂y 2
∂ 2 Vz ∂ 2 Vz ∂ 2 Vy ∂ 2 Vz ∂ 2 Vz
   
∂ Vx ~k
− − + + −
∂x∂z ∂x2 ∂y 2 ∂y∂z ∂z 2 ∂z 2

Identificando ~:
∇2 V
 2
∂ 2 Vz ∂ 2 Vx ~
 2
∂ 2 Vx ∂ 2 Vy ~
 2
∂ 2 Vy ∂ 2 Vz ~
  
∂ Vy ∂ Vz ∂ Vx ~
+ + i + + + j + + + k − ∇2 V
∂y∂x ∂z∂x ∂x2 ∂z∂y ∂x∂y ∂y 2 ∂x∂z ∂y∂z ∂z 2

 
~ ∇.
Identificando ∇ ~ V
~ :
     
∂ ∂Vx ∂Vy ∂Vz ~ ∂ ∂Vx ∂Vy ∂Vz ~ ∂ ∂Vx ∂Vy ∂Vz ~ ~
+ + i+ + + j+ + + k − ∇2 V
∂x ∂x ∂y ∂z ∂y ∂x ∂y ∂z ∂z ∂x ∂y ∂z

 
~ ∇.
⇒∇ ~ V
~ − ∇2 V
~ c.q.d.

   
~ (ΦΨ) = ∇.Φ
5. ∇. ~ ~
Ψ + Φ ∇.Ψ

 
~ (ΦΨ) = ∂~ ∂ ∂~
∇. i + ~j + k . (ΦΨ)
∂x ∂y ∂z

∂ΦΨ~ ∂ΦΨ~ ∂ΦΨ ~

i+ j+ k
∂x ∂y ∂z

Abrindo
 a derivada
 do produto:   
∂Φ ∂Ψ ~ ∂Φ ∂Ψ ~ ∂Φ ∂Ψ ~
Ψ+Φ i+ Ψ+Φ j+ Ψ+Φ k
∂x ∂x ∂y ∂y ∂z ∂z

∂Φ ~ ∂Φ ~ ∂Φ ~ ∂Ψ ∂Ψ~ ∂Ψ ~
Ψi + Ψj + Ψk + Φ ~i + Φ j+Φ k
∂x ∂y ∂z ∂x ∂y ∂z
   
∂Φ~ ∂Φ~ ∂Φ ~ ∂Ψ~ ∂Ψ~ ∂Ψ ~
i+ j+ k Ψ+Φ i+ j+ k
∂x ∂y ∂z ∂x ∂y ∂z

   
~
⇒ ∇.Φ ~
Ψ + Φ ∇.Ψ c.q.d.

         
~ F~ .G
6. ∇ ~ = F~ .∇
~ G ~ + F~ × ∇~ ×G
~ + G.
~ ∇
~ F~ + G
~× ∇~ × F~

   ∂ ∂~ ∂~

~ ~ ~
∇ F .G = ~
i+ j+ k (Fx Gx + Fy Gy + Fz Gz )
∂x ∂y ∂z
     
∂Fx Gx ∂Fy Gy ∂Fz Gz ~ ∂Fx Gx ∂Fy Gy ∂Fz Gz ~ ∂Fx Gx ∂Fy Gy ∂Fz Gz ~
+ + i+ + + j+ + + k
∂x ∂x ∂x ∂y ∂y ∂y ∂z ∂z ∂z

2
 Abrindo
 a derivada do produto, Somando e Subtraindo  os termos entre colchetes temos:
∂Fx ∂Gx ∂Fy ∂Gy ∂Fz ∂Gz ~
Gx + Fx + Gy + Fy + Gz + Fz i+
 ∂x ∂x ∂x ∂x ∂x ∂x 
∂Fx ∂Gx ∂Fy ∂Gy ∂Fz ∂Gz ~
Gx + Fx + Gy + Fy + Gz + Fz j+
 ∂y ∂y ∂y ∂y ∂y ∂y 
∂Fx ∂Gx ∂Fy ∂Gy ∂Fz ∂Gz ~
Gx + Fx + Gy + Fy + Gz + Fz k+
 ∂z ∂z  ∂z  ∂z ∂z
  ∂z  
∂Gx ∂Gx ~ ∂Gy ∂Gy ~ ∂Gz ∂Gz ~
Fy + Fz i + Fx + Fz j + Fx + Fy k −
 ∂y ∂z   ∂x ∂z   ∂x ∂y  
∂Gx ∂Gx ~ ∂Gy ∂Gy ~ ∂Gz ∂Gz ~
Fy + Fz i + Fx + Fz j + Fx + Fy k
∂y ∂z ∂x ∂z ∂x ∂y

 
Identificando F~ .∇ ~ G: ~
 
~ + ∂Fx Gx + ∂Fy Gy + Fy ∂Gy + ∂Fz Gz + Fz ∂Gz ~i +
 
F~ ∇
~ G
 ∂x ∂x ∂x ∂x  ∂x
∂Fx ∂Gx ∂Fy ∂Fz ∂Gz ~
Gx + Fx + Gy + Gz + Fz j+
 ∂y ∂y ∂y ∂y ∂y 
∂Fx ∂Gx ∂Fy ∂Gy ∂Fz
Gx + Fx + Gy + Fy + Gz ~k −
 ∂z ∂z  ∂z  ∂z ∂z   
∂Gx ∂Gx ~ ∂Gy ∂Gy ~ ∂Gz ∂Gz ~
Fy + Fz i + Fx + Fz j + Fx + Fy k
∂y ∂z ∂x ∂z ∂x ∂y

 
Identificando F~ × ∇ ~ ×G ~ :
   
F~ ∇
~ G ~ + F~ × ∇ ~ ×G ~ +
     
∂Fx ∂Fy ∂Fz ∂Fx ∂Fy ∂Fz ∂Fx ∂Fy ∂Fz
Gx + Gy + Gz ~i + Gx + Gy + Gz ~j + Gx + Gy + Gz ~k
∂x ∂x ∂x ∂y ∂y ∂y ∂z ∂z ∂z

Somando e Subtraindo os termos entre colchetes temos:

   
F~ ∇
~ G ~ + F~ × ∇ ~ ×G~ +
     
∂Fx ∂Fy ∂Fz ∂Fx ∂Fy ∂Fz ∂Fx ∂Fy ∂Fz
Gx + Gy + ~
Gz i + Gx + Gy + ~
Gz j + Gx + Gy + Gz ~k +
 ∂x ∂x  ∂x  ∂y  ∂y  ∂y  ∂z ∂z ∂z
∂Fx ∂Fx ~ ∂Fy ∂Fy ~ ∂Fz ∂Fz ~
Gy + Gz i + Gx + Gz j + Gx + Gy k −
 ∂y ∂z   ∂x ∂z   ∂x ∂y  
∂Fx ∂Fx ~ ∂Fy ∂Fy ~ ∂Fz ∂Fz ~
Gy + Gz i + Gx + Gz j + Gx + Gy k
∂y ∂z ∂x ∂z ∂x ∂y

 
Identificando G. ~ ∇~ F~ :
     
F~ ∇
~ G ~ + F~ × ∇ ~ ×G ~ + G. ~ ∇~ F~ +
     
∂Fy ∂Fz ∂Fx ∂Fz ∂Fx ∂Fy
Gy + ~
Gz i + Gx + ~
Gz j + Gx + Gy ~k +
∂x ∂x  ∂y ∂y  ∂z ∂z  
∂Fx ∂Fx ~ ∂Fy ∂Fy ~ ∂Fz ∂Fz ~
Gy + Gz i + Gx + Gz j + Gx + Gy k
∂y ∂z ∂x ∂z ∂x ∂y

 
Identificando G ~× ∇ ~ × F~ :
       
⇒ F~ ∇~ G ~ + F~ × ∇~ ×G~ + G.~ ∇
~ F~ + G
~× ∇~ × F~ c.q.d.

     
~ ΨV
7. ∇. ~ = Ψ ∇.
~ V
~ +V~ . ∇Ψ
~

~ = ΨVx~i + ΨVy~j + ΨVz~k

ΨV

3
    
~ = ∂ ~i + ∂ ~j + ∂ ~k . ΨVx~i + ΨVy~j + ΨVz~k
 
~ ΨV
∇.
∂x ∂y ∂z

∂ΨVx ∂ΨVy ∂ΨVz

+ +
∂x ∂y ∂z

∂Ψ ∂Vx ∂Ψ ∂Vy ∂Ψ ∂Vz

Vx +Ψ + Vy +Ψ + Vz +Ψ
∂x ∂x ∂y ∂y ∂z ∂z
~ + Vx ∂Ψ + Vy ∂Ψ + Vz ∂Ψ
 
~ V
Ψ ∇.
∂x ∂y ∂z

~ V
 ∂Ψ
~ + Vx ~i.~i + Vy ∂Ψ ~j.~j + Vz ∂Ψ ~k.~k
Ψ ∇.
∂x ∂y ∂z
   
⇒ Ψ ∇.~ V
~ +V ~ . ∇Ψ
~ c.q.d.

     
~ F~ × G
8. ∇. ~ = ∇~ × F~ .G
~− ∇~ ×G
~ .F~

~ = (Fy Gz − Fz Gy )~i + (Fz Gx − Fx Gz ) ~j + (Fx Gy − Fy Gx ) ~k

F~ × G

~ = ∂ (Fy Gz − Fz Gy ) + ∂ (Fz Gx − Fx Gz ) + ∂ (Fx Gy − Fy Gx )

 
~ F~ × G
∇.
∂x ∂y ∂z

Abrindo a derivada do produto temos:

∂Fy ∂Gz ∂Fz ∂Gy ∂Fz ∂Gx ∂Fx ∂Gz ∂Fx ∂Gy ∂Fy
Gz + Fy − Gy − Fz + Gx + Fz − Gz − Fx + Gy + Fx − Gx −
∂x ∂x ∂x ∂x ∂y ∂y ∂y ∂y ∂z ∂z ∂z
∂Gx
Fy
∂z

Organizando:
         
∂Gy ∂Gz ∂Gz ∂Gx ∂Gx ∂Gy ∂Fz ∂Fy ∂Fx ∂Fz
Fx − + Fy − + Fz − + Gx − + Gy − +
 ∂z ∂y  ∂x ∂z ∂y ∂x ∂y ∂z ∂z ∂x
∂Fy ∂Fx
Gz −
∂x ∂y

 
Identificando ∇ ~ × F~ .G:~
     

~ ~

~ ∂Gy ∂Gz ∂Gz ∂Gx ∂Gx ∂Gy
∇ × F . G + Fx − + Fy − + Fz −
∂z ∂y ∂x ∂z ∂y ∂x

 
Identificando ∇ ~ ×G ~ .F~ :
   
⇒ ∇ ~ × F~ .G
~− ∇ ~ ×G~ .F~ c.q.d.

     
~ × ΨV
9. ∇ ~ = ∇Ψ~ ~ +Ψ ∇
×V ~ ×V
~

~ = ΨVx~i + ΨVy~j + ΨVz~k

ΨV

      
~ = ∂ΨVz − ∂ΨVy ~i + ∂ΨVx − ∂ΨVz ~j + ∂ΨVy − ∂ΨVx ~k

~ × ΨV
∇
∂y ∂z ∂z ∂x ∂x ∂y

4
 Abrindo
 a derivada do produto temos:
   
∂Ψ ∂Vz ∂Ψ ∂Vy ∂Ψ ∂Vx ∂Ψ ∂Vz ∂Ψ ∂Vy ∂Ψ ∂Vx
Vz + Ψ− Vy − ~
Ψ i+ Vx + Ψ− Vz − ~
Ψ j+ Vy + Ψ− Vx − Ψ ~k
∂y ∂y ∂z ∂z ∂z ∂z ∂x ∂x ∂x ∂x ∂y ∂y

Organizando:
         
∂Vz ∂Vy ∂Vx ∂Vz ∂Vy ∂Vx ∂Ψ ∂Ψ ∂Ψ ∂Ψ
Ψ− Ψ ~i+ Ψ− Ψ ~j+ Ψ− Ψ ~k+ Vz − Vy ~i+ Vx − Vz ~j+
 ∂y ∂z  ∂z ∂x ∂x ∂y ∂y ∂z ∂z ∂x
∂Ψ ∂Ψ
Vy − Vx ~k
∂x ∂y

 
~
Identificando ∇Ψ ~
×V

     
∂Vz ∂Vy ∂Vx ∂Vz ∂Vy ∂Vx  
Ψ− Ψ ~i + Ψ− Ψ ~j + Ψ− Ψ ~k + ∇Ψ
~ ~
×V
∂y ∂z ∂z ∂x ∂x ∂y
Reorganizando:

       
∂Vz ∂Vy ~ ∂Vx ∂Vz ~ ∂Vy ∂Vx ~ ~

~
Ψ − i+ − j+ − k + ∇Ψ ×V
∂y ∂z ∂z ∂x ∂x ∂y
 
IdentificandoΨ ∇ ~ ×V~

   
~
⇒ ∇Ψ ~ +Ψ ∇
×V ~ ×V
~ c.q.d.

         
~ × F~ × G
10. ∇ ~ = ∇.~ G ~ F~ G
~ F~ − ∇. ~ + G. ~ F~ − F~ .∇
~ ∇ ~ G ~

~ = (Fy Gz − Fz Gy )~i + (Fz Gx − Fx Gz ) ~j + (Fx Gy − Fy Gx ) ~k

F~ × G

    
~ = ∂ (Fx Gy − Fy Gx ) − ∂ (Fz Gx − Fx Gz ) ~i + ∂ (Fy Gz − Fz Gy ) − ∂ (Fx Gy − Fy Gx ) ~j +

~ × F~ × G
∇
 ∂y  ∂z ∂z ∂x
∂ (Fz Gx − Fx Gz ) ∂ (Fy Gz − Fz Gy ) ~
− k
∂x ∂y

Abrindo
 a derivada do produto temos: 
∂Fx ∂Gy ∂Fy ∂Gx ∂Fz ∂Gx ∂Fx ∂Gz
Gy + Fx − Gx − Fy − Gx − Fz + Gz + Fx ~i +
 ∂y ∂y ∂y ∂y ∂z ∂z ∂z ∂z 
∂Fy ∂Gz ∂Fz ∂Gy ∂Fx ∂Gy ∂Fy ∂Gx
Gz + Fy − Gy − Fz − Gy − Fx + Gx + Fy ~j +
 ∂z ∂z ∂z ∂z ∂x ∂x ∂x ∂x 
∂Fz ∂Gx ∂Fx ∂Gz ∂Fy ∂Gz ∂Fz ∂Gy
Gx + Fz − Gz − Fx − Gz − Fy + Gy + Fz ~k
∂x ∂x ∂x ∂x ∂y ∂y ∂y ∂y

Somando
 e Subtraindo os termos entre colchetes temos: 
∂Fx ∂Gy ∂Fy ∂Gx ∂Fz ∂Gx ∂Fx ∂Gz
Gy + Fx − Gx − Fy − Gx − Fz + Gz + Fx ~i +
 ∂y ∂y ∂y ∂y ∂z ∂z ∂z ∂z 
∂Fy ∂Gz ∂Fz ∂Gy ∂Fx ∂Gy ∂Fy ∂Gx
Gz + Fy − Gy − Fz − Gy − Fx + Gx + Fy ~j +
 ∂z ∂z ∂z ∂z ∂x ∂x ∂x ∂x 
∂Fz ∂Gx ∂Fx ∂Gz ∂Fy ∂Gz ∂Fz ∂Gy
Gx + Fz − Gz − Fx − Gz − Fy + Gy + Fz ~k +
 ∂x ∂x ∂x ∂x  ∂y ∂y ∂y  ∂y
∂Gx ~ ∂Gy ~ ∂Gz ~ ∂Gx ~ ∂Gy ~ ∂Gz ~
Fx i + Fy j + Fz k − Fx i + Fy j + Fz k
∂x ∂y ∂z ∂x ∂y ∂z

5
  
Identificando ∇. ~ G~ F~ temos:
 
∂Fx ∂Fy ∂Gx ∂Fz ∂Gx ∂Fx
Gy − Gx − Fy − Gx − Fz + Gz ~i +
 ∂y ∂y ∂y ∂z ∂z ∂z 
∂Fy ∂Fz ∂Gy ∂Fx ∂Gy ∂Fy
Gz − Gy − Fz − Gy − Fx + Gx ~j +
 ∂z ∂z ∂z ∂x ∂x ∂x 
∂Fz ∂Fx ∂Gz ∂Fy ∂Gz ∂Fz
Gx − Gz − Fx − Gz − Fy + Gy ~k −
 ∂x ∂x ∂x ∂y  ∂y ∂y
∂Gx ~ ∂Gy ~ ∂Gz ~ ~ G

~ F~
Fx i + Fy j + Fz k + ∇.
∂x ∂y ∂z

Somando
 e Subtraindo os termos entre chaves temos:
∂Fx ∂Fy ∂Gx ∂Fz ∂Gx ∂Fx
Gy − Gx − Fy − Gx − Fz + Gz ~i +
 ∂y ∂y ∂y ∂z ∂z ∂z 
∂Fy ∂Fz ∂Gy ∂Fx ∂Gy ∂Fy
Gz − Gy − Fz − Gy − Fx + Gx ~j +
 ∂z ∂z ∂z ∂x ∂x ∂x 
∂Fz ∂Fx ∂Gz ∂Fy ∂Gz ∂Fz
Gx − Gz − Fx − Gz − Fy + Gy ~k −
 ∂x ∂x ∂x ∂y  ∂y ∂y
∂Gx ~ ∂Gy ~ ∂Gz ~ ~ G

~ F~ +
Fx i + Fy j + Fz k + ∇.
 ∂x ∂y ∂z   
∂Fx ~ ∂Fy ~ ∂Fz ~ ∂Fx ~ ∂Fy ~ ∂Fz ~
Gx i + Gy j + Gz k − Gx i + Gy j + Gz k
∂x ∂y ∂z ∂x ∂y ∂z

 
Identificando ∇. ~ F~ G ~ temos:
 
∂Fx ∂Gx ∂Gx ∂Fx
Gy − Fy − Fz + Gz ~i +
 ∂y ∂z ∂z ∂z 
∂Fy ∂Gy ∂Gy ∂Fy
Gz − Fz − Fx + Gx ~j +
 ∂z ∂z ∂x ∂x 
∂Fz ∂Gz ∂Gz ∂Fz
Gx − Fx − Fy + Gy ~k −
 ∂x ∂x ∂y ∂y 
∂Gx ~ ∂Gy ~ ∂Gz ~   
~ F~ G
~ F~ − ∇.
~ G ~+
Fx i + Fy j + Fz k + ∇.
 ∂x ∂y ∂z 
∂Fx ~ ∂Fy ~ ∂Fz ~
Gx i + Gy j + Gz k
∂x ∂y ∂z

Reorganizando:
 
∂Fx ∂Gx ∂Gx ∂Fx ∂Gx ∂Fx
Gy − Fy − Fz + Gz − Fx + Gx ~i +
 ∂y ∂z ∂z ∂z ∂x ∂x 
∂Fy ∂Gy ∂Gy ∂Fy ∂Gy ∂Fy
Gz − Fz − Fx + Gx − Fy + Gy ~j +
 ∂z ∂z ∂x ∂x ∂y ∂y 
∂Fz ∂Gz ∂Gz ∂Fz ∂Gz ∂Fz
Gx − Fx − Fy + Gy − Fz + Gz ~k +
 ∂x  ∂x  ∂y ∂y ∂z ∂z
~ ~ ~ ~
∇.G F − ∇.F G ~ ~

 
Identificando G. ~ ∇~ F~ temos:
 
∂Gx ∂Gx ∂Gx
− Fy − Fz − Fx ~i +
 ∂z ∂z ∂x 
∂Gy ∂Gy ∂Gy
− Fz − Fx − Fy ~j +
 ∂z ∂x ∂y 
∂Gz ∂Gz ∂Gz
− Fx − Fy − Fz ~k +
 ∂x
  ∂y  ∂z 
~ G
∇. ~ F~ − ∇.
~ F~ G ~ + G.~ ∇
~ F~

6
  
Identificando F~ .∇
~ G ~ temos:

       
~ G
⇒ ∇. ~ F~ − ∇.
~ F~ G~ + G.
~ ∇
~ F~ − F~ .∇
~ G ~ c.q.d.

 
~ ∇
11. ∇. ~ ×V
~ =∇~ × ∇.
~ V~ =0

     
~ ×V
~ = ∂Vz ∂Vy ~ ∂Vx ∂Vz ~ ∂Vy ∂Vx ~
∇ − i+ − j+ − k
∂y ∂z ∂z ∂x ∂x ∂y

2 2 2 2 2 2
~ = ∂ Vz − ∂ Vy + ∂ Vx − ∂ Vz + ∂ Vy − ∂ Vx
 
~ ∇
∇. ~ ×V
∂x∂y ∂x∂z ∂y∂z ∂y∂x ∂z∂x ∂z∂y

∂ 2 Vx ∂ 2 Vx ∂ 2 Vy ∂ 2 Vy ∂ 2 Vz ∂ 2 Vz
     
− + − + −
∂y∂z ∂z∂y ∂z∂x ∂x∂z ∂x∂y ∂y∂x

∂2 ∂2
 2
∂2
 2
∂2
     
~i + ∂ ~j + ∂ ~k . Vx~i + Vy~j + Vz~k

− − −
∂y∂z ∂z∂y ∂z∂x ∂x∂z ∂x∂y ∂y∂x

~ × ∇.
⇒∇ ~ V~ = 0 c.q.d.