29
DÉMONSTRATION DE KIRCHHOFF
Si nous regardons pour un instant
comme les coordonnées rectangulaires d’un point dans un plan, à chaque
point
de
correspondra un point
du plan et, quand
décrit la courbe
décrit une certaine courbe
qui sera
fermée si
est fermé ; seulement la courbe
est fixe, tandis
que la courbe
est mobile. Prenons l’intégrale
![{\displaystyle \int _{\mathrm {C} }udx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2163b8f05ad4a8122e7f131523298217946e931d)
le long de la courbe
![{\displaystyle \int _{\mathrm {C} }udx=\int _{\mathrm {C'} }\left(u{\frac {dx}{da}}da+u{\frac {dx}{db}}db\right),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3994ed38561752efba81965e125e2aa1ae702531)
la seconde intégrale étant prise le long de
Transformons
cette intégrale par la formule de Stokes [8]
![{\displaystyle \int _{\mathrm {C'} }\left(u{\frac {dx}{da}}da+u{\frac {dx}{db}}db\right)=\iint \left[{\frac {d}{da}}\left(u{\frac {dx}{db}}\right)-{\frac {d}{db}}\left(u{\frac {dx}{da}}\right)\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/08c8d08ad0d4e3e1558821d9195bded940994061)
la
étant étendue à toute l’aire
limitée par la courbe
Effectuons les différentiations indiquées, il vient après réductions :
![{\displaystyle \int _{\mathrm {C} }udx=\iint \left({\frac {du}{da}}{\frac {dx}{db}}-{\frac {du}{db}}{\frac {dx}{da}}\right)dadb.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/59a555db43f720b2c1387779dab1fdbe86376801)
En opérant la même transformation sur
et
puis additionnant, nous trouverons :
(21)
|
|
|
L’aire
ne varie pas, puisque
est fixe ; la
placée sous
le signe
est constante en vertu de l’énoncé de Kirchhoff :
donc