In my first semester at the Georg-August university in Göttingen (Germany) the linear algebra lecture was given by Preda Mihailescu. Nice to hear his name in one of our videos!
I do love that moment of clarity and understanding when learning something new (...I also enjoy watching someone else experience it when I am the one teaching). Most of the math in these videos goes over my head, but I always seem to get just enough to get a brief moment of learning. Thanks again for doing these videos!
@@goldminer754 I had him in my AGLA1 course. He is a really cool guy, his lecture is a bit all over the place though. Proving the fundamental theorem of Algebra to first semesters the Gauss way isnt really cool. Möbius transformations arent nice either for 1st semester students!
Catalan's Conjecture is too strong a theory and wants to separate from the rest of mathematics. It wants to be in its own independent set. Can't blame it.
Of course, there's always a next question(s), once something like this gets settled. Like, is there a point beyond which there are no more differences as small as d, where d is 2 or 3 or ... For instance, are 25 and 27 the last pair of powers that differ by 2? Are 125 and 128 the last pair that differ by 3? Are 2187 and 2197 the last pair of powers that differ by 10? Etc. Thanks! This was fun!! Fred PS. A reply 2 years ago, by dlevi67, to a similar comment of mine, points out that, "Pillai's conjecture says that there are only finitely many misses for any integer value of the miss."
"For instance, are 25 and 27 the last pair of powers that differ by 2?" Fermat (_that_ Fermat) did prove that 25 and 27 are the only _square and cube_ that differ by two, but that's a very small bite out of the question!
I just started learning about elliptic curves, and the curve y^2=x^3+1 is an elliptic curve of rank 0 with a torsion group of order 6. Not only are there no integer solutions (other than (-1,0), (0,+/-1), (2,+/-3)) but there are also no other rational solutions!
I can't shake the impression that Dr Krieger reminds me of Jewel Staite (Kaylee in Firefly, Dr Keller in Stargate Atlantis). There's something about the voice that rings the same bells, as well as the way she looks when she smiles.
What I love about this channel is shows that math can be super hard but at the same time doesn’t require you to be from a different planet to understand it.
An interesting observation I've often wondered about, but had no idea was actually being tackled by mathematicians! There are a number of other "pretty-close" cases. 5³ - 11² = 125 - 121 = 4 · · · ↓ 2⁷ - 5³ = 128 - 125 = 3 . . → these two examples are all the more interesting, because there are *three* powers within a short span (7) 13³ - 3⁷ = 2197 - 2187 = 10
May I propose the Schultz Conjecture: looking at the list of all integer powers, a separation of every integer value is found eventually, like there is *somewhere* a separation of 1, 2, 3, etc.
I remember hearing one time a conjecture similar to Catalan's; namely, the only (positive Diophantine) solution to x^a-y^b=2 is 3^3-5^2. In other words, 26 is the only positive integer that is "sandwiched" between two perfect powers (25 and 27). Does anyone know if this conjecture has a name, or if it has been proven?
I've never found any category of people to be categorically excluded from crush potential. Patterns of people are about as useful as patterns in clouds.
Bob Stein He's propably saying that he's not a tennager who loves somebody just because he like the videos they make. The "pattern" can inform about the people he like or why he likes them. And patterns of people are totally useful. We classify people all the time because of that.
Fun fact, I used to study at the university where Prof Mihailescou teaches nowadays and actually know him from some lectures. I kind of liked him, je was on the more funny side as far as my professors went. I came to this video fully expecting to see him mentioned here^^
There seems to be an unstated assumption here. At around 5:30 we're told there are no two cubes that differ by two. But there is one such pair: 1 and -1. Thus, we can expect a solution if x = 0. And putting that into the original equation gives us y = -1.
In my mind, the most natural way to show that x^2-y^3=1 only has the one known solution would be putting x^2 and y^3 on the same axis of a graph and showing that they diverge after x=3; y=2.
For the case y=even: x=odd => (x+1) and (x-1) are both even and have the factor 2^n => x+1=2^n * (some odd factors) and x-1=2^n * (some odd factors). Addition gives 2x=2^n * (some odd factors) => x=2^n-1 (some odd factors) => n=1 since x=odd => x+1=2N+2 and x-1=2N => (x+1)(x-1)=4(N+1)=y^3 => N+1 must be 2 since 4(N+1) is a cube => N=1 => x=3, which is the only solution.
I think you've defined n to be the largest integer such that 2^n divides both x-1 and x+1. However, x-1 and x+1 may be divisible by different powers of 2 (e.g. take x=15 or x=23 or...) so dividing them by 2^n does not necessarily give an odd result. And I'm not sure what N is but I don't see how 4(N+1)=y^3 implies N=1 (e.g. 4(15+1)=64=4^3).
I've read that 26 is the only integer that falls directly between a square (25) and a cube (27), and that Fermat proved it? Is this right and is the proof similar to this?
Nobody's proved it for the number 6, let alone "every natural number." Or for 14, or 32, or 42, or 50... there's an apparently infinite number of (conjectured) counter-examples (A074981 in the OEIS)
Possibly worth mentioning that if you extend to non-positive integers, you also get (-)1^n and 0^n (but no other pairs separated by 1 - negative integers are only powers if they're odd powers of negative integers). Possibly not worth mentioning it either.
Powers start with higher power of 2. Then power ordered. A square minus cube is one. Folding geometry is unit. 2 and 3 are the closest in switch over jumping into negative dimensions.
I found this a bit more intuitive by writing a Python program to iterate through a limited set of numbers, showing their differences. I will post it, in case someone wants to play with it. ***** ShowDifferencesLessThan = 20 GenerateNNumbers = 5001 GeneratePowersUpTo = 50 s = set() for x in range( 1, GenerateNNumbers): for a in range( 2, GeneratePowersUpTo): s.add( x ** a) ss = sorted( s) last=-1 for x in ss: if last != -1 and x - last < ShowDifferencesLessThan: print( "%d\t%d" % (x, x - last)) last=x
The two factors differ by exactly two. We are assuming that y is odd. Since the differ by 2, they can have no common factor. We need 3 copies of each of the factors of y, because y is cubed. These three factors are distributed between the two factors x-1 and x+1. But since those two factors don't share any factors between then, a given triplet of y factors has to be assigned to either of x-1 or x+1. Hence, they are each cubes.
The factors are the same on both sides of the equation. If (x+1) had a non-cubed factor, and (x-1) did not have that same factor at all, then y^3 must also have that non-cubed factor. y^3 cannot have any non-cubed factors, because y^3 is a perfect cube. Therefore (x+1) must only have cubed factors. Therefore, (x+1) must be a perfect cube. Ditto for (x-1)
The general solution to x^2 - y^3 = 1 for integers x and y seems pretty easy. When you factor it as described you get (x+1)*(x-1)=y^3 yields only 3 possibilities: 1) (x+1) and (x-1) are both cubes. As you mention there can be no cubes that meet this - NO SOLUTION 2) y^3 is all contained in either (x+1) or (x-1) and the other = 1 - since y^3 >1 then (x-1)=1 => x=2 => y^3=2^2-1=3 which is not an integer - NO SOLUTION 3) The cube has to be split over the two (x-1) = y and (x+1) =y^2 => (x+1) = (x-1)^2 => x^2=3x =>x=3 => y=(3-1)=2 => 3^2 - 2^3 = 1 = YES 3^2 - 2^3 = 1 is the ONLY solution to x^2 - y^3 = 1 Does the general solution follow a similar path of elimination? Since x^n - y^m = 1 => y=(x^n-1) = (x-1)*(poly of x) => x-1 has to fit one of the same three options described above
You could also solve this by transforming y^3 in y*(y^2). That would mean x=y+1 or y=(x+1)^0.5, thus giving x=3 and y=2. Of course, there was another possible disjunction, x=y-1 or y=(x-1)^0.5 but it is impossible for any integer x, y.
Typically the answers are limited to natural numbers starting from 1. In integers, you are correct, however, and there's also (-1, 0) and (-3,2) as answers.
5:17 so as I understand here, as it wasn't that clear, if a factor of y is a cube of one of the two before, then the other must be a cube. Reading up on this, to prove in the case of even numbers you have to convert the equation to x^2 = y^3 +1 and turn it into 3 brackets with the cube root of unity, which can then be whittled down to prove only the case explained.
I like how I failed every single aspect of math throughout many years of schooling and yet somehow by watching this video I naively thought "oh hey, you're older now Trevor, you'll probably understand what's being said"
I feel like you could make a proof that's easy to understand. Firstly, if you're looking at only powers of two, you will find that if you compare any X^2 with (X+1)*(X-1) you will find that they are always 1 apart. The two numbers must be right next to each other for this to happen. In any instance of X*Y, the distance from X to Y directly correlates with the distance between the product of X*Y versus the product of (X+1)*(Y-1). So we already have a proof that in all cases in which X*Y and (X+1)*(Y-1) are 1 apart, X=Y (or X+1 = Y-1). In similar fashion, we are trying to interpret the change in the minimum amount of separation between two perfect powers as those perfect powers themselves get larger. Now the separation varies back and forth, but there is most likely a pattern, something which the closest partners have in common. What can we notice about some of the first examples of close approaches? 25 (5^2) and 27 (3^3) 125 (5^3) and 128 (2^7) 4900 (70^2) and 4913 (17^3) 32761 (181^2) and 32768 (2^15 or 8^5 or 32^3) Some things I notice immediately: * The numbers on the right are often boolean * The numbers on the right possibly alternate between X^3 and 2^X * The numbers on the left have small exponents I am seeing a similarity between the square roots and the perfect powers. It seems that in either case, you can have a close approach in products when the inputs have the right kind of closeness as well. In the case of perfect powers, it might have something to do with the "most powerful" perfect powers (those with multiple factorizations) also having a perfect power near to and slightly lower than them. You may think this is mere coincidence, but in toying with calculators over the years, I have seen many number patterns emerge, and a lot of them look something like this. One very common feature of comparative number patterns is that when you change a number system slightly to achieve similar output, you seem to always either get the same every time, or not the same every time.
Guys anyone got any quick proof on this? My professor said he would pass anyone who proved it with the highest possible mark. I failed when I tried, obviously. ps: I think he was personal friends with Mihailescu, the one who proved it.
i have a simple proof for x2 - y3 = 1 but not for y3-x2=1 🙂and its mathematical with symbols and concrete logic unlike here which says 2 cubes cant be close ofcourse they can more cubes are multiplied into one it may be possible to bring them closer may be 10 or 20 anyway if it works for u let me know afterall its a year or maybe 2 now cheers
How do you develop new maths. Zero is an identity of circular set. The set with elements -1 and + 1 is an other circular set. And -2 +2 is an other. -3 -2 -1 0 1 2 3 is an other. These are the definitions. Why we need them. All equations in physics deals with field. A field is something equivalent to imaginary numbers in maths. All matter particles are derived from fields.
Super awesome video. Question, are there not two cubes that are two integers apart? That being -1^3 and 1^3, and their results would be -1 and 1, respectively. Need to rewatch video as often this stuff goes over my head the first time.
I am lucky enough to have Preda Mihailescu as a professor (at Uni Göttingen). You will not find a more happy, funnier (,smaller) or more motivated professor, than Preda in front of a bunch of mathematics, physics and computer science students, in their first semester.
@@TheMrbaummann and the most difficult maths lectures in all of Germany. I had Preda and Bahns in my first semester. Preda taught us the fundamental theorem of algebra by Gauss, constructed the reals using dedekind cuts and did Möbius transformation as well.
Because all powers of powers have a difference of 0 to the base of the power of the power, to the power of the product of the exponents so you can have infinite examples of this
n^1 is excluded, as far as I see. If these numbers are in, well, you had infinitely many gaps of difference 1... So that's too simple, I am talking of 2or more representations of the same number. Not all numbers have that, eg 2^2 is the only perfect power (of integers) resulting in 4, but still there are infinite numbers with 2 (or more) perfect powers and thus a difference of 0 between them. That's just not asked for.
5:29 Incorrect. We have two examples, not one example, of two cubes differing by two: (+1),(-1) and (8),(9). Unless you assume x cannot equal zero, (x-1)(x+1)=y^3 resolves for both (x=0,y=1) and (x=3,y=2).
@@MaximeJean94 Indeed. In fact, 1^a - 0^b works for all positive a and bs, not just 2 and 3. However, 0 isn't a positive integer, so this solution doesn't negate the conjecture.
I am a complete amateur in this field but -1 and 1 are cubes and they differ by 2, so why not use them. Or is it just that we are only thinking about positive integers only and not the negative one?
If we extend the statement to include powers of integers, we have two more solutions: 1^2-0^3=1, and 0^2-(-1)^3=1. In the proof given at the end, we have 1 and -1 as perfect cubes differing by 2, and 0 and 2 being an exception to that final equation because the claim that both factors have to be cubes fails if they multiply to zero.
Except that the conjecture states that all bases and exponents must be >1 (otherwise every natural number is a perfect power with exponent 1, and clearly there are infinite number pairs that are separated by 1 unit)
But if you extend the theorem so that bases could be any integer it's no longer true, since there are infinite cases... which makes it far less interesting. Note that the conjecture (or theorem) is NOT only about squares and cubes.
dlevi67 nope. The specific instance with a square minus a cube only has three solutions when so extended. I don't know, but I would think that even in the general case, there's still only a finite number of choices for the bases. Perhaps only these three.
quintopia well, if you allow +/- 1 and 0 to be bases there are clearly infinite trivial solution of the form 1^n - 0^m for any n,m... and 0^n +/- (-1)^m with +/- depending on m parity. On the other hand, from the proven conjecture, *as long as it does not depend on the bases being > 0*, it immediately descends that it should also be true for negative bases... as long as the ¦bases¦ > 1. Consider the cases (for bases < -1) and exponents n, m > 1 n, m even: all perfect powers are positive, same as Mihailescu's proof n, m odd: all perfect powers are negative, same as Mihailescu's proof in absolute value n,m even/odd or odd/even: one perfect power is positive, the other is negative => difference between any two opposite sign ¦numbers¦ > 1 is at least 4. The only potential problem is that I don't know if Mihailescu's proof depends in any way on the bases being greater than zero.
Ah, the Jay-Mu-Doc conjecture I feel like the larger n is, the more examples of perfect powers differ exactly by n. The problem, in the form of "a^b - c^d = n" is far too free to have any integer n that doesn't also have at least one set of integers a, b, c, and d
Pillai's conjecture is that there are only finite numbers of perfect powers separated by any integer value. Still not proven rigorously, as far as I know.
Pillai's conjecture states that each positive integer occurs only finitely many times as a difference of perfect powers. That's a less ambiguous way of stating it.
I fail to see the ambiguity (or the difference - finite or otherwise), especially considering the way in which the question was formulated, but if it makes you happy... ;-)
These videos are like watching Derren Brown. He explains the main part of the trick and then there's some additional flourish which indicates the trick is much bigger and invalidates everything he just told you.
I've been messing around on brilliant, no premium yet, still deciding, but the free questions are pretty good. My level of math is slightly above the norm, but that's it. I just don't have the time to learn and relearn at the moment. I'm more of a craftsman than an academic and right now I'm studying a 2nd trade in mechanical engineering. The engineering calculations modules aren't too complex, trig is about as heavy as it gets. But some of the stuff I have got right has been surprising, quite a few advanced ones I can be happy about, I think. But then I think if I answered them then they must be easy.
I have purchased lots of brown paper and magic markers but I am still useless at Maths.
Marcus Campbell Yes I know it is corny
You need sharpies
John Ayres
...but you’re very fashionable while being useless. A Kardashian of maths.
dumbass
*Dr Holly Krieger is so white and redhead that i need my dark glasses to even see* . 😂😂😂😂😂😂😂😂😂😂😂😂
For an elder (+60), average electronic engineer with a major interest in math, this channel is awesome.
I'm currently studying electrical and computer engineering. Has your job been fulfilling?
Yeah, of course it has. He's so full he can't even move.
I know its you electroboom @electroboom
I'm 21, Been Watching since 17 :D
uh, you make me feel old.. im just 17
In my first semester at the Georg-August university in Göttingen (Germany) the linear algebra lecture was given by Preda Mihailescu. Nice to hear his name in one of our videos!
That's awesome!
My conational😎
That course is still infamous at Göttingen uni as the "linear algebra course which almost nobody passed" :D
@@TheMrbaummann I passed it in 2019! Preda is totally awesome
Göttingen needed such a mathematician after Hilbert, Dirichlez and Gauss.
It is more fun to write the equation as 3^2-2^3=1^23
Or 3^2-2^3=3-2
Dale Kerr Quite eXcellent !!!
Do you mean 3²-2³=1²³?
:D
@@pablozumaran3997 HOW
@@MatBaconMC Key combinations: AltGr+2, AlgGr+3.
2:56 I'm kinda surprised that this was proved algebraically. Most difficult number theory problems seem to be tackled analytically nowadays.
If you look closer it's about groups, space and abstract algebra. How would you prove otherwise
I do love that moment of clarity and understanding when learning something new (...I also enjoy watching someone else experience it when I am the one teaching). Most of the math in these videos goes over my head, but I always seem to get just enough to get a brief moment of learning. Thanks again for doing these videos!
26 is the only number that simultaneously is one more than a square and one less than a cube.
Can you prove it?
Maxi Lexow Yes, it uses unique factorization in Z[sqrt(-2)].
now its known as john cessant conjecture
This problem currently appears in brilliant advanced weekly problem.
Yes so is a unique soln to x^2 + 1 = y^3 - 1. (x,y) = (5,3)
This Conjecture was proven by Preda Mihăilescu, at the University of Paderborn ! Honored to be able study at the university in 1 month's time ! XD
He is teaching now in Göttingen, you would have even had him in linalg 1&2 and algebra if you started 2 years ago in Göttingen.
so how did it go? hopefully you learned a thing or two!
I love paderborn
@@goldminer754 I had him in my AGLA1 course. He is a really cool guy, his lecture is a bit all over the place though. Proving the fundamental theorem of Algebra to first semesters the Gauss way isnt really cool. Möbius transformations arent nice either for 1st semester students!
Let's go romania.
Catalan's Conjecture is too strong a theory and wants to separate from the rest of mathematics. It wants to be in its own independent set. Can't blame it.
[Catalonia joke]
There is nothing in the mathematics constitution that allows this conjecture to separate itself.
lol catalonia
Asturias> Catalonia > rest of Spain > rest of Arab blood filled nations.
Damn your racism is over 9000.
Get back to your mine.
Of course, there's always a next question(s), once something like this gets settled. Like, is there a point beyond which there are no more differences as small as d, where d is 2 or 3 or ...
For instance, are 25 and 27 the last pair of powers that differ by 2?
Are 125 and 128 the last pair that differ by 3?
Are 2187 and 2197 the last pair of powers that differ by 10?
Etc.
Thanks! This was fun!!
Fred
PS. A reply 2 years ago, by dlevi67, to a similar comment of mine, points out that, "Pillai's conjecture says that there are only finitely many misses for any integer value of the miss."
"For instance, are 25 and 27 the last pair of powers that differ by 2?"
Fermat (_that_ Fermat) did prove that 25 and 27 are the only _square and cube_ that differ by two, but that's a very small bite out of the question!
OMG a new conjecture of math!
"This conjecture was already proven"
WHY DON'T CHANGE IT TO A THEOREM????
Eduardo Muller
It's been proven by Mihailescu
You can legally call it Mihailescu's Theorem
Alliteration. The only reason
I would think that it is because it's probably an old conjecture, so people are just used to calling it and referring to it as a conjecture?
It was Catalan's Conjecture. There is no inconsistency in this terminology.
Just to sound very very very very very very tough
when you're sitting alone on Valentine's day and numberphile makes a new video.
Thank you numberphile, atleast you give me math.
😂👏🏼
And Holly.
Preda Mihāilescu.........what!?I can't believe that a romanian made it to numberphile I am so proud 🇷🇴🇲🇩🇷🇴
Mihailescu is currently my professor for linear algebra. A very kind and jolly man.
My 9th grade math teacher called perfect powers “sexy numbers”
Sounds inappropriate tbh
@Diego Maradonna although those would be called sexy primes
@@nexusclarum8000 You sound pointless tbh
My 9th grade math teacher called me Nick-mobile, then I found out he called Steve, Steve-mobile. I was devastated, though I was special, guess not
As they should be
I just started learning about elliptic curves, and the curve y^2=x^3+1 is an elliptic curve of rank 0 with a torsion group of order 6. Not only are there no integer solutions (other than (-1,0), (0,+/-1), (2,+/-3)) but there are also no other rational solutions!
Bringing Holly in was the best thing numberphile has ever done
That's not fair to Hannah Fry!
I can't shake the impression that Dr Krieger reminds me of Jewel Staite (Kaylee in Firefly, Dr Keller in Stargate Atlantis). There's something about the voice that rings the same bells, as well as the way she looks when she smiles.
I love Numberphile videos featuring Dr Krieger!
...Happy Valentine's Day y'all, I guess?
I know the mathematician who proved Catalan conjecture. Prof Mihailescu did it in 2004 and gives lectures in Göttingen where I used to study math.
That was really fun. I think it is nice to go ahead and start down the right path....even if we can't follow the whole big proof.
Thanks!
What I love about this channel is shows that math can be super hard but at the same time doesn’t require you to be from a different planet to understand it.
An interesting observation I've often wondered about, but had no idea was actually being tackled by mathematicians!
There are a number of other "pretty-close" cases.
5³ - 11² = 125 - 121 = 4 · · · ↓
2⁷ - 5³ = 128 - 125 = 3 . . → these two examples are all the more interesting, because there are *three* powers within a short span (7)
13³ - 3⁷ = 2197 - 2187 = 10
Pillai's conjecture says that there are only finitely many misses for any integer value of the miss.
And 2209 = 47^2 comes shortly after 2187 and 2197 too, so there's another bunched up trio of powers
She's intelligent and incredibly charming. What a perfect combo.
😍
beautiful beautiful
Beauty with brains
Isn't that the *CGP Grey logo* standing in the corner? :D
that's a funny way to call it!
I think it is. Perhaps it's subliminal cross-promotion.
It's the Nail and Gear! Flag of the Hello Internet podcast.
"CGP Grey" is a funny way to spell "hello internet"
Dr. Krieger seems like she'd be just so much fun to hang out with!
Numberphile needs some t-shirts and other merch, man. So many cool things you guys cover.
May I propose the Schultz Conjecture: looking at the list of all integer powers, a separation of every integer value is found eventually, like there is *somewhere* a separation of 1, 2, 3, etc.
Thumbs up for the Romanian mathematician !!!
I thought he was Catalan...
A noastră!!
@@sharoneisenberg2274 the mathematician who proved the conjecture is Romanian
@LookBackTime
Nice to have a famous Romanian other than Count Dracula.
I'll get my coat.
Theoretically, vampires are intelligent beings
I remember hearing one time a conjecture similar to Catalan's; namely, the only (positive Diophantine) solution to x^a-y^b=2 is 3^3-5^2. In other words, 26 is the only positive integer that is "sandwiched" between two perfect powers (25 and 27). Does anyone know if this conjecture has a name, or if it has been proven?
I don’t “crush on” UA-cam celebs but omg I think I’m in love.
I've never found any category of people to be categorically excluded from crush potential. Patterns of people are about as useful as patterns in clouds.
Bob Stein
He's propably saying that he's not a tennager who loves somebody just because he like the videos they make. The "pattern" can inform about the people he like or why he likes them. And patterns of people are totally useful. We classify people all the time because of that.
Bob Stein What about Trump supporters?
I have a thing for women that show a passion and enthusiasm for something!
I could listen to Holly explaining anything all day and not mind at all, some people have that special something.
Fun fact, I used to study at the university where Prof Mihailescou teaches nowadays and actually know him from some lectures. I kind of liked him, je was on the more funny side as far as my professors went. I came to this video fully expecting to see him mentioned here^^
PLEASE CAN YOU PROVIDE THE EMAIL CONTACT OF THE PROFESSOR MIHAILESCU?THANK YOU
There seems to be an unstated assumption here. At around 5:30 we're told there are no two cubes that differ by two. But there is one such pair: 1 and -1. Thus, we can expect a solution if x = 0. And putting that into the original equation gives us y = -1.
Holly Krieger is back 💙💙💙
Dr. Holly Krieger is perfect for a Valentine's Day Numberphile!
You're a weirdo.
What
@@lincolnsand5127 lol
In my mind, the most natural way to show that x^2-y^3=1 only has the one known solution would be putting x^2 and y^3 on the same axis of a graph and showing that they diverge after x=3; y=2.
If you figure out a way to graph to (not towards) infinity, let us know.
2:50 Wait, that's a French poem, not math!
For the case y=even:
x=odd => (x+1) and (x-1) are both even and have the factor 2^n =>
x+1=2^n * (some odd factors) and x-1=2^n * (some odd factors).
Addition gives 2x=2^n * (some odd factors) => x=2^n-1 (some odd factors) =>
n=1 since x=odd => x+1=2N+2 and x-1=2N => (x+1)(x-1)=4(N+1)=y^3 =>
N+1 must be 2 since 4(N+1) is a cube => N=1 => x=3, which is the only solution.
I think you've defined n to be the largest integer such that 2^n divides both x-1 and x+1. However, x-1 and x+1 may be divisible by different powers of 2 (e.g. take x=15 or x=23 or...) so dividing them by 2^n does not necessarily give an odd result. And I'm not sure what N is but I don't see how 4(N+1)=y^3 implies N=1 (e.g. 4(15+1)=64=4^3).
I've been puzzled by 2 cubes in geometry in recent time, would you provide me with your interpretation, please?
I've read that 26 is the only integer that falls directly between a square (25) and a cube (27), and that Fermat proved it? Is this right and is the proof similar to this?
What I think is even more interesting about those numbers is: Is every natural number a difference between two of those Catalan numbers?
Nobody's proved it for the number 6, let alone "every natural number." Or for 14, or 32, or 42, or 50... there's an apparently infinite number of (conjectured) counter-examples (A074981 in the OEIS)
Possibly worth mentioning that if you extend to non-positive integers, you also get (-)1^n and 0^n (but no other pairs separated by 1 - negative integers are only powers if they're odd powers of negative integers). Possibly not worth mentioning it either.
Please do more with Holly!
Powers start with higher power of 2. Then power ordered. A square minus cube is one. Folding geometry is unit. 2 and 3 are the closest in switch over jumping into negative dimensions.
Of course you got Dr Krieger for valentines...
I ain't even mad tho.
Quarantined sitting on toilet and watching Dr Holly’s videos. This could last for months.
Dr Holly Krieger😍😍😍😍
claiming Hannah Fry
RIGHT?!?
*Dr Holly Krieger is so white and redhead that i need my dark glasses to even see* . 😂😂😂😂😂😂😂😂😂😂😂😂
This boss level beauty
I'm interested to know where the difficulty arises from when there are equations involving both addition and multiplication.
Very interesting problem. Happy Valentine's Day!
I found this a bit more intuitive by writing a Python program to iterate through a limited set of numbers, showing their differences. I will post it, in case someone wants to play with it.
*****
ShowDifferencesLessThan = 20
GenerateNNumbers = 5001
GeneratePowersUpTo = 50
s = set()
for x in range( 1, GenerateNNumbers):
for a in range( 2, GeneratePowersUpTo):
s.add( x ** a)
ss = sorted( s)
last=-1
for x in ss:
if last != -1 and x - last < ShowDifferencesLessThan:
print( "%d\t%d" % (x, x - last))
last=x
Where is numberphile live from maths fest?
Preda Mihăilescu is Romanian. I was so happy to see his name in this video.
(x+1)(x-1)=y^3
Hey can anyone explain why BOTH have to be cubes and not just one?
Get a book on number theory
The two factors differ by exactly two. We are assuming that y is odd. Since the differ by 2, they can have no common factor. We need 3 copies of each of the factors of y, because y is cubed. These three factors are distributed between the two factors x-1 and x+1. But since those two factors don't share any factors between then, a given triplet of y factors has to be assigned to either of x-1 or x+1. Hence, they are each cubes.
@@jungunddumm8023 That was rude and unhelpful. Always encourage someone who wants to learn.
The factors are the same on both sides of the equation. If (x+1) had a non-cubed factor, and (x-1) did not have that same factor at all, then y^3 must also have that non-cubed factor. y^3 cannot have any non-cubed factors, because y^3 is a perfect cube. Therefore (x+1) must only have cubed factors. Therefore, (x+1) must be a perfect cube. Ditto for (x-1)
Jung und Dumm last name checks out
Perfect guest for Valentine's day video.
Great video. Hopefully you'll do more proofs with Holly
Great video as always. Icing on the cake was the Public Service Broadcasting LP in the background. Excellent choice!
3:09 - "We don't have time for the next 'couple of years'..." - *Looks at watch* - I thought that was very funny.
The general solution to x^2 - y^3 = 1 for integers x and y seems pretty easy.
When you factor it as described you get (x+1)*(x-1)=y^3 yields only 3 possibilities:
1) (x+1) and (x-1) are both cubes. As you mention there can be no cubes that meet this - NO SOLUTION
2) y^3 is all contained in either (x+1) or (x-1) and the other = 1 - since y^3 >1 then (x-1)=1 => x=2 => y^3=2^2-1=3 which is not an integer - NO SOLUTION
3) The cube has to be split over the two (x-1) = y and (x+1) =y^2 => (x+1) = (x-1)^2 => x^2=3x =>x=3 => y=(3-1)=2 => 3^2 - 2^3 = 1 = YES
3^2 - 2^3 = 1 is the ONLY solution to x^2 - y^3 = 1
Does the general solution follow a similar path of elimination?
Since x^n - y^m = 1 => y=(x^n-1) = (x-1)*(poly of x) => x-1 has to fit one of the same three options described above
YASSSSSSSSSSSSSS I LOVE CATALAN'S CONJECTURE. Something about it is just so amazing.
ha, nurd
it's the green eyes and the smile of the conjecture
You could also solve this by transforming y^3 in y*(y^2). That would mean x=y+1 or y=(x+1)^0.5, thus giving x=3 and y=2. Of course, there was another possible disjunction, x=y-1 or y=(x-1)^0.5 but it is impossible for any integer x, y.
Why not x=1 and y=0....1^2-0^3=1
does it not?
Typically the answers are limited to natural numbers starting from 1. In integers, you are correct, however, and there's also (-1, 0) and (-3,2) as answers.
5:17 so as I understand here, as it wasn't that clear, if a factor of y is a cube of one of the two before, then the other must be a cube.
Reading up on this, to prove in the case of even numbers you have to convert the equation to x^2 = y^3 +1 and turn it into 3 brackets with the cube root of unity, which can then be whittled down to prove only the case explained.
Have you considered changing the name of the channel to "numberwang?"
m a t h p e n i s
I like how I failed every single aspect of math throughout many years of schooling and yet somehow by watching this video I naively thought "oh hey, you're older now Trevor, you'll probably understand what's being said"
Nail and Gear picture in the background! Nice crossover!
They grey right?
Why does the video's description does not tell anything about the video subject? Not even the name of Mihăilescu?
OMG a fellow romanian demonstrated this? Nice one.
Yes, a Romanian
I feel like you could make a proof that's easy to understand. Firstly, if you're looking at only powers of two, you will find that if you compare any X^2 with (X+1)*(X-1) you will find that they are always 1 apart. The two numbers must be right next to each other for this to happen. In any instance of X*Y, the distance from X to Y directly correlates with the distance between the product of X*Y versus the product of (X+1)*(Y-1). So we already have a proof that in all cases in which X*Y and (X+1)*(Y-1) are 1 apart, X=Y (or X+1 = Y-1).
In similar fashion, we are trying to interpret the change in the minimum amount of separation between two perfect powers as those perfect powers themselves get larger. Now the separation varies back and forth, but there is most likely a pattern, something which the closest partners have in common. What can we notice about some of the first examples of close approaches?
25 (5^2) and 27 (3^3)
125 (5^3) and 128 (2^7)
4900 (70^2) and 4913 (17^3)
32761 (181^2) and 32768 (2^15 or 8^5 or 32^3)
Some things I notice immediately:
* The numbers on the right are often boolean
* The numbers on the right possibly alternate between X^3 and 2^X
* The numbers on the left have small exponents
I am seeing a similarity between the square roots and the perfect powers. It seems that in either case, you can have a close approach in products when the inputs have the right kind of closeness as well. In the case of perfect powers, it might have something to do with the "most powerful" perfect powers (those with multiple factorizations) also having a perfect power near to and slightly lower than them. You may think this is mere coincidence, but in toying with calculators over the years, I have seen many number patterns emerge, and a lot of them look something like this. One very common feature of comparative number patterns is that when you change a number system slightly to achieve similar output, you seem to always either get the same every time, or not the same every time.
Guys anyone got any quick proof on this? My professor said he would pass anyone who proved it with the highest possible mark. I failed when I tried, obviously.
ps: I think he was personal friends with Mihailescu, the one who proved it.
search "an elementary proof of Catalan-Mihailescu Theorem" on google
i have a simple proof for x2 - y3 = 1
but not for
y3-x2=1
🙂and its mathematical with symbols and concrete logic unlike here which says 2 cubes cant be close
ofcourse they can
more cubes are multiplied into one
it may be possible to bring them closer may be 10 or 20
anyway if it works for u let me know
afterall its a year or maybe 2 now
cheers
I MISSED DR KRIEGER SO MUCH
thumbs up for the romanian mathematician
Are you Romanian?
yes
Preda Mihăilescu for President, he's currently hibilitated in göttingen, Germany which is where i am studying
Sal fra
My fav math prof is Romanian! And one of my fav ow players. Start to develop a strange fondness for Romanian people :p
How do you develop new maths. Zero is an identity of circular set. The set with elements -1 and + 1 is an other circular set. And -2 +2 is an other. -3 -2 -1 0 1 2 3 is an other. These are the definitions. Why we need them. All equations in physics deals with field. A field is something equivalent to imaginary numbers in maths. All matter particles are derived from fields.
Super awesome video. Question, are there not two cubes that are two integers apart? That being -1^3 and 1^3, and their results would be -1 and 1, respectively. Need to rewatch video as often this stuff goes over my head the first time.
Given the Brilliant problem in the end, I suggest taking your Pick of the answers.
*Studying conjectures is my passion.*
I conjecture you have yet to find your life's most interesting conjecture.
(Unless that was it. But then it was still true when I conjectured it.)
The trivial examples though are that if x^2 - y^3 = 1, x can also be 1 and y can be 0, or x can be 0 and y can be -1
Oooh, a public service broadcasting's race for space! A great album.
I am lucky enough to have Preda Mihailescu as a professor (at Uni Göttingen).
You will not find a more happy, funnier (,smaller) or more motivated professor, than Preda in front of a bunch of mathematics, physics and computer science students, in their first semester.
Göttingen really has great professors like Preda and Jörg Brüdern
@@TheMrbaummann and the most difficult maths lectures in all of Germany. I had Preda and Bahns in my first semester. Preda taught us the fundamental theorem of algebra by Gauss, constructed the reals using dedekind cuts and did Möbius transformation as well.
There are infinite powers with difference 0, though.
Yes, with whole numbers, too.
Because all powers of powers have a difference of 0 to the base of the power of the power, to the power of the product of the exponents so you can have infinite examples of this
2^2n - 4^n
Even simpler: n = n (each number, no matter if a perfect power or not, has difference 0 to itself)
n^1 is excluded, as far as I see. If these numbers are in, well, you had infinitely many gaps of difference 1...
So that's too simple, I am talking of 2or more representations of the same number. Not all numbers have that, eg 2^2 is the only perfect power (of integers) resulting in 4, but still there are infinite numbers with 2 (or more) perfect powers and thus a difference of 0 between them. That's just not asked for.
5:29 Incorrect. We have two examples, not one example, of two cubes differing by two: (+1),(-1) and (8),(9). Unless you assume x cannot equal zero, (x-1)(x+1)=y^3 resolves for both (x=0,y=1) and (x=3,y=2).
*"Yeah that's exactly right"*
What about rewriting this as 3^2-2^3=3-2. That is M^N-N^M=M-N where M>N.
Came for the mathematics, stayed for the mathematician.
The specification of 'natural numbers' is the only thing keeping -3^2 and -2^3 from disproving Catalan's Conjecture.
Otherwise it's meaningless.
0^a + 1^b = 1
-1 and 1 are cubes that differs by 2, and (x,y)=(0,-1) is a solution to x^2-y^3=1
This conjecture is based upon the natural numbers, i.e. positive integers.
@@omegonchris ok then (1,0) works as well, and those will be the only other solutions anyway since every square is positive
@@MaximeJean94 Indeed. In fact, 1^a - 0^b works for all positive a and bs, not just 2 and 3. However, 0 isn't a positive integer, so this solution doesn't negate the conjecture.
I am a complete amateur in this field but -1 and 1 are cubes and they differ by 2, so why not use them. Or is it just that we are only thinking about positive integers only and not the negative one?
the conjecture says : x^a-y^b=1 with x,a,y,b > 1
would be much easier considering Fermat generalized in .. 0 = (5y)^2 - ( (4y)^2 + (3y)^2 ) which in turn is n = (4 * sqrt(n)/5)^2 + (3 * sqrt(n)/5)^2
What a beautiful mathematician!
If we extend the statement to include powers of integers, we have two more solutions: 1^2-0^3=1, and 0^2-(-1)^3=1. In the proof given at the end, we have 1 and -1 as perfect cubes differing by 2, and 0 and 2 being an exception to that final equation because the claim that both factors have to be cubes fails if they multiply to zero.
Except that the conjecture states that all bases and exponents must be >1 (otherwise every natural number is a perfect power with exponent 1, and clearly there are infinite number pairs that are separated by 1 unit)
dlevi67 which is why I said first I was extending the theorem so that bases could be any integer.
But if you extend the theorem so that bases could be any integer it's no longer true, since there are infinite cases... which makes it far less interesting. Note that the conjecture (or theorem) is NOT only about squares and cubes.
dlevi67 nope. The specific instance with a square minus a cube only has three solutions when so extended. I don't know, but I would think that even in the general case, there's still only a finite number of choices for the bases. Perhaps only these three.
quintopia well, if you allow +/- 1 and 0 to be bases there are clearly infinite trivial solution of the form 1^n - 0^m for any n,m... and 0^n +/- (-1)^m with +/- depending on m parity.
On the other hand, from the proven conjecture, *as long as it does not depend on the bases being > 0*, it immediately descends that it should also be true for negative bases... as long as the ¦bases¦ > 1. Consider the cases (for bases < -1) and exponents n, m > 1
n, m even: all perfect powers are positive, same as Mihailescu's proof
n, m odd: all perfect powers are negative, same as Mihailescu's proof in absolute value
n,m even/odd or odd/even: one perfect power is positive, the other is negative => difference between any two opposite sign ¦numbers¦ > 1 is at least 4.
The only potential problem is that I don't know if Mihailescu's proof depends in any way on the bases being greater than zero.
If
"for any n, there exist perfect powers differing by n"
hasn't already been conjectured, I demand that it be named after me.
Ah, the Jay-Mu-Doc conjecture
I feel like the larger n is, the more examples of perfect powers differ exactly by n. The problem, in the form of "a^b - c^d = n" is far too free to have any integer n that doesn't also have at least one set of integers a, b, c, and d
I think it's conjectured that there are no two perfect powers differing by 6.
Made a little python program to calculate perfect powers
[1, 4, 8, 9, 16, 25, 27, 32, 36, 49, 64, 81, 100, 121, 125, 128, 144, 169, 196, 216, 225, 243, 256, 289, 324, 343, 361, 400, 441, 484]
hey thats amazing !
can you send me the program?
@@habibikante9472 Thanks, I think i just deleted it when it was done
Are there an infinity of perfects powers separated by 2? and 3?
Pillai's conjecture is that there are only finite numbers of perfect powers separated by any integer value. Still not proven rigorously, as far as I know.
dlevi67 thanks that's fascinating, i'll check this out
Pillai's conjecture states that each positive integer occurs only finitely many times as a difference of perfect powers. That's a less ambiguous way of stating it.
I fail to see the ambiguity (or the difference - finite or otherwise), especially considering the way in which the question was formulated, but if it makes you happy... ;-)
Well, it's nice to see that frame with Ron Graham's handwriting in the background.
Of coures they are the same area - see Pick's Theorem
I wondered why Beady didn't remember the Numberphile video about Pick's theorem, then remembered it wasn't a Numberphile video I was remembering.
These videos are like watching Derren Brown. He explains the main part of the trick and then there's some additional flourish which indicates the trick is much bigger and invalidates everything he just told you.
1^2 - 0^3 = 1 too.
I would say 1^2 - 0^3 = 4^0
The conjecture was x^a-y^b=1 has only one solution, not x^2-y^3=1 only has one solution. How is this proof?
I've got the feeling that, all of a sudden, a lot of people are going to become very interested in maths.
I've been messing around on brilliant, no premium yet, still deciding, but the free questions are pretty good. My level of math is slightly above the norm, but that's it. I just don't have the time to learn and relearn at the moment. I'm more of a craftsman than an academic and right now I'm studying a 2nd trade in mechanical engineering. The engineering calculations modules aren't too complex, trig is about as heavy as it gets. But some of the stuff I have got right has been surprising, quite a few advanced ones I can be happy about, I think. But then I think if I answered them then they must be easy.