What's the next freak identity? A new deep connection with Sophie Germain primes

แชร์
ฝัง
  • เผยแพร่เมื่อ 11 พ.ย. 2024

ความคิดเห็น • 456

  • @michaelheeren5845
    @michaelheeren5845 3 วันที่ผ่านมา +121

    Adding 1 = 1 at the top would be very satisfying. Length of 1. Justified with the sum if a single number = product of a single number.

    • @jaromir.adamec
      @jaromir.adamec 3 วันที่ผ่านมา +27

      I'd guess it's because also eg. 13=13 or 423=423 ... so, it would defy any further pattern... 😅

    • @Mathologer
      @Mathologer  3 วันที่ผ่านมา +37

      Correct. Very tempting to add the 1=1 at the top. To not do so is very much in line with not calling 1 a prime (saves you a lot of unnecessary heart ache further down the line :)

    • @Xanthe_Cat
      @Xanthe_Cat 2 วันที่ผ่านมา +8

      You can call 1 a prime of inconvenience - most of the time you would be justified in regarding 1 as not prime except in rare instances, such as I was reminded of recently, exempli gratia, back in 1732 Euler gave a list of Mersenne exponents starting with 1…

    • @mscha
      @mscha 2 วันที่ผ่านมา +1

      Why stop there? How about length 0?
      Unfortunately, that won't work. With 0 terms, you'd get 0 = 1 (using the additive and multiplicative identities.)

    • @aaaaaa8410
      @aaaaaa8410 2 วันที่ผ่านมา +2

      @@Xanthe_Cat 1 is a REALLY inconvenient prime, when writing down prime factors. Also it would make itself not a prime because of 1 = 1*1*1*1*1....

  • @phyarth8082
    @phyarth8082 3 วันที่ผ่านมา +38

    log(1+2+3)=log(1)+log(2)+log(3)=log(1*2*3)

    • @jiaan100
      @jiaan100 2 วันที่ผ่านมา +14

      Having the third part is silly. The second and third is just a log rule, but even worse the third gives up the joke

  • @sheikhalsumaiya7230
    @sheikhalsumaiya7230 3 วันที่ผ่านมา +121

    What a weekend! 3b1b + mythologer in the same weekend!

    • @SobTim-eu3xu
      @SobTim-eu3xu 3 วันที่ผ่านมา +2

      Geniuses think the same)

    • @ಭಾರತೀಯ_ನಾಗರಿಕ
      @ಭಾರತೀಯ_ನಾಗರಿಕ 3 วันที่ผ่านมา +9

      Mythologer?? 🤔
      Is that supposed to be a pun? Or just autocorrect?

    • @howchess7631
      @howchess7631 3 วันที่ผ่านมา

      Mathologer​@@ಭಾರತೀಯ_ನಾಗರಿಕ

    • @chriswebster24
      @chriswebster24 3 วันที่ผ่านมา

      Best weekend ever! Ha ha

    • @blakelapierre
      @blakelapierre 3 วันที่ผ่านมา +1

      ok, but where is the explain of almost prime in the video description

  • @evanev7
    @evanev7 3 วันที่ผ่านมา +195

    always something uncanny about that ai generated yassified sophie germain

    • @MetalMint
      @MetalMint 3 วันที่ผ่านมา +14

      Her hair isn't even curly 😭

    • @shoam2103
      @shoam2103 3 วันที่ผ่านมา +9

      This is almost click bait. Actually, I was curious if it was a female or just a male mathematician with long curly hair and feminine features. So I actually clicked to check the name. Does that constitute click bait?

    • @shoam2103
      @shoam2103 3 วันที่ผ่านมา

      0:45 "start of infinite identities" whatever the case, this is going to be an interesting video!

    • @nightytime
      @nightytime 3 วันที่ผ่านมา

      ​@@shoam2103it might be, but not to the point of necessarily being malicious. Sophie Germain is a woman.

    • @Mathologer
      @Mathologer  3 วันที่ผ่านมา +33

      For this video I played around with generating some AI animated photos of Sophie Germain using www.myheritage.com/deep-nostalgia as well as with the ChatGPT generated rendering of Sophie Germain in the thumbnail. Here I fed the AI some of the existing pictures of Sophie Germain and asked it to play artist to come up with a picture of her in the same style used in this real picture of Leibniz www.alamy.com/gottfried-von-leibniz-image5071937.html). Lots of fun and quite eerie :)

  • @ianstopher9111
    @ianstopher9111 3 วันที่ผ่านมา +19

    Speaking of Sophie Germain, my son and wife were looking up facts about the number 47, when I mentioned that 47 is the end of the Cunningham chain of the first kind with the smallest Sophie Germain prime as the initial number.

    • @authenticallysuperficial9874
      @authenticallysuperficial9874 2 วันที่ผ่านมา +1

      As one does

    • @ianstopher9111
      @ianstopher9111 วันที่ผ่านมา

      @@authenticallysuperficial9874 I just so happened to reinvent Cunningham chains while awake in bed. I did not know about them 2 weeks ago, but read up on them when I discovered I was pipped by a few centuries.

  • @heathrobertson2405
    @heathrobertson2405 3 วันที่ผ่านมา +57

    love to see a video about Sophie Germain's work, she doesn't get nearly enough attention

    • @Wecoc1
      @Wecoc1 3 วันที่ผ่านมา +7

      That's true, the primes page on Wikipedia doesn't exist in any other language yet.

    • @mekaindo
      @mekaindo 3 วันที่ผ่านมา +4

      ​@@Wecoc1wait really?

  • @VincentvanderN
    @VincentvanderN วันที่ผ่านมา +4

    I don't know if this is already down here somewhere in the comments, but 2 x 2 = 2 + 2 can be used to show that there are infinitely many prime numbers. We generate a sequence a_1, a_2, a_3 etc by starting with a_1 = 3 and a_{n + 1} = a_n^2 - 2. Now we use our freak equation to show that if q is a prime divisor of some a_m, it cannot be a prime divisor of a_n for any n > m. (And then, as a result neither of an a_n with n < m, because otherwise we could repeat the proof with n in the role of m and get a contradiction.)
    Here is the argument. Look at the sequence a_m, a_{m+1}, ... modulo q. We have a_m = 0 mod q, a_{m+1} = - 2 mod q, a_{m + 2} = 2 mod q, and then, by the freak equation 2 x 2 = 2 + 2 (in the form 2 x 2 - 2 = 2) we get that a_{m + k} = 2 for all k >= 2.
    Neat, right? I believe I learned this from Proofs from the Book

    • @Mathologer
      @Mathologer  วันที่ผ่านมา

      This is super neat. Thanks for sharing! That's exactly the kind of insight I was fishing for.

  • @Naomi_Boyd
    @Naomi_Boyd 3 วันที่ผ่านมา +3

    I have a nice little puzzle for the mathologers out there. Inscribe a right angle triangle within a circle and use rotational symmetry, along with circle theorems, to derive the quadratic formula. I did this completely by accident and was very pleased with the result. It is not a very difficult puzzle, but I think it is quite fun and a good lesson about how a conversion of geometry can be used to restate a difficult problem.

  • @tomasebenlendr6440
    @tomasebenlendr6440 3 วันที่ผ่านมา +7

    9:21 Let's find length with more than 10 identities of type 1+...+1+A+B=A*B*1*....*1 (that turns out to be relatively easy): We need just A*B-A-B = const for sufficiently many pairs of A and B. So we rewrite A*B-A-B = (A-1)*(B-1)-1. Thus we take some number with many divisors (M) and take all different pairs of numbers C and D, such that C*D = M. Then we take A=(C+1) and B=(D+1) and we get indentities of length A*B-A-B + 2 = C*D + 1 = M + 1.
    EDIT: should keep watching before posting, this is exactly what is explained later (around 14:45)

    • @Mathologer
      @Mathologer  2 วันที่ผ่านมา +1

      Very good anyway :)

  • @Igor_Zdrowowicz
    @Igor_Zdrowowicz 3 วันที่ผ่านมา +30

    "lots of 4's" - I'm a genius!
    "but that's not it" never mind...

  • @whenthingsfly4283
    @whenthingsfly4283 3 วันที่ผ่านมา +18

    A new mathologer video? Awesome :D

  • @SaturnCanuck
    @SaturnCanuck 2 วันที่ผ่านมา +2

    Always love your videos, a great sunday afternoon

  • @User_2005st
    @User_2005st 3 วันที่ผ่านมา +2

    Mr. Burkard Polster, Mathematician,
    I really say from the bottom of my heart, you are a very valuable analyst in explaining the theorems of the mathematical world.
    Every time I watch your videos, a window opens to me deep into the infinite world of mathematics.
    Your 19 yrs fan :')

    • @Mathologer
      @Mathologer  3 วันที่ผ่านมา

      Glad you think so and thank you very much for saying so :)

  • @TheMichaelmorad
    @TheMichaelmorad 3 วันที่ผ่านมา +2

    to check how many sum=prod identities are there for a given length n, you first check what is the maximal number of non-one numbers in your identity. you do this by taking a list of n ones and seeing how many ones can you replace by twos s.t. the product is less than the sum. now you manually check cases for each number of non-1 numbers below the suprimum. so for 10 you've got 2 identities: 4,4,1,1,1,... and the trivial case 2,10,1,1,1,...

    • @Mathologer
      @Mathologer  3 วันที่ผ่านมา

      Very good :)

  • @manishadhikari4132
    @manishadhikari4132 3 วันที่ผ่านมา +2

    Sophie Germain primes and safe prime are important in cryptography, those involving prime fields. Because if the size field is a prime p, the size of its multiplicative group is p-1. For the group to be secure, the multiplicative group must have a large subgroup of prime size so p-1 must have a large prime factor. So, having a prime q such that 2q+1 is also a prime is a good candidate. Even though it is not strictly required as long as p-1 has a big enough prime factor, this is what students are taught as a start.

    • @Mathologer
      @Mathologer  3 วันที่ผ่านมา +1

      Nice insight, thanks for sharing :)

  • @MrCheeze
    @MrCheeze 3 วันที่ผ่านมา +10

    Combo Class has a video as well on the {2,2}, {1,2,3}, {1,1,2,4}, ... infinite family. But they're very different and complement each other nicely.

    • @ComboClass
      @ComboClass 3 วันที่ผ่านมา +5

      Thanks for the mention! I love when I stumble across a comment like this, especially on a channel as great as Mathologer :)

    • @Mathologer
      @Mathologer  3 วันที่ผ่านมา +2

      Combo class, that's a channel I had not encountered before. Do they say anything of substance that I don't cover?

    • @MrCheeze
      @MrCheeze 3 วันที่ผ่านมา +1

      @@Mathologer The video's called "These Simple Equations Are Levels of an Infinite Pattern" - somewhat different target audience, so it's mostly a slower exploration of finding the identities themselves. He does point out that it's the "integers only" restriction that makes there only be finitely many solutions for each size.

    • @Mathologer
      @Mathologer  2 วันที่ผ่านมา +1

      Just watched your video. Great fun :)

    • @Mathologer
      @Mathologer  2 วันที่ผ่านมา +1

      Thanks for that. Just watched the video. Great fun :)

  • @Chrisuan
    @Chrisuan 2 วันที่ผ่านมา +1

    you had me at welcome to a new mathologer video

  • @RibbleMaths_YifanDu
    @RibbleMaths_YifanDu 2 วันที่ผ่านมา +1

    Cool video! Really had to watch it immediately when I saw it!❤

    • @Mathologer
      @Mathologer  2 วันที่ผ่านมา

      Glad you liked it!!

    • @RibbleMaths_YifanDu
      @RibbleMaths_YifanDu 2 วันที่ผ่านมา

      To the great Mathologer:
      1. Theorem: Σa_n1
      Proof: Πa_n-Σa_n+1=Π(a_n-1)>0
      Q.E.D.
      μ
      2. l really like the QEDcat and designed a 2D-QEDcat origami model from duo-color paper!

    • @Mathologer
      @Mathologer  2 วันที่ผ่านมา

      Very good :) 2D-QEDcat origami model sounds like fun. Can you show me?

  • @Merilix2
    @Merilix2 50 นาทีที่ผ่านมา

    When I was 15 old, I used 2*2=2+2 to teach myself about induction by trying to proof a*a = a+a.
    This method was usually teached by using successful proof examples but I wanted to get a contradiction.

  • @Alan_Clark
    @Alan_Clark 3 วันที่ผ่านมา +5

    In any triangle, tanA + tanB + tanC = tanA x tanB x tanC.

    • @Mathologer
      @Mathologer  3 วันที่ผ่านมา +3

      Yes, check out the video on Heron's formula that I mention in the intro. It's based in part on this formula :)

  • @Number_Cruncher
    @Number_Cruncher 2 วันที่ผ่านมา +1

    It's not entirely related. But this identity came into my mind, when I watched your video. For 2x2 matrices there is a cool trace identity tr(MN)+tr(M^{-1}N)=tr(M)tr(N). I think M needs to be an element of SL(2). But otherwise it's generic and it also has this sum product relation.

    • @Mathologer
      @Mathologer  วันที่ผ่านมา +1

      Maybe also check out the recent Mathologer video on the Power of A+B=AB. At the end I've got a few things to say about matrices satisfying this equation :)

  • @Idonai
    @Idonai 3 วันที่ผ่านมา +1

    Thank you for another great video! I was wondering if you would ever do a video about the Collatz conjecture and how such a problem could ever be proven in theory.

    • @Mathologer
      @Mathologer  2 วันที่ผ่านมา +1

      Sure, on my list of things to do :) Having said that there are already quite a few reasonable Collatz conjecture videos out there ...

  • @duckimonke
    @duckimonke 3 วันที่ผ่านมา +4

    awesome video! it's nice to see these types of problems be recognised

    • @Mathologer
      @Mathologer  3 วันที่ผ่านมา +1

      Glad you can appreciate this sort of off the beaten track video :)

  • @EzraTeter
    @EzraTeter 2 วันที่ผ่านมา

    I personally think that you should go more into details about Sophie Germain's life. For example, she was inspired by the story of Archimedes death where a Roman soldier speared him in rage when the geometry-obsessed man insisted, "Do not disturb the circles!" She also might have saved Gauss' life when she intervened with a French general in charge of the siege of the city where he lived during the Napoleonic wars. The story of her unveiling with Laplace is also quite interesting.

    • @Mathologer
      @Mathologer  2 วันที่ผ่านมา +1

      Well, not much is known about her life and what little is known is just one click away on the internet. My priority/mission in my videos is to talk about things that go way beyond what wikipedia knows or to do a much better job at explaining something well-known than anybody else :)

  • @Fluff-gl6yr
    @Fluff-gl6yr 2 วันที่ผ่านมา

    Yesterday I was scribbling some stuff on paper and I remember thinking “hmm a+b = ab is an interesting equation, I wonder what’s up with it” and then I briefly checked to see if mathologer had any videos on the topic and went on with my life.
    I check back today, and I’m treated to this uncannily timely video 😂

    • @Mathologer
      @Mathologer  วันที่ผ่านมา +1

      Lucky you :)

  • @seiedmohammadrezafatemi3878
    @seiedmohammadrezafatemi3878 2 วันที่ผ่านมา

    Watching this video I am convinced that it doesn’t worth for everything to have a pattern. Sometimes happy coincidences scattered around is more elegant

    • @Mathologer
      @Mathologer  2 วันที่ผ่านมา

      You are not wrong there :)

  • @onejumpman9153
    @onejumpman9153 3 วันที่ผ่านมา +1

    This is not quite the same as sum = product, but it might be related:
    Consider the pair of pairs of numbers (1, 5), (2, 3). The sum of the first pair equals the product of the second, and the sum of the second equals the product of the first. Aside from the obvious (2, 2), (2, 2) and the trivial (0, 0), (0, 0), I can't find any other pairs of pairs of positive integers for which this relationship (ab = c+d and a+b = cd) holds.
    If we allow negative numbers, then (-1, n), (-1, -n+1) is a general solution. I have no idea what non-integer solutions exist.
    I have no idea if this is an already-explored topic, or whether it's of any significance. But I find it quite interesting.

    • @Mathologer
      @Mathologer  2 วันที่ผ่านมา

      Have a look at section 8 in this paper www.iam.fmph.uniba.sk/amuc/ojs/index.php/amuc/article/view/1662/906

  • @franknijhoff6009
    @franknijhoff6009 2 วันที่ผ่านมา +1

    Hi Burkhard, the 3-variable equation plays a role in integrable systems. In fact, it appeared in Sklyanin's work on quadratic Poisson algebras (around 1982) providing solutions in terms of elliptic functions, and (with an extra constant) as the equation for the monodromy manifold of the Painleve II equation.

    • @Mathologer
      @Mathologer  2 วันที่ผ่านมา +2

      That's great and really the first really interesting response to my request. Would you have a reference?

    • @franknijhoff6009
      @franknijhoff6009 2 วันที่ผ่านมา

      Sklyanin's paper is: Some algebraic structures associated with the Yang-Baxter equation. Functional.Anal.i Prilozhen 1982 vol 16, issue 4,pp 27-34 ; look at equation (27).
      Furthermore, in L.O. Chekhov etc al., Painleve Monodromy Manifolds, Decorated Character Varieties and Cluster Algebras , IMRN vol 2017, pp 7639--7691 you can find in Table 1 a close variant of the 3variable equation with extra parameters.
      BTW it seems we met in 2000 in Adelaide.

    • @Mathologer
      @Mathologer  วันที่ผ่านมา

      That's great, thank you very much !!!

    • @Mathologer
      @Mathologer  วันที่ผ่านมา

      I moved to Melbourne (from Adelaide) in 2000, but, yes, very possible that we've met there. Maybe at an event organised by Nalini in honour of Martin Kruskal? Did you stay in Kathleen Lumley College?

  • @mysterion9686
    @mysterion9686 3 วันที่ผ่านมา +2

    21:10 nice job, editor.😉

  • @knooters
    @knooters 21 ชั่วโมงที่ผ่านมา

    I remember sniffing at this, inspired by the 4 digit case - which appeared in a Norwegian math olympiad some years ago. I didn't find as much as you did. One little detail I thought was a bit funny, was that you can replace any 4, 6 or 8 with 2*2 = 2+2, 1*2*3=1+2+3 or 1*1*2*4=1+1+2+4=1*1*2*2*2=1+1+2+2+2 to generate new numbers that work . Like, 1*1*1*1*2*6=1+1+1+1+1+2+6, replace 6 with 1*2*3=1+2+3 and shuffle: 1*1*1*1*1*2*2*3=1+1+1+1+1+2+2+3

    • @Mathologer
      @Mathologer  18 ชั่วโมงที่ผ่านมา

      Thanks for that. That's definitely well worth pointing out :)

  • @Vodboi
    @Vodboi 3 วันที่ผ่านมา +3

    Amazing video (I am assuming)
    EDIT: It was indeed a good one

    • @Mathologer
      @Mathologer  3 วันที่ผ่านมา +3

      Glad you're prediction came true for you :)

  • @williamtomlinson85
    @williamtomlinson85 2 วันที่ผ่านมา +3

    Wait until Terrence Howard finds out about this.

    • @50oje
      @50oje วันที่ผ่านมา

      Terence Tao?

    • @Mathologer
      @Mathologer  วันที่ผ่านมา +1

      What do you think is going to happen? :)

    • @cliffwroberts
      @cliffwroberts วันที่ผ่านมา

      @@Mathologer it's going to shake the very foundations of Terrology. You can't do this to him! He's hanging onto reality by a thread as it is.

    • @williamtomlinson85
      @williamtomlinson85 วันที่ผ่านมา +1

      ​@@Mathologer what would be great is if his followers would come watch this instead. How do we reach those people?

    • @Mathologer
      @Mathologer  ชั่วโมงที่ผ่านมา

      Terrology, now there is a term I had not heard before. Scary stuff :)

  • @nefld3849
    @nefld3849 2 วันที่ผ่านมา

    Magnifique vidéo j’ai essayé Marty and Al to follow you but at the end its mathematical fellow ahah thanks a lots

  • @alexanderstohr4198
    @alexanderstohr4198 2 วันที่ผ่านมา +1

    some sort of results limited auto-generator might be - and also works as some sort of a proof...
    this:
    sum(1, for 1 to N-2) + 2 + N = N x 2 x 1's
    where
    sum(1, for 1 to N-2) + 2 = N
    or merging the 2 into the sum:
    sum(1, for 1 to N) = N
    thus the first formula is reduceable to:
    N + N = N x 2
    (yes, it is just the basic equivalent of adding a number to itself to multiplying the number by 2.)
    Examples:
    3 + 3 = 3 x 2
    6 + 6 = 6 x 2
    ;-)

    • @Mathologer
      @Mathologer  วันที่ผ่านมา

      Finally got around to parsing this comment. Nice over the top proof that N+N=2N :)

  • @maze7474
    @maze7474 2 วันที่ผ่านมา

    2 Observations I have:
    a) how would it look if we would pattern upwards (i.e. 2+1 =? 1x2)? Clearly the equation is not correct, but that's because we can't remove any further one from the left side. But what if we could? Would that correspond tot he -1?
    b) Also all equations seem to give a special meaning to 2 (which also visible in your p sequence, which reduces the 8 solutions down to 7). Which leads me to the question to whether there is a relation between the 7 and the 49? Are there then 7^3 solutions for 3 (special sum equals product identities)?
    Lovely video... now I have even more questions than I had before watching it :-) Well done!

    • @Mathologer
      @Mathologer  2 วันที่ผ่านมา

      a) Well you can change the rules of the game and, for example, allow the numbers you are playing with to be all integers or all complex integers, or all rational numbers, or ... Depending one what you do there is definitely more and different fun to be had. E.g. since (-1)+(-1)+1+1=0 and (-1)x(-1)x1x1=0 you can splice these two blocks into an sum equals product identity to produce a longer (by 4) sum-equals-product identity.
      b) Also all equations seem to give a special meaning to 2. Yes, and that's mainly due to another other small number "feakishnesses". In particular, (x-1)(y-1)=N-1 and (2x-1)(2y-1)=2N-1 are special in that they automatically translate into algorithms that applies to all N. E.g. 2N-1 is automatically odd and therefore all factors are also odd. And this means that we can always solve for x and y.

  • @agostinhooliveira5781
    @agostinhooliveira5781 3 วันที่ผ่านมา

    Great video as always.
    And I noticed Euler is one of your Patreons! 😊

  • @piyushchoudhury3709
    @piyushchoudhury3709 2 วันที่ผ่านมา +1

    Hello sir you videos has been a delight, recently i have studying perron Frobenius Theorem ,Its proof has beautiful concepts behind it and ton of applications

    • @Mathologer
      @Mathologer  2 วันที่ผ่านมา

      Yes, very beautiful and powerful mathematics :)

  • @wesleydeng71
    @wesleydeng71 2 วันที่ผ่านมา

    As in the Goldbach's conjecture, the larger the even number is there tends to be more ways to write it as sum of two primes. So, it is quite reasonable to assume there will be no more such cases. But just as the Goldbach's conjecture, it will hard to prove vigorously.

  • @constexprDuck
    @constexprDuck 3 วันที่ผ่านมา +3

    I loved the video, great as always!

    • @Mathologer
      @Mathologer  3 วันที่ผ่านมา

      That's great :)

  • @nanamacapagal8342
    @nanamacapagal8342 วันที่ผ่านมา

    CHALLENGES!
    9:12 Find all identities of length 10.
    (1 * 8) + 2 + 10 = 10 * 2 * (1 * 8)
    (1 * 8) + 4 + 4 = 4 * 4 * (1 ^ 8)
    Brute force checking 3 non-padding-1s didn't work, and it's easy to prove that checking any more than that is impossible.
    9:22 Find a length N that has more than 10 identities.
    Just look at the graph from earlier, there's plenty of such N plotted above y = 10 ;)
    On a more serious note, consider the base case that all but two of the values are padding 1's.
    The equation is now (N-2) + A + B = AB.
    Rearrange a little bit...
    AB - A - B + 1 = N - 1
    (A - 1)(B - 1) = N - 1
    A and B cannot be 1 so A-1 and B-1 are both positive.
    We are now looking for an N-1 that has more than 10 distinct pairs of factors, or essentially more than 20 factors.
    N-1 = 576 has 21 factors as 11 pairs so N = 577 has at least 11 distinct identities.
    BONUS:
    11:24 Do you enjoy being... you know...
    Not with a yassified AI-generated Sophie Germain staring at me, no thanks. But the journey itself is fine
    22:38 The Hyper Sophie Primes
    It's possible to generalize this even further. If we have a bunch of 2s (T of them) and then the last 2 terms to worry about are A and B, then we have the following rule:
    (2^T * A - 1)(2^T * B - 1) = 2^T * (N + T - 2) + 1
    For T = 0, 1 we get the familiar prime and Sophie Germain prime conditions:
    (A-1)(B-1) = N-1
    (2A-1)(2B-1) = 2N-1
    But following that come the following conditions:
    (4A-1)(4B-1) = 4N + 1
    (8A-1)(8B-1) = 8N + 9
    (16A-1)(16B-1) = 16N + 33
    (32A-1)(32B-1) = 32N + 97
    etc.
    Every single one of those up to when T = N-2 must work. All of those RHS terms must be prime.

    • @Mathologer
      @Mathologer  วันที่ผ่านมา +1

      That's great! Just at the end you gotto be a bit careful. For (2A-1)(2B-1) = 2N-1, the number 2N-1 is odd and therefore also every one of its factors is odd, which means we can always solve for integers A and B. However, this is no longer always possible for the higher equations. E.g. the factors of a number of the form 4N+1 are not necessarily of the form 4A-1 :)

    • @nanamacapagal8342
      @nanamacapagal8342 วันที่ผ่านมา

      @Mathologer noted, thanks for the info

  • @RealQinnMalloryu4
    @RealQinnMalloryu4 วันที่ผ่านมา

    I like this video already i will check other video's after this video

  • @subhranshushekharpatra7198
    @subhranshushekharpatra7198 3 วันที่ผ่านมา +7

    Please make the video on e^ (gamma) gamma is euler's special number you were talking about ,and what is solution for continued fractions containing e^(gamma)
    You had already said to make one but i didn't find it
    Please I'm starving for it😂

  • @solarwonder
    @solarwonder 3 วันที่ผ่านมา

    it occurs to me that the 2+2=2x2 and 1+2+3=1x2x3 correspond to triangular graphs. there is also the next triangular graph, 10, in the case of 1+1+2+4=1x1x2x4. considering the rich properties of pascal's triangle, i'd wager there is at least one more way to find a pattern that produces a closed form, involving triangular graphs. this might be derived in reverse from relevant identities that involve infinite sums and infinite products.

  • @ov8857
    @ov8857 15 ชั่วโมงที่ผ่านมา

    I'd really like to hear your take on any mathematical relationships between brain wave states and sound phenomenon, solfeggio frequencies etc.

    • @Mathologer
      @Mathologer  ชั่วโมงที่ผ่านมา

      Have to admit I don't know anything about all this. Any good writeup that you are aware of?

  • @TheOneThreeSeven
    @TheOneThreeSeven 2 วันที่ผ่านมา

    I have not seen any of these freaky identities in the wild unfortunately, but that was neat! For the group of real numbers under the operation of addition, the exponential mapping is a homomorphism which preserves the group structure but changes the operation to multiplication; and I can't help but wonder if lie groups are hiding in the background

    • @Mathologer
      @Mathologer  2 วันที่ผ่านมา

      Have not hear from you for a while :)
      1+1+1+1+1+1+1+1+1+1+1+3+7 = 7x3x1x1x1x1x1x1x1x1x1x1x1

  • @BrianOxleyTexan
    @BrianOxleyTexan 3 วันที่ผ่านมา +5

    Why is 1 = 1 excluded? It looks like a base case of length 1.
    If you picture addition and multiplication as functions rather than infix operators, +(1) is just as valid as +(2, 2).

    • @Mathologer
      @Mathologer  3 วันที่ผ่านมา

      Well, N=N for all N :) Very tempting to add the 1=1 at the top. To not do so is very much in line with not calling 1 a prime (saves you a lot of unnecessary heart ache further down the line :)

    • @ShankarSivarajan
      @ShankarSivarajan 3 วันที่ผ่านมา +1

      Because you'd then have to include 2 = 2, 3 = 3, 4 = 4, and so on, and while those are all of course true, they provide no interesting insight into anything.

  • @rachidsadou4178
    @rachidsadou4178 2 วันที่ผ่านมา

    hi I really like your adventures in the world of mathematics, I'm waiting for your videos and I hope one day to make videos on the proof of the last theorem of Fermat for n=3
    (euler)
    and for (p=2q+1) sophie germain

    • @Mathologer
      @Mathologer  2 วันที่ผ่านมา

      Great :) Did you already watch this video from a couple of years ago? th-cam.com/video/AO-W5aEJ3Wg/w-d-xo.html

    • @rachidsadou4178
      @rachidsadou4178 2 วันที่ผ่านมา

      @Mathologer of course and I followed the demonstration for n=4 with the infinite descent of fermat

    • @Mathologer
      @Mathologer  2 วันที่ผ่านมา

      Great :) Explaining the n=3 case nicely is definitely trickier than the n=4 case.

  • @nickyhaflinger
    @nickyhaflinger วันที่ผ่านมา

    So 2+2=2x2 is the start of a different infinite identity. Taking the Ackerman extension of arithmetic where exponentiation is repeated multiplication and tetration is repeated exponentiation. Using the notation [1] = + and [2] = x and [3] = ^ and so on we get the infinite identity 2[1]2=2[2]2=2[3]2=2[4]2=2[5]2... and if you use diagonalization you can extend this identity into the ordinals.

    • @Mathologer
      @Mathologer  21 ชั่วโมงที่ผ่านมา

      Interesting idea but isn't (using your notation) 2[4]2=2^2^2 which is not equal to 2[1]2=2[2]2=2[3]2=4?

    • @nickyhaflinger
      @nickyhaflinger 19 ชั่วโมงที่ผ่านมา

      @@Mathologer Not at all. The pattern for the Ackermann operators is X [n] Y is Y Xes interspersed with [n-1] and [1] is just addition. So 2[4]2=2[3]2 or 2^2 =2[2]2 or 2x2 =2[1]2 =2+2 =4. 2^2^2 would be 2[4]3. I expect the reason that arrow and chain notation focus on 3's is this exact operator fix point meaning that using 1s and 2s are both disappointing.

  • @spiderjuice9874
    @spiderjuice9874 2 วันที่ผ่านมา

    7:22 "... between the smallest length 2, ..." Hold on: if we look at the triangular chart (6:33) then it is clear to see that the sum equals product identity of length 1 is possible, namely 1 = 1 (and also x = x, but when we use 1 it fits the pattern nicely). Yes, it's trivial.

    • @Mathologer
      @Mathologer  2 วันที่ผ่านมา

      Very tempting to add the 1=1 at the top. To not do so is very much in line with not calling 1 a prime (saves you a lot of unnecessary heart ache further down the line :)

    • @spiderjuice9874
      @spiderjuice9874 2 วันที่ผ่านมา

      @@Mathologer Yes, that's the other side. Oh, decisions, decisions!

  • @BartDooper
    @BartDooper 2 วันที่ผ่านมา

    Hereby another interesting geometric triangle where the horizontal fractions can be factorized from the outer to the inner of the triangle.
    The outcome of that factor is the location and the number in the Pascal's triangle.
    1/1
    2/2 2/2
    3/3 x 2/1 x 3/3
    4/4 x 3/1 3/1 x 4/4
    5/5 x 4/1 x 3/2 x 4/1 x 5/5
    6/6 x 5/1 x 4/2 4/2 x 5/1 x 6/6
    7/7 x 6/1 x 5/2 x 4/3 x 5/2 x 6/1 x 7/7
    8/8 x 7/1 x 6/2 x 5/3 5/3 x 6/2 x 7/1 x 8/8
    Where 1 is the unit of length: 1/1, 2/2, 3/3, 4/4, .. The length is going up 1 unit: 2/1, 3/1 , 4/1 for each row..
    The "fibonacci triangle" variant of the Pascal's triangle (the number is the sum of the 2 diagonal numbers above that number) is :
    1 1
    2 1 1
    3 2 1 1
    5 3 2 1 1
    8 5 3 2 1 1
    can also be seen as answers to the fractions, factorized from right to left (in this excample below):
    1/1 1
    2/1 1/1 1
    3/2 2/1 1/1 1
    5/3 3/2 2/1 1/1 1
    8/5 5/3 3/2 2/1 1/1 1
    So ,1,2,3, Cheers to the catalan numbered sencorship networks.

  • @alre9766
    @alre9766 2 วันที่ผ่านมา

    With negative number, infinitely-long equalities can be made
    0+1+(-2)+(-3)+4+5+(-6)+(-7)+8+9+(-10)+(-11)+12=0x1x(-2)x(-3)x4x5x(-6)x(-7)x8x9x(-10)x(-11)x12

    • @Mathologer
      @Mathologer  2 วันที่ผ่านมา +1

      What you show there is still of finite length. True infinite equalities with integers are actually not possible apart from 0+0+0+...= 0x0x0x... Well if you are happy with infinity=infinity then a lot of things are possible :)

  • @mienzillaz
    @mienzillaz 3 วันที่ผ่านมา

    Since when we dropped the remote. Best thing that my daughter noticed this😅

  • @gregorymorse8423
    @gregorymorse8423 วันที่ผ่านมา

    The question I keep asking now is does the pattern N-1, 2N-1 continue onto either 3N-1 or 4N-1, I suspect either it continues by integer multiples or powers of 2. Because that would place great restrictions on the numbers of each frequency which would be basically have to be unsatisfiable after a certain point on the number line.

    • @Mathologer
      @Mathologer  วันที่ผ่านมา

      Have a look at the comment by @nanamacapagal8342 just following yours (and my response)

  • @MrShogunfish
    @MrShogunfish 3 วันที่ผ่านมา +39

    I'm not a fan of the transition slides with the slightly twitching eyes, they're unsettling to look at and in general the use of AI makes me uncomfortable.

    • @rudyj8948
      @rudyj8948 3 วันที่ผ่านมา +2

      Personally I didn't mind the use of Ai art, but I'm this case the slide hurt my eyes to look at

    • @Mathologer
      @Mathologer  3 วันที่ผ่านมา +6

      For this video I played around with generating some AI animated photos of Sophie Germain using www.myheritage.com/deep-nostalgia as well as with the ChatGPT generated rendering of Sophie Germain in the thumbnail. Here I fed the AI some of the existing pictures of Sophie Germain and asked it to play artist to come up with a picture of her in the same style used in this real picture of Leibniz www.alamy.com/gottfried-von-leibniz-image5071937.html). Lots of fun and quite eerie :)

    • @nealmcb
      @nealmcb 2 วันที่ผ่านมา +5

      I actually really enjoyed the blinking eyes. Well done!

  • @Simon_Jakle__almost_real_name
    @Simon_Jakle__almost_real_name 2 วันที่ผ่านมา

    Does 2+2 = 2x2 also being "2 to the power of two" bring anything three dimensional, like on the axxis x, y and z? like in some "identity tree" or something?

    • @Mathologer
      @Mathologer  วันที่ผ่านมา

      I sort of tried to capture this visually in the little animation superimposed on the intro section, two bars of 2 dots each separated by a plus sign standing for 2+2, merging into a square consisting of 4 dots and the plus turning into a x :)

  • @ratneshsudha
    @ratneshsudha 3 วันที่ผ่านมา +1

    @mathologer Following the same logic, a number N with just one product=sum identity also has the property that either 3N+1 is prime or (3X-1)x(3Y-1)=3N+1 has no integer solutions different from N (besides the properties of N-1 and 2N-1 being primes). Does this make sense?

    • @shoam2103
      @shoam2103 3 วันที่ผ่านมา +1

      23:00 I was wondering this as it seemed like the next logical step!

    • @Mathologer
      @Mathologer  3 วันที่ผ่านมา +1

      (x-1)(y-1)=N-1 and (2x-1)(2y-1)=2N-1 are special in that they automatically translate into an algorithm that applies to all N. E.g. 2N-1 is automatically odd and therefore all factors are also odd. And this means that we can always solve for x and y. But you are on the right track in terms of additional insights. Check out this paper by Maciej Zakarczemny, On the equal sum and product problem (linked to in the description of this video)
      www.iam.fmph.uniba.sk/amuc/ojs/index.php/amuc/article/view/1662
      Theorem Theorem 4.3. If there is only one sum-equals-product identity for length n and n > 8, then all of the following conditions hold:
      1) n − 1 is a Sophie Germain prime number,
      2) all divisors of 3n + 1 are congruent to 1 modulo 3,
      3) all divisors of 4n + 1 are congruent to 1 modulo 4,
      4) all divisors of 4n + 5 are congruent to 1 modulo 4,
      5) all divisors of 6n + 7 are congruent to 1 modulo 6, 6) 8n + 9 has no divisors congruent to 7 modulo 8,
      7) 8n + 17 has no divisors congruent to 7 modulo 8,
      8) 8n + 41 has no divisors congruent to 7 modulo 8,
      9) 10n + 31 has no divisors congruent to 9 modulo 10,
      10) 12n + 25 has no divisors congruent to 11 modulo 12,
      11) 12n + 37 has no divisors congruent to 11 modulo 12,
      12) 12n + 49 has no divisors congruent to 11 modulo 12,
      13) 27n + 109 has no divisors congruent to 26 modulo 27, 14) 30n + 151 has no divisors congruent to 29 modulo 30.

    • @ratneshsudha
      @ratneshsudha 2 วันที่ผ่านมา

      ​​@@Mathologer❤ Thanks for taking the time to explain.

  • @Tletna
    @Tletna 12 ชั่วโมงที่ผ่านมา

    There is no problem with using 1's. The problem is your broke the pattern of using unique integer (so using each integer only once per side). If we follow that rule there is there a four integer line after the 1,2, 3 line?

    • @Mathologer
      @Mathologer  2 ชั่วโมงที่ผ่านมา

      Good point. However, the answer to your question is 'No' :)

  • @NepTunez-ff9bp
    @NepTunez-ff9bp 3 วันที่ผ่านมา +1

    I thought he was going to iterate to 3n-1, and then show the general formula, and then explain how that proves that there are finitely many lengths with only 1 identity. (No need for infinitely running computers!)

    • @Mathologer
      @Mathologer  3 วันที่ผ่านมา

      (x-1)(y-1)=N-1 and (2x-1)(2y-1)=2N-1 are special in that they automatically translate into an algorithm that applies to all N. E.g. 2N-1 is automatically odd and therefore all factors are also odd. And this means that we can always solve for x and y. For what comes next in this respect, check out this paper by Maciej Zakarczemny, On the equal sum and product problem (linked to in the description of this video)
      www.iam.fmph.uniba.sk/amuc/ojs/index.php/amuc/article/view/1662
      Theorem Theorem 4.3. If there is only one sum-equals-product identity for length n and n > 8, then all of the following conditions hold:
      1) n − 1 is a Sophie Germain prime number,
      2) all divisors of 3n + 1 are congruent to 1 modulo 3,
      3) all divisors of 4n + 1 are congruent to 1 modulo 4,
      4) all divisors of 4n + 5 are congruent to 1 modulo 4,
      5) all divisors of 6n + 7 are congruent to 1 modulo 6, 6) 8n + 9 has no divisors congruent to 7 modulo 8,
      7) 8n + 17 has no divisors congruent to 7 modulo 8,
      8) 8n + 41 has no divisors congruent to 7 modulo 8,
      9) 10n + 31 has no divisors congruent to 9 modulo 10,
      10) 12n + 25 has no divisors congruent to 11 modulo 12,
      11) 12n + 37 has no divisors congruent to 11 modulo 12,
      12) 12n + 49 has no divisors congruent to 11 modulo 12,
      13) 27n + 109 has no divisors congruent to 26 modulo 27, 14) 30n + 151 has no divisors congruent to 29 modulo 30.

  • @davidvilla9581
    @davidvilla9581 2 วันที่ผ่านมา

    Not only does 2+2 = 2x2, they are also equal to 2^2, 2^^2, 2^^^2, etc.

  • @MakeChanel
    @MakeChanel 2 วันที่ผ่านมา

    Decimal numbers are also possible too,
    1.4+3.5=3.5×1.4
    1.5+3=3×1.5
    1+1+1+1+1+2.5+5=5×2.5×1×1×1×1×1
    but some decimal numbers are not possible,
    1+1+2+3.5≠3.5×2×1×1
    1.5+3.2≠3.2×1.5

    • @Mathologer
      @Mathologer  2 วันที่ผ่านมา

      It's clear that X+Y=XY and all the other equations have infinitely solutions. Just make all but one of the variables into numbers and solve for the remaining variable to get a solution :)

  • @jessehammer123
    @jessehammer123 3 วันที่ผ่านมา +18

    Super cool video as always, but I’m REALLY not a fan of the use of AI stuff.

  • @whozz
    @whozz 2 วันที่ผ่านมา +1

    2^4 = 4^2 is my favorite

  • @ulychun
    @ulychun 38 นาทีที่ผ่านมา

    2x2=3+1 in the context of Lie groups representations. This can be linked to the categorical concept of colimits in a monoidal category. (I start to sound like a category theorist 😂)

  • @danadnauseam
    @danadnauseam 2 วันที่ผ่านมา

    What did attempts to generalize the mn-1 approach lead to?

    • @Mathologer
      @Mathologer  2 วันที่ผ่านมา

      (x-1)(y-1)=N-1 and (2x-1)(2y-1)=2N-1 are special in that they automatically translate into an algorithm that applies to all N. E.g. 2N-1 is automatically odd and therefore all factors are also odd. And this means that we can always solve for x and y. Check out this paper by Maciej Zakarczemny, On the equal sum and product problem (linked to in the description of this video)
      www.iam.fmph.uniba.sk/amuc/ojs/index.php/amuc/article/view/1662
      Theorem 4.3. says that if there is only one sum-equals-product identity for length n and n > 8, then all of the following conditions hold:
      1) n − 1 is a Sophie Germain prime number,
      2) all divisors of 3n + 1 are congruent to 1 modulo 3,
      3) all divisors of 4n + 1 are congruent to 1 modulo 4,
      4) all divisors of 4n + 5 are congruent to 1 modulo 4,
      5) all divisors of 6n + 7 are congruent to 1 modulo 6, 6) 8n + 9 has no divisors congruent to 7 modulo 8,
      7) 8n + 17 has no divisors congruent to 7 modulo 8,
      8) 8n + 41 has no divisors congruent to 7 modulo 8,
      9) 10n + 31 has no divisors congruent to 9 modulo 10,
      10) 12n + 25 has no divisors congruent to 11 modulo 12,
      11) 12n + 37 has no divisors congruent to 11 modulo 12,
      12) 12n + 49 has no divisors congruent to 11 modulo 12,
      13) 27n + 109 has no divisors congruent to 26 modulo 27, 14) 30n + 151 has no divisors congruent to 29 modulo 30.

  • @jorgelotr3752
    @jorgelotr3752 3 วันที่ผ่านมา

    19:09 the Ns are also multiples of 3 and 3 (except the forst three, which are multiples of either 2 or 3). Coincidence?

  • @adamcionoob3912
    @adamcionoob3912 3 ชั่วโมงที่ผ่านมา

    In the beginning of the list of these primes I found a chain: 2, 2*2+1=5, 5*2+1=11, 11*2+1=23, 23*2+1=47. I wonder if there are more and longer chains among the Sophie Germain's primes.

    • @Mathologer
      @Mathologer  2 ชั่วโมงที่ผ่านมา

      Well, spotted. Yes there are. Google "Cunningham chain"

  • @JonatasMiguel
    @JonatasMiguel 2 วันที่ผ่านมา

    I had looked into the first identity "(mod n)" for fun. It seems that only prime numbers have solutions involving x and y from 2 to n. Further, if you take the sum of all of these sums, for odd primes, you get 1 (mod n).
    There are also some interesting symmetries that arise when producing a table of these solutions as well, likely due to the inherently symmetrical form of these expressions.
    I haven't looked into the other "freaky identities" "(mod n)" yet to see if similar results arise.

    • @JonatasMiguel
      @JonatasMiguel 2 วันที่ผ่านมา

      Another detail that seemed unique to primes was around the number of unique sums/products for those expressions (mod n), for prime n it always seemed to be (n + 1)/2

    • @JonatasMiguel
      @JonatasMiguel 2 วันที่ผ่านมา

      Ah, I worded something a bit awkwardly in the first message... Only prime n seem to have solutions where *all* numbers from 2 to n are part of some solution of the expression.

  • @fredg.sanford634
    @fredg.sanford634 3 วันที่ผ่านมา

    Thanks!

    • @Mathologer
      @Mathologer  3 วันที่ผ่านมา

      Thank you very much !

  • @josephyoung6749
    @josephyoung6749 2 วันที่ผ่านมา

    Wonder what the visual implications of these identities can be considering multiplication can often be represented as an area of a picture while adding can be represented as a lineament in the same picture... Could be a worthwhile novelty artistic thesis

    • @Mathologer
      @Mathologer  วันที่ผ่านมา

      In the intro sequences I attempt something like this: two columns of 2 dots with a plus sign in the middle collapsing into a square made up of four points, with the plus sign turning into a times sign. Not the greatest, but the best I could think of :)

  • @MooImABunny
    @MooImABunny 3 วันที่ผ่านมา

    Sophie Germain's sequence even has a pretty neat chain there.
    2×2+1 = 5
    2×5+1 = 11
    2×11+1 = 23
    sadly it ends here
    2×23+1 = 67 isn't on the list, it's an ordinary prime haha
    Next time we get any chain action is 41→83 and 89→179, and it seems like a fluke more than anything interesting

    • @MakeChanel
      @MakeChanel 2 วันที่ผ่านมา

      2×23+1=47

    • @Mathologer
      @Mathologer  2 วันที่ผ่านมา

      Google Cunningham chain :)

  • @seventhtenth
    @seventhtenth 3 วันที่ผ่านมา +1

    5:41 electromagnetic wave functions superimpose up by multiplication (Psi) (or sum of intensity) and addition (Euler's Theorem) (or multiplying of wavevectors (momentum))... I probably remember unclearly...

    • @Mathologer
      @Mathologer  3 วันที่ผ่านมา

      Would be great if there was something there :)

  • @doodlebug1820
    @doodlebug1820 3 วันที่ผ่านมา

    I feel like the integer box problem must be related . The diagonals, which are sums of squares of sides, must have a relationship with the volume, which is a product of sides.
    Here we have a bunch of n dimensional boxes whose volume equals the length of their edges.

    • @Mathologer
      @Mathologer  3 วันที่ผ่านมา

      Nice insight :)

  • @atmosphericSkull
    @atmosphericSkull วันที่ผ่านมา

    Does "almost prime" mean that they're either prime powers or square-free?

    • @Mathologer
      @Mathologer  วันที่ผ่านมา

      Check out this paper by Maciej Zakarczemny, On the equal sum and product problem (linked to in the description of this video)
      www.iam.fmph.uniba.sk/amuc/ojs/index.php/amuc/article/view/1662
      Theorem 5.1. says
      If there are exactly two sum-equals-product identities of length n , then one of the following two conditions is true:
      1. n - 1 is a prime and 2n - 1 \in { p, p^2, p^3, pq } ,
      2. 2n - 1 is a prime and n - 1 \in { p, p^2, p^3, pq } ,
      where p, q denote prime numbers.

  • @DeathSugar
    @DeathSugar วันที่ผ่านมา

    Wonder if it could be smashed with twin primes conjecture.

  • @PrimordialOracleOfManyWorlds
    @PrimordialOracleOfManyWorlds 3 วันที่ผ่านมา

    ultra-cool af!

  • @teh_kaczuch
    @teh_kaczuch 2 วันที่ผ่านมา

    what's funny is that the pattern continues backward, with one term on left and right too! (1 = 1)

    • @Mathologer
      @Mathologer  2 วันที่ผ่านมา

      Yes, tempting but I resisted the temptation :) Not only 1=1 but N=N for all N. And just like declaring 1 not to be a prime it makes sense to not include the 1=1 case. In this way we save ourselves a lot of heart aches later on in the piece when we talk about these identities in general. Also with 1=1 there is really no sum/product in sight.

  • @johanjotun1647
    @johanjotun1647 3 วันที่ผ่านมา

    I wish i would have kept up on math in school, i had no idea that 1 wasn't a prime.

    • @crimsonvale7337
      @crimsonvale7337 2 วันที่ผ่านมา

      It’s more of a convention thing, there are many statements about primes (fundamental theorem of arithmetic) that if going off “primes are numbers that are only divisible by 1 and itself” would have to exclude 1.
      Really, so long as you get the ideas going on this is just dotting your i and crossing your t.

  • @statisticserinokripperino
    @statisticserinokripperino 3 วันที่ผ่านมา +2

    A very nice video!

    • @Mathologer
      @Mathologer  3 วันที่ผ่านมา

      Thank you very much!

  • @cstiger4
    @cstiger4 วันที่ผ่านมา

    Every number is a long long way to infinity! 😀

  • @yinq5384
    @yinq5384 3 วันที่ผ่านมา

    Wonderful video as always!
    9:20 Length 10:
    Case 1: 8 copies of 1, a and b (2≤a≤b), 8+a+b=ab, (a-1)(b-1)=9, (a,b)=(2,10) or (4,4).
    Case 2: 7 copies of 1, a, b and c (2≤a≤b≤c), 7+a+b+c=abc. c is not an integer when a=b=2. Thus ab≥6 and c≥3, then 7+3c≥7+a+b+c=abc≥6c, contradiction!
    Case 3: 6 copies of 1, a, b, c and d (2≤a≤b≤c≤d), 6+4d≥6+a+b+c+d=abcd≥8d, contradiction!
    By the same argument as in case 3, we know there are no solutions with fewer than 6 copies of 1.
    More than 10 identities:
    Consider the equation (a-1)(b-1)=2³·3²·5 i.e. 359+a+b=ab where 1≤a≤b, there are (3+1)(2+1)(1+1)/2=12 integer solutions. Length 361 is one solution.

    • @Mathologer
      @Mathologer  3 วันที่ผ่านมา

      Very good!

  • @jyotsanabenpanchal7271
    @jyotsanabenpanchal7271 3 วันที่ผ่านมา

    My school is opening soon!
    I needed that man!🥺

  • @mananself
    @mananself 2 วันที่ผ่านมา

    There are special properties about N-1 and 2N-1, but how about 3N-1. Any properties related to 3, and if not, why not?

    • @Mathologer
      @Mathologer  2 วันที่ผ่านมา

      (x-1)(y-1)=N-1 and (2x-1)(2y-1)=2N-1 are special in that they automatically translate into an algorithm that applies to all N. E.g. 2N-1 is automatically odd and therefore all factors are also odd. And this means that we can always solve for x and y. Check out this paper by Maciej Zakarczemny, On the equal sum and product problem (linked to in the description of this video)
      www.iam.fmph.uniba.sk/amuc/ojs/index.php/amuc/article/view/1662
      Have a look at Theorem 4.3. for what's known beyond what I talk about in this video :) If there is only one sum-equals-product identity for length n and n > 8, then all of the following conditions hold:
      1) n − 1 is a Sophie Germain prime number,
      2) all divisors of 3n + 1 are congruent to 1 modulo 3,
      3) all divisors of 4n + 1 are congruent to 1 modulo 4,
      4) all divisors of 4n + 5 are congruent to 1 modulo 4,
      5) all divisors of 6n + 7 are congruent to 1 modulo 6, 6) 8n + 9 has no divisors congruent to 7 modulo 8,
      7) 8n + 17 has no divisors congruent to 7 modulo 8,
      8) 8n + 41 has no divisors congruent to 7 modulo 8,
      9) 10n + 31 has no divisors congruent to 9 modulo 10,
      10) 12n + 25 has no divisors congruent to 11 modulo 12,
      11) 12n + 37 has no divisors congruent to 11 modulo 12,
      12) 12n + 49 has no divisors congruent to 11 modulo 12,
      13) 27n + 109 has no divisors congruent to 26 modulo 27, 14) 30n + 151 has no divisors congruent to 29 modulo 30.

  • @Manoj_b
    @Manoj_b 3 วันที่ผ่านมา

    I had a question in Newtown gregory method we get a constant sequence taking the differences but what if we get a periodic sequence at last sequence taking the differences.
    Imagine like we get like an infinite periodic sequence instead of infinite constant sequence

  • @QuantumHistorian
    @QuantumHistorian 3 วันที่ผ่านมา +1

    6:15 I should think that representation theory is a good place to go digging for those sorts of things

    • @Mathologer
      @Mathologer  3 วันที่ผ่านมา

      Will be interesting whether my digging for treasure results in anything I have not seen before :)

  • @quacking.duck.3243
    @quacking.duck.3243 3 วันที่ผ่านมา +24

    Gotta say, as someone who knows a fair number of artists first-hand, seeing AI "art" being used is always a bit gut-wrenching knowing what they are going through right now because of AI.

    • @QuantumHistorian
      @QuantumHistorian 3 วันที่ผ่านมา +15

      Yeah! And as someone from the 16th Century who knows a fair number of medieval scribal monks, seeing the printing press being used is always a bit gut-wrenching knowing what they going through right now because of the printing press.
      This channel isn't going to commission an artist to draw something for a couple of seconds of transitions between chapters. It's not taking away anyone's job. It's the perfect use case for generative AI - to liven up and add moderate-quality art to something that would otherwise not have any.

    • @Psycho0Robot
      @Psycho0Robot 3 วันที่ผ่านมา +4

      If your art is as lifeless as AI generated art, you're a bad artist

    • @quacking.duck.3243
      @quacking.duck.3243 3 วันที่ผ่านมา

      @@Psycho0Robot That's *not* why artists' jobs are in jeopardy. To give a brief summary, generative AI models hoard images from the web to train themselves more and more. Recently, Twitter (one of the biggest artists hub) has changed its terms and conditions on the users' part to allow virtually unrestricted access to its database, provided of course that the company agrees to it (in exchange for money, obviously).
      This is causing a massive exodus and migration of artists on other websites, for example bluesky, as well as artists using countermeasures like digitally "masking" their art with special tools that render the images unreadable for current AI models. Keep in mind that generative AI can be trained to emulate the works of a specific artist fairly easily, and while not perfect at present time, it's bound to get there in a few years at most if unregulated.
      While this video's use of AI does not of course directly influence the data hoarding, seeing AI art still provokes some bad emotions in me.

    • @quacking.duck.3243
      @quacking.duck.3243 3 วันที่ผ่านมา +1

      @@QuantumHistorian I can agree with your point, my comment was more about my immediate reaction to seeing AI art. Clearly the animations in this video are not emulating anyone's style specifically, however, I explain my point more thoroughly in my reply to the other person (above this one).

    • @Mathologer
      @Mathologer  3 วันที่ผ่านมา +4

      For the thumbnail I fed the AI some of the existing pictures of Sophie Germain and asked it to play artist to come up with a picture of her in the same style used in this real picture of Leibniz www.alamy.com/gottfried-von-leibniz-image5071937.html). Still far away from great but I'd expect to get something scary good in a couple of months time. I cannot imagine how challenging all this is for artists, writers, translators, etc.

  • @DumbledoreMcCracken
    @DumbledoreMcCracken 3 วันที่ผ่านมา

    As someone with a mechanical engineering degree, I find that type of mathematics frustrating and annoying, and thank goodness not everybody is like me.

    • @Mathologer
      @Mathologer  2 วันที่ผ่านมา

      Why do you find this type of mathematics frustrating and annoying and what has it got to do with you being a mechanical engineer? I personally know lots of mechanical engineers who also love this type of mathematics.

    • @DumbledoreMcCracken
      @DumbledoreMcCracken 2 วันที่ผ่านมา

      @Mathologer I've had some math at university, and love calculus etc., and like statistics.
      However, I just don't conceptually understand things like number theory and the kind of mathematics the video discusses. It is as if others can see through a window that is opaque to me. Maybe someday.

    • @Mathologer
      @Mathologer  2 วันที่ผ่านมา +1

      I must admit, I’m a pure mathematician at heart. That being said, I also teach and enjoy applied mathematics. In my experience, it’s all about keeping an open mind, and the appreciation will follow :)

  • @JoaoFonseca100
    @JoaoFonseca100 3 วันที่ผ่านมา +1

    About the kidnaping services provided by the mathologer I only have one thing to say: beam me up Scotty

    • @Mathologer
      @Mathologer  3 วันที่ผ่านมา

      Always happy to oblige :)

  • @philkeyouz2157
    @philkeyouz2157 วันที่ผ่านมา

    @28'50 did you see the kaprekar constant !!!

    • @Mathologer
      @Mathologer  23 ชั่วโมงที่ผ่านมา

      What a coincidence. I did not notice :)

  • @michaelgian2649
    @michaelgian2649 3 วันที่ผ่านมา +1

    22:55
    2XY-(2+X+Y)+1=N-2
    2XY-(X+Y)-1=N-2
    2XY-X-Y+1=N
    2(2XY-X-Y+1)=2N
    2X2Y-2X-2Y+2-1=2N-1
    2X2Y-2X-2Y+1=2N-1
    factor left side ...
    (2X-1)(2Y-1)=2N-1

    • @Mathologer
      @Mathologer  2 วันที่ผ่านมา

      Very good and thanks for sharing :)

  • @amigalemming
    @amigalemming 3 วันที่ผ่านมา +1

    7:00 So this is a plot of OEIS-A033178.

  • @lvn5609
    @lvn5609 3 วันที่ผ่านมา +81

    Noo, no AI thumbnails please 😭

    • @NeoKailthas
      @NeoKailthas วันที่ผ่านมา +4

      Does it really affect your life that much

    • @dubsar
      @dubsar วันที่ผ่านมา +2

      ​@@NeoKailthas
      Yes, it does.
      It takes hours, if not days, for an artist to create one high quality illustration.
      Now, as it's so easy to find one, there will be (even) less incentive for pursuing an artistic career. In two generations there will be no skilled artists in our society. This may soon apply to writers and other creative professions.
      Yes, it does impact our world.

    • @NeoKailthas
      @NeoKailthas วันที่ผ่านมา +1

      @@dubsar should we bring back elevator attendants?

    • @dubsar
      @dubsar วันที่ผ่านมา

      @@NeoKailthas No, because no building should be over four stories high.

    • @stevewithaq
      @stevewithaq 7 ชั่วโมงที่ผ่านมา

      @@NeoKailthas Yes. The energy use by AI has already raised energy prices around the globe, accelerated global warming, and put people out of jobs.

  • @juzbecoz
    @juzbecoz 3 วันที่ผ่านมา +2

    Mathologer dropped

  • @haraldmilz8533
    @haraldmilz8533 3 วันที่ผ่านมา

    For all you vintage HP pocket calculator aficionados, XYZU should actually be XYZT.

  • @charlesstpierre9502
    @charlesstpierre9502 วันที่ผ่านมา

    I'm pretty sure 2 + 2 = 2 x 2 is required for Euclid's formula to work.

    • @Mathologer
      @Mathologer  วันที่ผ่านมา

      Euclid's formula as in: Euclid's formula for generating Pythagorean triples:
      a = m^2 - n^2
      b = 2mn
      c = m^2 + n^2
      Conditions:
      - m > n > 0
      - m and n are coprime
      - m and n have opposite parity
      ?

  • @Wecoc1
    @Wecoc1 3 วันที่ผ่านมา +2

    9:24 Ok, that got me off guard 😆

  • @djsmeguk
    @djsmeguk 2 วันที่ผ่านมา

    23:00 is anyone else curious about what happens with (mx-1)(my-1)=mn-1 for other m than 1 and 2?

    • @Mathologer
      @Mathologer  2 วันที่ผ่านมา

      (x-1)(y-1)=N-1 and (2x-1)(2y-1)=2N-1 are special in that they automatically translate into an algorithm that applies to all N. E.g. 2N-1 is automatically odd and therefore all factors of 2N-1 are also odd. And this means that we can always solve for x and y. Check out this paper by Maciej Zakarczemny, On the equal sum and product problem (linked to in the description of this video)
      www.iam.fmph.uniba.sk/amuc/ojs/index.php/amuc/article/view/1662
      for some other insights gained from other patterns in the list of sum-equals-product identities
      Theorem 4.3. If there is only one sum-equals-product identity for length n and n > 8, then all of the following conditions hold:
      1) n − 1 is a Sophie Germain prime number,
      2) all divisors of 3n + 1 are congruent to 1 modulo 3,
      3) all divisors of 4n + 1 are congruent to 1 modulo 4,
      4) all divisors of 4n + 5 are congruent to 1 modulo 4,
      5) all divisors of 6n + 7 are congruent to 1 modulo 6, 6) 8n + 9 has no divisors congruent to 7 modulo 8,
      7) 8n + 17 has no divisors congruent to 7 modulo 8,
      8) 8n + 41 has no divisors congruent to 7 modulo 8,
      9) 10n + 31 has no divisors congruent to 9 modulo 10,
      10) 12n + 25 has no divisors congruent to 11 modulo 12,
      11) 12n + 37 has no divisors congruent to 11 modulo 12,
      12) 12n + 49 has no divisors congruent to 11 modulo 12,
      13) 27n + 109 has no divisors congruent to 26 modulo 27, 14) 30n + 151 has no divisors congruent to 29 modulo 30.

  • @Arnab_Pradhan
    @Arnab_Pradhan 2 วันที่ผ่านมา

    19:02 actually...I guessed the pattern kind of ...when you asked before...do you see any pattern...I guessed that everything -1 might be prime numbers...😅

    • @Mathologer
      @Mathologer  2 วันที่ผ่านมา +1

      Very good :)

  • @menohomo7716
    @menohomo7716 3 วันที่ผ่านมา

    I thought for sure Euler Totient function would show up at some point but i was wrong D:

  • @CorrectHorseBatteryStaple472
    @CorrectHorseBatteryStaple472 3 วันที่ผ่านมา +3

    AI Sophie Germain in the thumbnail/transitions was an OK experiment but please never again.
    Not what she looked like

    • @Mathologer
      @Mathologer  3 วันที่ผ่านมา

      For this video I played around with generating some AI animated photos of Sophie Germain using www.myheritage.com/deep-nostalgia as well as with the ChatGPT generated rendering of Sophie Germain in the thumbnail. Here I fed the AI some of the existing pictures of Sophie Germain and asked it to play artist to come up with a picture of her in the same style used in this real picture of Leibniz www.alamy.com/gottfried-von-leibniz-image5071937.html). Lots of fun and quite eerie :) Obviously the result is not even close to perfect but I wonder whether just a couple of months from now we'll get something amazing.

  • @swordfishxd-
    @swordfishxd- 3 วันที่ผ่านมา +2

    (8x1),4,4 and (8x1),2,10 are the only solutions for length 10!

    • @paperpaper6970
      @paperpaper6970 3 วันที่ผ่านมา

      28:40 Yep! THE Mythologer sneaked it in:)

    • @Mathologer
      @Mathologer  3 วันที่ผ่านมา +2

      VERY good :)

    • @Mathologer
      @Mathologer  3 วันที่ผ่านมา

      How so ? :)

    • @swordfishxd-
      @swordfishxd- 2 วันที่ผ่านมา

      @@Mathologer brute forced it lol. check all doubles and triples of numbers