The last proof wouldn't really be considered a proof. If I understand correctly, you are trying to prove that all transcendental slopes will have one algebraic point, at the most. Giving an example is not sufficient proof of a for all statement.

You might want to try a generic particular approach.