First differentiate the unit normalization . Metric compatibility gives
The timelike geodesic vector field equation gives the other contraction,
For the spatial projector of a timelike congruence,
and symmetry also gives . Thus
Splitting the deformation tensor of a timelike geodesic congruence into symmetric and antisymmetric parts and substituting the definitions gives
Moreover, the orthogonality of implies
while in four dimensions
It follows that
Hence
which is the kinematic decomposition of a timelike geodesic congruence.
With the curvature convention , the deformation tensor along a unit timelike geodesic field satisfies
Taking its spatial trace and inserting the kinematic decomposition of a timelike geodesic congruence leads to the timelike Raychaudhuri equation.