 Split resolvent criterion for a Klein four Galois group

Let a separable polynomial $f$ of degree four be irreducible over a field $F$. If all three pair sums $r_1={\alpha }_1{\alpha }_2+{\alpha }_3{\alpha }_4$, $r_2={\alpha }_1{\alpha }_3+{\alpha }_2{\alpha }_4$, and $r_3={\alpha }_1{\alpha }_4+{\alpha }_2{\alpha }_3$ lie in $F$, its Galois group is the Klein four-group. Indeed $r_1-r_2=({\alpha }_1-{\alpha }_4)({\alpha }_2-{\alpha }_3)\ne 0$, and similarly the other pair sums differ. Every Galois automorphism therefore fixes each of the three partitions into pairs. The kernel of this action of $S_4$ on three partitions is $V_4=\{1,(12)(34),(13)(24),(14)(23)\}$. Irreducibility gives a transitive group action on the four roots, so the orbit-stabilizer theorem forces $4$ to divide the group order. Hence the Galois group equals $V_4$. The argument also works in characteristic two.