For the transcendental part, wouldn't you have to prove that e is not the root of any polynomial with rational coefficients (not just a quadratic)?