Derivation of the discriminant formula

 

v20240901