Lema geodezică a lui Gauss afirmă că orice sferă suficient de mică centrată într-un punct dintr-o varietate Riemanniană este perpendiculară pe fiecare geodezică printr-un punct.
Lema este folosită pentru a demonstra că geodezicele sunt cele mai scurte curbe la nivel local și este de o importanță fundamentală în studiul convexității geodezice și al coordonatelor normale .
Să notăm spațiul tangent într-un punct al varietății Riemanniane și să fie harta exponențială . Rețineți că pentru orice vector , spațiul tangent la spațiul tangent poate fi identificat cu spațiul tangent însuși .
Pentru orice
unde denotă diferenţialul mapării exponenţiale.