Se establece la propiedad de conmutacion de derivadas covariantes para un vector

Killing covariante. Luego se establecen dos ecuaciones más que resultan de la permutación
cı́clica de los ı́ndices. Sumando las tres ecuaciones resultantes y teniendo en cuenta las
propiedades de antisimetrı́a y ciclicidad del tensor de Riemann junto con la ecuación de
Killing se demuestra que para todo vector de Killing se cumple lo siguiente

∇µ ∇σ Kλ + ∇λ ∇µ Kσ + ∇σ ∇λ Kµ = 0 (1)

A partir de dicha ecuación, se despeja el primer término y luego se aplica el hecho de

que el vector cumple la ecuación de Killing y la propiedad de conmutación de derivadas
covariantes para obtener finalmente

∇µ ∇σ K ρ = Rρσµν K ν (2)

Contrayendo
∇µ ∇σ K µ = Rσν K ν (3)
Por otro lado se sabe que
1
∇µ Rµν = ∇ν R (4)
2
Contrayendo a ambos lados por K ν
1 ν
K ∇ν R = ∇µ (K ν Rµν ) − Rµν ∇µ K ν (5)
2
El segundo término se anula debido a la simetrı́a de Rµν y ∇µ K ν es antisimétrico (pues
obedece la ecuación de Killing). Ahora aplicamos (3)

∇µ (K ν Rµν ) = ∇µ ∇α ∇µ K α
= ∇µ ∇α ∇µ K α (6)

Debido a que podemos intercambiar los ı́ndices mudos y que ∇µ K α es antisimétrico

∇µ (K ν Rµν ) = ∇[µ ∇α] ∇µ K α (7)

Aplicando la propiedad de conmutación de derivadas covariantes

1 µ
∇µ (K ν Rµν ) = (R σµα ∇σ K ν + Rασµα ∇µ K σ )
2
1
= (Rσα ∇σ K α − Rσµ ∇µ K σ ) (8)
2
Donde nuevamente debido a la simetria de Rµν y antisimetrı́a de ∇µ K ν , se obtiene que lo
anterior es nulo, demostrando ası́
K ν ∇ν R = 0 (9)