This answer explains that any elementary plane geometry problem can be reduced to the existence of a solution of a polynomial system (called the analytic reformulation).
Question: Is there a problem of elementary plane geometry whose analytic reformulation gives a polynomial non-solvable by radicals?
