미적분학에서 곱 규칙(-規則, 영어: product rule) 또는 곱의 미분법 또는 라이프니츠 법칙(영어: Leibniz rule)은 함수의 곱의 미분을 구하는 공식이다.
만약 두 함수 가 에서 미분 가능하다면, 역시 에서 미분 가능하며, 그 미분은 다음과 같다.
-
이를 라이프니츠 표기법을 사용하여 쓰면 다음과 같다.
-
선형 근사를 사용하여 쓰면 다음과 같다.
-
만약 함수 가 에서 미분 가능하다면, 의 에서의 미분은 다음과 같다.
-
보다 일반적으로, 만약 가 계 도함수를 갖는다면, 역시 계 도함수를 가지며, 이는 다음과 같다. (여기에 나오는 계수는 이항 계수이다.)
-
만약 가 계 도함수를 갖는다면, 의 계 도함수는 다음과 같다. (여기에 나오는 계수는 다항 계수이다.)
-
두 함수 가 에서 변수 에 대한 편미분이 존재한다고 하자. 그렇다면 역시 그러하며, 그 에 대한 편미분은 다음과 같다.
-