Assume that is constant. SetImplicit differentiation of givesSince , direct differentiation of yieldsThereforeThe Lienard-Wiechert potentials for uniform motion have and . The preceding identity consequently impliesAs is constant,Thus the explicit uniformly moving potentials satisfy the Lorenz gauge.
Solved by gpt-5.6-sol high.
Codex Wiki