Proof of Concept
Proof of Concept
  • 27
  • 317 267
Rethinking the real line #SoME3
We take a geometric approach to rational numbers, to rethink how to organize the real line. Along the way, we visualize Diophantine approximation and continued fractions. And your favourite number, pi.
Much of the mathematics here is based on the following article:
Series, C. The geometry of markoff numbers. The Mathematical Intelligencer 7, 20-29 (1985). doi.org/10.1007/BF03025802
A big thanks to the Summer of Math Exposition competition for the motivation to make this happen, and a big thanks to my audience for forgiving my video-editing non-skills.
Some of the software used in creating this: Sage Mathematics Software, Manim, VPython, p5.js, Krita, Audacity, Kdenlive.
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Music used in the video:
Walk Through the Park -- TrackTribe
George Street Shuffle -- Kevin MacLeod
Quarter Mix -- Freedom Trail Studio
Love Struck -- E's Jammy Jams
George Street Shuffle by Kevin MacLeod is licensed under a Creative Commons Attribution 4.0 license. creativecommons.org/licenses/by/4.0/
Source: incompetech.com/music/royalty-free/index.html?isrc=USUAN1300035
Artist: incompetech.com/
มุมมอง: 99 130

วีดีโอ

The Intuition behind the Double-And-Add / Square-And-Multiply Algorithm (Also Just a Fun Puzzle!)
มุมมอง 2.6K3 ปีที่แล้ว
This video develops the Double-And-Add Algorithm entirely intuitively through a fun recreational math puzzle, so you will always be able to recreate it for yourself and use it when you need it. (Also known as Square-And-Multiply and occasionally as the Chanda Sutra Method.) The video requires that you are familiar with binary. Here's the tree I draw in the video: oeis.org/A232559 (In my video, ...
ADFGVX Cipher: Encryption and Decryption (Updated)
มุมมอง 17K3 ปีที่แล้ว
Encryption and Decryption of the World War One ADFGVX Cipher, through examples. This video replaces an earlier one with the same content, but has some improvements and corrections. #cryptography
Lehmer Factor Stencils: A paper factoring machine before computers
มุมมอง 54K3 ปีที่แล้ว
In 1929, Derrick N. Lehmer published a set of paper stencils used to factor large numbers by hand before the advent of computers. We explain the math behind the stencils, which includes modular arithmetic, quadratic residues, and continued fractions, including my favourite mathematical visualization for continued fractions. *VIDEO CORRECTION*: I made a copying error when setting up the recurren...
Studying Apollonian Circle Packings using Group Theory
มุมมอง 6K4 ปีที่แล้ว
This video is in response to a colleague who asked for short videos about how we use group theory in our research. One of my interests is Apollonian circle packings. Some links: Wikipedia: en.wikipedia.org/wiki/Apollonian_gasket An article in New Scientist by Dana Mackenzie: www.americanscientist.org/article/a-tisket-a-tasket-an-apollonian-gasket A good math paper to start: arxiv.org/abs/math/0...
The modular inverse via Gauss not Euclid
มุมมอง 2.4K4 ปีที่แล้ว
We demonstrate a lesser-known algorithm for taking the inverse of a residue modulo p, where p is prime. This algorithm doesn't depend on the extended Euclidean algorithm, so it can be learned independently. This is part of a larger series on modular arithmetic: th-cam.com/play/PLrm9Y qlNyWBQEKBSrr_Uh16gEWhJzw.html
The extended Euclidean algorithm in one simple idea
มุมมอง 13K4 ปีที่แล้ว
An intuitive explanation of the extended Euclidean algorithm as a simple modification of the Euclidean algorithm. This video is part of playlist on GCDs and the Euclidean algorithm: th-cam.com/play/PLrm9Y qlNxXccpwYQfllCrHRJWwMky-.html
ADFGVX Cipher: Encryption and Decryption (OLD VERSION: SEE NEW VERSION LINK BELOW)
มุมมอง 11K4 ปีที่แล้ว
This video has been replaced with an updated video: visit th-cam.com/video/T0xfKiU9Rr4/w-d-xo.html Encryption and Decryption of the World War One ADFGVX Cipher, through examples.
Cryptanalysis of Vigenere cipher: not just how, but why it works
มุมมอง 33K4 ปีที่แล้ว
The Vigenere cipher, dating from the 1500's, was still used during the US civil war. We introduce the cipher and explain a standard method of cryptanalysis based on frequency analysis and the geometry of vectors. We focus on visual intuition to explain why it works. The only background needed is some familiarity with vectors and probabilities. For more on this method: _Introduction_to_Cryptogra...
The Euclidean Algorithm: How and Why, Visually
มุมมอง 35K4 ปีที่แล้ว
We explain the Euclidean algorithm to compute the gcd, using visual intuition. You'll never forget it once you see the how and why. Then we write it out formally and do an example. This is part of a playlist on GCDs and the Euclidean algorithm: th-cam.com/play/PLrm9Y qlNxXccpwYQfllCrHRJWwMky-.html
Greatest common divisor and least common multiple: building blocks
มุมมอง 3K4 ปีที่แล้ว
The intuition behind gcd and lcm, from the perspective of factorizations. For aspiring mathematicians already familiar with prime numbers as the building blocks of integers. Learn the intuition, the definitions, and gain some practice. This video is appropriate for high school, for an introduction to proof course, for undergraduate mathematics majors, or for the mathematically inclined, especia...
Modular Arithmetic: Multiplication in Motion
มุมมอง 1.6K4 ปีที่แล้ว
Modular arithmetic visually! We explore multiplication modulo n, and discover and prove that the multiplication-by-a map f(z) = az mod n is bijective if and only if a and n are coprime. We use a visualization tool called a "dynamical portrait." This treatment is inspired by Martin H. Weissman's beautiful book, An Illustrated Theory of Numbers. This video is appropriate for an introduction to pr...
Modular Arithmetic: Addition in Motion
มุมมอง 1.5K4 ปีที่แล้ว
Modular arithmetic visually! We explore addition modulo n, and discover and prove the number of cycles and their sizes. We use a visualization tool called a "dynamical portrait." This treatment is inspired by Martin H. Weissman's beautiful book, An Illustrated Theory of Numbers. This video is appropriate for an introduction to proof course, for undergraduate mathematics majors, or for the mathe...
Modular Arithmetic: In Motion
มุมมอง 3.2K4 ปีที่แล้ว
Modular arithmetic visually! We use a visualization tool called a "dynamical portrait." We explore addition and multiplication modulo n, and discover and prove the portrait is made of cycles if and only if the function (f(z) = z a mod n or f(z) = az mod n) is bijective. This treatment is inspired by Martin H. Weissman's beautiful book, An Illustrated Theory of Numbers. This video is appropriate...
Modular Arithmetic: Under the Hood
มุมมอง 2.3K4 ปีที่แล้ว
Modular arithmetic visually! For aspiring mathematicians already familiar with modular arithmetic, this video describes how to formalize the concept mathematically: to define the integers modulo n, to define the operations of addition and multiplication, and check that these are well-defined. This video is appropriate for an introduction to proof course, for undergraduate mathematics majors, or...
Modular Arithmetic: User's Manual
มุมมอง 3K4 ปีที่แล้ว
Modular Arithmetic: User's Manual
Intro to LaTeX for beginning math majors
มุมมอง 1.2K4 ปีที่แล้ว
Intro to LaTeX for beginning math majors
Abelian sandpile animation: toppling of an odometer of integral linear growth
มุมมอง 2265 ปีที่แล้ว
Abelian sandpile animation: toppling of an odometer of integral linear growth
Abelian sandpile animation: toppling of an odometer of integral quadratic growth
มุมมอง 2355 ปีที่แล้ว
Abelian sandpile animation: toppling of an odometer of integral quadratic growth
Abelian sandpile animation: toppling of an odometer of rational linear growth
มุมมอง 1535 ปีที่แล้ว
Abelian sandpile animation: toppling of an odometer of rational linear growth
Abelian sandpile animation: toppling of an odometer of rational quadratic growth
มุมมอง 2215 ปีที่แล้ว
Abelian sandpile animation: toppling of an odometer of rational quadratic growth
Abelian sandpile animation: toppling of an odometer of rational quadratic growth
มุมมอง 2955 ปีที่แล้ว
Abelian sandpile animation: toppling of an odometer of rational quadratic growth
The Intuition Behind Proof by Induction
มุมมอง 12K6 ปีที่แล้ว
The Intuition Behind Proof by Induction
The Dystopian Perspective on Logical Negation
มุมมอง 4216 ปีที่แล้ว
The Dystopian Perspective on Logical Negation
Anatomy of a proof: if n is even, then n squared is even
มุมมอง 13K8 ปีที่แล้ว
Anatomy of a proof: if n is even, then n squared is even
Sets and their elements
มุมมอง 7709 ปีที่แล้ว
Sets and their elements
What is an "if-then" statement?
มุมมอง 2K9 ปีที่แล้ว
What is an "if-then" statement?

ความคิดเห็น

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

    after like 6 hrs of constantly thinking, i kinda get how the algorithm work now. basically, if we have 2 natural numbers a and b, we can write them in the form: a = C*ua b = C*ub where C is the least common divisor and u's are the unique divisors the goal here is to reduce u to 1. we can do that by constantly taking remainder division which preserves C if we write a = nb*b+R and substitute a and b in, you will see the remainder always contains C R = C(ua - nb*ub) we will know whether either of the u's is 1 when the remainder is 0 ua = ua - nb*ub makes ua < ub since ua < (nb + 1)*ub (nb is the greatest number of b contained in a, aka a/b) so everytime we take remainder, the larger/smaller side switches making u reduce constantly while staying positive there will NEVER be such C*2*3 and C*2 case since that makes C*2 the gcd, wich contradicts with the claim that C is the gcd

  • @Ion-Luca-Caragiale
    @Ion-Luca-Caragiale 10 วันที่ผ่านมา

    This + thinking gives refreshing perspective on what the heck my lecturer been trying to get to me. It's always the fact that you need to process raw information first, before understanding it normally.

  • @coopergates9680
    @coopergates9680 12 วันที่ผ่านมา

    The quotes of the beauty of math outside practical applications sum up math programs I've written. Haven't contributed much to my career with it...

  • @justrandomology
    @justrandomology 14 วันที่ผ่านมา

    this is the best explanation i ever have❣❣

  • @pistachos4868
    @pistachos4868 15 วันที่ผ่านมา

    Whaaaaaaaaaaaat?! Wow! thank you so much for this visual example, it's so good and can be configured for an activity on one of my classes!

  • @Yahya-gb8zn
    @Yahya-gb8zn 20 วันที่ผ่านมา

    I love you so mucchhh. This makes Visually tremendously more sense…

  • @jufriazziq
    @jufriazziq 22 วันที่ผ่านมา

    the best explanation, much much easier but the problem is lecture just want exactly like how they explain

  • @Matem-sc1ic
    @Matem-sc1ic 24 วันที่ผ่านมา

    Thank you very much ❤❤❤

  • @kool_kid918
    @kool_kid918 25 วันที่ผ่านมา

    Wow, this video is simply amazing, not only do you help us visualize the algorithm but you also make it intuitive to the point where you can derive it yourself. Thank you so much! I will be sure to check your videos out for future concepts!

  • @DerrickWasCracked
    @DerrickWasCracked หลายเดือนก่อน

    SO UNDERRATED

  • @ej3833
    @ej3833 หลายเดือนก่อน

    At 4:53 you write: 180=11*16+4 but correct would be +20 instead of +4 and then you get 20=16+4 followed by 16=4*4+0 and gcd=4

  • @snookandrew
    @snookandrew หลายเดือนก่อน

    7:14 I said "Ohhhh" out loud as now I think I get it.Thank you

  • @FardeenRazifee21b046
    @FardeenRazifee21b046 หลายเดือนก่อน

    The best explanation on this topic

  • @donwald3436
    @donwald3436 หลายเดือนก่อน

    Wouldn't it be easier to factor the 10 million numbers and publish a table lol.

  • @DavidvanDeijk
    @DavidvanDeijk หลายเดือนก่อน

    Great video that i watch every once in a while.

  • @Yzyzyzzz
    @Yzyzyzzz หลายเดือนก่อน

    damnnnnn bro! 🤯🤯

  • @freeverse4210
    @freeverse4210 หลายเดือนก่อน

    Best explaination ever made for this topic by just one joing lines of a traingle you explained the smallest detail. Thank you very much for this it was so much helpful.

  • @ИмяФамилия-е7р6и
    @ИмяФамилия-е7р6и หลายเดือนก่อน

    почему нет руского перевода??? правильно ютуб в России забанили поделом

  • @Veptis
    @Veptis 2 หลายเดือนก่อน

    In terms of an orchid problem, I like Phi, rhe golden ratio instead if pi. Since it's "the most irrational number" meaning there is no good approximations. This approach or even the surreal numbers, allow for ording all the irrationals. so doesnt that allow a mapping from rationals to irrationals and showing that they have the same cardinality? Ruining the second diagonal argument? Instead of numebrs, you can also do this with powersets over sll rationals.

  • @DarioLeach-z2e
    @DarioLeach-z2e 2 หลายเดือนก่อน

    Florence Union

  • @user-wr4yl7tx3w
    @user-wr4yl7tx3w 2 หลายเดือนก่อน

    thank you for the awesome content

  • @user-wr4yl7tx3w
    @user-wr4yl7tx3w 2 หลายเดือนก่อน

    i truly wish i saw this video first years ago. how many times i have given up, confused on the notations, given its apparent inconsistency in use. now that you pointed out that it is a side note, it is so clear now. thank you. just wish i saw this years ago.

  • @0xatul
    @0xatul 2 หลายเดือนก่อน

    Its been a month since I graduated engineering, and now is the day when I truly understand this algorithm

  • @FireyDeath4
    @FireyDeath4 2 หลายเดือนก่อน

    If you just have L/R options, would there be a significant difference between using fairy* subdivisions instead of binary ones? Also, the fractions you put on the grid don't quite make sense to me. (1,1) is further from the origin than (0,1) and (1,0), so it seems like it should represent 1/2 instead, since it looks smaller, with (1,0) representing 1, (1,2) and (2/1) representing 1/3 and 2/3, (1,3) and (3/1) representing 1/4 and 3/4, and so on. *[sic is what you get for being called Farey and not spelling it out :P]

  • @regenadaniels8847
    @regenadaniels8847 2 หลายเดือนก่อน

    Williams Ronald White Frank Thomas Anna

  • @DrJulianNewmansChannel
    @DrJulianNewmansChannel 3 หลายเดือนก่อน

    TH-cam has a lot of trash on it - and then it has things like this. I think this is a serious contender for the best STEM-related video I've ever seen.

  • @elunedssong8909
    @elunedssong8909 3 หลายเดือนก่อน

    Here's how to calculate the numbers used in the sequence of a continued fraction. You take the number, - the biggest whole number you can find, then flip the remainder as a fractional addition, and then repeat. ie: 3.14 - 3 = .14, 1/.14= 7... 1/... = 15... 1/...= 1... 1/... = etc where 3,7,15,1 would be the 'address' instead of 3,1,4,...(base 10 address) Loved the video, and now that i understand the process to generate continued fractions, I agree with you, it's actually VERY easy to calculate the continued fraction. It only requires simple subtraction and division, where as calcuating base 10 of a number also requires simple subtraction and division. Now getting the actual 'value' back from a continued fraction, is a lot more involved (every address you go, requires another division and addition (and the addition involves multiplication), where as with any normal base address it only requires 1 simple multiplication per address, so indexing in is much easier than indexing out, which means numberical bases are here to stay, like you said, but its still quite clever and I loved thinking through the arguments and watching the visualization. Edit: I did some more thinking about this, and actually you need the base 10 system to write out the continued fraction in the first place. So this is an index, of an index. If we wrote all the numbers in base 2, the continued fraction would look way different. Doesn't change much, but I did overlook that, this isn't a 'better' address divorced of the base 10 address, it's an even more specific, base 10 address.

  • @snehaldasgupta
    @snehaldasgupta 3 หลายเดือนก่อน

    honestly, this was so cool

  • @MrJHinism
    @MrJHinism 3 หลายเดือนก่อน

    Thanks for your explanation! Just a quick correction, in your example, the number of dots is 57 instead of 54. gcd(21, 57) = 3 is still true tho.

  • @OranCollins
    @OranCollins 4 หลายเดือนก่อน

    i watched your video a few months ago and ive been thinking about it constantly, its changed the way i view number! super thanks!

  • @factopedia1054
    @factopedia1054 4 หลายเดือนก่อน

    Love you

  • @marklord7614
    @marklord7614 4 หลายเดือนก่อน

    I am interested in understanding how things work rather than memorization, and in less than a minute of the video, I knew it was special. Content such is this is absolutely vital. Thanks.

  • @BooleanDisorder
    @BooleanDisorder 4 หลายเดือนก่อน

    Beautiful

  • @gsriram1830
    @gsriram1830 4 หลายเดือนก่อน

    This is brilliant. Please continue to make more such videos. This is how science and math must be seen.

  • @akshaykaura
    @akshaykaura 4 หลายเดือนก่อน

    At first, I didn't quite grasp why would the GCD remain same after we delete the smaller number from larger one (B-A). But it made sense this way: Hint: We are deleting pile A from pile B and then ask what's the new GCD of leftover pile B and the pile A? Well, just remember, the deletion is also made of new GCD as we just deleted pile A- hence the whole pile B and pile A have a new GCD ;) contradiction ! Explanation: GCD is basically the largest chunk of stones that will divide both piles in some number of parts, say- xa and xb. So, pile A has xa number of GCDs and pile B has xb number of GCDs (largest chunks common for both). => A = g . xa and B = g . xb (Imagine them as bigger balls that make up the pile) Now, we remove just one copy of pile A from B. This means: => B - A = g . xb - g . xa For a moment, let's assume, the common chunk size of A and B-A, could maybe get bigger after deletion- to say g' (read: g dash) => B - A = g' . x' and A = g' . xa' This means, the leftover of pile B is made of g' size chunks with count as x' and pile A is made of g' size chunks with count as xa'. But, here's the catch: the deleted pile A from pile B must also be made of g' size chunks with count as xa'. That means: => deleted pile A + left over pile B = the original pile B => g' . xa' + g' . x' = pile B => g' (xa' + x') = pile B So, the pile B is made of g' size chunks AND pile A is also made of g' size chunks! A common divisor for A and B! What's the largest common divisor for A and B? => The GCD(A, B) = g Hence, g' = g, the original GCD of A and B!

  • @gravity6316
    @gravity6316 4 หลายเดือนก่อน

    WOW. You explain stuff in such an intuitive manner

  • @navauchiha
    @navauchiha 5 หลายเดือนก่อน

    This should be first hit for Euclidean algorithm

  • @ahmadag1820
    @ahmadag1820 5 หลายเดือนก่อน

    our explanations are similar except I cut the box Into Identical sections

  • @caiofernando
    @caiofernando 5 หลายเดือนก่อน

    Excellent video.

  • @9WEAVER9
    @9WEAVER9 5 หลายเดือนก่อน

    A new classic here! I've had this video in my Downloads for some time.

  • @manarsalem1685
    @manarsalem1685 5 หลายเดือนก่อน

    This was mind-blowing to watch. I'm amazed at how you could convey everything so neatly and clearly.

  • @md.arifulislamroni2946
    @md.arifulislamroni2946 6 หลายเดือนก่อน

    love it;❤

  • @AbjSir
    @AbjSir 6 หลายเดือนก่อน

    Thanks.

  • @Intresting-stuff
    @Intresting-stuff 6 หลายเดือนก่อน

    Weird how this video was located next to Lemmino's new video

  • @NestPavel
    @NestPavel 6 หลายเดือนก่อน

    Came here after Leminno video about Kryptos. Nice video! And the puzzle was fun, althought at first I didn't know what to do with the fact that last row is incomplete. But when you think about it, it becomes more or less obvious.

  • @davethesid8960
    @davethesid8960 7 หลายเดือนก่อน

    Really enjoyed this video, gave me a new reason to love maths even more! One tiny note: it should be pronounced "Dirishley".

  • @IptenT
    @IptenT 7 หลายเดือนก่อน

    This is fantastic, thank you!

  • @maynardtrendle820
    @maynardtrendle820 7 หลายเดือนก่อน

    I think this is a WILDLY helpful video. Awesome job.😎

  • @cupostuff9929
    @cupostuff9929 7 หลายเดือนก่อน

    7:25 once you dropped down into the origin my brain immediately made the connection between the inverse square law & what was being talked about previously

  • @sasanrahmatian312
    @sasanrahmatian312 8 หลายเดือนก่อน

    At 2:30 you said, “. . . like Pi as the ratio of diameter to circumference”.