# Proof of product rule for differentiation using chain rule for partial differentiation

This article proves the product rule for differentiation in terms of the chain rule for partial differentiation.

## Contents

## Statements

### Statement of product rule for differentiation (that we want to prove)

uppose and are functions of one variable. Then the following is true wherever the right side expression makes sense (see concept of equality conditional to existence of one side):

### Statement of chain rule for partial differentiation (that we want to use)

Suppose are both functions of one variable and is a function of two variables. Suppose . Then:

## Proof

**Given**: Functions and

**To prove**: wherever the right side makes sense.

**Proof**:

Consider the function:

Its partial derivatives are:

Define:

By the chain rule for partial differentiation, we have:

The left side is . The right side becomes:

This simplifies to:

Plug back the expressions and get: