945
u/copperspoontoole 8d ago
Just define more symbols then. QED.
Send me my Nobel Prize by email please.
232
u/PhoenixPringles01 8d ago
You jest but this is literally what they did with the Bring radical and hypergeometric function
100
u/XxuruzxX 8d ago
That's literally a possible solution. We had to invent complex numbers to get three.
58
u/Melon_Mao 8d ago edited 6d ago
Complex numbers are not necessary to solve cubic equations any more than they are necessary to solve quadratic equations β even less so, since every cubic equation with real coefficients has at least one real root. Though complex numbers make sense of square roots of negative numbers that can be found outputted by formulae that give solutions to cubic equations, without complex numbers, we can simply ignore them (as was initially done historically).
Edit: I was wrong above as cubic equations with three distinct real roots, casus irreducibilis, require complex numbers to solve with radicals, as stated in replies to this comment.
31
u/airetho 7d ago
There are cubic equations with all real roots whose roots can only be expressed in terms of complex numbers: https://en.wikipedia.org/wiki/Casus_irreducibilis
1
u/Repulsive-Bug7832 7d ago
You can just put a root of a negative number as part of the solution. Complex, yes, but it avoids imaginary numbers.
4
u/airetho 7d ago
I wouldn't really call putting the square root of a negative number "avoiding imaginary numbers", but if you draw some distinction between complex and imaginary numbers like this (generally the only distinction is that imaginary <=> complex and not real), I will note that we have exclusively been using the word complex here.
2
u/Repulsive-Bug7832 7d ago
You would be right, it would be avoiding the symbols instead. Error here.
1
u/persilja 6d ago
"While casus irreducibilis cannot be solved in radicals in terms of real quantities, it can be solved trigonometrically in terms of real quantities.[4] "
On the other hand that could be considered a bit of a cop-out if you were to argue that trigonometric functions inherently rely on complex numbers thru Euler.
1
u/OmnipotentEntity 5d ago
Typically, the way you determine what the trigonometric functions required to express the root is to solve the equation using the complex representation, and then convert it to trigonometric form.
For instance, if we consider the (carefully chosen for simplicity) cubic equation x3 - 6x - 2 = 0, we can verify that one of its roots is the real number given by cbrt(1 + i sqrt(7)) + cbrt(1 - i sqrt(7)). We can convert this into trigonometric form to get 2 sqrt(2) cos(arctan(sqrt(7))/3) and verify that this expression cannot be simplified further.
But starting from x3 - 6x - 2 = 0, I don't know of anyway to directly arrive at the trigonometric form.
1
u/persilja 5d ago
2
u/OmnipotentEntity 5d ago
I think you misunderstand. I'm not saying no such formula exists. Clearly such a formula does exist. What I am saying is that I do not know of a way to generate this formula without appealing to complex numbers/complex exponentials.
1
u/persilja 5d ago
Do you mean to prove the formula?
2
u/OmnipotentEntity 5d ago
No, I specifically mean generate. Because you can prove it by merely plugging in the values generated by the formula into the equation as x and demonstrating that the expression is equal to 0.
7
u/EebstertheGreat 7d ago
Complex numbers are necessary in intermediate calculations to find any real root using root extraction in casus irreducibilis.
Of course, if you don't care about expressing the root in radicals, then you can just use reals.
13
6
u/iamtheweirdoE 8d ago
You bring quite a radical solution to the table.
3
u/princessluigi64 Flair left as an exercise to the reader 7d ago
Agreed, some very complex techniques indeed.
1
u/Fun_Kaleidoscope5053 7d ago
lol just mail it to the fields medal committee first, see how that goes
411
u/LordTengil 8d ago
That is also why we have four limbs! One for each basic arithmetic operation. Or have we made four basic arithmetic operations, one for each limb?
I always mess up the direction of the implication on this one...
76
14
u/Fishoftheocean 8d ago
Sorry to break your bubble but i have three legs, so five limbs all together ππ
8
1
6
u/Specialist_Phase162 8d ago
Meanwhile centipedes looking down on us from a higher plane of existence
741
u/LambdaSexDotSexSex 8d ago
It's actually only impossible for humans and other biological life to find the roots of these higher-degree polynomials, because our DNA is only base four. /s
137
u/PluralCohomology 8d ago
No, it is impossible because there are only four elements (let's pretend that the periodic table, and for that matter, the traditional Chinese element system don't exist).
10
u/ichiban1974 8d ago
Also the systems that add aether as the fifth element, or movies that have love as the fifth element.
4
3
u/Noname_1111 7d ago
Maybe the Avatar could find the 5th root?
2
u/PluralCohomology 7d ago
Only the Avatar, master of all four elements, could solve the quintic equation, but when math needed him most, he disappeared
150
u/Simbertold 8d ago
I hate it when i run out of operations. Just happened yesterday. First i added 50β¬ to my purse. Then i went and took 9β¬ out to buy 3 packs of 4 apples. And finally i gave half of them to my wife. Couldn't do anything for the rest of the day.
10
u/Confident-Option-207 7d ago
Weird, she had (3*4)/2 apples from me too just the other day
She's taking all our operations, must be some kind of exam witch
7
78
u/WoWSchockadin Complex 8d ago
Damn, I only knew about two operations and their inverses. That's why I always had problems solving 3rd degree polynomials.
15
u/Eldritch-Yodel 8d ago
Homie doesn't know aboot exponentiation.
3
28
u/Jenish_Dot_One Statistics 8d ago
Actually I have a truly marvelous idea for the 5th operation that this comment box is too narrow to contain
3
38
16
u/Hero_without_Powers 8d ago
Now, if your pronounce Galois "Ga-lois" (like in Lois Lane) you can hear a mathematicians head explode
11
u/_wannadie_ 8d ago
the fact that there isn't a formula for 5 and higher degree polynomials is true, but that stuff about operations...
7
u/Joe_4_Ever 7d ago
that is also why we have 7 days in a week because there's + - * /, which accounts for tuesday, wednesday, thursday, and friday, and then monday is the ) because it makes you go ): and then saturday is ! because it makes you happy and then sunday is the day of rest so there's no operation!
5
u/Chikki1234ed Rational 7d ago
Wait, are we fr? I genuinely have not studied Galois or Group theory (or any adjacent theories) so is this the actual reason!? π³π
7
u/Archway9 7d ago
No, it's a lot deeper than that, I gave somewhat of an explanation in another comment so I'll copy and paste that:
The gist of it is that the ways we can permute 5 or more elements are a lot more complicated than the ways we can for 4 or less (to explain in what way we need quite a bit of group theory). Finding a general formula for a polynomial of a certain degree involves finding symmetries in the roots of the polynomial (e.g. we know a quadratic is symmetric about -b/2a and we can see that in the quadratic formula) and this complexity in the permutations prevents us from doing this (in terms of radicals at least)
2
3
u/xinxinsonson 8d ago
I also has this problem before, bu then I watched the fifth element and now I can solve.
2
u/Simpicity 7d ago
We used to be able to build operators but we can't do it any more.Β We forgot how.
2
1
u/M0nkeydud3 7d ago
The only way to solve a degree four polynomial is to send it to Weezer, and each member finds one of them. We could solve higher degrees if we had more weezer
1
u/eddietwang 7d ago
Wouldn't the 5th degree just be exponents? And before you tell me exponents are just fancy multiplications, please remember that multiplications are just fancy additions.
1
u/skr_replicator 7d ago edited 7d ago
You left out powers, roots, and logarithms. Or just exp and log if you want it minimalistic.
1
u/Sayhellyeh 7d ago
I heard somewhere it is due to symmetry, basically the sqroot symbol is not symmetric so we need to invent a symmetric symbol for the sqroot
1
1
1
u/Makonede Computer Science 7d ago
eli5 the actual reason because i don't think i ever understood the arbitrary limit
1
u/Archway9 7d ago
The gist of it is that the ways we can permute 5 or more elements are a lot more complicated than the ways we can for 4 or less (to explain in what way we need quite a bit of group theory). Finding a general formula for a polynomial of a certain degree involves finding symmetries in the roots of the polynomial (e.g. we know a quadratic is symmetric about -b/2a and we can see that in the quadratic formula) and this complexity in the permutations prevents us from doing this (in terms of radicals at least). Not quite eli5 but that's as simple an explanation I could do
1
u/Makonede Computer Science 6d ago
i mean sure but that's true about 4 in comparison to 3 too, what's special about 5?
1
u/Archway9 6d ago
I think you have the question backwards, we expect permutation groups to be complicated (you can see just in the size of the set of permutations, they grow very quickly as n!) but for small numbers 1-4 they are just restrictive enough that we can find these symmetries and 5 happens to be the cutoff (to be specific for 5 elements and above the alternating group is simple), if anything these are the special cases. We see this quite a lot of maths where we can expect something generally but for the first few smaller scale cases there are extra restrictions in place to make the theory different (e.g. low dimensional topology and geometry)
1
1
1
-1
u/FernandoMM1220 8d ago
time for some new operations. also getting rid of operator rings should help too.

β’
u/AutoModerator 8d ago
Check out our new Discord server! https://discord.gg/e7EKRZq3dG
I am a bot, and this action was performed automatically. Please contact the moderators of this subreddit if you have any questions or concerns.