定番の補足だけど、ローレンツ力の式も必要。

そういば、面積分から電場を出すところで「系の対称性から〜」って論法を使うけど、
それってマックスウェルの方程式だけで数学的に正当化できるのかな？
ポアッソン方程式のグリーン関数をつかった導出もあるので、
ポテンシャルの存在と同等なんだと思うのだけど、
なんか「密輸」っぽい感じがする。