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Күн бұрын
@@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Күн бұрын
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Күн бұрын
After watching: my way of doing it is actually easier 😀
@fgvcosmic67522 күн бұрын
(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Күн бұрын
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
@ananyapatil75522 күн бұрын
Witty name for a channel 😊
@MyOneFiftiethOfADollarКүн бұрын
Thx, nerd humor at its finest😀 2 cents = dollar/50
@emidio45106 күн бұрын
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?
@MyOneFiftiethOfADollar5 күн бұрын
Yes, (5/-1) = -5 is an integer, so -2 is a solution. Did I not include -2 as a solution in the video?
@emidio451023 сағат бұрын
ok, i uderstand now thank you for the help
@mangler24110 күн бұрын
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).
@MyOneFiftiethOfADollar9 күн бұрын
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.
@DeclanMBrennan10 күн бұрын
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.
@DeclanMBrennan10 күн бұрын
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.
@MyOneFiftiethOfADollar10 күн бұрын
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.
@RexxSchneider14 күн бұрын
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).
@MyOneFiftiethOfADollar14 күн бұрын
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_14 күн бұрын
I got accepted into there but didnt have passport ToT
@MyOneFiftiethOfADollar14 күн бұрын
Got accepted into where?
@Acropolis_13 күн бұрын
Arml
@MyOneFiftiethOfADollar13 күн бұрын
Do you mean you qualified to compete in the ARML competition in Chicago?
@rls590717 күн бұрын
Am I the only person who thought this was such a weirdly specific problem?! To the point of being contrived.
@MyOneFiftiethOfADollar17 күн бұрын
@@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?
@rls590717 күн бұрын
@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.
@MyOneFiftiethOfADollar17 күн бұрын
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.
@rls590716 күн бұрын
I’ll check out the book. Thanks for the reference.
@MyOneFiftiethOfADollar16 күн бұрын
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?
@wes962724 күн бұрын
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.
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.
@MyOneFiftiethOfADollar24 күн бұрын
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-kq7ig23 күн бұрын
@@MyOneFiftiethOfADollar I like your solution as it is more generic and applicable to more cases!
@MyOneFiftiethOfADollar23 күн бұрын
@@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Ай бұрын
This is instructive but for this exemple we don’t need Muirhead inequality Juste use : a+b >= 2sqrt(ab)
@MyOneFiftiethOfADollarАй бұрын
@@mathdrmath9988 you are recommending the am-gm inequality, so just show us your work. That would be equally instructive.
@mathdrmath998829 күн бұрын
@@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
@MyOneFiftiethOfADollar29 күн бұрын
@@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Ай бұрын
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Ай бұрын
@@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Ай бұрын
@@MyOneFiftiethOfADollartrue that
@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Ай бұрын
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Ай бұрын
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Ай бұрын
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Ай бұрын
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Ай бұрын
(5,78) gives LCM 390. and GCD = 1 with a difference 389. The others look right, so seven solutions it appears
@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Ай бұрын
Thanks for finding all the solutions. I just wanted to show easy way to find a single solution.
@FaerieDragonZookАй бұрын
(430, 43) also works
@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Ай бұрын
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Ай бұрын
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Ай бұрын
Hi
@MyOneFiftiethOfADollarАй бұрын
Hi
@SrisailamNavuluriАй бұрын
They are 2,3,5,7,17.
@MyOneFiftiethOfADollarАй бұрын
You overlooked 293. Include your work rather than just the answer so we can track why you excluded 293. thanks
@michaeldoerr5810Ай бұрын
The answer is -4413+3080i. I shall compare this problem to the other problem!!!
@MyOneFiftiethOfADollarАй бұрын
The answer is -4418 + 3080i. Take the time to substitute and the light will shine for you.
@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Ай бұрын
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Ай бұрын
Bro, just delta=b^2-4ac <0
@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Ай бұрын
@@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Ай бұрын
@@MyOneFiftiethOfADollarSorry for didn’t watching your video completely, I watched the video again and I could see you mentioned my answer.
@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Ай бұрын
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Ай бұрын
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Ай бұрын
Thus 6n=6^4x7^2 =(6^2x7)^2=252^2 and 7n= 6^3x7^3 = 42^3
@SrisailamNavuluriАй бұрын
@@MyOneFiftiethOfADollar thank you.
@michaeldoerr58102 ай бұрын
That is literally one of the best examples of "easier than it looks"!!!. I better use that as practice!!!
@MyOneFiftiethOfADollar2 ай бұрын
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-jk6hj2 ай бұрын
A little less messy is to compute x^2 + y^2 and x^3 + y^3. Multiply the two and bingo/
@MyOneFiftiethOfADollar2 ай бұрын
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
@ald69802 ай бұрын
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).
@MyOneFiftiethOfADollar2 ай бұрын
@@ald6980 thx i had seen that done on unit circle, but had forgotten. I guess the general proof is straightforward?
@ald69802 ай бұрын
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.
@MyOneFiftiethOfADollar2 ай бұрын
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
@ald69802 ай бұрын
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.
@ald69802 ай бұрын
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.
@MyOneFiftiethOfADollar2 ай бұрын
The given information in the instructions circumvents the need to find a fourth degree polynomial and list potential rational zeros/roots.
@theupson3 ай бұрын
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
@MyOneFiftiethOfADollar3 ай бұрын
@@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.
@franciscook58193 ай бұрын
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
@MyOneFiftiethOfADollar3 ай бұрын
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 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.
@MyOneFiftiethOfADollar3 ай бұрын
Your method relies on 20^5 and 70^5 having a "nice" common power of 10, right?
@als2cents6793 ай бұрын
@@MyOneFiftiethOfADollar Yeah, just like your solution relies on the fact that both of them are to the power of 5, no?
@MyOneFiftiethOfADollar3 ай бұрын
@@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.
@als2cents6793 ай бұрын
@@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.
@meteto74893 ай бұрын
(x+2)/5 + 5x - 26x = 2/5
@aiueohehe3 ай бұрын
how did you come to conclusion that 3n - (x+y+z)?
@MyOneFiftiethOfADollar3 ай бұрын
@@aiueohehe the possible factors of 589 must sum to (n-x) + (n-y) + (n-z) = 3n -x -y - z.
@aiueohehe3 ай бұрын
@@MyOneFiftiethOfADollar will it only apply to natural numbers or will it apply to any condition?
@MyOneFiftiethOfADollar3 ай бұрын
@@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.
@alexandreclergeaud46723 ай бұрын
As f has a max power of 4, f(f) can only have a max power of 4*4=16
@MyOneFiftiethOfADollar3 ай бұрын
Conclusion?
@DavidCorneth3 ай бұрын
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.
@MyOneFiftiethOfADollar3 ай бұрын
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))
@RSLT3 ай бұрын
This is one of those cases where we say the emperor is naked
@MyOneFiftiethOfADollar3 ай бұрын
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 😃
@RSLT3 ай бұрын
@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. 😉
@MyOneFiftiethOfADollar3 ай бұрын
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!
@RSLT3 ай бұрын
GREAT VIDEO! Liked and subscribed ❤
@RichardCraggs3 ай бұрын
I'm a secondary Maths teacher in the UK, loved this! Thanks!
@MyOneFiftiethOfADollar3 ай бұрын
Glad you enjoyed it. Was the topic something any of your students might enjoy or more of a personal interest?
@tau933 ай бұрын
31459 is the largest 5 digit fibbish number i could find
@MyOneFiftiethOfADollar3 ай бұрын
Thx, I wasn’t certain. Did you get same value as I did for largest Fibbish integer?
@tau933 ай бұрын
@MyOneFiftiethOfADollar yup 112369
@MyOneFiftiethOfADollar3 ай бұрын
Just a hunch, but I doubt fibbish numbers will ever reach perfect number stardom.
@sumanprusty11733 ай бұрын
31
@MyOneFiftiethOfADollar3 ай бұрын
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
@andreasboe45093 ай бұрын
Great puzzle.
@MyOneFiftiethOfADollar3 ай бұрын
What did you like about this "puzzle"?
@andreasboe45093 ай бұрын
@@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.
@MyOneFiftiethOfADollar3 ай бұрын
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.
@mlerma543 ай бұрын
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à!
@MyOneFiftiethOfADollar3 ай бұрын
Quick? I noticed you had to edit your solution . How would you know to use your method without first knowing the remainder was 38?
@mlerma543 ай бұрын
@@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.
@MyOneFiftiethOfADollar3 ай бұрын
@@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.
@archangecamilien18793 ай бұрын
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...
@MyOneFiftiethOfADollar3 ай бұрын
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!
@archangecamilien18793 ай бұрын
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...
@MyOneFiftiethOfADollar3 ай бұрын
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 😂
@archangecamilien18793 ай бұрын
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...
@MyOneFiftiethOfADollar3 ай бұрын
@@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 😂
@brendanward29913 ай бұрын
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.
@MyOneFiftiethOfADollar3 ай бұрын
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?
@brendanward29913 ай бұрын
@@MyOneFiftiethOfADollar Four iterations. On the final step, all the powers of 2 cancel, leaving 37 minus -1.
@MyOneFiftiethOfADollar3 ай бұрын
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.
@saffron14493 ай бұрын
You made it look so easy. I am pretty sure i would have wasted at least half to one hour on this.
@MyOneFiftiethOfADollar3 ай бұрын
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.
@JOSHUVASRINATH4 ай бұрын
Nice but i dont get phi function what it is doing u need to explained it at first u only tell it when prime
@MyOneFiftiethOfADollar4 ай бұрын
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.
@DavidCorneth4 ай бұрын
Maybe look at prime signatures. Have you tried n = 20?
@MyOneFiftiethOfADollar4 ай бұрын
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.
@DavidCorneth4 ай бұрын
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.
@DavidCorneth4 ай бұрын
Maybe also see OEIS sequence A062319 to verify n = 20
@MyOneFiftiethOfADollar4 ай бұрын
@@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……
@DavidCorneth4 ай бұрын
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.
@franciscook58194 ай бұрын
I like the proof. You could have shortened it by looking at sqrt(720)=26.8...<(2p+1) => p=13.
@franciscook58194 ай бұрын
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.
@MyOneFiftiethOfADollar4 ай бұрын
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.
@franciscook58194 ай бұрын
@@MyOneFiftiethOfADollar True. I misinterpreted the "16 divisors" at some point so k=1 is the only solution.
@Richard-ft6zp4 ай бұрын
2.14*200 = 428 so i guess the answer is 429. I liked you're explanation of Cauch Shwartz.
@MyOneFiftiethOfADollar4 ай бұрын
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