미분기하학에서 프레네-세레 공식(Frenet-Serret formulas)은 곡선의 움직임을 묘사하는 공식으로, 단위 접벡터, 법벡터 및 이중접벡터 사이의 관계를 나타낸다. 1847년에 이 공식을 발견한 장 프레데릭 프레네(Jean Frédéric Frenet)와 1851년에 이를 독자적으로 다시 발견한 조제프 알프레드 세레(Joseph Alfred Serret)의 이름을 땄다. 공식 자체가 발견된 것은 19세기 중반이나, 이 글에서 사용하는 벡터 기호 및 선형대수학 등은 그로부터 한참 후에 발명되었다.
공식
r(t)를 유클리드 공간의 곡선으로, 위치벡터를 시간의 함수로 나타낸 것이라 하자. 프레네-세레 공식은 '비퇴화 곡선'에 대해서만 적용되는데, 이는 대략적으로 말하면 곡선이 곡률을 가진다는 뜻이다. 보다 정확히 말하면, 속도벡터r′(t)와 가속도벡터r′′(t)가 서로 평행이 아니어야 한다.
곡선상에서 시간 t까지 입자가 움직인 거리를 s(t)로 나타내자. 여기에서 s는 호의 길이로 매개화되어, 가 성립한다. 또한 r'≠0라고 가정했으므로 t를 s에 대해 나타낼 수 있고, 이에 따라 r(s) = r(t(s))로 쓸 수 있다. 이제 비퇴화 곡선 r(s)에 대해 프레네-세레 틀을 다음과 같이 정의한다.