Did you know that an equivalence between algebraic and geometric definitions of constructible numbers helps prove the impossibility of squaring the circle ?