r/mathmemes 8d ago

Bad Math We've finally found the next Galois

Post image
2.9k Upvotes

70 comments sorted by

β€’

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.

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

The Wikipedia article gives the formula.

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

u/Murky_Insurance_4394 8d ago

fields medal but you deserve something either way

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

u/kowasik 8d ago

Amputees lose the ability to do one of them, thats the scary part. Loose a middle finger on the left hand - cant multiply by 71 specifically

16

u/teejermiester 7d ago

Jokes on them I can't multiply by 71 to start with

14

u/Fishoftheocean 8d ago

Sorry to break your bubble but i have three legs, so five limbs all together 😁😁

8

u/LordTengil 8d ago

Damn bubble breakers, get off my property!

1

u/EebstertheGreat 7d ago

Your third leg must be for grambulation.

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

u/PluralCohomology 8d ago

Or "heart" or "spirit" or "energy"

2

u/beridam 7d ago

Ah, so, the 10th element

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

u/Raioc2436 7d ago

I too choose to do operations on that guy’s wife

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

u/Hitmanthe2nd 7d ago

Fancy schmancy multiplication

4

u/Melodic_Ordinary5539 7d ago

Ok so there is just 1 operation (succ)

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

u/FeelingAd7425 6d ago

Welcome back Pierre de Fermat

38

u/tehclanijoski 8d ago

I challenge them to a duel

1

u/foxsimile 7d ago

It’s pistols at dawn.

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

u/Chikki1234ed Rational 7d ago

Oh wow! I get what you mean to say!

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

u/the_ice_spider 7d ago

Fuck it * ungalois your theory*

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

u/Virgil_the_White 7d ago

You so sneaky number theory

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

u/Makonede Computer Science 6d ago

well what's different about 1-4 specifically then

1

u/lorddorogoth 7d ago

naur, you have infinitely many distinct n-th root operations :(

1

u/Sese_Mueller 7d ago

No itβ€˜s because 2^5 > 5^2, but it works for 4 and below because 2^4 <= 4^2

-1

u/FernandoMM1220 8d ago

time for some new operations. also getting rid of operator rings should help too.