Proof of Derivative of a Coordinate Slice of a $C^1$ Function on a Euclidean Open Set

Define

This is well defined by the hypothesis that the whole coordinate slice over $[a,b]$ lies in $U$. Then $g=f\circ\phi$ on $[a,b]$. Since $f$ is a $C^1$ map, it is continuous on $U$ and differentiable at each point of $U$ by C^1 Maps on Euclidean Open Sets are Differentiable. Because $\phi$ is continuous, the composition $g=f\circ\phi$ is continuous on $[a,b]$.

Now let $t\in(a,b)$. The map $\phi$ is differentiable at $t$, and its derivative sends $1\in\mathbb{R}$ to the standard basis vector $e_i\in\mathbb{R}^n$. Hence by the chain rule Chain Rule for C^1 Maps Between Euclidean Spaces, the derivative of $g=f\circ\phi$ at $t$ is

By the definition of the partial derivative Partial Derivative of a Coordinate Function, this is exactly

This proves the theorem.