Comment by albert_roca

It's not circular. It rearranges into a standard quadratic equation: x^2 − 24Sx + 24 = 0. α is derived as the root of this equation.