PolyaMath
PolyaMath
  • 14
  • 316 363
Only one person in the world solved this problem. (2023 Balkan MO P4)
Head to brilliant.org/PolyaMath/ for a free 30-day trial and 20% off the premium subscription!
______________________________________________________________________
Official Balkan MO 2023 Solution(s): bmo2023.tubitak.gov.tr/assets/files/BMO_2023_Solutions.pdf
UK Team Leader Report - 2023 Balkan MO: www.imo-register.org.uk/2023-balkan-report.pdf
_______________________________________________________________________
PolyaMath Community Discord Server: Discord: discord.gg/WqrRrDhYz7
Chapters:
0:00 Introduction
1:55 The Problem
4:07 A Related Simpler Problem
5:59 Solution - The "easy" part
7:20 Greedy Algorithms
8:55 Solution - The crux
16:55 Greedy Algorithms ... Again?
24:13 Conclusion (Sponsored by Brilliant)
_______________________________________________________________________
Music:
Music by Vincent Rubinetti
Download the music on Bandcamp:
vincerubinetti.bandcamp.com/album/the-music-of-3blue1brown
Stream the music on Spotify:
open.spotify.com/playlist/3zNK20qC96mVSww60lVi1k
There's Probably No Time by Chris Zabriskie is licensed under a Creative Commons Attribution 4.0 licence. creativecommons.org/licenses/by/4.0/
Source: chriszabriskie.com/uvp/
Artist: chriszabriskie.com/
Undercover Vampire Policeman by Chris Zabriskie is licensed under a Creative Commons Attribution 4.0 licence. creativecommons.org/licenses/by/4.0/
Source: chriszabriskie.com/uvp/
Artist: chriszabriskie.com/
Candlepower by Chris Zabriskie is licensed under a Creative Commons Attribution 4.0 licence. creativecommons.org/licenses/by/4.0/
Source: chriszabriskie.com/divider/
Artist: chriszabriskie.com/
มุมมอง: 25 554

วีดีโอ

A puzzle about criminals in a room (Two perspectives).
มุมมอง 108Kหลายเดือนก่อน
PolyaMath Community Discord Server: Discord: discord.gg/WqrRrDhYz7 In this video I explore an interesting puzzle involving graph theory disguised as criminals in a room. This video was created using: Davinci Resolve (free version) Background Music: Music by Vincent Rubinetti Download the music on Bandcamp: vincerubinetti.bandcamp.com/album/the-music-of-3blue1brown Stream the music on Spotify: o...
Every* quadrilateral can be made with 7 kites.
มุมมอง 41K2 หลายเดือนก่อน
In this video, I discuss and interesting Geometry problem, related to dividing up any convex quadrilateral into exactly 7 kites. This problem begs the question of "why 7?" which I address indirectly as the video progresses. This video was created using: Davinci Resolve (free version) Geogebra: www.geogebra.org/m/uynzn4kn Discord Server: Discord: discord.gg/WqrRrDhYz7 Chapters: 0:00 Introduction...
No cuboid has an equal Volume, Surface Area and Perimeter. Here's why.
มุมมอง 86K2 หลายเดือนก่อน
"The Impossible Cuboid" In this video I discuss a proof of the fact that a cuboid can't have an equal volume, surface area and perimeter (at least in the real world!). We motivate the solution by considering a simpler version of the problem and go back into 3D. As an aside, I'm extremely happy about how the animations have come out in this video (you can even watch in 4K). For those of you curi...
This Function is Hiding a Very Special Property.
มุมมอง 26K3 หลายเดือนก่อน
This problem is taken from the British Mathematical Olympiad Round 2 from 2010/11. It is a functional equation but the problem contains elements of number theory and combinatorics. BMO2 2010/11: bmos.ukmt.org.uk/home/bmo2-2011.pdf I just thought I'd add that the video isn't about Lagrangian interpolation, but this function has some specific properties which are in the video and give rise to tha...
This problem seems Impossible at first glance.
มุมมอง 1K3 หลายเดือนก่อน
Fully explained solution to Question 1 of the 2006/7 British Mathematical Olympiad Round 2 (BMO2), showing the importance of every detail in the questions. Original Question Paper: bmos.ukmt.org.uk/home/bmo2-2007.pdf Angle Bisector Theorem: en.wikipedia.org/wiki/Angle_bisector_theorem Discord Server: Discord: discord.gg/WqrRrDhYz7 Chapters: 0:00 Introduction 0:27 Observations 1:27 Solution
How adding points makes a Hard problem Easy.
มุมมอง 6494 หลายเดือนก่อน
Fully explained solution to the Olympiad Geometry Question 3 of the 2005/6 British Mathematical Olympiad Round 2 (BMO2), including the motivation behind the solution. Discord Server: Discord: discord.gg/WqrRrDhYz7 Chapters: 0:00 Introduction 0:37 Problem 1:07 Motivating the Solution 5:29 Solution
UKMT Intermediate Mathematical Challenge 2024 (IMC) - FULL SOLUTIONS
มุมมอง 8724 หลายเดือนก่อน
Correction: on Q11 it should say 152/8 = 19% so the correct answer is 19% which is C (not B) Discord Server: Discord: discord.gg/WqrRrDhYz7 Chapters: 0:00 Introduction 0:06 Q1-5 1:23 Q6-10 3:20 Q11-15 7:08 Q16-19 10:35 Q20-22 12:35 Q23-24 17:30 Q25
UKMT Senior Mathematical Challenge 2023 (SMC) - FULL SOLUTIONS
มุมมอง 6238 หลายเดือนก่อน
I am a current Year 12 student who just recently sat the 2023 SMC paper run by UKMT and I thought I would share how I solved the problems giving my full explanations as well as talking about how I found the exam. (On Q3, it should say 999/3000, not 999/1000) Discord Server: Discord: discord.gg/WqrRrDhYz7 Chapters: 0:00 Introduction 0:19 Q1-5 3:01 Q6-10 9:47 Q11-15 17:25 Q16-18 23:40 Q19-20 29:5...
Senior Maths Challenge 2020 - (Live) Walkthrough from a Student (and Bonus set of Problems)
มุมมอง 4428 หลายเดือนก่อน
I am a current Year 12 student and I hosted this lecture to help people to understand the thought process that is used when solving the SMC paper and going for full marks. This was live on discord in the "Revision Server" and future events will be held there too. Chapters: 0:00 Introduction 2:44 Q1 3:17 Q2 4:16 Q3 5:09 Q4 6:41 Q5 9:54 Q6 11:00 Q7 12:44 Q8 14:07 Q9 16:27 Q10 19:30 Q11 23:10 Q12 ...

ความคิดเห็น

  • @150metri
    @150metri วันที่ผ่านมา

    This guy is 16 years old? kudos!!!

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

    Before watching the video here is how i would handle it: prove by induction. For n=3, there is a pair with the shortest distance, they watch each other and the third is not watched. For higher n: there is again a pair with shortest distance that must watch each other. If one of them is watched by another, we can use pidgin hole principle to see that there must be one left unwatched. If the pair is not watched by another, then we can disregard the pair and refer to the n-2 case by induction.

  • @haipingcao2212_.
    @haipingcao2212_. 4 วันที่ผ่านมา

    1=2😊

  • @orisphera
    @orisphera 5 วันที่ผ่านมา

    4:51 Here's my proof: There are only 50 even and 50 odd numbers in the set, so there are an even number and an odd number in the subset, and their sum is odd For me (an autist), it's easier, although it uses a fact that some people may not know (the oddity of a sum)

  • @mathewellin4615
    @mathewellin4615 9 วันที่ผ่านมา

    This problem looks like it generalizes to some sort of upper bound for information loss in KNN clustering, neat 😂.

  • @alphanow4199
    @alphanow4199 10 วันที่ผ่านมา

    my reasonning: i have an algo to find the one loop: take the longest edge if its a pair, you can remove it without altering the rest else, break loop end: the origin of the longest edge is not seen by anyone

  • @pugza1s731
    @pugza1s731 13 วันที่ผ่านมา

    you could do it in two cases, though none are satisfying. could have L,W and D = 0 or Either L,W or D = ∞ assuming none of L,W or D = 0

  • @abrvalg321
    @abrvalg321 13 วันที่ผ่านมา

    Strange wording, it was presented as astronomers on different planets for me. It's a middle school level problem.

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

    why are they always criminals

  • @FantyPegasus
    @FantyPegasus 16 วันที่ผ่านมา

    What will be if criminals make equal sided polygon?

    • @TheArizus
      @TheArizus 16 วันที่ผ่านมา

      "no two pairs of criminals have the same distance between each other"

  • @WofWca
    @WofWca 17 วันที่ผ่านมา

    Before I finish the video, I'll share my solution: for each node, draw a circle that just reaches the closest node. Let's consider the biggest circle. If there is another circle of the same radius, this means that they're watching each other. Let's remove them from our consideration and consider the next biggest circle (there is gonna be at least one since the number is odd). We found the biggest circle for which there is no circle of equal radius. Now, since each node's circle includes just one other node, on the edge (none inside), this means that for the node with the biggest circle there is no such other circle that it includes the current node, which means that there is no other node for which the current one is the closest, which means we've found a criminal who isn't watched by anyone.

  • @elementgermanium
    @elementgermanium 17 วันที่ผ่านมา

    Currently at 7:08 and there is one more constraint on k. If k = 1, Alice can choose 1 or 2 for that one number, and Bob’s task is impossible. So 1 < k < 593

  • @GDsWatermeat
    @GDsWatermeat 17 วันที่ผ่านมา

    I dumbed it down to: As there's an exact number of "watchers" and "watched", any time someone is being watched more than once, there is someone not being watched at all. There will always be one shortest line, where the 2 criminals will be watching eachother, and that would either have to be far enough away from the remaining criminals to be unwatched by any other person, OR have a third (or more) person spectating, thus forcing there to be one person watched twice, therefore one person unwatched. If they are disconnected from the rest of the group, then the remaining group will also have one smallest line where 2 are watching eachother, and you come across the same conundrum where this group would also be seperate or watched by a third party. No matter how high N is, you can either keep breaking off pairs until you get down to only 3 people, where the last person has to be unwatched, OR you will have already found someone being watched by 2+ people, which will inevitably mean someone somewhere down the line is unwatched.

  • @aMouse
    @aMouse 18 วันที่ผ่านมา

    Is there a general equation for the line cutting the quadrilateral into a triangle and a tangential quadrilateral?

  • @Systolic_Gaming
    @Systolic_Gaming 18 วันที่ผ่านมา

    The way the problem is presented confused me at first since it didn’t say any k of the set just exactly k. Maybe it’s a standard that these problems are worst case scenarios but I assumed it was alice working to maximize k, in which case she would choose the smaller numbers over the larger.

    • @TheArizus
      @TheArizus 18 วันที่ผ่านมา

      Generally speaking, olympiad problems give you the absolute least amount of information to be 100% certain what the question is. If the question says "find the greatest integer k such that..." Then they do just mean the result holds at exactly k. If they wanted it to hold for all values up to k they'd say "find the greatest k such that for all m ≤ k" the result holds.

  • @sgtpepper9001
    @sgtpepper9001 18 วันที่ผ่านมา

    At LEAST one person will be alive. It is also possible for multiple to be alive.

  • @JosephCornishV
    @JosephCornishV 18 วันที่ผ่านมา

    Who watches the watcher?

  • @LeoHong777
    @LeoHong777 18 วันที่ผ่านมา

    If every criminal is watched, every criminal is part of a cycle. At least one has length greater than 2, a contradiction. (this was before watching)

  • @atreidesson
    @atreidesson 18 วันที่ผ่านมา

    a pair of sum b, and a pairs of sum 2024.

  • @instinx9154
    @instinx9154 18 วันที่ผ่านมา

    To my own surprise I actually solved this one. So, what I did is in order for Bob to ALWAYS be able to add numbers to the be the same is Alice, his total of his selection must amount to greater than or equal to Alice's. In order for Alice to maximize her total using k numbers, she chooses the k largest numbers in that set. So basically, the maximum value for k arises when the sum of the last k numbers in a set of successive integers from 1 to n+k is less than the sum of the first n integers. We can set up an inequality where n(n+1)/2>((n+k)(n+k+1)-n(n+1))/2 and using our knowledge that k is equal to 2023-n, solve for n and round up using the quadratic formula. By doing this we get n is equal to 1431 and therefore k is 592 since k = 2023-n. With this you can generalize for any set of successive integers. Edit: Just saw you covered this solution after skipping straight to the answer and that I did this for no reason :(

    • @madghostek3026
      @madghostek3026 17 วันที่ผ่านมา

      This doesn't prove yet that an actual sum exists, you only know that there doesn't exist counter example that sums up to impossible value

    • @instinx9154
      @instinx9154 16 วันที่ผ่านมา

      @@madghostek3026 well in a list of integers, if you have a set of consecutive integers which sums to be greater than another set of consecutive integers, you can subtract enough numbers needed from the larger set until you get equality with the smaller set. The maximum sum of any chosen integers in the first 1431 consecutive integers ranges from 1 to 1431(1432)/2. This is also the range of numbers we can subtract from the first 1431 numbers to get the next 592. Idk exactly how to rigorously prove this as I never do competition math but this was my loose justification.

    • @madghostek3026
      @madghostek3026 16 วันที่ผ่านมา

      @@instinx9154 Yeah this is basically the thing everybody struggled with, it's easy to show an upper bound for k by asking "where to split 1,2,...n so that lower half sums up to something more than higher half". But now we don't really know if you can actually pick out numbers in a way to make the sums equal, which is the problem they are asking about. Notice that Alice doesn't need to pick only the largest numbers, let's say she picks 2023, 2022, 2021 and 1. Can you always manage your way without the 1?

    • @instinx9154
      @instinx9154 16 วันที่ผ่านมา

      @@madghostek3026 oh I gotcha, considering all those edge-cases is what makes it difficult. I just solved it assuming I didn’t have to prove anything lol.

  • @erikrosen3987
    @erikrosen3987 19 วันที่ผ่านมา

    Is it just me or is this the wrong answer. If k=1 and Alice colours just the number one then Bob can’t solve it. So the largest k is should be 0. This is a weird edge case but I can’t see why this shouldn’t be a solution. However I really enjoyed the video and the problem

    • @TheArizus
      @TheArizus 19 วันที่ผ่านมา

      The result isn't true for all integers up to 592, it's only true specifically at k = 592.

    • @erikrosen3987
      @erikrosen3987 18 วันที่ผ่านมา

      @@TheArizusok I see. Thank you!

  • @apokalypthoapokalypsys9573
    @apokalypthoapokalypsys9573 19 วันที่ผ่านมา

    0:15 excuse me sir, Hungary is not a Balkan country (on paper)

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

    uhhhh i don't get it, why we're taking pairs of numbers and why k=51... i feel bad :C

  • @Trizzer89
    @Trizzer89 19 วันที่ผ่านมา

    Wouldnt you just sum all of the numbers and divide by 2 to find the maximum sum? 0.5(2023)^2 +0.5(2023) = 2047276 Work backwards to find how many numbers are needed to surpass 1023638 -----> bob needs 1431/2023 numbers, so K is 592. It is OBVIOUS there will always exist a number you can leave out to obtain the required sum. I think that is what students wrote but the graders had a stick up their ass

    • @TheArizus
      @TheArizus 19 วันที่ผ่านมา

      By this logic if 2023 was replaced by say 5 Then we're colouring numbers in the set {1,2,3,4,5}. This sums to 15 so 4+5 > 15/2 so here k=1. Not only is it not "obvious" that Bob has a strategy, but it's straight up wrong

  • @appllo8007
    @appllo8007 19 วันที่ผ่านมา

    i love this video

  • @TheRMeerkerk
    @TheRMeerkerk 19 วันที่ผ่านมา

    Not sure what it is yet, but can't be more than 592. Otherwise Alice would pick the highest numbers and Bob would not be able to get a sum of equal size.

    • @TheRMeerkerk
      @TheRMeerkerk 19 วันที่ผ่านมา

      Lol, I got the 1 mark!

  • @chickensoupproductions
    @chickensoupproductions 20 วันที่ผ่านมา

    k=1011 alice colours 1-1011 red (1011) bob colours 1012-2022 blue (1011) it says some so there can be uncoloured numbers so 2023 remains as the only uncoloured one 1011=1011 proof: if k>1011 then alice colours 1-1012 red (1012) bob colours 1013-2023 blue (1011) 1012>1011

    • @ttmfndng201
      @ttmfndng201 20 วันที่ผ่านมา

      it says the sum of the coloured numbers must be equal, not the number of coloured numbers

  • @themathhatter5290
    @themathhatter5290 20 วันที่ผ่านมา

    This does beg the further question, "which quadrilaterals can be divided into fewer kites?" For 1, it is obvious; the kites themselves. For 2 through 5, I do not know. For 6 and more, every quadrilateral can.

    • @Polyamathematics
      @Polyamathematics 20 วันที่ผ่านมา

      This is actually very interesting, I didn't think about that.

  • @czarelius
    @czarelius 20 วันที่ผ่านมา

    Edit: failed at reading comprehension, see replies Counter example: Alice chooses the first 1428 integers, they will sum up to 1020306. then if Bob chooses the remaining integers they add up to 1026970. However Bob can remove 1664, 1665, 1667, and 1668 from his choices, making his sum 1020306 - same as Alice's. So k=592 is wrong

    • @samuelleite7488
      @samuelleite7488 20 วันที่ผ่านมา

      The problem is to find the largest interger k such that for *any* choice made by Alice of k numbers, Bob can choose some other numbers with the same sum. What your counter example misses is that, although you provided *one* example where Alice chooses 1428 numbers and Bob is able to choose numbers accordingly, it's not true that Bob could do that for *all* choices of 1428 numbers that Alice could have made (easy to see that if Alice had chosen the last 1428 numbers that would be impossible).

    • @czarelius
      @czarelius 20 วันที่ผ่านมา

      @@samuelleite7488 Thank you, that's what I've been missing. I've re-read the problem statement many times and I still wouldn't read it as "for any choice of k integers", guess I'm bad at English

    • @samuelleite7488
      @samuelleite7488 20 วันที่ผ่านมา

      ​​@@czarelius no problem, statements can be tricky. In this one, I guess the key to understand it is the word " *whenever* Alice colours exactly k numbers...". That would mean you have to account for any possible choice of k numbers.

  • @hgu
    @hgu 20 วันที่ผ่านมา

    “you got a solution in a way we didn’t want so you lose points” is such bs 😭

    • @pedropesserl
      @pedropesserl 11 วันที่ผ่านมา

      they didn't lose points because of the way they solved it, the solution just didn't have enough details. see 17:23

  • @mr.furious6814
    @mr.furious6814 20 วันที่ผ่านมา

    Thermonuclear warhead as the weapon of choice. Checkmate athiests

  • @pierreabbat6157
    @pierreabbat6157 20 วันที่ผ่านมา

    Why are they criminals? Why do they watch each other?

  • @wixwuby
    @wixwuby 20 วันที่ผ่านมา

    Obviously. Because the distance between people is different for everyone, this has to be. For there to be no one left, there was to be an odd numbered amount of people in a group, equidistant to each other, and they cannot pick someone that someone else picked. But since there can be no groups like this, one person will always be left standing

  • @shanggosteen9804
    @shanggosteen9804 21 วันที่ผ่านมา

    What do you use to make your videos, its very similar to veritasiums style

    • @pedropesserl
      @pedropesserl 11 วันที่ผ่านมา

      I would say it's very similar to 3blue1brown's style and that polyamath probably uses manim, 3b1b's video making python library

    • @Polyamathematics
      @Polyamathematics 11 วันที่ผ่านมา

      I actually don't use manim, I just use the Computer Modern font (which is standard). I use a mix of davinci resolve (in the fusion page) and after effects.

    • @pedropesserl
      @pedropesserl 11 วันที่ผ่านมา

      @@Polyamathematics oh, that's cool! you're able to get some very beautiful results with that. I associate with manim-produced videos even more because of the music :) great work!

    • @Polyamathematics
      @Polyamathematics 11 วันที่ผ่านมา

      Yes some of the music is used by too 3blue1brown!

  • @obi-wankenobi1923
    @obi-wankenobi1923 21 วันที่ผ่านมา

    Fun fact: The person who solved the problem entirely (got 10/10) is Romanian and he also got a max score in the IMO that year. Being Romanian too, I see this guy as the Romanian Jesus of Mathematics, you can show him any problem and he will solve it for. Anyway, completely coincidentally, the author of the problem is also Romanian, and the original text used "n natural number" instead of "2023", but they changed it before the contest as it probably would have been an overkill.

    • @PopoviciMihai
      @PopoviciMihai 20 วันที่ผ่านมา

      I'm Romanian too and I completely agree lol

  • @mega-supp
    @mega-supp 21 วันที่ผ่านมา

    At 20:23 you say we have 2 edge cases with bi=1 or bi=2, but doesn't bi/2-2 imply another 2 edge cases in bi=3 and bi=4 ?

  • @anon10w1z9
    @anon10w1z9 21 วันที่ผ่านมา

    5:00 I solved this a different way: if there are more than 50 numbers in the subset, we know that they can't all be odd / can't all be even (since there are only 50 odds and 50 evens in the original set) - thus, there is at least one odd number and one even number, which we can add to get an odd number.

    • @williamchurcher9645
      @williamchurcher9645 21 วันที่ผ่านมา

      I feel like this is the natural way of doing it (I know I did). Also interestingly this is actually the same method. However, the lessons learned from the smaller problem stated in the video are from turning your proof into one of pairs and pigeonhole. But I wouldn’t have got the same “tooling” from your (and my own) explanation. Interesting how different interpretations lead to different progressions.

    • @anon10w1z9
      @anon10w1z9 20 วันที่ผ่านมา

      @@williamchurcher9645 for sure!

  • @diegosuarez5331
    @diegosuarez5331 21 วันที่ผ่านมา

    Polyamath posted, hence I stop everything I am doing

  • @flamewings3224
    @flamewings3224 21 วันที่ผ่านมา

    I’ve no problems in math in any placements: schools, universities, but I always been struggled at the olympiads. This questions wants some impossible thinking during short time, which requires that you knows these types of questions and know how they are solving, otherwise you’re just a genius, who can solve any sort of problems in few hours

    • @ThoseInterestingStories
      @ThoseInterestingStories 20 วันที่ผ่านมา

      That’s because they’re used to test the best young mathematicians in the world these problems aren’t meant to be easy and anyone who says they are is probably lying

    • @sonicwaveinfinitymiddwelle8555
      @sonicwaveinfinitymiddwelle8555 19 วันที่ผ่านมา

      @@ThoseInterestingStories i mean like the only hard problems are millennium problems and most of the time they do not even have a right answer let alone a proper solving technique known to current principles of mathematics

    • @victorcossio
      @victorcossio 19 วันที่ผ่านมา

      There are trainings for this type of problems

    • @enricorossi4683
      @enricorossi4683 18 วันที่ผ่านมา

      Math olympiads make no sense, they are the exact opposite of what math should be about

  • @MathHunter
    @MathHunter 21 วันที่ผ่านมา

    Hi, I’m that guy who made a bunch of problems in the math problem channel in your discord server. Good vid

  • @logician1234
    @logician1234 21 วันที่ผ่านมา

    Legend of the Problem 4

  • @Almondz_
    @Almondz_ 21 วันที่ผ่านมา

    I'll figure it out one day