În geometria diferențială, formulele lui Frenet descriu proprietățile cinematice ale unei particule ce se deplasează pe o curbă continuă și diferențială într-un spațiu euclidian tridimensional sau chiar proprietățile curbei. Mai exact, aceste formule stabilesc corelațiile dintre versorii tangent, normal și binormal de pe un punct al curbei.

Formulele au fost descoperite independent de către Jean Frédéric Frenet în 1847 și de către Joseph Alfred Serret⁠(en)[traduceți] în 1851, de aceea mai sunt cunoscute și ca formulele Frenet-Serret.

Fie o curbă definită prin vectorul de poziție .

Dacă este versorul tangentei și cu versorul lui , atunci

(1)    

Rezultă:

(2)     ,

unde K este funcție de s care se va preciza.

Definiția 1: Se numește normala principală la curba în punctul M dreapta care trece prin M și care are ca vector director versorul (versorul normalei principale).


Definiția 2: Se numește curbura curbei în punctul M lungimea vectorului

Definiția 3: Se numește versorul binormalei la curba în punctul M versorul definit de:

și se numește binormala la curba în punctul M dreapta care trece prin M și are ca vector director versorul .


Definiția 4: Se numește reperul lui Frenet la curba în punctul M reperul .

Se calculează derivatele versorilor reperului lui Frenet în raport cu parametrul natural al curbei . Derivata lui este:

(3)    

Derivata lui este un vector perpendicular pe și:

(4)    

deci este perpendicular și pe . Prin urmare este coliniar cu (a doua formulă a lui Frenet):

(5)    

Definiția 5: Se numește torsiunea curbei în punctul M funcția T de s .

Se calculează . Deoarece

(6)    

avem:

(7)     .

Se obține cea de-a treia formulă a lui Frenet:

(8)    

Deci cele trei formule ale lui Frenet sunt următoarele:

Cele trei formule ale lui Frenet se pot reține mai ușor sub forma unui tabel:

 
0 K 0
-K 0 T
0 -T 0