Ээх. Ну вот смотрите. Допустим у нас есть функция
![$\[f(x,y)\]$ $\[f(x,y)\]$](https://dxdy-01.korotkov.co.uk/f/4/5/f/45fdb6d20a55a381e6c505f199c50bf882.png)
. И вы записали дифференциал
![$\[df = \frac{{\partial f}}{{\partial x}}dx + \frac{{\partial f}}{{\partial y}}dy\]$ $\[df = \frac{{\partial f}}{{\partial x}}dx + \frac{{\partial f}}{{\partial y}}dy\]$](https://dxdy-03.korotkov.co.uk/f/a/0/7/a074364dd6f6a37bc8f20747705dae2d82.png)
. Конечно, в общем случае
![$\[df \ne 0\]$ $\[df \ne 0\]$](https://dxdy-02.korotkov.co.uk/f/d/c/e/dce609522ea6744932295e68848248e882.png)
. Предположим теперь, что
![$\[df = 0\]$ $\[df = 0\]$](https://dxdy-03.korotkov.co.uk/f/e/c/8/ec8a3e0cc07f9ff5c974fa3ed7b6cd7782.png)
. Обозначим
и
![$\[\frac{{\partial f}}{{\partial y}} = \psi (x,y)\]$ $\[\frac{{\partial f}}{{\partial y}} = \psi (x,y)\]$](https://dxdy-01.korotkov.co.uk/f/c/4/2/c42591738721301eb4c4e5b4fd36f01282.png)
(изначальная функция
![$\[f\]$ $\[f\]$](https://dxdy-04.korotkov.co.uk/f/7/d/8/7d81e2b555907a8b9bfff9e901cea47482.png)
полагается известной, поэтому наши частные производные- тоже какие-то функции). Имеем
![$\[\varphi (x,y)dx + \psi (x,y)dy = 0\]$ $\[\varphi (x,y)dx + \psi (x,y)dy = 0\]$](https://dxdy-01.korotkov.co.uk/f/0/3/d/03ddd3ab19a930c1af49521bd2c6378b82.png)
А это - диф.уравнение(причём в полных дифференциалах, ввиду
![$\[\frac{{\partial \varphi }}{{\partial y}} = \frac{{\partial \psi }}{{\partial x}}\]$ $\[\frac{{\partial \varphi }}{{\partial y}} = \frac{{\partial \psi }}{{\partial x}}\]$](https://dxdy-04.korotkov.co.uk/f/f/e/8/fe887a92633676c2d72379ca110dd81582.png)
). Значит, мы можем найти решение в виде
![$\[y = g(x)\]$ $\[y = g(x)\]$](https://dxdy-04.korotkov.co.uk/f/7/a/b/7ab152ca51891ccbd6976672f2117a4382.png)
(ну или хотя бы в виде
![$\[G(x,y) = 0\]$ $\[G(x,y) = 0\]$](https://dxdy-03.korotkov.co.uk/f/2/e/4/2e4c789655548307a31fbe453b8aa89b82.png)
). Как видите - если мы наложили ограничение на полный дифференциал(т.е. положили его равным нулю) - то переменные стали зависимы.