Тёмный

Most equations like this are not solvable. 

Michael Penn
Подписаться 300 тыс.
Просмотров 61 тыс.
50% 1

Suggest a problem: forms.gle/ea7Pw7HcKePGB4my5
Please Subscribe: ru-vid.com...
Patreon: / michaelpennmath
Merch: teespring.com/stores/michael-...
Personal Website: www.michael-penn.net
Randolph College Math: www.randolphcollege.edu/mathem...
Randolph College Math and Science on Facebook: / randolph.science
Research Gate profile: www.researchgate.net/profile/...
Google Scholar profile: scholar.google.com/citations?...
If you are going to use an ad-blocker, considering using brave and tipping me BAT!
brave.com/sdp793
Buy textbooks here and help me out: amzn.to/31Bj9ye
Buy an amazon gift card and help me out: amzn.to/2PComAf
Books I like:
Sacred Mathematics: Japanese Temple Geometry: amzn.to/2ZIadH9
Electricity and Magnetism for Mathematicians: amzn.to/2H8ePzL
Abstract Algebra:
Judson(online): abstract.ups.edu/
Judson(print): amzn.to/2Xg92wD
Dummit and Foote: amzn.to/2zYOrok
Gallian: amzn.to/2zg4YEo
Artin: amzn.to/2LQ8l7C
Differential Forms:
Bachman: amzn.to/2z9wljH
Number Theory:
Crisman(online): math.gordon.edu/ntic/
Strayer: amzn.to/3bXwLah
Andrews: amzn.to/2zWlOZ0
Analysis:
Abbot: amzn.to/3cwYtuF
How to think about Analysis: amzn.to/2AIhwVm
Calculus:
OpenStax(online): openstax.org/subjects/math
OpenStax Vol 1: amzn.to/2zlreN8
OpenStax Vol 2: amzn.to/2TtwoxH
OpenStax Vol 3: amzn.to/3bPJ3Bn
My Filming Equipment:
Camera: amzn.to/3kx2JzE
Lense: amzn.to/2PFxPXA
Audio Recorder: amzn.to/2XLzkaZ
Microphones: amzn.to/3fJED0T
Lights: amzn.to/2XHxRT0
White Chalk: amzn.to/3ipu3Oh
Color Chalk: amzn.to/2XL6eIJ

Опубликовано:

 

8 дек 2021

Поделиться:

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист
Посмотреть позже
Комментарии : 199   
@sinecurve9999
@sinecurve9999 2 года назад
Today I learned: trigonometric functions of rational multiples of pi are algebraic numbers. Neat.
@Nitin-_-_-_-_-_-_-00971
@Nitin-_-_-_-_-_-_-00971 2 года назад
Are you a JEE aspirant?
@thenateman27
@thenateman27 2 года назад
I remember when I first learned this and my mind was blown
@johannesh7610
@johannesh7610 2 года назад
Pretty cool, yeah. Follows directly from cos(qτ) = Re(e^(iqτ)), but e^(iqτ) is a (denominator of q)-th root of unity
@matthieumoussiegt
@matthieumoussiegt 2 года назад
it is not a +1 at the end of the polynomial but a -1 to ensure that it is the correct solution
@XJWill1
@XJWill1 2 года назад
I noticed that also. He forgot to plug his solution back into the original equation to see if it works! Then maybe he would have caught the error. Guess that was not a good place to stop!
@davidblauyoutube
@davidblauyoutube 2 года назад
@@XJWill1 So did I. Wolfram confirms this with MinimalPolynomial[2Cos[Pi/11],x].
@ramzikawa734
@ramzikawa734 2 года назад
This was driving me insane, “what did I do wrong in my algebra?!?”
@koenth2359
@koenth2359 2 года назад
Noticed that too. I wondered whether the problem was intended with -1 and just copied wrongly afterwards. Maybe the problem was intended with the +1. You'd get a nastier solve: (t^11+1)/(t+1) = 2t^5.
@no1ofinterst
@no1ofinterst 2 года назад
Ah, thanks! I was quickly cheking it on desmos to see if it worked. That explains why all the solutions seemed to be finding "2s" of the equation
@scp3178
@scp3178 2 года назад
Nice approach ("Ansatz"), Michael. Thank you. I think there is a little mistake at (9:56): You wrote exp(i*pi)=exp(i*(pi + 2k))
@infopek3221
@infopek3221 2 года назад
Yep, he definitely forgot to include the pi in the product xd
@landsgevaer
@landsgevaer 2 года назад
Obviously, he meant k itself to be a multiple of pi...
@hbowman108
@hbowman108 2 года назад
Riemann "solved" the quintic using a generalization of the trigonometric/hyperbolic solution of the cubic. Those functions have a triple "angle" formula that can be used for a cubic solution. Riemann showed that by using doubly periodic analytic functions of a complex variable (elliptic functions), there were identities that could be used to solve any quintic. Of course, then to "compute" the roots, you have to evaluate the elliptic functions, which are simply solutions to a certain- differential equation. Or they have series expansions.
@dysrhythmia
@dysrhythmia 2 года назад
I was wondering about that for a long time! Do have a reference for that so i can look into it more?
@tutordave
@tutordave 2 года назад
yeah, just when I plugged 2cos(pi/11) into the equation, it gave the result of 2, not 0. I checked my result twice for mistakes. The mistake is that after the t + 1/t substitution, you get t^5 - t^4 + t^3 - t^2 + t + 1 + 1/t - 1/t^2 + 1/t^3 - 1/t^4 + 1/t^5. That's not your result. So I think maybe the mistake is in the original equation. I think it should be x^5 - x^4 - 4x^3 + 3x^2 + 3x - 1 = 0.
@ib9rt
@ib9rt 2 года назад
It would really help confused watchers if you would update the comments or description to correct the mistake in the video. The constant term in the original polynomial needs to be −1, not +1. You could also mention the good practice of sketching the function and locating the approximate solution in order to check the result. In this case the approximate solution to the polynomial as presented is around -1.775, which does not correspond to 2*cos(pi/11).
@ecoidea100
@ecoidea100 2 года назад
I think there is a mistake, the sign of 1 in the expansion is not negative, it is t^5-t^4+t^3-t^2+t+(+1)+1/t...
@digxx
@digxx 2 года назад
Why is that substitution common?
@cameronspalding9792
@cameronspalding9792 2 года назад
The reason why we can’t solve a general quintic is because of how the permutation group of 5 elements decomposes into simple groups The largest simple group in S5 is A5 which is simple and since it is non communicative you can’t write the general solution to the quintic
@jopicocco
@jopicocco 2 года назад
Oh yeah i remember algebra 2 (italian università) what a beautiful exam (solvable groups and galois)
@japanada11
@japanada11 2 года назад
Exercise: What is the Galois group of the polynomial from the video?
@soyoltoi
@soyoltoi 2 года назад
in radicals
@TacoDude314
@TacoDude314 2 года назад
@@japanada11 Technically the Galois group of the polynomial from the video is S_5 but he actually meant to use the polynomial x^5 - x^4 - 4 x^3 + 3 x^2 + 3 x - 1 which has Galois group C_5. This is pretty easy to verify because the five solutions are 2cos(n pi/11) for n=1,3,5,7,9. The formula for cos(n x) is polynomial in cos(x) (called a Chebyshev polynomial). Therefore Q(2cos(pi/11)) is the splitting field for x^5 - x^4 - 4 x^3 + 3 x^2 + 3 x - 1. Since Q(2cos(pi/11))/Q is a degree five Galois extension, its Galois group is the group of order 5, and is therefore C_5. The discriminants for the splitting fields of these polynomials are 19761 and 14641 respectively, which you can use to search for them in the L-functions and modular forms database (LMFDB).
@mobatyoutube
@mobatyoutube 2 года назад
For extra credit, show why this method generates only five unique solutions to the original quintic even though there are eleven solutions to t^11 + 1=0?
@GiornoYoshikage
@GiornoYoshikage 2 года назад
Obviously -1 is not a root. For any other root there's an inverse which is also a root - (e^(2πin/11))^(-1) = e^(2πi(11-n)/11) - and we can make exactly 5 pairs from them. For x=t+1/t there's no difference if we put t of 1/t into here so we have only 5 different values of x
@user-jc2lz6jb2e
@user-jc2lz6jb2e 2 года назад
Because the original polynomial is a 5th degree. But for something a little more illuminating, because these are roots of unity, so their inverses are also roots of unity, and also solutions. For a given solution t, t+1/t is the corresponding solution to the original polynomial. But this can also be written as (1/t) + 1/(1/t), so it also corresponds to 1/t.
@cameronspalding9792
@cameronspalding9792 2 года назад
x=t + 1/t The reason why we only have 5 solutions to the original polynomial is that some pairs of solutions to t^11=-1 generate the same value of x
@neilgerace355
@neilgerace355 2 года назад
Because cosine is even?
@monkerud2108
@monkerud2108 2 года назад
Well any polynomial with n real roots, has a derivative with at least n-1 real roots.. constant function cant have roots, its derivative doesn’t either, from there 2nd degree polynomials can only have (max#1st degree roots + 1) and so on leading to -> polynomial of degree N only has maximum N real roots. Pretty trivial proof.
@johnchessant3012
@johnchessant3012 2 года назад
It'd also be a nice problem to go in reverse, i.e., find rational polynomials for which 2cos(pi/n) is a root. For example, 2cos(pi/7) is a root of x^3-x^2-2x+1, and 2cos(pi/13) is a root of x^6-x^5-5x^4+4x^3+6x^2-3x-1.
@timeWaster76
@timeWaster76 2 года назад
I would guess 2cos(pi/n) is a root for an infinite number of polynomials
@TheEternalVortex42
@TheEternalVortex42 2 года назад
Of course, so presumably you ask for a polynomial of minimal degree with leading coefficient 1 (I guess this is called a 'minimal polynomial').
@weltkaiserendzeit2417
@weltkaiserendzeit2417 2 года назад
so what's the minimal polynomial of 2cos(pi/n) if this number is algebraic
@elkincampos3804
@elkincampos3804 2 года назад
In general if p is prime and 5 divides p-1. Then there is a sum of p-roots, s_p of unity such that s_p is root of polynomial of 5 degree. We can generalize, for all n.
@ivannz01
@ivannz01 2 года назад
the image of the reals under the map t\mapsto t +\frac1t is (-\infty, -1] U [+1,+\infty), i.e excludes the open interval (-1, +1). why didn’t we check for solutions to the original poly in x within the excluded range?
@karlbindl7883
@karlbindl7883 2 года назад
Could you possibly do some videos about galois theory...?
@yoav613
@yoav613 2 года назад
Very nice! Are there more common subtitutions like this for solving those equations?
@landsgevaer
@landsgevaer 2 года назад
The substitution t = x + p/x can be used in one of the steps when solving a cubic quite generally. But the fact that t = x + 1/x gets you anywhere here is just a happy accident.
@surbix1356
@surbix1356 2 года назад
Why do you use t + 1/t for x? I get that you were using substitution for X but why that specific equation?
@Reidemeistermoves
@Reidemeistermoves 2 года назад
Where does the $t + 1/t$ trick come from? Are there other ones?
@Null_Simplex
@Null_Simplex 2 года назад
Any quintic equation is as “solvable” as any polynomial of degree 4 or less. The key is realizing that quadratic equations were also unsolvable until roots were invented. Similarly, you can solve any polynomial of degree 5 or higher so long as you are willing to introduce new functions. In the case of quintic equations, one could use the addition of Bring Radicals to solve them. If inventing new functions to solve these feels like cheating, just realize that the square root of 2 is not something you can solve without a computer, since calculating the root of a number is (usually) an infinitely long process.
@holyshit922
@holyshit922 Год назад
x=2cos(π/11) is solution to the equation x^5-x^4-4x^3+3x^2+3x-1
@PunmasterSTP
@PunmasterSTP 2 года назад
Not solvable? More like "nice overall", because your videos are always amazing. Thanks again for making and posting them!
@seok7960
@seok7960 2 года назад
The constant should be negative 1 to make solution correct anyway solving quintic that is awesome !!
@alonamaloh
@alonamaloh 2 года назад
So is the Galois group associated with the polynomial solvable? Is there a general procedure to compute the Galois group, see if it's solvable and in that case find the roots exactly? I think I could say I understand Galois theory if I could write a program to do that.
@get2113
@get2113 2 года назад
Very clever, a nice trick to learn.
@landsgevaer
@landsgevaer 2 года назад
Except that it doesn't generalize at all, as far as I can see... A similar substitution t = x + p/x is much more generally useful when solving a cubic though.
@get2113
@get2113 2 года назад
@@landsgevaer Agree. I only encountered numerous quadratics and one quartic over career. Cubics rarely.
@srikanthtupurani6316
@srikanthtupurani6316 2 года назад
The hint may be (x+1) ^3. I am not sure. These problems can sometimes be annoying.
@TheNameOfJesus
@TheNameOfJesus 2 года назад
@1:25 it warms my heart that you wrote 1 4 4 before fixing it to 1 4 6. It gives me hope.
@rotiferphile
@rotiferphile 2 года назад
Looking at a graph of the original problem, there is a single real root near x=-2 - definitely not 2cos(pi/11). There is a mistake at 4:48 - the constant term should be +1. ??
@japanada11
@japanada11 2 года назад
There's a typo in the problem - the original polynomial should end with a -1, not a +1
@robwilkinson5682
@robwilkinson5682 2 года назад
Think there's a mistake here - the expression in t at 5:00 should have constant +1 not -1. Then when cancelling terms we're left with t^11 + 2t^6 +2t^5 +1 in the numerator, which sucks as the t=-1 sol isnt valid because of the t+1 term at the bottom. Not sure where to go from there!
@txikitofandango
@txikitofandango 2 года назад
Just change the original problem to -1 ;-)
@TheRealSamSpedding
@TheRealSamSpedding 2 года назад
@@txikitofandango always the best solution
@williamandrade-universoele6661
@williamandrade-universoele6661 2 года назад
Michael after replacement and development, the polynomial at "t" has its positive fifth-degree term. If it were negative, it would be worth its simplification using fraction equivalence.
@rosiefay7283
@rosiefay7283 2 года назад
4:31 Each step in this process might be easy, but there are an awful lot of them. Would your students be expected to write out so much algebra to solve an exam question? And how useful is this substitution x = t + 1/t anyway? It seems as if it is good pretty much only for this exact question.
@holyshit922
@holyshit922 Год назад
Basic QR for eigenvalues fails to converge many times but here can approximate the roots (Basic means with no shifts and deflations and something like that)
@afuyeas9914
@afuyeas9914 Год назад
Asking Maple the question of what are the roots in radicals you get an extremely complicated expression but from my understanding it essentially boils down to adding the fifth roots of a the solutions to an equation of degree 4 because the galois group of the equations which have cos(kpi/11) as roots is the dihedral group of order 10 which has Z5 has a normal subgroup... i think?
@josephmartos
@josephmartos 2 года назад
I love this channel
@8hng
@8hng 2 года назад
This is a polynomial, and it has one root at (-1.77312, 0.0)... what does this (x=2 cos(pi/11),,, x=1.9189...) mean then?
@goodplacetostop2973
@goodplacetostop2973 2 года назад
10:01
@carultch
@carultch 2 года назад
Did you make your user name, specifically to make this comment?
@goodplacetostop2973
@goodplacetostop2973 2 года назад
@@carultch Yes
@alessandrochen607
@alessandrochen607 2 года назад
Cannot t be -1?In the final passages we see that the exponent of t is odd, and (-1)^11 is - 1, so why we use complex numbers?
@fplancke3336
@fplancke3336 2 года назад
If you plug t=-1 in the polynomial in t you should see it doesn't work. That's why we have to go through complex numbers, to get other solutions for t = 11th roots of -1 to start from.
@jarikosonen4079
@jarikosonen4079 2 года назад
If looks like "good luck" with the substitution as it must be to get it done...
@mab9316
@mab9316 2 года назад
Can't understand why you choose that variable change: t+1/t ?
@landsgevaer
@landsgevaer 2 года назад
Because it worked, by accident really. Or, the problem was designed such that it worked. It is not something that generalizes or that you would come up with without that prior knowledge.
@choiyatlam2552
@choiyatlam2552 3 месяца назад
I remember this is a crucial step in deducing the cubic formula though.
@Nekuzir
@Nekuzir 2 года назад
Why does desmos think it can solve any quintic?
@sgkhk2397
@sgkhk2397 2 года назад
X=t+1/t.....here is a problem replacing x with t+1/t you have missed numbers between (-2, 2) because you can't make t+1/t any number between (2, -2) .... So you are considering their is no root between(2, -2)....
@user-yc3ls4nq7o
@user-yc3ls4nq7o 2 года назад
Awesome
@karimkamil1787
@karimkamil1787 2 года назад
Thanks for your instructive vidéos Could you please try this problem from a Moroccan contest Solve in integers m³+n²=9 Thanks
@SuperSilver316
@SuperSilver316 2 года назад
Integral Suggestion Can you do int(x*ln(abs(cos(x)))) from 0 to pi I think I have some ideas of how to get there, but it may need some gentle manipulations to solve it more formally.
@SuperSilver316
@SuperSilver316 2 года назад
Nvm I think I got it, but you should do it on your channel!
@yoav613
@yoav613 2 года назад
@@SuperSilver316 yes it is very nice. Split it to integral from 0 to pi/2 of xln(cosx) plus integral from pi/2 to pi of xln(-cosx) you can solve each of them by writing cosx= (e^ix+e^(-ix))/2
@yoav613
@yoav613 2 года назад
@@SuperSilver316 i am sorry there is simple way to solve it. After you split it to integral from 0 to pi/2 x ln cosx + integral xln(-cosx) from pi/2 to pi you can use the identity -cosx=cos(x+pi). Now make the sub z=pi-x for the second integral and it become integral from 0 to pi/2 of pi lncosx -x lncosx,then the xlncosx cancells and you left with the integral pi lncosx from 0 to pi/2 which michael already solved it is -pi^2ln2/2
@random19911004
@random19911004 2 года назад
Right at the end, you meant "plus 2k * pi"
@landsgevaer
@landsgevaer 2 года назад
Unless he meant k to be a multiple of pi. He didn't actually claim k is an integer... 😉
@Kuratius
@Kuratius 2 года назад
There is a solution to arbitrary quintics ( since they can be reduced to Bring Jerrard form) using a series generated by the Lagrange Bürmann theorem. So I would say they are solvable.
@XJWill1
@XJWill1 2 года назад
What is the solution for x^5 - x + 1 = 0
@nna7yk
@nna7yk 2 года назад
@@XJWill1 Ohoooo, so you're following Mathologer's videos, too - just like me :D :D
@shriramtomar3442
@shriramtomar3442 2 года назад
@@nna7yk which video are you talking about?
@japanada11
@japanada11 2 года назад
@@XJWill1 One solution is given by x = 3F4 (1/5, 2/5, 3/5, 4/5; 1/2, 3/4, 5/4; 3125/256), where 3F4 is a hypergeometric function (and therefore x can be expressed as a power series)
@XJWill1
@XJWill1 2 года назад
@@japanada11 An infinite series is not what most people are thinking of when saying that an equation is "solvable". For most applications, people expect a solution to be finite.
@konstantinospapadimitriou1735
@konstantinospapadimitriou1735 2 года назад
2*cos(pi/11) is not a solution of this equation. The constant should be -1 not +1...
@Amoeby
@Amoeby 2 года назад
4:38 how did he get -1? -x^4 gives us -6 and 3x^2 gives +6 (3*2), so they cancel each other. And the only constant left is in original equation but it has +1 not -1.
@sauzerfenicedinanto
@sauzerfenicedinanto 2 года назад
I Agree, prof Penn probably made a spelling mistake in the initial polynomial; it should have been x^5- x^4 - 4x^3 + 3x^2 + 3x -1 which has as solution 2cos (pi / 11) With the constant +1 would not have come the development with alternating T signs that would have led to the remarkable product that Prof Penn used. .
@srikanthtupurani6316
@srikanthtupurani6316 2 года назад
How did you guess that x=t+1/t works.
@XJWill1
@XJWill1 2 года назад
That substitution is useful in solving cubic equations, so it makes sense to at least try it.
@kevinmartin7760
@kevinmartin7760 2 года назад
@@XJWill1 I have to wonder if it is useful in solving higher-degree equations in general, or more so for those that appear in math contests because these tend to be selected so this substitution works?
@japanada11
@japanada11 2 года назад
The trick here should work any time the roots of a polynomial are all real and lie in the interval [-2,2] - this is something that can be checked in advance (eg using the intermediate value theorem) if you don't want to dive right in to the substitution.
@japanada11
@japanada11 2 года назад
(the reason being that any real number x in the interval [-2,2] can be written as x = e^(r pi i) + e^(-r pi i) for some r; so when you make the substitution x=t+1/t, you end up searching for points on the unit circle, which are typically much easier to find)
@japanada11
@japanada11 2 года назад
In fact, even if there's just one real root in [-2,2], the resulting polynomial in t will have a root on the unit circle (but it's still usually hard to find unless all the other roots are on the unit circle as well)
@algebraicoo
@algebraicoo 2 года назад
You need to check the solutions because t substitution give you 11 solutions,and the original equation have just 5
@TheRealSamSpedding
@TheRealSamSpedding 2 года назад
One will be t = -1, but that was not a solution - we multiplied everything by (t + 1) earlier on so couldn't have been zero as this would break our logical equivalences. The other 10 roots will be 5 sets of complex conjugate pairs, which will only yield five distinct values of x, as the complex conjugation preserves the real part.
@paulu_
@paulu_ 2 года назад
6:52 Does this factorization pattern have a name? Edit: Okay, found it. It’s called a telescoping sum.
@TheRealSamSpedding
@TheRealSamSpedding 2 года назад
yes it's linked to geometric series
@l.p.7585
@l.p.7585 2 года назад
I stopped caring about factorization tricks a while back but this was a fun problem! Thanks for showing it.
@theophonchana5025
@theophonchana5025 2 года назад
#QuinticEquation #polynomial
@bekhaddaderrar2111
@bekhaddaderrar2111 2 года назад
OMG ! You are a super genius in maths wow! How could you become like this?
@ldjq
@ldjq 2 года назад
lol. he completely stole this problem from the Soviet Russian professor Mikhail Abramovich. The author of this problem, which he invented in 1987. And your "mathematician" stole both the problem and the complete solution of the Russian professor)))). I feel sorry for you. you have a very poor education. ((Come to study in Russia! We will teach you
@playgroundgames3667
@playgroundgames3667 2 года назад
One of many videos where he answers the question. I don't know this one
@dmitryweinstein315
@dmitryweinstein315 2 года назад
The solution is not correct as with x=2*cos(pi/11) the left hand side =2, not 0.
@suttoncoldfield9318
@suttoncoldfield9318 2 года назад
Just found that myself
@lexyeevee
@lexyeevee 2 года назад
i believe quintics are /solvable/ - at least, wolfram alpha can give exact solutions - just not necessarily in radicals. and arguably you haven't given a solution in radicals here either :)
@TaladrisKpop
@TaladrisKpop 2 года назад
Yes, quintics are not all solvables in radicals. But we can use other functions
@NicholasOfAutrecourt
@NicholasOfAutrecourt 2 года назад
When a mathematician says something isn't "solvable," they mean exactly solvable. But yes, you can always brute-force an analytical approximation. I'd imagine that's what Wolfram and similar software does.
@lexyeevee
@lexyeevee 2 года назад
@@NicholasOfAutrecourt no, wolfram alpha gives *exact* solutions, just in terms of more esoteric functions than radicals. specifically hypergeometric ones, which i don't really know anything about. we could quibble about the meanings of "exact" and "solution" here, but they do give you a straightforward power series you can evaluate to arbitrary precision, which is arguably what a radical is too
@landsgevaer
@landsgevaer 2 года назад
Yes, if you allow that, then just define f(x) to be one branch of the inverse of this polynomial. Then f(0) is a solution. Voila, solved.
@TaladrisKpop
@TaladrisKpop 2 года назад
@@landsgevaer Sure, but elliptic functions are not random functions. They have applications in many areas of mathematics.
@NicholasOfAutrecourt
@NicholasOfAutrecourt 2 года назад
There's a mistake in there somewhere. 2cos(pi/11) is approximately 1.918, whereas the real root of the given polynomial is more like x = -1.773...
@BigDBrian
@BigDBrian 2 года назад
he wrote the original equation wrong, the constant term should've been a -1. notice that under the substitution of x=t+1/t nothing affects the constant term, yet it mysteriously flips from +1 to -1
@NicholasOfAutrecourt
@NicholasOfAutrecourt 2 года назад
@@BigDBrian So, he knows he made a mistake in the video, but doesn't come back and acknowledge it in the comments section and lets the video stand as it is? Or maybe he simply doesn't read comments? Either way ... odd.
@Mephisto707
@Mephisto707 2 года назад
Interesting that an irrational value obtained from a trigonometric function is a solution to a polynomial with integer coefficients. I guess this would be impossible with polynomials with degree less than 5?
@kevinmartin7760
@kevinmartin7760 2 года назад
This is easy, but the argument of the trig function is banal so the trig function gets simplified out. x^2+1 = 0 has solutions e^(±iπ/2) = ±i×sin(π/2) but sin(π/2) is known to be 1 so this simplifies to ±i. Even for cubic polynomials you get trig functions of multiples of π/3 which all have well-known values. The only thing special here is that there are not easily-obtained values for trig functions of multiples of π/11 so the trig function can't be simplified out. I suspect that if your tried punching out cos(π/11) using double-angle, half-angle, angle-sum and angle-difference identities you would eventually just end up back at the original polynomial.
@japanada11
@japanada11 2 года назад
Following up on Kevin's excellent answer - if you take any of the polynomials x-1 x^2-x-1 x^3-x^2-2x+1 x^4-x^3-3x^2+2x+1 and perform the x=t+1/t trick, you get something of the exact same form (alternating sum of powers of t) and therefore the same argument gives roots: 2cos(pi/3) 2cos(pi/5) 2cos(pi/7) 2cos(pi/9). The first of these is not that interesting, but even the second is pretty cool (it tells you that cos(pi/5) is half the golden ratio).
@Mephisto707
@Mephisto707 2 года назад
@@japanada11 Interesting! But something still puzzles me. If explicit formulas exist for 3rd and 4rd degree polynomials, doesn't this mean that cos(pi/7) and cos(pi/9) actually CAN be expressed in terms of sums, products and root extractions of real rational numbers? I thought this was impossible (the heptagon and the nonagon being non constructible polygons).
@japanada11
@japanada11 2 года назад
@@Mephisto707 yes they can! The issue is that being constructible is more restrictive - it only allows for _square_ roots (which can be computed by intersecting lines and circles or circles and circles). The expressions for cos(pi/7) and cos(pi/9) use cube roots, and cube roots are generally not constructible (cf the impossibility of doubling the cube with straightedge and compass)
@XJWill1
@XJWill1 2 года назад
@@japanada11 Yes, those nasty cube roots are so much more problematic than square roots! Here is an expression for cos(pi/9) 1/sqrt(1-(1-4/(2+(-4+sqrt(-48))^(1/3)))^2) which does not look too bad, but that 1/3 power hides a lot of complexity.
@fedeqwerty
@fedeqwerty 2 года назад
Michael spilled the T on this one
@manucitomx
@manucitomx 2 года назад
Thank you, professor!
@shubhamdawda7288
@shubhamdawda7288 2 года назад
Wow
@void7366
@void7366 2 года назад
Quintic polynomials may have a general form solution, just not an algebraic one
@pardeepgarg2640
@pardeepgarg2640 2 года назад
And what that general form??
@XJWill1
@XJWill1 2 года назад
What is the solution for x^5 - x + 1 = 0
@japanada11
@japanada11 2 года назад
@@XJWill1 One solution is given by x = 3F4 (1/5, 2/5, 3/5, 4/5; 1/2, 3/4, 5/4; 3125/256), where 3F4 is a hypergeometric function (and therefore x can be expressed as a power series)
@XJWill1
@XJWill1 2 года назад
@@japanada11 An infinite series is not usually what people mean when they talk about an exact general solution to an equation. I realize that it was stated "not an algebraic one" so the statement was technically correct, but as a practical matter I do not think it will get the point across to many people.
@japanada11
@japanada11 2 года назад
@@XJWill1 Actually, technically speaking, the solution I provided IS algebraic! The definition of "algebraic function" is one that can be expressed as a root of a polynomial in rational functions, and this hypergeometric series qualifies. The only distinction here is whether a solution can be expressed _in radicals_ - which is really not a conceptually significant distinction, aside from the fact that we as a society have come to privilege radicals as being somehow special because they come up often enough in applications to get their own calculator buttons. There is no fundamental difference between radicals and hypergeometric functions (both are defined algebraically as the root of a certain polynomial, and analytically as a power series)
@Examinx
@Examinx 2 года назад
I tried doing this on my own before watching the video and arrived at the same initial steps, but got stuck due to the mistake in the problem (polynomial should have -1 at the end instead of +1). The hard part of the problem seems to be coming up with those initial steps, so I figured I'd give my personal thoughts on how I came up with those initial steps and substitution. The polynomial initially appears to be "almost factorable" when you split the -4x^3 into -x^3-3x^3, and this gives x^5-x^4-x^3-3x^3+3x^2+3x-1=0. I did this because the 4 coefficient appeared to be the sum of the 1 and 3 coefficients. Splitting up that term makes it clear that the polynomial can almost be factored into (x^3-3x)(x^2-x-1)-1=0. Then, the x^3-3x term motivates the substitution x=t+1/t to give t^3+1/t^3 since the substitution is nice (this is a common trick especially when the numbers are nice like in the case of x^3+-3x). Substituting into the entire equation gives (t^3+1/t^3)(t^2-t+1-1/t+1/t^2)-1=0, which also has nice coefficients when expanded and can be solved easily. Hope this helps motivate why this approach is chosen.
@user-cb5jm6tl9j
@user-cb5jm6tl9j 2 года назад
At the end, must be -1, no +1
@Happy_Abe
@Happy_Abe 2 года назад
Not just +2k but +2k*pi
@mikeduffy4450
@mikeduffy4450 2 года назад
t = -1 is an introduced solution. The other 10 solutions are genuine.
@robinche95
@robinche95 2 года назад
in fact by doing the same process, you only have 5 double roots which in term only gives the 5 roots of your initial polynomial.
@kaptenkrok8123
@kaptenkrok8123 2 года назад
quintic equations are very much solvable just doesnt exist a general solution formula...
@kennethkan3252
@kennethkan3252 2 года назад
x=-1
@user-yc3ls4nq7o
@user-yc3ls4nq7o 2 года назад
It must have 5 solutions since it is 5th order What about other 4 sols?
@robinche95
@robinche95 2 года назад
you can do the same thing for other 11th roots of -1 : cos((2k+1)pi/11), for k =0..4. Fun fact: since it's a polynomial of degre 5, and you have one root, factor it and you can solve the remaining degree 4 polynomial :)
@user-yc3ls4nq7o
@user-yc3ls4nq7o 2 года назад
@@robinche95 thank u :)
@Vincent-lw9ix
@Vincent-lw9ix 2 года назад
why -1 is not equal to e^(3ipi), e^(5ipi)……?
@bregottmannen2706
@bregottmannen2706 2 года назад
yes it is
@nikhilnagaria2672
@nikhilnagaria2672 2 года назад
it is
@carultch
@carultch 2 года назад
It is. e^(i*pi*(2*n+1)) = -1, where n is any integer. (2*n-1) is our odd integer generator. Every odd multiple of i*pi in that exponent, will yield -1 as the output of the exponential. The famous example of e^(i*pi) = -1 is the principle case of this rule, where n=0. The function e^(i*theta) is periodic, so there is a repeating pattern of it throughout the domain of theta. Odd multiples of pi for theta, yield -1, and even multiples of pi for theta yield +1. Odd multiples of pi/2 will yield purely imaginary numbers, and odd multiples of pi/4 will yield complex numbers where the real and imaginary components are equal to each other in absolute value.
@Vincent-lw9ix
@Vincent-lw9ix 2 года назад
Yes, but why it is e^(ipi) in this question? Maybe the answer should also be 2cos(3pi/11), or 2cos(5pi/11) or any odd multiple of pi over 11. But why is it 2cos(pi/11) here?
@bregottmannen2706
@bregottmannen2706 2 года назад
@@Vincent-lw9ix cos is periodic so it doesnt matter if you take cos(3pi/11) or cos(3pi/11 + 2pi)
@ldjq
@ldjq 2 года назад
задача украдена у Российского и Советского профессора Михаила Абрамовича. Автора этой задачи 1987 года. Она была вступительной задачей в МГУ. Вам Стыдно должно быть. Если вы крадете, указывайте автора. И приезжайте учиться в Россию. Мы вас научим математике) task stolen from Russian and Soviet professor Mikhail Abramovich. The author of this problem is 1987. She was an introductory task at Moscow State University. You should be ashamed. If you steal, indicate the author. And come to study in Russia. We will teach you math
@Aleko64
@Aleko64 2 года назад
Confermo l'errore, verificato con Geogebra il polinomio deve finire con -1
@hexagonist23
@hexagonist23 2 года назад
-1.77313
@mulletronuk
@mulletronuk 2 года назад
Not just most, almost all!
@semjonadlaj259
@semjonadlaj259 11 месяцев назад
+2 k pi
@user-ol3sh2nm1r
@user-ol3sh2nm1r 2 года назад
Things get imaginary faster than u think
@nikitakipriyanov7260
@nikitakipriyanov7260 2 года назад
No, the solutions of the original equation (correct one, with -1 in the end, not +1) are real.
@sadeghsadeghi7783
@sadeghsadeghi7783 2 года назад
Hello Dear Mr.Penn.You make a mistake in solving this problem.t+1/t>=2 or t+1/t
@sgkhk2397
@sgkhk2397 2 года назад
Yes you are absolutely right..... While watching this I also commented the same thing...nice to see I am not the only one who noticed it🙃🙃🙃🙃
@sgkhk2397
@sgkhk2397 2 года назад
Where are you form????.... Are you a college student?
@adandap
@adandap 2 года назад
That's only true for real values of t. If t is allowed to be complex then you can get those values. For example, i + 1/i = 0.
@Everth97
@Everth97 2 года назад
Pi -> Pi(1+2k) at the end for the periodicity!
@Blabla0124
@Blabla0124 2 года назад
small typo at the very end: 2k => 2kpi
@MofoMan2000
@MofoMan2000 2 года назад
hax
@starpawsy
@starpawsy 2 года назад
I go with x=1 and x=-1. If that doesnt work, I give up.
@RexxSchneider
@RexxSchneider 2 года назад
Just use a quick sketch to get an idea of where any roots are, then apply Newton-Raphson. Using a spreadsheet simplifies the tedious calculations.
@starpawsy
@starpawsy 2 года назад
@@RexxSchneider You force me to repeat myself. if it aint +/-1, I give up.
@RexxSchneider
@RexxSchneider 2 года назад
@@starpawsy I don't force you to do anything. These comments are viewed by a large audience, not just you. Even if you want to give up easily, there will almost certainly be a lot of others who will want to try a bit more.
@starpawsy
@starpawsy 2 года назад
@@RexxSchneider Agree completely. And I applaud them for their efforts.
@kaishang6406
@kaishang6406 2 года назад
5am, why am I still awake
@abdollahkhorshidi7367
@abdollahkhorshidi7367 Год назад
pascal-khayyam khayyam is iranian
@erfanmohagheghian707
@erfanmohagheghian707 Год назад
No sir unfortunately you did it wrong. that polynomial has a real root around -1.77 which is not equal to 2cos(pi/11). I wonder why you did not bother to check!
@maciuikanikoda7809
@maciuikanikoda7809 Год назад
question: which percentage of people per country in 2023 can solve this? and understand the history of it and name the mathematicians like Evarice Gallois? Can Vladimir Putin do that by himself alone? If no, "his" Russia is in deep trouble.
@maciuikanikoda7809
@maciuikanikoda7809 Год назад
dido for other countries
@barisdemir7896
@barisdemir7896 2 года назад
mr.penns mistake
@Anonymous-df8it
@Anonymous-df8it 2 года назад
OMG! My comments are always the last. Giving this reply so your comment doesn't get pushed down!
@damianbla4469
@damianbla4469 2 года назад
08:12 When we get "t^11 = -1", the most people would do this: t = 11-th root of (-1) t = -1 x = t + 1/t x = (-1) + 1/(-1) x = (-1) + (-1) x = (-1) - 1 x = (-2) But we would skip the other solutions :(
@damianbla4469
@damianbla4469 2 года назад
@@gregorymorse8423 Sorry, I haven't written clearly enough what I think. I just wanted to emphasise that the most people would solve the equation "t^11 = -1" in the "easy" way (by just taking the 11-th root) even though - as you wrote and as Mr Michael Penn said in 07:53 - it brings us to the wrong answer. In addition, this way give us only one (wrong) answer - but Mr Penn showed there are more answers. Thank you for your comment which helped the people better understand my previous comment :)
@mmmmmark9751
@mmmmmark9751 2 года назад
Get annoyed with this channel quite often........many simple procedural errors (crossed plus and minus), calculation errors, spending time detailing simple techniques like foiling and cross-mults......and then flies through complex and difficult stuff (like number theory) with no explanations......
Далее
There is a nice trick to calculate this limit.
17:01
Просмотров 64 тыс.
Squaring Primes - Numberphile
13:48
Просмотров 1,6 млн
a nice non-linear recursion problem
14:56
Просмотров 20 тыс.
the craziest trig simplification I have ever seen!!
12:37
A Nice Quintic | Video Response to @blackpenredpen
10:04
The Insolvability of the Quintic
10:19
Просмотров 178 тыс.
A classic number battle -- Did I make this too hard?
6:01
There is some "complex" stuff happening here...
17:11