Prove 2^2013 + 13 is a multiple of 7
5:08
7 сағат бұрын
Show(2^x!-1)/x ∈ N  ∀ odd x ∈ N
7:52
12 сағат бұрын
Пікірлер
@alphs4184
@alphs4184 Күн бұрын
Here's my take, no modular arithmatic, no binomial expansion, no number theory. Just pure brute force . Observe that 2^2013 + 13 is 2^2013 - 1 + 14. 14 is just 7x2 but 2^2013-1 can be expanded by using geometric series to 1 + 2 + 2^2 + 2^3 + ... + 2^2012, which is 111...111 in binary (2013 digits binary of all 1). Similarly, 7 is 2^3 -1, which can be expanded to 1 + 2 + 2^2 which is 111 in binary (3 digits of 1). Since 2013 is divisible by 3 (2+0+1+3 = 6), 111...111 must be divisible by 111. Why? Because the result is obviously 100100...1001 in binary (670 copies of100 followed by 1, 2011 digits total) which definitely is an integer. The cool thing when you brute force is that not only you've proven that 7 divides 2^2013+13 but you also got the quotient (although, it's in binary).
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar Күн бұрын
@@alphs4184 if you want to call appealing to the geometric series and binary “pure brute force”, then OK 😀 Geometric series is used frequently in number theory, e.g. the sum of the divisors of an integer formula. I used to code in assembly and have fond memories of binary and hexadecimal! Thx much for your point of view.
@whycantiremainanonymous8091
@whycantiremainanonymous8091 Күн бұрын
Before watching: 8-1=7 If 8^n-1 is divisible by 7, 8^(n+1)-1=7×8^n+8^n-1 is also divisible by 7. The rest is basic arithmetic (8=2^3, 2013 is divisible by 3, so is a power of 8, 2^2013+13 is 2×7 more than 2^2013-1).
@whycantiremainanonymous8091
@whycantiremainanonymous8091 Күн бұрын
After watching: my way of doing it is actually easier 😀
@fgvcosmic6752
@fgvcosmic6752 2 күн бұрын
(Before watching) My first thought is immediately Fermats Little Theorem, but I'm assuming we probably cant do that. Could be useful that 2³ = 1 mod 7.
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar Күн бұрын
Your way is better! 2^2013 + 13 = (2^3)^671 + 13 == 1 + 13 = 14 == 0 mod 7 I didn’t notice that since FLT gives 2^6 == 1 mod 7 Nice find! Thanks
@ananyapatil7552
@ananyapatil7552 2 күн бұрын
Witty name for a channel 😊
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar Күн бұрын
Thx, nerd humor at its finest😀 2 cents = dollar/50
@emidio4510
@emidio4510 6 күн бұрын
hello, i think that ,in all integers( positives and negatives) , -2 is also a solution for n^2 + 1 divisible by n+1. is this correct?
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 5 күн бұрын
Yes, (5/-1) = -5 is an integer, so -2 is a solution. Did I not include -2 as a solution in the video?
@emidio4510
@emidio4510 23 сағат бұрын
ok, i uderstand now thank you for the help
@mangler241
@mangler241 10 күн бұрын
Rewrite the requirement as A^2 + B^2 = 261 which is odd, so just try subtracting 0^2, 2^2, 4^2, ..., 16^2 from 261 to see if there are any squares. This just gives 261 = 6^2 + 15^2. Then (6, 15), (15, 6), (-6, -15) and (-15, -6) are the four solutions of the ordered pair (A, B).
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 9 күн бұрын
Knowing to rewrite the problem in the way you described was the challenge. (The upper limit of the summation minus the lower limit of the summation) plus one is the key to producing A^2 + B^2 = 261.
@DeclanMBrennan
@DeclanMBrennan 10 күн бұрын
It doesn't help much, but because 261 is odd, it can only be the sum of an odd and an even number. The square of an odd number is odd and the square of an even number is even. Hence we are looking for one odd and one even number.
@DeclanMBrennan
@DeclanMBrennan 10 күн бұрын
If you want to go down a rabbit hole, A001481 in the Encyclopaedia of Integer Sequences is the list of numbers that are expressible as a sum of two squares of whole numbers.
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 10 күн бұрын
Right, I am aware of OEIS, but did not want to copy from that. Another viewer commented that 15,6 and -15,-6 are the only two integer solutions based on exhaustively checking all possibilities after establishing an upper bound for the possible squares.
@RexxSchneider
@RexxSchneider 14 күн бұрын
Nice problem, but it fell out felicitiously when I tried it. It should be obvious immediately that the sum is simply (A+B)^2 - (2AB - 1) = A^2 + B^2 + 1 = 262 which gives A^2 + B^2 = 261. Once you have that, it's clear that A and B are no more than 16. That's a small enough range to use trial and error at that point. We are looking for a value of 261 - A^2 that is a perfect square. 261 - 16^2 = 5 doesn't work. However 261 - 15^2 = 261 - 225 = 36 = 6^2. That gives us the solution pairs (15, 6) and (-15, -6). It doesn't take many minutes to see that (261 - A^2) where A ∈ { 12, 13, 14 } do not produce any more perfect squares. So the solutions found are unique. (Edit: because 2 * 11^2 < 261).
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 14 күн бұрын
Thanks, Did you notice that 14^2 + 8^2 + 1 = 261 (within a whisker of being a solution :) )?! If you have time will you check the recent one I did on Triangular numbers? Would be interested to see if you agree with some of the claims I made.
@Acropolis_
@Acropolis_ 14 күн бұрын
I got accepted into there but didnt have passport ToT
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 14 күн бұрын
Got accepted into where?
@Acropolis_
@Acropolis_ 13 күн бұрын
Arml
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 13 күн бұрын
Do you mean you qualified to compete in the ARML competition in Chicago?
@rls5907
@rls5907 17 күн бұрын
Am I the only person who thought this was such a weirdly specific problem?! To the point of being contrived.
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 17 күн бұрын
@@rls5907 Yes, you are the only person who took the time to characterize the problem as “contrived”. Would you share with us what you mean by contrived?
@rls5907
@rls5907 17 күн бұрын
@MyOneFiftiethOfADollar I think that you describe exactly what I mean 60 seconds before the end of the video. At that time, you state that it’s not clear exactly what the purpose of this problem is. For me, it comes across as a fairly contrived problem (I.e. artificially created for the sake of it - rather than to show some interesting result). In the video you yourself say that many people will not find this problem interesting. To be clear, I enjoyed the video, watched it through to the end, but was surprised that I’m the only person to comment.
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 17 күн бұрын
The notion of interesting is almost as vague as the notion of contrived. I wouldn’t know a priori if even a single triangular number could be expressed as the sum of the squares of consecutive odd integers. Would you? The video showed there is only one such instance of this occurring. The problem is from an older number theory book by sierpinski titled 250 problems and was of interest to many in the 70s. There was a slight mistake in the way the problem was stated which was corrected in the video.
@rls5907
@rls5907 16 күн бұрын
I’ll check out the book. Thanks for the reference.
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 16 күн бұрын
There is nice free PDF version of 250 problems with solutions if you just search Sierpinski on the Web. It was problem 224 and you will see the error in problem wording after reading the solution. Are you a math teacher?
@wes9627
@wes9627 24 күн бұрын
a+3b=24; a=0, b=8; a=3; b=7; a=6, b=6; a=9, b=5; 12, b=4; a=15, b=3; a=18, b=2; a=21, b=1; a=24, b=0 c follows from either equation.
@RichardNancy-j9u
@RichardNancy-j9u 25 күн бұрын
Schmitt Land
@CrittingOut
@CrittingOut 27 күн бұрын
108 mod 7 = 3 24 mod 7 = 3 108^n - 24^n = 3^n - 3^n (mod 7) = 0 (mod 7)
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 27 күн бұрын
Show why 108==3 and 24==3 modulo 7
@Vinny-kq7ig
@Vinny-kq7ig 25 күн бұрын
Is it true that a-b is a factor or a^n - b^n? If that's the case then problem becomes easy because 108-24 = 84 is a factor.
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 24 күн бұрын
Yes, you have almost shown it directly without the binomial theorem. We complete your idea, by noting that 7 is a divisor/factor of 84. In either case a factoring formula was necessary.
@Vinny-kq7ig
@Vinny-kq7ig 23 күн бұрын
@@MyOneFiftiethOfADollar I like your solution as it is more generic and applicable to more cases!
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 23 күн бұрын
@@Vinny-kq7ig Thx, your a^n - b^n = (a-b)(a^(n-1)b + a^(n-2)b*2 + …+ b^(n-1)) is a useful divisibility factoring result in number theory. I think you are right about the binomial theorem being more versatile and prevalent.
@mathdrmath9988
@mathdrmath9988 Ай бұрын
This is instructive but for this exemple we don’t need Muirhead inequality Juste use : a+b >= 2sqrt(ab)
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar Ай бұрын
@@mathdrmath9988 you are recommending the am-gm inequality, so just show us your work. That would be equally instructive.
@mathdrmath9988
@mathdrmath9988 29 күн бұрын
​@@MyOneFiftiethOfADollar We have by AM-GM this four inequalities: a+b >= 2sqrt(ab) b+c >= 2sqrt(bc) c+d >= 2sqrt(cd) d+a >= 2sqrt(da) Now we multiply side by side and we find the inequality
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 29 күн бұрын
@@mathdrmath9988 thanks for sharing that. Closer to “first principles” than Muirhead’s inequality. (a-b)^2 = a^2 - 2ab + b^2 >=0 (a-b)^2 + 4ab = a^2 +2ab + b^2 >=4ab This implies (a+b)^2 >=4ab or a+b >= 2sqrt(ab) QED Do you teach math?
@ShaunakDesaiPiano
@ShaunakDesaiPiano Ай бұрын
1:12 in theory, you could do induction in both directions to prove the statement for all integers, rather than just the nonnegative ones.
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar Ай бұрын
@@ShaunakDesaiPiano right, also I guess replacing every set of positive integers has a least element with every set of negative integers has a greatest element would do the trick. Well ordering is equivalent to induction……
@ShaunakDesaiPiano
@ShaunakDesaiPiano Ай бұрын
@@MyOneFiftiethOfADollartrue that
@chemicalbrother5743
@chemicalbrother5743 Ай бұрын
Due to Euler's theorem with the totient function we know that for primes p any a with 1 < a < p we got a^2 = 0 mod p (because primes are always coprime with smaller positive integers). That means n^p = n mod p, which means n^p-n = 0 mod p, so we don't need to test 3 and 5. It also means for instance n^11 - n = 0 mod 11 or n^23 - n = 0 mod 23.
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar Ай бұрын
Of course we can use Fermat’s little theorem a^p==a mod p or a^(p-1)==1. They are corollaries to the more general truth a^phi(n)==1 mod n provided a and n or relatively prime(totient function) What was shown in video is closer to “first principles” Do you know how to prove Euler Totient result?
@chaosredefined3834
@chaosredefined3834 Ай бұрын
You demonstrated it was true for n = 1. Let's denote f(n) = n^5 / 5 + n^4 / 2 + n^3 / 3 - n / 30. So... f(n+1) = (n+1)^5 / 5 + (n+1)^4 / 2 + (n+1)^3 / 3 - (n+1)/30. But, what I'm actually going to be interested in is f(n + 1) - f(n), so... f(n+1) - f(n) = [(n+1)^5 - n^5] / 5 + [(n+1)^4 - n^4] / 2 + [(n+1)^3 - n^3] / 3 - [(n+1) - n]/30 f(n+1) - f(n) = [5n^4 + 10n^3 + 10n^2 + 5n + 1] / 5 + [4n^3 + 6n^2 + 4n + 1] / 2 + [3n^2 + 3n + 1] / 3 - 1/30 f(n+1) - f(n) = n^4 + 2n^3 + 2n^2 + n + 1/5 + 2n^3 + 3n^2 + 2n + 1/2 + n^2 + n + 1/3 - 1/30 f(n+1) - f(n) = n^4 + 4n^3 + 7n^2 + 4n + 1 So, if n is an integer, then f(n+1) - f(n) is an integer. And therefore, if n and f(n) are both integers, then f(n+1) = f(n) + [f(n-1) - f(n)] is the sum of two integers, so it's also an integer. So, since 1 and f(1) are both integers, then f(2) is an integer. And since 2 and f(2) are both integers, then f(3) is an integer. And since 3 and f(3) are both integers, then f(4) is an integer. This process repeats forever, so for any positive integer n, f(n) is an integer. But the problem asked for all n... Well, if n is an integer, and f(n+1) is an integer, then f(n+1) - [f(n+1) - f(n)] is the difference of two integers, so it's also an integer. And 0 and f(1) are both integers, so f(0) is also an integer. And -1 and f(0) are both integers, so f(-1) is also an integer. This process also repeats forever, so for 0 and any negative integer n, f(n) is an integer. So, overall, for any positive integer n, f(n) is an integer, which is what we wanted to prove.
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar Ай бұрын
You demonstrated you didn't watch the video except for perhaps the first 30 seconds. Modular arithmetic was used to show the expression is an integer for all integers without having to resort to phrases like your "This process repeats forever" Modular arithmetic is less wordy. You might enjoy it. Take the time to learn it.
@SrisailamNavuluri
@SrisailamNavuluri Ай бұрын
387=1×387=3×129=9×43 LCM=388 or 390 or 396 Actual answers are with GCD 1 or 3 or 9 (1,388),(4,97),(3,390),(6,195),(5,78),(30,39),(9,396) and (36,99)
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar Ай бұрын
(5,78) gives LCM 390. and GCD = 1 with a difference 389. The others look right, so seven solutions it appears
@SrisailamNavuluri
@SrisailamNavuluri Ай бұрын
@@MyOneFiftiethOfADollar If lcm is 388,gcd is 1 the difference is 388-1=387. For 15,78 lcm is 390 Gcd is 3.Type mistake.Sorry.It can be correcte as (15,78) since both are multiples of 3.(gcd)
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar Ай бұрын
Thanks for finding all the solutions. I just wanted to show easy way to find a single solution.
@FaerieDragonZook
@FaerieDragonZook Ай бұрын
(430, 43) also works
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar Ай бұрын
Thx, still looking for systematic way to know when we have found all the solutions. The video was a way to produce a solution for any problem in the form LCM = LCD + arbitrary natural number
@smylesg
@smylesg Ай бұрын
Correction in your reductions: 1) 342/117 reduces by 9/9 (not 13) to 38/13 (which is what you said, but wrote 38/3) 2) 338/117 reduces by 13/13 to 26/9 (not 27/9, which would reduce to 3 and be higher than the other root)
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar Ай бұрын
Thx, I did a text over to correct that mistake. If you viewed video on phone, the text over may not be visible. thanks for viewing
@sreenivasnagarakanti3848
@sreenivasnagarakanti3848 Ай бұрын
Hi
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar Ай бұрын
Hi
@SrisailamNavuluri
@SrisailamNavuluri Ай бұрын
They are 2,3,5,7,17.
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar Ай бұрын
You overlooked 293. Include your work rather than just the answer so we can track why you excluded 293. thanks
@michaeldoerr5810
@michaeldoerr5810 Ай бұрын
The answer is -4413+3080i. I shall compare this problem to the other problem!!!
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar Ай бұрын
The answer is -4418 + 3080i. Take the time to substitute and the light will shine for you.
@michaeldoerr5810
@michaeldoerr5810 Ай бұрын
I must apologize. I made slight miscalculation. The answer was -4418+3080i. I should have double checked with the calculator. I feel like an idiot and at least I let the light shine on me. R
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar Ай бұрын
No worries and I appreciate your interest. In the more advanced physics and math classes, a mistake like yours is not significant and you would be given 9/10 for your approach versus an arithmetic oversight. I liked the way the algebra identity avoided actually having to solve for x in the given equation.
@gamerzilc5884
@gamerzilc5884 Ай бұрын
Bro, just delta=b^2-4ac <0
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar Ай бұрын
@@gamerzilc5884 can you tell me why that is true bro? Completing the square is more instructional since it is used to prove the quadratic formula where your buddy “delta” lives. delta is more frequently called the discriminant.
@gamerzilc5884
@gamerzilc5884 Ай бұрын
⁠​⁠​⁠​⁠​⁠@@MyOneFiftiethOfADollar I agree with you that completing the square is more instructional. However, as far as I know, every student should have learnt the quadratic formula and delta after complex root or something like that. So when people looking at the question, the first thing spring in their mind should be using delta.
@gamerzilc5884
@gamerzilc5884 Ай бұрын
@@MyOneFiftiethOfADollarSorry for didn’t watching your video completely, I watched the video again and I could see you mentioned my answer.
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar Ай бұрын
Using the discriminant/delta is certainly an approach, but not everybody who views the videos have recently been enrolled in college algebra. Going back to "first principles" such as complete the square and certain algebraic identities like (A+B)^2 = A^2 + 2AB + B^2 is better for people who are getting back into it after some time away from the classroom/books. Also, what happened in the video was identical to setting discriminant < 0 to get the complex roots. Do you use much math in gaming?
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar Ай бұрын
I rarely watch any video entirely. I don't blame you on that matter. Usually just watch enough to understand the approach/ideas involved in the solution.
@SrisailamNavuluri
@SrisailamNavuluri Ай бұрын
If an is a square and bn is a cube then n=a^3×b^2 Here a=6,b=7 n=6^3×7^2.
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar Ай бұрын
Thus 6n=6^4x7^2 =(6^2x7)^2=252^2 and 7n= 6^3x7^3 = 42^3
@SrisailamNavuluri
@SrisailamNavuluri Ай бұрын
@@MyOneFiftiethOfADollar thank you.
@michaeldoerr5810
@michaeldoerr5810 2 ай бұрын
That is literally one of the best examples of "easier than it looks"!!!. I better use that as practice!!!
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 2 ай бұрын
Right!, That is why I liked it. I am sure you noticed, we don't have that resource if for example, 1/x^11 + x^11 = 2024. Glad you enjoyed it. There are so many dry definitions in mathematics and it's nice to see one that actually simplifies a hard looking problem.
@DonRedmond-jk6hj
@DonRedmond-jk6hj 2 ай бұрын
A little less messy is to compute x^2 + y^2 and x^3 + y^3. Multiply the two and bingo/
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 2 ай бұрын
We didn’t get a chance to see how “messy” your approach was. Provide more detail for your brilliant idea. Southern Illinois University mathematician/historian
@ald6980
@ald6980 2 ай бұрын
There is a standard idea: find one rational solution and intersect a given 2-nd order curve with any line with rational coefficents goes through the first solution. Second intersection will be rational. If we start with a trivial solution (2/73,0) and the line y=x-2/73 we will get your solution (137;9999/73).
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 2 ай бұрын
@@ald6980 thx i had seen that done on unit circle, but had forgotten. I guess the general proof is straightforward?
@ald6980
@ald6980 2 ай бұрын
Vieta's theorem for quadratic equations :)))) By the way - 2-nd order curve may has no rational points. For example x^2+y^2=3.
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 2 ай бұрын
Not clear to me why that would follow from Vieta result. Will look at it when I get time. I constructed this hyperbola problem based on the “almost prime” constant 73*137
@ald6980
@ald6980 2 ай бұрын
Just express one variable in terms of another. It would be a linear relationship. And substitute into your 2-nd order curve. You will get a quadratic equation with rational coefficients and one rational root. Second root = coeff/first root is rational.
@ald6980
@ald6980 2 ай бұрын
Given circle has a few integer points but infinitely many rational points. If scholar believes in teacher's good will he will look for whole points. If not than he had to find rational root of 4-th degree equation with a rather big coefficients via a well-known theorem about rational roots.
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 2 ай бұрын
The given information in the instructions circumvents the need to find a fourth degree polynomial and list potential rational zeros/roots.
@theupson
@theupson 3 ай бұрын
if f(n) = x^n +y^n, simple manipulation shows f(n)*f(1) = f(n+1)+xy*f(n-1) or f(n+1) = f(n)*f(1) - xy*f(n-1) with the givens and the offhand observation that f(0) = 2, we can just chase the recurrence for 4 very easy steps. f(2) = 3*3 - 7*2 = -5 f(3) = 3*-5 - 7*3 = -36 f(4) = 3*-36 -7*-5 = -73 f(5) = 3*-73 -7*-36 = 33
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 3 ай бұрын
@@theupson thanks for the different approach. Your usage of the term simple is gratuitous if not immodest. Binomial expansion appears to have been used to establish your recurrence relation where students would prefer to see the “simple manipulation.
@franciscook5819
@franciscook5819 3 ай бұрын
Same idea, slightly different approach ... (x+y)⁵=243=x⁵+5x⁴y+10x³y²+10x²y³+5xy⁴+y⁵ =x⁵+y⁵+5xy(x³+2x²y+2xy²+y³) =x⁵+y⁵+35(x³+3x²y+3xy²+y³-(x²y+xy²)) =x⁵+y⁵+35((x+y)³-xy(x+y)) =x⁵+y⁵+35(27-21) =x⁵+y⁵+210 x⁵+y⁵=33
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 3 ай бұрын
Both approaches involved expanding x+y to the 5th and 3rd and substituting. I like this one because x and y are complex numbers with irrational coefficients. Raising them to 5th power is messy as far as I know. The method we used avoids having to directly solve for x and y.
@als2cents679
@als2cents679 3 ай бұрын
Here is something that is almost purely computational (20^5 + 70^5) / (20^4 - 5460000 + 70^4) = (10^5 * (2^5 + 7^5)) / (10^4 * (7^4 - 546 + 2^4)) = 10 * (32 + 7 * (50 - 1)^2) / (49^2 - 2*49*4 + 4^2 + 2*49*4 - 546) = 10 * (32 + 7 * (2500 - 100 + 1)) / ((49 - 4)^2 + 8 * (50 - 1) -546) = 10 * (32 + 7 * 2401) / (45^2 + 400 - 8 - 546) = 10 * (32 + 16807) / (25 * 81 - 154) = 10 * 16839 / (8100 / 4 - 154) = 10 * 3 * 5613 / (2025 - 154) = 30 * 3 * 1871 / 1871 = 90
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 3 ай бұрын
@@als2cents679 nice way to do it that does not rely on that fifth power algebraic factoring identity used in video. In math contests, the competitors are sometimes looking for ways to speed up the computation due to the time constraints.
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 3 ай бұрын
Your method relies on 20^5 and 70^5 having a "nice" common power of 10, right?
@als2cents679
@als2cents679 3 ай бұрын
@@MyOneFiftiethOfADollar Yeah, just like your solution relies on the fact that both of them are to the power of 5, no?
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 3 ай бұрын
@@als2cents679 what I meant to convey is any quotient in the form (x^5 + y^5/(x^4 -C + y^4) = x+y whether x and y have common factors or not. The way you did it is purely arithmetic. Try it your way for x=23 and y=74. I am interested in computational efficiency and appreciate your help and interest.
@als2cents679
@als2cents679 3 ай бұрын
@@MyOneFiftiethOfADollar Yeah, it does not work as well for that case. What I would have done I guess is similar to what you have, viz. knowing that x^5 + y^5 is divisible by (x + y), do the long division to get the other number, then realize it is same as denominator, to get the answer.
@meteto7489
@meteto7489 3 ай бұрын
(x+2)/5 + 5x - 26x = 2/5
@aiueohehe
@aiueohehe 3 ай бұрын
how did you come to conclusion that 3n - (x+y+z)?
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 3 ай бұрын
@@aiueohehe the possible factors of 589 must sum to (n-x) + (n-y) + (n-z) = 3n -x -y - z.
@aiueohehe
@aiueohehe 3 ай бұрын
@@MyOneFiftiethOfADollar will it only apply to natural numbers or will it apply to any condition?
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 3 ай бұрын
@@aiueohehe it applies to all integers. The prime factorization of any natural number is the key to this process being effective. There may be some sort of analog problem type for real numbers. Would be worth exploring.
@alexandreclergeaud4672
@alexandreclergeaud4672 3 ай бұрын
As f has a max power of 4, f(f) can only have a max power of 4*4=16
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 3 ай бұрын
Conclusion?
@DavidCorneth
@DavidCorneth 3 ай бұрын
Alternatively, as the largest exponent e where the coefficient x^e of f(f(x)) (where f(x) = x^2 + x^4) is nonzero is the same as the largest exponent e where the coefficient of x^e of g(g(x)) where g(x) = x^4 so g(g(x)) = (x^4)^4 = x^16, the coefficient of x^18 in f(f(x)) is 0.
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 3 ай бұрын
Right!, My way was definitely banal algebra bashing. Thx for the more elegant practiced competitor solution. I still expect someone to claim it is obvious, by inspection, that x^18 is not present in the expansion of f(f(x))
@RSLT
@RSLT 3 ай бұрын
This is one of those cases where we say the emperor is naked
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 3 ай бұрын
Your line faintly reminds me of a fairy tale, but I don’t remember the title. Hard to believe it has anything to do with math 😃
@RSLT
@RSLT 3 ай бұрын
@MyOneFiftiethOfADollar the connection is this: some have said and proven that 0.999... equals 1. Many people tend to believe that if something is unconventional, it must be incorrect, and thus, they assert that 0.999... =1, even though it's suggested to be incorrect by many mathemation. This resistance to unconventional ideas is not new; for many years, mathematics did not accept the existence of negative numbers, then complex numbers, and now hyperreal numbers. The moral of that story is that confidently repeating what most say can sometimes lead you to mistake a naked emperor for one who is fully clothed. 😉
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 3 ай бұрын
Thanks for the detailed explanation. The irrational numbers were once unacceptable if not ostracized in Ancient Greece I believe. In fact, the term surd has a pejorative connotation I believe. I think the ancient Greeks were close to horrified when they had to consider the diagonal of the unit square could NOT be written as the ratio of two positive integers!
@RSLT
@RSLT 3 ай бұрын
GREAT VIDEO! Liked and subscribed ❤
@RichardCraggs
@RichardCraggs 3 ай бұрын
I'm a secondary Maths teacher in the UK, loved this! Thanks!
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 3 ай бұрын
Glad you enjoyed it. Was the topic something any of your students might enjoy or more of a personal interest?
@tau93
@tau93 3 ай бұрын
31459 is the largest 5 digit fibbish number i could find
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 3 ай бұрын
Thx, I wasn’t certain. Did you get same value as I did for largest Fibbish integer?
@tau93
@tau93 3 ай бұрын
​@MyOneFiftiethOfADollar yup 112369
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 3 ай бұрын
Just a hunch, but I doubt fibbish numbers will ever reach perfect number stardom.
@sumanprusty1173
@sumanprusty1173 3 ай бұрын
31
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 3 ай бұрын
31 is a prime divisor, but not the largest prime divisor. 33!-31!= 31!(32*33 - 1)=31!(5*211). So 211 is largest prime factor
@andreasboe4509
@andreasboe4509 3 ай бұрын
Great puzzle.
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 3 ай бұрын
What did you like about this "puzzle"?
@andreasboe4509
@andreasboe4509 3 ай бұрын
@@MyOneFiftiethOfADollar 33!-31! looks easy at first glance, and hard at second glance, but it turneed out not to be hard after all. A real world application of 33! and 31! would have a division sign between them, not minus. I love puzzles that either look easy but is hard, or looks hard but is easy. This was both.
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 3 ай бұрын
Thx, will try to find an instance of the difference of two factorials having a “real world” application. There is bound to be some type of combinatorics usage for the difference.
@mlerma54
@mlerma54 3 ай бұрын
The result is indeed 38, and to prove it all you need to do is show that 2^122 + 1 is a multiple of 2^61 + 2^31 + 1. A quick way to do it is observe that (x^61 + x^31 + 1)(x^61 - x^31 + 1) = x^122 - x^62 + 2 x^61 + 1, then replace x with 2 and get (2^61 + 2^31 + 1)(2^61 - 2^31 + 1) = 2^122 + 1, voilà!
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 3 ай бұрын
Quick? I noticed you had to edit your solution . How would you know to use your method without first knowing the remainder was 38?
@mlerma54
@mlerma54 3 ай бұрын
​@@MyOneFiftiethOfADollar The edit was minor (adding a space after a minus sign for esthetics). On the other hand my comment is not intended as a full solution from scratch, it is just a shortcut for an already known solution. I think the factorization trick has its own interest.
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 3 ай бұрын
@@mlerma54 I certainly think your approach is flawless for different instructions, namely “prove the remainder for this quotient is 38”. However, the problem in video is “Find the Remainder” Will try to compose a problem that uses your, what I would call, verification technique. Thx for your interest and the approach you shared.
@archangecamilien1879
@archangecamilien1879 3 ай бұрын
Perhaps a silly way to do it, lol, but write them out in binary...you get 2^122 + 32 + 7=2^122 + 2^5 + 2^2 + 2 + 1, which, in binary is 100...000100111 for the bottom, etc, and the bottom becomes 100...1....01, etc...with that "1"in the middle the 32nd digit from the right...and just do long division, lol...long division in binary...I keep getting mixed up, lol, but it should give the answer...just be mindful of the missing digits, one can't write them all out...maybe there's a much easier way, lol...I tried just guessing that the largest multiple smaller than the numerator (of the denominator) would be 2^60+2^59...+ 2^2 + 2^1 + 2^0, etc, all 1's in binary...you would multiply that by the denominator and then just subtract, I went back to binary thinking that was even more cumbersome, lol...
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 3 ай бұрын
I coded in assembly language long ago and have reverent respect for binary and hexadecimal. Love the thought of reducing any problem down to the most rudimentary number system known to man. I think they inscribed binary on an unmanned spacecraft believing binary to be the most “universal” way to count if other forms of life happened upon the craft!
@archangecamilien1879
@archangecamilien1879 3 ай бұрын
Ah, interesting...yeah, lol, perhaps it would universal...aliens might, even if not recognizing 0 and 1, guess the two symbols might represent binary, lol, even if perhaps not in the direction (our horizontal right lower to left higher) they might use...
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 3 ай бұрын
My understanding of why the scientists chose 0,1 is that the notion of night and day on earth might be the closest thing to something “universal “ given that about everything in the universe revolves around a source of light, but one could argue that light is just a waveform in the electromagnetic spectrum that helps humans see. Other forms of life might not depend on it the way we do 😂
@archangecamilien1879
@archangecamilien1879 3 ай бұрын
I suppose so, lol...yeah, interesting...but I was talking about the symbols themselves, 1, 0, etc...they are not even universal to all humans, or at least were not...2000 years ago the Romans were using different symbols (I guess they didn't have one for 0, but still, lol)...so, what I mean is that aliens are very unlikely to be using the same symbols we use, etc...
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 3 ай бұрын
@@archangecamilien1879 understood, but the usage of only two symbols irrespective of their appearance may be what is important in conveying on/off, is/ain’t, night/day, absence/presence, true/false blah blah. Even though, it’s highly improbable that strings of binary digits would mean anything to other life forms AND we haven’t even broached what it means to be alive 😂
@brendanward2991
@brendanward2991 3 ай бұрын
I tried to solve this by long division, as though it was algebraic long division, and it works. The denominator goes into the numerator 2^61 - 2^31 + 2 - 1 with a remainder of 38.
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 3 ай бұрын
That was my original attempt, but then I realized modular arithmetic was essentially “one step”. How many iterations was your long division? If you have time, will you show your work?
@brendanward2991
@brendanward2991 3 ай бұрын
@@MyOneFiftiethOfADollar Four iterations. On the final step, all the powers of 2 cancel, leaving 37 minus -1.
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 3 ай бұрын
I tried that way and messed up about half way through it. I'm not very neat when writing and was too lazy to track my error. Will try the long division again in the airport next time I get that inevitable late flight.
@saffron1449
@saffron1449 3 ай бұрын
You made it look so easy. I am pretty sure i would have wasted at least half to one hour on this.
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 3 ай бұрын
Thank you. I modeled it after a similar AMC problem or I would have spent a lot of time on it too! The lemma at beginning of problem is a big time saver.
@JOSHUVASRINATH
@JOSHUVASRINATH 4 ай бұрын
Nice but i dont get phi function what it is doing u need to explained it at first u only tell it when prime
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 4 ай бұрын
You need to take responsibility for your own learning. It was explained sufficiently for the purposes of this problem. Phi function counts the number integers less than n relatively prime to n. So Phi(6)= 2 since 1 and 5 are the only two integers less than 6 which are relatively prime to 6. You will be better at math if you can read math textbooks rather than expecting to be spoon fed by YTube videos.
@DavidCorneth
@DavidCorneth 4 ай бұрын
Maybe look at prime signatures. Have you tried n = 20?
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 4 ай бұрын
20^20 = (2^80)(5^20) which has 81x21 divisors >> 720. 18^18 = (2^18)(3^36) which has19x37=703divisors < 720. Oh I see! Is 20 the smallest you could find? I was just using single occurrences of two primes. My mistake. thanks! What do you mean by prime signatures? prime factorization.
@DavidCorneth
@DavidCorneth 4 ай бұрын
I get 20^20 = 2^40 * 5^20 so is has 41*21 = 861 divisors. And 20 is the smallest positive integer with that property. Prime signatures are found by listing the exponents with multiplicity in a prime factorization. So primes have signature (1) an 20 has signature (2,1). But maybe 20 is small enough to check positive integers until 20 and don't use prime signatures.
@DavidCorneth
@DavidCorneth 4 ай бұрын
Maybe also see OEIS sequence A062319 to verify n = 20
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 4 ай бұрын
@@DavidCorneth right another mistake on my end. Thx for explanation regarding signatures. I had heard of omega function which just counts the distinct primes in in the prime factorization . It seems like it might be related to this……
@DavidCorneth
@DavidCorneth 4 ай бұрын
You're welcome! Maybe omega could be used for this, like one could know for any number k with omega(k) >= 3 we have k^k has more than 720 divisors. But it might get tricky when it produces false negatives.
@franciscook5819
@franciscook5819 4 ай бұрын
I like the proof. You could have shortened it by looking at sqrt(720)=26.8...<(2p+1) => p=13.
@franciscook5819
@franciscook5819 4 ай бұрын
Correct to k=1 only. Start by assuming only two factors a,b, both are odd. Sum of factors S=(1+a+a²+a³)(1+b+b²+b³) but the bracketed expression are just geometric series so S=((a⁴-1)/(a-1))*((b⁴-1)/(b-1)) sub in minimum odd prime numbers 3, 5 (ignoring 1 because it is obviously not of this form) S=(80/2)*(624/4) S=40*156 >400 So there cannot be two odd prime factors, there must be less than two, i.e. only 1 looking at the numbers for 5, try 7 S=(7⁴-1)/(7-1) S=2400/6=400 so 7 is the odd factor. Given that even factors play no part and we can only have one odd factor, the other factor must be a power of 2. Given the requirement that it is a perfect cube then the power must be 0, 3, 6, 9, 12, ... So n=(2³)^k*7³ for k=0, 1, 2, 3, 4, ... For k= 0 or k>1 the number of factors does no match, so k=1 gives the only solution.
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 4 ай бұрын
Your n has 16 divisors only if k=1. Your answer would hold if we dropped the requirement that n possess 16 divisors. I wanted a unique answer and I think 2744 = (2^3)(7^3) is only answer. Let me know if you find another.
@franciscook5819
@franciscook5819 4 ай бұрын
@@MyOneFiftiethOfADollar True. I misinterpreted the "16 divisors" at some point so k=1 is the only solution.
@Richard-ft6zp
@Richard-ft6zp 4 ай бұрын
2.14*200 = 428 so i guess the answer is 429. I liked you're explanation of Cauch Shwartz.
@MyOneFiftiethOfADollar
@MyOneFiftiethOfADollar 4 ай бұрын
Thanks for reporting that. It should be 2.414 since sqrt(2) is approximately 1.414. So answer of 483 is correct. 2.14 is a fingerfehler on my part😀 Glad you liked the linear algebra explanation of Cauchy Schwarz inequality