Тёмный

Number Theory | The GCD as a linear combination. 

Michael Penn
Подписаться 306 тыс.
Просмотров 44 тыс.
0% 0

We prove that for natural numbers a and b, there are integers x and y such that ax+by=gcd(a,b). This is also called Bezout's Identity, although it was known by French Mathematician Claude Gaspard Bachet de Méziriac over 100 years before Bezout.
www.michael-penn.net

Опубликовано:

 

13 окт 2024

Поделиться:

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист
Посмотреть позже
Комментарии : 72   
@yashuppot3214
@yashuppot3214 4 года назад
Wow, not only was that a completely different proof than the ones i have seen before, it was much more intuitive, thank you.
@MichaelPennMath
@MichaelPennMath 4 года назад
Thanks, I just filmed and edited a video of this identity for polynomials. It should be up in a few days.
@ayandeepbharadwqj2605
@ayandeepbharadwqj2605 4 года назад
Michael Penn thanx a lot for the proof
@XxXMrGuiTarMasTerXxX
@XxXMrGuiTarMasTerXxX 4 года назад
Same thoughts here. Amazing proof!
@sounakroy1933
@sounakroy1933 2 года назад
Best mathematicians combine intution without loss in generality.
@omarshaaban1887
@omarshaaban1887 4 года назад
first time i've seen such an approach to this identity. amazing work! thank you from Lebanon
@davidbrisbane7206
@davidbrisbane7206 3 года назад
@<a href="#" class="seekto" data-time="210">3:30</a> ... I think this should be ... Since S is a nonempty set of positive integers, it has a minimum element d=ax+by by the *Well-ordering principle* rather than by the Archimedian principle.
@swatipandey7765
@swatipandey7765 9 месяцев назад
yup same thought and its correct
@PunmasterSTP
@PunmasterSTP 3 года назад
Greatest Common Divisor? More like Greatest, Coolest Description! Thanks so much for making all of these wonderful videos, and then sharing them.
@tushargarg4742
@tushargarg4742 4 года назад
I just started the book by Joseph Gallian and got stuck on this proof. This video is really helpful. Thanks a lot.
@hjdbr1094
@hjdbr1094 4 года назад
Excelent proof. Huge thanks from Brazil!
@georgesadler7830
@georgesadler7830 2 года назад
Professor M. Penn ,thank you for a classic topic and selection of The GCD as a linear combination.
@theunknown4209
@theunknown4209 3 года назад
I'm working on Richard Hammack's book of proof and this video is a great compliment.
@atirmahmood7058
@atirmahmood7058 6 месяцев назад
Sir your explanations just make fall in love
@wl4131
@wl4131 4 года назад
This guy does a good job talking through proofs. And from the videos I've watched, he subtlety gives motivation for definitions and theories. Which I think is a sizable pitfall in teaching modern mathematics.
@khbye2411
@khbye2411 3 года назад
hello may I know what you mean by gives motivation for definitions and theories?
@wl4131
@wl4131 3 года назад
@@khbye2411 hello, so in math sometimes we are presented with theories that seem to have no motivation. Often it’s the case, the more math we learn the clearer the reason for those theories. Hence motivation to declare an idea a theorem
@proofbybri6877
@proofbybri6877 Год назад
Why do we get the contradiction for r
@CharbelGPT
@CharbelGPT Год назад
Thank you for the hard work
@davidbrisbane7206
@davidbrisbane7206 3 года назад
Is Michael on the bridge of the USS Enterprise?
@holyshit922
@holyshit922 Год назад
In the CLRS Introduction to algorithms there is recursive algorithm for this
@jamesfortune243
@jamesfortune243 2 года назад
That proof was so intellectually satisfying!
@sabirseikh8569
@sabirseikh8569 4 года назад
Finally found a proof huhh all the other RU-vidrs are just giving examples
@davidblauyoutube
@davidblauyoutube 3 года назад
This is an ideal presentation.
@SANI-sp5gq
@SANI-sp5gq 3 года назад
Congratulations for 100k familys of mathematics.
@JS-th1gi
@JS-th1gi 3 года назад
Hands down best explanation
@markbracegirdle7110
@markbracegirdle7110 2 года назад
You can illustrate this on a spreadsheet, iteratively subtracting the small number from the larger. Eventually one of them is zero, and the other must be the GCD.
@temirlanmaratov4664
@temirlanmaratov4664 Год назад
Thanks for all
@thomhughes4617
@thomhughes4617 4 года назад
I’m a bit confused about having c|d implies d=gcd(a,b). Is it because we can apply this reasoning of c|d for any common divisor of a and b and the smallest number d for which this holds is by definition the gcd(a,b)?
@agrajyadav2951
@agrajyadav2951 2 года назад
Hey! I know I'm slightly late, but since d divides a and b, and c also does that, and c divides d, that means d>=c (d,c€N). And since we didn't make any assumptions about c other than its a natural no that divides a and b, and yet, d is greater or equal to it, hence, its the greatest common divisor. I hope this was clear
6 месяцев назад
from Morocco all respects and thanks
@tilek4417
@tilek4417 4 года назад
Wow, I remember seeing this proof in my math circle and not really understanding anything.
@davidbrisbane7206
@davidbrisbane7206 3 года назад
Alternatively, you can use the Euclidean Algorthm to compute the gcd(a, b) and then reverse all the steps to discover that ax + by = gcd(a, b), but this is less elegant and more tedious.
@ibrahimkoz9881
@ibrahimkoz9881 4 года назад
Great, thx a lot from Turkey.
@popcorn485
@popcorn485 3 года назад
Nice! It took me a few watches, but I get it now. Excellent work thank you!
@swatipandey7765
@swatipandey7765 9 месяцев назад
hey sir can u say me how did the q come at <a href="#" class="seekto" data-time="380">6:20</a> when using the division algorithm?
@DataMan2247
@DataMan2247 4 года назад
thanks from canada:)
@anonymoussloth6687
@anonymoussloth6687 2 года назад
why did you prove that d divides a through all that? you claimed that d is the gcd(a,b) so by definition d has to divide a right?
@1princess111
@1princess111 3 года назад
Amazing explanation!
@kantaprasadsinha8025
@kantaprasadsinha8025 3 года назад
Now, West aggressively started GCD as saying as Euclidean Algorithm. Thank u that you have not said that. Bezout' s identity is also named as Extended E Algorithm.
@wernergamper6200
@wernergamper6200 3 года назад
No one cares
@ImranAhmed-kj9fz
@ImranAhmed-kj9fz 3 года назад
thank you soo much ! from india
@amnahali8171
@amnahali8171 2 года назад
great explaination
@yousefalyousef59
@yousefalyousef59 3 года назад
let: 1/(a-b)(a+b)=A/(a+b)+B/(a-b) and form it ■A(a-b)+B(a+b)=1 ■a(B+A)+b(B-A)=1 Here are two cases of a Bezout's Lemma. say some thing about that.
@siraj522
@siraj522 Год назад
Thank you
@lki3023
@lki3023 3 года назад
Thank you Sir ☺
@ren5124
@ren5124 Год назад
Could someone elaborate why r is less than d?
@willjohnston2959
@willjohnston2959 9 месяцев назад
Think back to long division -- we keep going until the remainder is less than the divisor, otherwise we really haven't finished our division. For example, we don't say 53 divided by 4 is 10 with a remainder of 13, we say it is 13 with a remainder of 1. That is, we don't say 53 = 4(10) + 12, we say 53 = 4(13) + 1, where the r lies between 0 and 4.
@wagsman9999
@wagsman9999 3 года назад
thanks, very clear
@gdudhdydhsudjdu6350
@gdudhdydhsudjdu6350 10 месяцев назад
i don't understand. we want to proof a.xo + b.yo=d but again we use a.xo + b.yo =d why ???
@humester
@humester 4 года назад
Can someone tell me why ax+by greater than 0 is a subset of the natural numbers. It seems to me that the expression would encompass all the natural numbers: 1, 2, 3, ... What am I not seeing?
@roflattheworld
@roflattheworld 3 года назад
When he says 'subset of N', he does not necessarily mean that it is a strict/proper subset of N (that is, it *could* be N itself); however, it is yet unclear as to whether it is exactly N or just some part of N, noting that if it were always precisely N, then the proof would follow trivially (as gcd(a,b) is in N by definition).
@roflattheworld
@roflattheworld 3 года назад
Consider a = 2, b = 4. Clearly - as we've defined that x,y are integers - any solution to our given form can only be an even integer, whereby we have at least one counterexample to S always being equivalent to N.
@sanitizeyoureyes7841
@sanitizeyoureyes7841 2 года назад
Thanks
@gautamdebnathudp8535
@gautamdebnathudp8535 3 года назад
Thanks from india .
@arnabroy2247
@arnabroy2247 3 года назад
Why r is less than d ?
@davidbrisbane7206
@davidbrisbane7206 3 года назад
Suppose a = 17 and d = 6, so d does not divide a, as 6 doesn't divide 17. But, you can write 17 = 6(2) + 5. Here a = 17, d = 6, r = 5. So, a = d(q) + r. Notice that r can't be 6, because if it were, then 17 = 6(2) + 6 = 6(3) and then 6 would divide 17, which it obviously doesn't. Similarly, r can't be zero, because if it could be, than we could find an integer q such that 17 = 6(q) + 0 = 6q, and clearly there is no integer q that satisfies 17 = 6q. Putting it all together we have a = d(q) + r, where 0
@sauravgupta4639
@sauravgupta4639 2 года назад
@@davidbrisbane7206 as a sidenote, since the equation a = d.q + r is symmetric with respect to q, we can also write 0
@davidmeijer1645
@davidmeijer1645 3 года назад
I’m still watching….until the Good Place to Stop…?!?
@Artaxerxes.
@Artaxerxes. 3 года назад
good.
@johnvandenberg8883
@johnvandenberg8883 2 года назад
It’s the Well-Ordering Principle, not the Archemedian Principle 😃
@lazyonigiri5665
@lazyonigiri5665 9 месяцев назад
i don’t get it
@nahuelgomez7194
@nahuelgomez7194 4 года назад
Great content! estas re mamado amigo
@nivaanand984
@nivaanand984 3 года назад
for what we found gcd,any use
@ranjitsarkar3126
@ranjitsarkar3126 3 года назад
Never ask a mathematician for applications
@prathikkannan3324
@prathikkannan3324 3 года назад
@@ranjitsarkar3126 it’s all for fun and glory :)
@davidbrisbane7206
@davidbrisbane7206 3 года назад
The GCD is used for a variety of applications in number theory, particularly in modular arithmetic and thus encryption algorithms such as RSA. It is also used for simpler applications, such as simplifying fractions.
@AloeusCapitalManagem
@AloeusCapitalManagem 4 года назад
dafuq just happened
@wl4131
@wl4131 4 года назад
Lol Bezout's Identity
@davidbrisbane7206
@davidbrisbane7206 3 года назад
Very clever 👏👏.
@lillianrose4658
@lillianrose4658 3 года назад
The hysterical substance microcephaly prefer because advertisement physically risk amid a knowledgeable teacher. normal, tacky peripheral
Далее
Number Theory | Fermat's Little Theorem Example 1
5:14
Bézout's identity: ax+by=gcd(a,b)
18:20
Просмотров 82 тыс.
САМАЯ ТУПАЯ СМЕРТЬ / ЧЕРНЕЦ
1:04:43
Bezout's Identity to solve ax+by=1 (a,b) are coprime
7:09
Discrete Math 4.3.4 GCD's as Linear Combinations
11:40
Number Theory | Primitive Pythagorean Triples
19:50
Просмотров 49 тыс.
Greatest Math Theories Explained
9:18
Просмотров 101 тыс.
The Greatest Common Divisor -- Number Theory 4
16:35
Просмотров 27 тыс.
The Oldest Unsolved Problem in Math
31:33
Просмотров 10 млн
Bezout's Identity
7:42
Просмотров 67 тыс.
Euclidean Algorithm (Proof)
8:50
Просмотров 114 тыс.