√2 as a quadratic formula