Why can we prove mathematically that a formula to solve an (n+5) order polynomial does not exist?
Here's a very vague intuition for why such a proof might be possible.
Many people are shocked when they hear that the general quintic cannot be solved. "What does that mean?", they say. "Just because many people have tried and failed does not mean that's impossible. Flight was impossible until the Wright Brothers took off at Kitty Hawk...", etc. etc. But when we talk about solving the quintic, we are not talking about as some Herculean task that only a genius can accomplish. We're just talking about something that, as it turns out, is not allowed according to the rules of the algebra game.
One way of proving that a given task is impossible is to find something that stays the same when you perform any of the possible "moves" that are allowed. For example, suppose you were teaching someone the rules of checkers, you play a couple games, and then you point out that a piece on a black square can never find its way to a white square. "What?!", your friend bellows. "I don't see why not! Flight was impossible until...", etc. But all you need to do to prove this simple fact is to observe that at any given time, none of the rules allow you to move from black to white.
In the algebra game, you're given a polynomial $p(x) = a + bx + cx^2 + dx^3 + ex^4+fx^5$ and you're allowed to manipulate the symbols $a,b,c,d,e,f$ and numbers $1,2, \ldots$ in various ways. For example, you can add $a$ and $b$ to get $a+b$; you're allowed to multiply, divide, etc. This gives you what mathematicians call a field.
You're also allowed to use the symbol $\sqrt{}$, so to take square roots, cube roots, etc.. This lets you make complicated-looking expressions like $$\sqrt[8]{\frac{a + b \sqrt{d +e^3}}{e-\sqrt[4]{5}}}.$$ But to do this, you have to make your field bigger. This is called a field extension. As it turns out, there's a certain property that's always the same when you make field bigger by taking roots. It's a little complicated to explain what - for that you must learn Galois theory. But it's a little bit like the way a checker can't change colors.
It turns out that for certain polynomials $p(x)$, you can prove that any field that contains any root of $p(x)$ doesn't have that property. That means that you can spend all day playing with roots, etc., and you will never solve the general quintic. A clever mathematician like Évariste Galois can see the whole game at once and realizes that your task is not possible.
A common proof is as follows:
It can be shown that, over a field of characteristic 0 (like the rationals, the reals, or the complex numbers) there exists a formula for the roots of a polynomial $p(x)$ in terms of radicals (square root, cube root, etc.) if and only if the Galois group of its splitting field (the field extension at which $p(x)$ can be expressed as a product of linear factors) over the base field is solvable. The solvability condition intuitively means that the group can be successively broken down into a series of smaller groups in a systematic way eventually leading to a group with one element, and each term in this series corresponds to taking the $n$th root of some element in a sequence of successsively larger fields leading up to the splitting field.
If there were a general radical formula for solving equations of fifth degree, then for arbitrary algebraically independent transcendental elements (the opposite of algebraic elements, meaning they are not the solutions to any polynomial equation over the base field) $a$, $b$, $c$, $d$, $e$, and $f$, the splitting field of the polynomial $ax^5+bx^4+cx^3+dx^2+ex+f$ should have a solvable Galois group.
However, the Galois group of this polynomial is $S_5$, the symmetric group on five letters, which is not a solvable group. Therefore there exist no radical formulas for general fifth degree equations, and hence no such formula for equations of higher degree either.
However, this does not mean that it is not possible to solve any polynomial equations of higher degree. There exist polynomials of higher degree that have solvable Galois groups, so their roots can be expressed with radicals. There is just no general formula that works for all equations of a given degree greater than or equal to 5. There are also specific polynomials with integer coefficients whose splitting fields do not have solvable Galois groups.
I think you're asking someone to argue why this is plausible, not why it's true.* So I won't prove the result; that can be found on the Web as well as in books. Instead I'll try to make it sound "possible in theory" to do what was done. And I won't use any words above GCSE level.
First some background. This general statement ("not even logically possible to do X") came from a new style of abstract and also creative thinking. It's been said that modern mathematics begins with Galois, if not in the sense of increased rigour then at least Galois demonstrated the promise of general thinking and invention of new concepts. His invention of abstract group theory did not prove a new fact; the Abel-Ruffini theorem was decades old when he wrote his memoir. Instead, abstract group theory made the entire subject of $N$th order polynomials, make a lot more sense to anyone who understood him.
Also, Galois theory combines numbers, algebra (symbol manipulation), and, in some sense, geometry (mental pictures). Cross-topical work is valued in modern mathematics ever since.
So how can it be possible to prove that not-all-quintics can be solved with one universal $+, -, \times, \div, \sqrt{}$ formula?
Playing around with polynomials in the 1700–1800's, people noticed a few things. First they noticed that radicals reduce symmetry. $\sqrt{\bullet}$ reduces their symmetry by $\div 2$; $\sqrt[3]{\bullet}$ reduces their symmetry by $\div 3$, and so on.
People also looked at when polynomial equations are solvable-in-general. In particular they looked at how symmetry-reduction affects solvability. They proved that in order for a polynomial with coefficients $a,b,c,d,e,f,g$ to be solvable-by-radicals, the symmetry of the letters $a,b,c,d,e,f,g$ must act a certain way.**
They then proved that the letters $a,b,c,d,e$ do not act in the required way. If
- their symmetry is not like this, and
- their symmetry would need to be like this in order for $ax^5+bx^4+cx^3+dx^2+e=0$ to be solvable-by-radicals, then
- $ax^5+bx^4+cx^3+dx^2+e=0$ can't be solvable-by-radicals.
So to review: people looked at symmetry properties of things, and solvability properties of things. They related solvability to symmetry. Then they proved something about symmetry. That gave them a fact about solvability.
HTH
* A truth being implausible just makes it more interesting! I like this quotation (which I believe is due to Andrei Kolmogorov): "Mathematics occurs on the boundary between the obvious and the impossible".
** The particular symmetry they must display, and the relationship between solutions and symmetry, and the theory of symmetries in general, is what requires the education you said you don't want to need to understand this answer.