Fermat's Little Theorem ← Number Theory

Поделиться
HTML-код
  • Опубликовано: 21 дек 2024

Комментарии • 192

  • @Socratica
    @Socratica  2 года назад +6

    Join our 'axioms' mailing list to learn about new number theory videos: news.axioms.com/join

    • @panshuljetwani1726
      @panshuljetwani1726 2 года назад

      What does (mod 53) mean?

    • @FrancD
      @FrancD 8 месяцев назад

      @@panshuljetwani1726 do you still require an answer to this question my friend?

    • @panshuljetwani1726
      @panshuljetwani1726 8 месяцев назад

      @@FrancD Yeah I do

    • @FrancD
      @FrancD 8 месяцев назад

      @@panshuljetwani1726 after a year? interesting. But I believe (mod 53) in this context shows congruence between two numbers. It's like applying "mod 53" to a number, let's say "106 mod(53)" and "0 mod(53)" are both the same number under (mod 53), as when you divide both numbers by 53, you end up with 0. Hope i explained it properly, it is very early where I am.

  • @ansonngpersonalgoogleaccou5104
    @ansonngpersonalgoogleaccou5104 7 лет назад +48

    The simplest and easiest-to-understand proof I have ever seen. Thank you!!!

  • @Fjgreeny93
    @Fjgreeny93 10 лет назад +56

    Wow, thank you!! You've saved me. I now understand Fermat's little theorem for solving a^very large power. Your second example (3^100,000) was excellently explained.

  • @samhenri7350
    @samhenri7350 9 лет назад +34

    Best explanation of this theorem I've seen on RUclips, thank you.

  • @Darieee
    @Darieee 7 лет назад +137

    I'm not sure if you're not just showing off your keyboard shortcut prowess in this video ._.

    • @kudoamv
      @kudoamv 6 лет назад +2

      If I would have have such nice mentor like you , I would have broken down USMO easily.

  • @Hintical
    @Hintical 5 лет назад +24

    That proof was so nice, huge thanks to you :)

  • @seymayumurta4805
    @seymayumurta4805 9 лет назад +7

    l have exam tomorrow and now i am finally fine with this part.. Thank you so much for your help i am so glad 🙏🙏

  • @DUBhoptillidrop
    @DUBhoptillidrop 10 лет назад +6

    Great and clear explanation of the proof! Thank you

  • @prashantjha9824
    @prashantjha9824 9 лет назад +3

    best available video on Euler theorem
    keep it up

  • @HarishST
    @HarishST 7 лет назад +3

    You Open My Eyes... Great One!

  • @mathbyfaith
    @mathbyfaith 3 года назад +6

    You explained this so clearly and calmly, thank you!

    • @Socratica
      @Socratica  3 года назад

      We're so glad you are watching! Thanks for your nice message. 💜🦉

    • @sadiahmed4448
      @sadiahmed4448 2 года назад

      @@Socratica hello, your example was beautifully explained, do you mind explaining how you simplified 81 in your second example? if you do have time to respond i would greatly appreciate it. thank you

  • @PunmasterSTP
    @PunmasterSTP 3 года назад +1

    Fermat's Little Theorem? More like "Fear not! It's a little theorem," after watching this Socratica video! Thanks for explaining this in such a great way!

  • @amethystklintberg7436
    @amethystklintberg7436 9 месяцев назад

    I love this! I’ve seen similar proofs of Fermat’s Little Theorem before, but this explanation really clicked!

  • @khalilshaik6161
    @khalilshaik6161 5 лет назад +2

    best explanation period.

  • @anirudhsarang2480
    @anirudhsarang2480 4 года назад +1

    Thanks for having a nice teacher

  • @Ange1ofD4rkness
    @Ange1ofD4rkness 11 лет назад +5

    Thanks for the video. I was like "this theorem is so easy", but wasn't sure how to apply it. Hopefully this helps with my Applied Cryptography final (well studying for)

  • @Super_Shaq
    @Super_Shaq 10 лет назад +12

    Great video! Could you expand on Number Theory at all?? Currently trying to grasp the concept of the Euler Totient Function and the RSA Method D:

    • @Socratica
      @Socratica  10 лет назад +9

      We're so glad you found our video helpful, Shaquille Mayers! We definitely want to make more Number Theory videos - it's one of our favourite topics!

  • @AlqGo
    @AlqGo 8 лет назад +7

    The presentation is so neat! What program did you use to type the math?

  • @thrunsalmighty
    @thrunsalmighty 11 лет назад +4

    Very nicely done.
    So much better than by those who scribble on bits of paper

  • @belzhang5745
    @belzhang5745 5 лет назад +1

    You are my hero!!! Saved my life .

  • @TopAhmed1
    @TopAhmed1 9 лет назад +18

    could anybody explain to me at 4:17 how he did the simplification to get 28 ?? please

    • @TheVijaySaravana
      @TheVijaySaravana 9 лет назад +15

      It's mod 53..which means the remainder which is left after dividing by 53..so, 81mod53 is remainder of 81/53 which is 28!

    • @atlaskaiser693
      @atlaskaiser693 9 лет назад +5

      +Š П ł P Σ Г 81=53+28 since 53 congruent to 0 (mode 53) then 81 congruent 0+28 (mode 53) so it s 23 mode 53

    • @ErojFeeding
      @ErojFeeding 7 лет назад +1

      mod 53 means if you divide something by 53, you get a remainder that is left over which is the number left over, in this case is 28. A simpler example of this would be 10 ≅ 3 (mod 7)

    • @sujatachatterjee3366
      @sujatachatterjee3366 7 лет назад

      yes you are right

    • @toniburon3162
      @toniburon3162 7 лет назад +6

      Well... 28, not "28!" haha :)

  • @srijangupta2266
    @srijangupta2266 3 года назад +1

    Beautiful proof presented in a beautiful manner !

  • @ayonevony
    @ayonevony 10 лет назад +8

    How did you simplify 81? Thank you. This video is helpful btw

    • @yarenkaya7872
      @yarenkaya7872 3 года назад +11

      Since 0 ≡ 53 mod53
      3^100,000 ≡ 81 mod53
      If we substract 0 ≡ 53 mod53 from 3^100,000 ≡ 81 mod53 ;
      we get 3^100,000 ≡ (81-53) mod53

    • @arthurjacques5721
      @arthurjacques5721 Год назад

      @@yarenkaya7872 was wondering as well. Thank you

    • @yarenkaya7872
      @yarenkaya7872 Год назад

      @@arthurjacques5721 Np

  • @RakhaKanzKautsar
    @RakhaKanzKautsar 12 лет назад +1

    well, you can test some random number into the theorem
    a^(p-1)=1(mod p)
    for your case (458), you can try random a, like 2:
    is 2^(458-1)%p=1?
    if it yes, then your case *probably* is a prime, to make sure, you can test for another 'a' value.

  • @priontotimam5939
    @priontotimam5939 3 года назад +2

    youu explanation is really wonderful

  • @rulofmg
    @rulofmg 5 лет назад +13

    "not elementary enough." - Richard Feynman.

  • @Rishabh_Joshi_
    @Rishabh_Joshi_ 3 года назад +2

    The nicest proof I have ever seen ❤️.

  • @richardurena5867
    @richardurena5867 8 лет назад +21

    Great video! Wish my professor would stop and use visual aids for his lectures.

  • @dedly13
    @dedly13 12 лет назад +1

    @b10noa the two numbers you said are different by n*53 (where n =1 but that's irrelevant) so when divided the remainder is still the same regardless of the value of n as n does not effect the remainder

  • @subhendum
    @subhendum 9 лет назад +3

    Thank you for this amazing video .

  • @BoonkiCoC14
    @BoonkiCoC14 3 года назад +1

    Holy, this little theorem is powerful as hell

  • @faridhamel9334
    @faridhamel9334 8 лет назад +3

    excellent video;Thank you!

  • @marcelprado6528
    @marcelprado6528 6 лет назад +1

    How can you prove the "trick" at 5:30? How woud we prove that it always works? Could anyone help me here?

  • @hardikg6858
    @hardikg6858 Год назад

    Beautifully explained

  • @Drumbum501234
    @Drumbum501234 6 лет назад +1

    One of better explanations! Thanks

  • @carlosdominguez9420
    @carlosdominguez9420 2 года назад

    Great, you make it look so simple

  • @srijansankrit2340
    @srijansankrit2340 4 года назад +1

    Wow, excellent explanation of the proof.

  • @prateekmishra6245
    @prateekmishra6245 4 года назад +2

    I would just say , Thank you.

  • @quangtung2912
    @quangtung2912 10 лет назад +1

    so easy to understand, thanks

  • @mxkep
    @mxkep 7 лет назад +1

    Great explanation. Thanks!

  • @TheACCmy
    @TheACCmy 9 лет назад +1

    Really great video !!
    Helped me to understand the proof!

  • @cavf88
    @cavf88 11 лет назад +1

    Thanks for the video!

  • @Ilovecalculus
    @Ilovecalculus 12 лет назад +2

    very nice presentation

  • @fraserbelton4798
    @fraserbelton4798 7 лет назад +1

    Great video, thanks!

  • @gilsasi8358
    @gilsasi8358 Год назад

    on 3:31 what if the quotient = 0 ? what you do?

  • @amitsrivastava1934
    @amitsrivastava1934 3 года назад +1

    Excellent stuff

  • @jamma246
    @jamma246 5 лет назад +1

    I prefer the more abstract proof which makes this theorem totally obvious, if you know basic group theory (which you should I think, being a student of mathematics). Although I of course understand why in this introduction the more barehands proof is given.
    Proof: What one wants is that g^{p-1} = 1, where g and 1 are considered elements of the finite group Z/pZ - {0}, with group operation given by multiplication. It's worth knowing, and not too hard to show, that this is a group (for which you need p is prime). But Z/pZ - {0} has p-1 elements (represented by 1,2,...,p-1), and it's an elementary fact that in any group G with n elements, g^n = identity element for any g in G. In our case, the identity element is 1 and n = p-1. QED
    So this comes down to basic group theory. The proof that g^n = id in any group of n elements goes something like this: first, k = "order of g" (the smallest n so that g^n = id is true) always divides n, since the elements g,g^2,g^3,...,g^k form a subgroup; subgroups are always of a size dividing n (Lagrange's Theorem. Basically, you need to know that the cosets are always the same size and partition the group). But then g^n = (g^k)^{n/k} = id^{n/k} = id, as required.

  • @melreh
    @melreh 11 лет назад +1

    this is awesome. thanks so much!

  • @indieelectroworks
    @indieelectroworks 4 года назад +1

    Thank you!

  • @andywang4189
    @andywang4189 9 месяцев назад

    Very clear, thank you!

  • @georged4111
    @georged4111 10 лет назад +1

    Where did the 28 come from?

  • @rondeepdutta3754
    @rondeepdutta3754 7 лет назад +1

    You are One amazing Dude. thanks man

  • @iamgroot20
    @iamgroot20 3 года назад +1

    Woww👌
    Thanku so muchh man
    what an explanation and presentation !
    It's just wowww🔥🔥🔥🔥🔥

  • @mantas9826
    @mantas9826 5 лет назад

    At 6:58 why can we say r < p?

    • @abel_342
      @abel_342 5 лет назад

      If I'm not wrong, I think it's because "r" is any one of the non-zero congruence classes of p

  • @morthalguard7897
    @morthalguard7897 11 лет назад +1

    This is kind of a late response, but don't listen to ECard821. Modular arithmetic means you take the remainder of the division. 81 mod 53 means find the remainder of dividing 81 by 53 which is 28 (not the difference). Therefore, the only numbers you can have in mod 53 arithmetic is all the integers less than 53.=, [0-52].

  • @supersonic174
    @supersonic174 4 года назад +2

    2 problems:
    1. how does 81(mod 53) simplify to 28(mod 53)
    2. you cannot check if your correct, since calculators cannot calculate such high numbers

    • @Soul-cu8zn
      @Soul-cu8zn Год назад

      Yeah that's why we use these theorems

    • @Soul-cu8zn
      @Soul-cu8zn Год назад

      And 81=53+28 so it's pretty evident

  • @pritom_k
    @pritom_k 8 месяцев назад

    Great video, thanks

  • @b10noa
    @b10noa 12 лет назад +2

    how did u get from 81(mod 53) to 28(mod 53)

  • @jacksonante6189
    @jacksonante6189 4 года назад +1

    Great! Thanks

  • @yovanadimova6681
    @yovanadimova6681 3 года назад

    Best explanation!

  • @arashgholami245
    @arashgholami245 7 лет назад +1

    Thanks so much!

  • @luckiertwin2
    @luckiertwin2 11 лет назад +1

    Very helpful.

  • @mariamakarova8329
    @mariamakarova8329 7 лет назад +1

    THANK YOU!

  • @jsnadrian
    @jsnadrian 11 лет назад

    Thanks for the video .. but why does Case 2 mean that each congruence class is included in the rearrangement? I mean, why couldn't it only be 1,2,4,7,8...p-1, skipping a few numbers.

  • @annothree7881
    @annothree7881 Год назад

    easy explained - thanks a lot.

  • @deanr6327
    @deanr6327 9 лет назад +1

    wow, really excellent video! What program are you using that allows you to input math symbols so quickly?

  • @CandybarHD
    @CandybarHD 12 лет назад +1

    When yoy explain it, I feel like I can understand this. But I have no idea how to put it to use. I'm making a program that can tell me if a number is a prime number, then I'm going to use that program in later programing. The easiest way to do this, is suposedly through Fermat's little theorem. I just don't see how I can put this to use. If I wanted to know if 458 is a prime number, how can I use Fermat's little theorem to determine that?

  • @sirmtechnologyandsolutions5537

    what software did you use to write that sir?

  • @ValidatingUsername
    @ValidatingUsername 5 месяцев назад

    Wait is this a different theorem or does the thumbnail actually claim A^P is A(modP)

  • @1996supernikhil
    @1996supernikhil 13 лет назад

    This is helpful but, can you please explain where you the work.so it makes more sense.

  • @高橋ゆうと-n6n
    @高橋ゆうと-n6n Год назад

    where does 2 and 3 came from?

  • @lucier7921
    @lucier7921 10 лет назад

    Could anyone explain to me why r

    • @Kosekans
      @Kosekans 10 лет назад +1

      Because r is representing the congruence class from 1 to (p-1). So r can't be greater or equal to p ... or what do you mean?

  • @starrynight3526
    @starrynight3526 2 года назад

    What a great explanation 👍👍👍💯

  • @NafisShahariar-e8l
    @NafisShahariar-e8l 9 месяцев назад +1

    How did 3^10000=81(mod53) convert into
    3^10000=28(mod53)
    Please answer someone

  • @awesomevidos
    @awesomevidos 4 года назад

    thank you my professor assumes we know everything

  • @kristyburton6507
    @kristyburton6507 6 лет назад +2

    Excellent 😃

  • @Omelett.e
    @Omelett.e 11 месяцев назад

    Thank you very much for the proof. It is well presented.

  • @bttfish
    @bttfish 12 лет назад +1

    it can also be proved by induction with binomial theorem

  • @BritishMapper0
    @BritishMapper0 29 дней назад

    Hi bro what is the mean of 5(idk what symbol is it)2 .plz someone explain❤

  • @starrynight3526
    @starrynight3526 2 года назад

    What a great lecture 💯💯
    Thanks 😊😊

  • @goodleaf985
    @goodleaf985 3 года назад +1

    Thanks ma dude

  • @panshuljetwani1726
    @panshuljetwani1726 2 года назад

    What does (mod 53) mean?

  • @suevanhattum
    @suevanhattum 11 лет назад +3

    I like this!
    (Minor edit suggestion: I don't think you mean to say Case 1 and Case 2, since you're not saying that one or the other is the case. What you're saying is that both these things are true.)

  • @mayanksood4709
    @mayanksood4709 5 лет назад

    What if I have 2^17 congruent to mod 23

  • @gustavohernandez57
    @gustavohernandez57 6 лет назад +1

    Where can I go find out what "a divides b" means because that makes no sense.

  • @MINDOFLAD
    @MINDOFLAD 11 лет назад +2

    What program is this? It really helped a lot, thanks!

  • @wendya2309
    @wendya2309 6 лет назад

    also, what is congruent in the context

  • @KevinSmall
    @KevinSmall 10 лет назад +3

    I wish I saw this video back at university sigh

  • @rachel-kp3ho
    @rachel-kp3ho 10 месяцев назад

    How do you know that r-s not equal to 0?

  • @muhammadail3709
    @muhammadail3709 3 года назад +1

    Thanks alot

  • @FootClob
    @FootClob 6 дней назад

    FOR THOSE LOST ON HOW HE CONVERTED 81 TO 28, HE SIMPLY SUBTRACTED 53 FROM 81 SINCE IT'S A MODULO

  • @the_bonobo
    @the_bonobo 11 лет назад

    What did you use to simplify 3^(100,000) congruent to 81 (mod 53) to 3^(100,000) congruent to 28 (mod 53).

    • @yarenkaya7872
      @yarenkaya7872 3 года назад +1

      Since 0 ≡ 53 mod53
      3^100,000 ≡ 81 mod53
      If we substract 0 ≡ 53 mod53 from 3^100,000 ≡ 81 mod53 ;
      we get 3^100,000 ≡ (81-53) mod53

  • @mukeshsharma7455
    @mukeshsharma7455 Год назад

    nice way to explain proof

  • @lemingqiu7936
    @lemingqiu7936 3 года назад

    why 3^52 = 1 (mod 53) can imply (3^52)^1923 = 1^1923 (mod 53)?

  • @vafkamat
    @vafkamat 2 года назад

    very nice proof; never seen it before

  • @themountainseeker5728
    @themountainseeker5728 3 года назад +1

    I really want to know how you simplified 81 to 28????

  • @neyyyyyyyyyyyyy
    @neyyyyyyyyyyyyy 10 лет назад +1

    Thank you!

  • @the_bonobo
    @the_bonobo 11 лет назад +1

    Thanks

  • @shukaiitachi7928
    @shukaiitachi7928 11 лет назад +1

    thanks a lot

  • @vidajohn2199
    @vidajohn2199 6 лет назад +2

    Thank you for your excellent explanation of the proof! My request: a proof that the Euler function is multiplicative: phi(ab)=phi(a)*phi(b).

    • @spherinder5793
      @spherinder5793 4 года назад +1

      Assume a has unique prime factors j,k. To compute phi(a) we first subtract all numbers upp to a that have j as a factor: a * (1 - 1/j). Finally, we subtract the numbers that have k as a factor: phi(a) = a * (1 - 1/j) * (1 - 1/k). For instance, phi(12) = 12 * (1 - 1/2) * (1 - 1/3).
      Assume a has unique prime factors m,n. By the same principle phi(b) = b * (1 - 1/n) * (1 - 1/m).
      If a and b are coprime, i.e j and k are different from n and m, then the unique prime factors of a*b are j,k,n,m. Thus phi(a*b) = (a * b) * (1 - 1/n) * (1 - 1/m) * (1 - 1/j) * (1 - 1/k). These can be rearranged to phi(a) * phi(b).