Category
🏖
TravelTranscript
00:00:00hello friends yeah welcome to friday night on hongkiri episode 172 happy friday uh let's
00:00:09do you know you remember start uh street fighter video game yeah let's do uppercut
00:00:17street fighter video game start okay okay yeah better jump over here okay
00:00:33okay cool five minutes break please thank you
00:00:40very cool
00:00:44nice
00:00:47you
00:01:17you
00:01:47you
00:02:17you
00:02:47you
00:03:17you
00:03:47you
00:04:17you
00:04:36but
00:04:47you
00:05:08welcome
00:05:08um yeah welcome to friday night on hongkiri episode 172
00:05:18uh
00:05:22mathematics show if we continue we can continue
00:05:28yeah yeah the rest is will be easy okay um it's exact same methodology
00:05:38so but let's talk a little bit no mathematics like uh yesterday the instagram live yeah uh
00:05:49my aunt's wisdom okay yeah whereas in high school they are i was wondering is america
00:05:56life better than korean life and she said basically yeah you it's pretty much same
00:06:02people in america people in korea they're pretty much same society pretty much same
00:06:08i i agree with her uh i well i mean
00:06:15the way i interpret her wisdom is this okay so uh how about equality principle okay sure
00:06:24it's like this korea the 90 good people were 99 good people one percent bad people america
00:06:31same way korea
00:06:35their freedom in south korea okay the freedom and there are rules to follow america same way
00:06:43so by and large yeah it's the same okay yeah anywhere in the world okay then why do i live in
00:06:53why do i want to live in america as of to south korea uh it's there there are some
00:06:58difference though okay yeah america and more freedom that's south korea okay and um it's a
00:07:05bigger place and yeah okay yeah there's some difference in culture but uh yeah
00:07:17okay yeah but people are people okay okay want to mention that happy friday and uh
00:07:26yeah
00:07:36let me refill this
00:07:50okay
00:07:51okay yeah tomorrow we'll generalize like the x plus m over n okay i will prove that tomorrow okay
00:08:03that's tomorrow
00:08:06yeah we have enough patterns here so yeah we can generalize it okay
00:08:11okay yeah
00:08:24it'd be fun tomorrow yeah interesting journey it was
00:08:30interesting journey it was
00:08:39other people's proof i i appreciate proof same as ours okay
00:09:00um
00:09:06have you knocked down
00:09:13okay happy friday
00:09:17so
00:09:28okay let me grab a new new bottle
00:09:35okay
00:09:48so yes why did i cry
00:09:55because my aunt's wisdom so wise and uh it's like it was so moving to me that uh i did not
00:10:02understand when she said to me i was like 17 years old teenager okay now i'm 46
00:10:10later on in my life maybe when i'm like in my 20s 30s yeah i remembered her wisdom and then uh
00:10:21i was able to understand what she meant okay yeah
00:10:30yeah moving moment yeah didn't understand first but after a decade
00:10:40understood okay yeah basically
00:10:46growing up from teenagehood
00:10:52but adulthood becoming wiser more understanding of the world yeah
00:11:01yeah yeah moving moment there oh my uncles my aunts they're fantastic
00:11:08yeah great mentors i'm very grateful
00:11:24yeah
00:11:29okay
00:11:46okay
00:11:59so
00:12:17if you want to prove this go for it okay methodology exact same methodology okay
00:12:22yeah five minutes please thank you okay
00:12:29okay
00:12:36yeah
00:12:42finally thank you
00:12:43um
00:12:51there we go
00:13:04oh there we go yep five minutes thank you
00:13:34you
00:14:04you
00:14:34you
00:15:04you
00:15:34you
00:16:04you
00:16:34you
00:17:04you
00:17:34you
00:18:04you
00:18:34you
00:19:04you
00:19:16hey welcome back we are back all right
00:19:20yeah
00:19:27yeah i mean when i was in like medicine wisconsin like uh
00:19:37yeah i went to major in computer science yeah i live off campus one small efficiency apartment
00:19:48kind of studio apartment okay yeah
00:19:52it's just like it's not one bedroom okay there's no separate room it's just one
00:20:00living room with kitchen attached to it okay yeah cheers
00:20:06one time i was like um
00:20:08um walking back from school and uh in my neighborhood uh yeah house party i they're
00:20:18my neighbors i don't but i did not know them okay but uh i was like crashing the party basically hey
00:20:25can i come in and they say yes oh how nice okay yeah and college students like boys and girls and
00:20:35yeah and i asked this lady that i do not know hey uh can i kiss you and she said well if you
00:20:45try to kiss me i'll i'll punch your head punch your face or slip slap your face she said those
00:20:50like that okay and we had a good laugh because i did not know that america is just like korea
00:20:56like women they don't want to kiss a random stranger but i thought america is different
00:21:00america is different okay my answer was right okay i didn't know
00:21:05well maybe back in 70s like hippie days yeah free love maybe but that was like not 70s i was born in
00:21:1370s but they're like late 1990s in medicine school okay so that's not like san francisco 1970s
00:21:23hippie era place it was not like that so
00:21:26yeah okay
00:21:32yeah cheers yep
00:21:42okay
00:21:53is that somewhere okay
00:21:56you
00:22:09yeah we need to spare the space for like ms2 okay so
00:22:26so
00:22:35let's do this x is equal to 3k plus
00:22:43plus
00:22:54well
00:23:05can be zero
00:23:13and less than
00:23:23um three so zero one two okay l
00:23:31no not advantage okay
00:23:33okay better is the same range okay so no we don't need to divide like this anymore
00:23:43okay we're just collecting the three okay yeah
00:23:49then
00:24:03you
00:24:12oh yeah
00:24:17um
00:24:33you
00:25:03you
00:25:10and we're better
00:25:18so l plus better
00:25:33you
00:25:40uh there's some problem here
00:26:03you
00:26:19um
00:26:33you
00:26:40well
00:26:46we can do better than that
00:26:51okay
00:26:56l between zero and two inclusive okay
00:26:59okay so then l plus better
00:27:07okay sure sure good now it works divide by three
00:27:19okay so
00:27:21uh
00:27:27because l plus better divided by three is less than one okay so that's k
00:27:35now right hand side
00:27:51um
00:28:05i forgot plus one okay sure
00:28:21you
00:28:43uh
00:28:51you
00:29:17yeah
00:29:18uh not quite working
00:29:26um
00:29:48you
00:29:55we will need to redo this okay yeah i it's not behaving as i expected um
00:30:18you
00:30:21you want to prove this go for it okay i was not able to okay not yet okay yeah cheers
00:30:31let's take five square okay okay yeah we love the challenges
00:30:39cool we don't want this problem to be too easy
00:30:48you
00:30:54doing thank you five minutes
00:31:18you
00:31:48you
00:32:18you
00:32:48you
00:33:18you
00:33:30no
00:33:36this k uh this like l substitution works here but not here which is quite surprising
00:33:48you
00:33:51okay
00:33:58well let's review this okay but it's good methodology though yeah l substitution
00:34:06but it's not quite working here okay and i'm wondering why
00:34:18you
00:34:21uh let me record okay so
00:34:33um
00:34:37this
00:34:42okay
00:34:48you
00:34:49yeah at work it was one of those days very busy yeah
00:34:58friday is here we can do this yeah happy friday yeah
00:35:18you
00:35:40okay
00:35:44wow
00:35:45ah just to catch one
00:35:56ah
00:36:02now i know why okay okay
00:36:14you
00:36:45you
00:36:48yeah slight modification okay l is either zero or one because we're adding one okay
00:36:53when l is two oh then the special case because two plus one is three multiple of three okay good
00:37:03cheers yeah
00:37:14you
00:37:45you
00:37:48now better
00:37:56okay so
00:38:15you now it works
00:38:23okay so
00:38:35right aside
00:38:453k plus l
00:39:00l plus one over three yeah less than one okay so
00:39:05so
00:39:11crazy okay good good
00:39:18now second case
00:39:35a lot of work yeah cheers
00:40:05you
00:40:05you
00:40:06you
00:40:06you
00:40:07you
00:40:07you
00:40:08you
00:40:08you
00:40:34um
00:40:39you
00:40:41okay now finally next
00:41:09you
00:41:16you know thinking about it maybe there's easier what to do
00:41:19maybe there is easy easier proof than this okay because this is quite involved
00:41:28i think there's easier way to prove this thing i don't know
00:41:38you
00:42:02okay
00:42:09you
00:42:11think about a row algebra also quotient function maybe
00:42:25but
00:42:28well think about alternative way to prove this okay maybe using row algebra quotient function
00:42:34maybe okay because uh otherwise it is convoluted okay so and um
00:42:43but let's take five minutes break and then if you approve this go for it okay so now uh time check
00:42:59okay
00:42:59uh
00:43:03it's been less than one hour okay yeah five minutes okay thank you yeah it's
00:43:09kind of bad hair day a little bit but that's fine yeah
00:43:20uh
00:43:29okay
00:43:35bye miss thank you yeah okay wow
00:43:48hmm
00:43:59you
00:44:29you
00:44:59you
00:45:29you
00:45:59you
00:46:29you
00:46:59you
00:47:06okay
00:47:13so when m is two uh it's a little bit
00:47:20tricky i guess we're gonna have to do three separate cases okay because uh it's uh a little
00:47:27bit tricky here we are able to here yeah we can lump all three cases to one case like the l
00:47:37merger method okay here we lump two of them okay here i it doesn't quite work that way okay so
00:47:48just two separately okay yeah cheers yeah
00:47:53you
00:48:13not purely from way though
00:48:17like
00:48:23you
00:48:46let's do some brainstorming okay yeah
00:48:49uh
00:48:52cheers
00:49:08my neck is already oh
00:49:14oh
00:49:20you
00:49:28let's say x is equal to
00:49:343k plus l plus beta okay yeah
00:49:49you
00:50:19you
00:50:29how about this
00:50:44x plus m
00:50:49x fractional number m integer let's say for now yeah no negative integer okay
00:50:58so x plus m
00:51:02okay
00:51:06is this
00:51:06is
00:51:11yeah we're expressing this fractional number with the integer part and then fraction part okay
00:51:23yeah cheers
00:51:24okay
00:51:34but we are expressing the integer part as the euclidean division expression yeah three times
00:51:42something plus remainder yeah three times quotient euclidean quotient plus
00:51:53uh euclidean remainder okay yeah
00:52:05okay
00:52:08then
00:52:11left hand side becomes
00:52:22so
00:52:37so okay
00:52:43now this is just m okay m any non-negative integer okay
00:52:53you
00:53:13ah there's issue there huh well
00:53:17um
00:53:20we'll take care of that later okay soon whatever but
00:53:27we'll see what happens okay
00:53:47you
00:54:00woman
00:54:04no
00:54:16you
00:54:39um
00:54:47you
00:54:58now there's problem here because this can be a negative number okay so
00:55:02but if you're for now you're brainstorming a stage so uh
00:55:10you can relax the rules just a little bit for now okay so
00:55:17uh
00:55:37but even if it's negative number yeah it doesn't matter okay yeah this is
00:55:47you
00:55:50okay
00:55:57okay then right hand side is
00:56:17you
00:56:18you
00:56:39you know k and l between zero and two yeah so this is a fraction okay
00:56:48you
00:56:56okay good good good good okay so we got it okay yeah
00:57:02now yeah this is easier way to do it okay so okay uh
00:57:12uh now that we have some room here uh let's just go ahead and prove when uh
00:57:18denominator is just n okay because uh yeah we
00:57:25know the pattern here
00:57:29okay yeah good yeah i'm sorry the angle was very off and you could not quite see it
00:57:38but we'll take five minutes break now you can see it okay
00:57:41because my neck was hurting okay so that's why i have to do that okay
00:57:46all right yeah five minutes okay thank you next uh
00:58:07okay sorry about that
00:58:14i'll tell you around later okay
00:58:37you
00:58:45okay yeah you approve this go for it okay and now we know what's going on yeah good good
00:58:52really great progress here okay nice very nice yeah
00:59:02five minutes break please thank you
00:59:03thank you there we go now you can see it okay okay five minutes is it too far away
00:59:15there okay
00:59:19okay five minutes thank you yep
00:59:23there was something wrong oh
00:59:25oh
00:59:32hey
00:59:55you
01:00:25you
01:00:55you
01:01:25you
01:01:55you
01:02:17okay
01:02:18okay
01:02:24oh let's get this done and over with huh
01:02:31yeah
01:02:35oh
01:02:38oh yeah
01:02:48cheers yeah
01:02:55time check
01:03:00it's been more than one hour okay
01:03:05yeah
01:03:08yeah let's take a break a little bit
01:03:10uh some stretching
01:03:15oh yeah
01:03:31yeah cheers
01:03:40uh
01:03:55oh
01:03:58heavy duty
01:04:11you
01:04:15yeah cheers
01:04:28let's go yeah
01:04:40we substitute n for three all right
01:04:45yeah
01:05:10uh n minus one
01:05:40you
01:05:59n divided by n is equal to one
01:06:10you
01:06:30i'll turn it on later okay yeah so you can see it
01:06:40you
01:07:07now
01:07:10you
01:07:33okay uh the fan of this wonderful laptop is running so let me put some toilet paper on
01:07:40so that air circulation yeah
01:07:46cheers yep
01:07:57this is very good proof yeah
01:08:10yeah
01:08:13but some other people already proved this like
01:08:19other like web pages or textbooks okay yeah but i have not seen it i don't want to say it okay so
01:08:25so i want to do it on my own okay yeah cheers yeah my guess i'm pretty sure it's pretty much the same
01:08:30okay
01:08:37now we are being very efficient okay
01:08:44it kind of helps that helps to know other people that prove this okay because
01:08:50that kind of motivated me to think of an easier way more efficient way okay so and we found it okay
01:08:56yeah okay
01:09:01so
01:09:20l are known as
01:09:31you
01:10:01you
01:10:15okay
01:10:31you
01:10:35one minus one over n n is like one or more yeah this is less than one okay so
01:10:49okay so n over n less than one okay so that's why this is k this is a fraction okay
01:11:01and which is left hand side qed okay
01:11:09ah we got it yeah we proved the general case okay yeah
01:11:15just one paragraph right yeah sure that's good we got it yeah although it took me a long while
01:11:24yeah i'm an amateur mathematician okay but a good one okay yeah many times better than
01:11:30professional mathematicians okay okay now let me find this drink okay okay
01:11:42there we go thank you yep you got it yep wow
01:11:53you
01:11:59okay
01:12:19yep
01:12:23here
01:12:33you
01:12:53you
01:13:23you
01:13:53you
01:14:23you
01:14:53you
01:15:24you
01:15:26oh okay
01:15:36okay
01:15:43okay our job is done okay so let's get this behind us uh we worked very hard and we got the proof
01:15:50one okay one paragraph right but to get to this point for me uh it took me several weeks
01:15:59maybe if not several months i don't know how long has it been but yeah at least several weeks okay so
01:16:08wow
01:16:11what a journey
01:16:17is it the journey who sang this song don't stop believing hold on to the feeling
01:16:27oh
01:16:37yeah motivational song right yeah cheers yeah
01:16:46do look at the big picture yeah when this journey toward uh finding more efficient algorithm
01:16:54uh slightly more so than in the chinese remainder theorem and value coefficient
01:16:59euclidean algorithm right yeah it's something big that's bigger picture yeah we ran into this
01:17:09we were doing that stuff okay now how i don't remember like several months ago
01:17:23yeah
01:17:29cheers yeah
01:17:42so let me decide this episode and then uh let's go to after that yeah alluding to general motion and
01:17:51we'll do utah i'm live together okay yeah sure okay yeah thank you yeah see you later yeah bye