Although the theory is much cleaner working over algebraically closed fields, I think [Sturm's Theorem](https://en.wikipedia.org/wiki/Sturm%27s%5Ftheorem) (counting real roots of a polynomial) is a very nice result in real algebraic geometry which is at a level appropriate for undergraduates.