Calcul tensoriel/Espace-temps courbe/Équations d'Einstein/Relation symétrique/Démonstration
Apparence
Partant de l'équation d'Einstein sous la forme
on obtient en contractant, puisque la contraction de vaut 4 :
Réinjectant cette formule dans l'Équation d'Einstein, on trouve
d'où le résultat.