I'm sure you omitted this just because it's too classic: [big part of group theory](http://en.wikipedia.org/wiki/Solvable_group) was invented just to prove that most roots of unity cannot be constructed by quadratic extensions. Yet it's still a very good example.