 Solution

Covered by the official notes: definitions of four-force and four-velocity and the vanishing antisymmetric contraction (PDF p. 15; handwritten p. 10).^[ref]

To make the necessity statement precise, mass preservation must hold for every allowed timelike four-velocity, with the same field tensor and nonzero charge. It is not necessary for one prescribed trajectory alone. Use metric signature $(-,+,+,+)$, so $U_a{F}^a=-c^{2}dm/d\tau$. Put $H^{ab}=({\mathcal{F}}^{ab}+{\mathcal{F}}^{ba})/2$. The mass-preservation condition requires the quadratic form $H^{ab}{U}_a{U}_b=0$ for every timelike $U$. Every timelike vector can be rescaled to a physical four-velocity; by homogeneity the quadratic form vanishes on the open timelike cone. A polynomial vanishing on an open set is identically zero, so $H^{ab}=0$. Thus the electromagnetic field tensor must be antisymmetric under this universal quantifier. For a single velocity, the scalar contraction can vanish even for a nonzero symmetric part, which is why the quantifier is essential.