Для доказательства можно рассмотреть бесконечно малую петлю на границе контура chislo_avogadro, вычислить дополнительный момент и показать, что он всегда уменьшает момент сил, действующий на контур.
Дам своё доказательство, но фактически это повторение.
1. Если добавлять петли к контуру chislo_avogadro вдоль какого-либо радиуса, то это будет равносильно увеличению
![$L$ $L$](https://dxdy-02.korotkov.co.uk/f/d/d/c/ddcb483302ed36a59286424aa5e0be1782.png)
, а оно задано. Ну, можно убавить петлю, т.е. сделать петлю-вырезку - ясно, что это ведёт дело в сторону противоположную от желаемой.
2. Если добавить петлю "с торца" - так, что дуга контура превзойдёт полукольцо, т.е. охватит угол уже не
![$\pi$ $\pi$](https://dxdy-04.korotkov.co.uk/f/f/3/0/f30fdded685c83b0e7b446aa9c9aa12082.png)
, а
![\displaystyle{$\pi + d\varphi}$ \displaystyle{$\pi + d\varphi}$](https://dxdy-04.korotkov.co.uk/f/7/2/2/722773726b8b3bd7f6212bf327a50be782.png)
, то на диаметрально противоположном конце дуги контура возникнет площадка
![$d\varphi$ $d\varphi$](https://dxdy-01.korotkov.co.uk/f/4/a/8/4a8632aabaa3f6993cf02afac22b88b582.png)
, момент которой будет равен по величине и обратен по знаку моменту добавленной петли. Тем самым общий момент уменьшится.