Dénotons par \(S\) la surface \(G(x,y,z)=0\) et par \(C\) la courbe paramétrée \(\vr(t)=\big(x(t),y(t),z(t)\big)\text{.}\) Pour commencer, nous trouvons le plan tangent à \(S\) en \(\vr_0\) et la droite tangente à \(C\) en \(\vr_0\text{.}\)
Le vecteur tangent à
\(C\) en
\(\vr_0\) est
\(\llt x'(t_0)\,,\,y'(t_0)\,,\,z'(t_0) \rgt\text{,}\) donc les équations paramétriques pour la droite tangente à
\(C\) en
\(\vr_0\) sont
\begin{equation*}
x-x_0 = t x'(t_0)\qquad
y-y_0 = t y'(t_0)\qquad
z-z_0 = t z'(t_0)
\tag{$E_1$}
\end{equation*}
Le gradient
\(\llt\pdiff{G}{x}\big( x_0\,,\,y_0\,,\,z_0\big)\,,\,
\pdiff{G}{y}\big( x_0\,,\,y_0\,,\,z_0\big)\,,\,
\pdiff{G}{z}\big( x_0\,,\,y_0\,,\,z_0\big)\rgt\) est un vecteur normal à la surface
\(S\) en
\((x_0,y_0,z_0)\text{.}\) Donc le plan tangent à la surface
\(S\) en
\((x_0,y_0,z_0)\) est
\begin{equation*}
\llt\pdiff{G}{x},
\pdiff{G}{y},
\pdiff{G}{z}\rgt \cdot
\llt x-x_0,y-y_0,z-z_0\rgt = 0
\end{equation*}
avec les dérivées de
\(G\) évaluées en
\(\big(x_0,y_0,z_0\big)\text{,}\) ou
\begin{align*}
\pdiff{G}{x}\big( x_0,y_0,z_0\big)(x-x_0)
&+\pdiff{G}{y}\big( x_0,y_0,z_0\big)(y-y_0)\\
&+\pdiff{G}{z}\big( x_0,y_0,z_0\big)(z-z_0) = 0
\tag{$E_2$}
\end{align*}
Ensuite, nous montrons que le vecteur tangent \(\llt x'(t_0)\,,\,y'(t_0)\,,\,z'(t_0) \rgt\) à \(C\) en \(\vr_0\) et le vecteur normal \(\llt\pdiff{G}{x}\big( x_0\,,\,y_0\,,\,z_0\big)\,,\,
\pdiff{G}{y}\big( x_0\,,\,y_0\,,\,z_0\big)\,,\,
\pdiff{G}{z}\big( x_0\,,\,y_0\,,\,z_0\big)\rgt\) à \(S\) en \(\vr_0\) sont perpendiculaire l’un par rapport à l’autre. Pour ce faire, on observe que, pour tout \(t\text{,}\) le point \(\big(x(t),y(t),z(t)\big)\) se trouve sur la surface \(G(x,y,z)=0\) et donc obéit
\begin{gather*}
G\big(x(t),y(t),z(t)\big) =0
\end{gather*}
En dérivant cette équation par rapport à \(t\) on obtient, par la règle de la chaîne,
\begin{align*}
0&= \diff{}{t}G\big(x(t),y(t),z(t)\big)\\
&=\pdiff{G}{x}\big( x(t)\,,\,y(t)\,,\,z(t)\big)\ x'(t)
+\pdiff{G}{y}\big( x(t)\,,\,y(t)\,,\,z(t)\big)\ y'(t)\\
&\hskip0.5in
+\pdiff{G}{z}\big( x(t)\,,\,y(t)\,,\,z(t)\big)\ z'(t)
\end{align*}
En posant \(t=t_0\) on obtient
\begin{align*}
\pdiff{G}{x}\big( x_0\,,\,y_0\,,\,z_0\big)\ x'(t_0)
&+\pdiff{G}{y}\big( x_0\,,\,y_0\,,\,z_0\big)\ y'(t_0)\\
&+\pdiff{G}{z}\big( x_0\,,\,y_0\,,\,z_0\big)\ z'(t_0) = 0
\tag{$E_3$}
\end{align*}
Finalement, nous sommes en position de montrer que si \((x,y,z)\) est n’importe quel point sur la droite tangente à \(C\) en \(\vr_0\text{,}\) alors \((x,y,z)\) est également sur le plan tangent à \(S\) en \(\vr_0\text{.}\) Comme \((x,y,z)\) est sur la droite tangente à \(C\) en \(\vr_0\) alors il existe un \(t\) tel que, par \((E_1)\text{,}\)
\begin{align*}
&\pdiff{G}{x}\big(x_0,y_0,z_0\big)\color{blue}{\{x\!-\!x_0\}}
+\pdiff{G}{y}\big(x_0,y_0,z_0\big)\color{blue}{\{y\!-\!y_0\}}
+\pdiff{G}{z}\big(x_0,y_0,z_0\big)\color{blue}{\{z\!-\!z_0\}}\\
&=\pdiff{G}{x}\big(x_0,y_0,z_0\big)
\color{blue}{\big\{t x'(t_0)\big\}}
+\pdiff{G}{y}\big(x_0,y_0,z_0\big)
\color{blue}{\big\{ty'(t_0)\big\}}\\
&\hskip1in
+\pdiff{G}{z}\big(x_0,y_0,z_0\big)
\color{blue}{\big\{tz'(t_0)\big\}}\\
&=\color{blue}{t}\left[\pdiff{G}{x}\big(x_0,y_0,z_0\big)
\color{blue}{x'(t_0)}
+\pdiff{G}{y}\big(x_0,y_0,z_0\big)
\color{blue}{y'(t_0)}
+\pdiff{G}{z}\big(x_0,y_0,z_0\big)\
\color{blue}{z'(t_0)} \right]\\
&=0
\end{align*}
par \((E_3)\text{,}\) i.e. \((x,y,z)\) obéit l’équation, \((E_2)\text{,}\) du plan tangent à \(S\) en \(\vr_0\) et donc est sur le plan tangent. Donc la droite tangent à \(C\) en \(\vr_0\) est contenue dans le plan tangent à \(S\) en \(\vr_0\text{.}\)