PolyaMath
PolyaMath
  • 14
  • 317 873
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 618

Відео

A puzzle about criminals in a room (Two perspectives).
Переглядів 110 тис.Місяць тому
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.
Переглядів 41 тис.2 місяці тому
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.
Переглядів 86 тис.2 місяці тому
"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.
Переглядів 26 тис.3 місяці тому
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.
Переглядів 1 тис.3 місяці тому
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
Переглядів 8744 місяці тому
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
Переглядів 6248 місяців тому
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 ...

КОМЕНТАРІ

  • @leventcelik6597
    @leventcelik6597 7 годин тому

    The longest weight edge must be connected to a node without incoming edges, as outgoing edges cannot be greater than incoming ones.

  • @kajacx
    @kajacx 13 годин тому

    Everyone would have to be a part of a cycle, but all cycles are two-cycles, otherwise the lengths would always get smaller as you go through the cycle, which is impossible. That's why it doesn't work for odd numbers.

  • @150metri
    @150metri 3 дні тому

    This guy is 16 years old? kudos!!!

  • @mickschilder3633
    @mickschilder3633 5 днів тому

    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_. 6 днів тому

    1=2😊

  • @orisphera
    @orisphera 7 днів тому

    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 11 днів тому

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

  • @alphanow4199
    @alphanow4199 12 днів тому

    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 15 днів тому

    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 15 днів тому

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

  • @lucca8709
    @lucca8709 17 днів тому

    why are they always criminals

  • @FantyPegasus
    @FantyPegasus 18 днів тому

    What will be if criminals make equal sided polygon?

    • @TheArizus
      @TheArizus 18 днів тому

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

  • @WofWca
    @WofWca 19 днів тому

    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 19 днів тому

    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 19 днів тому

    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 19 днів тому

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

  • @Systolic_Gaming
    @Systolic_Gaming 20 днів тому

    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 20 днів тому

      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 20 днів тому

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

  • @JosephCornishV
    @JosephCornishV 20 днів тому

    Who watches the watcher?

  • @LeoHong777
    @LeoHong777 20 днів тому

    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 20 днів тому

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

  • @instinx9154
    @instinx9154 20 днів тому

    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 19 днів тому

      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 18 днів тому

      @@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 18 днів тому

      @@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 18 днів тому

      @@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 20 днів тому

    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 20 днів тому

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

    • @erikrosen3987
      @erikrosen3987 20 днів тому

      @@TheArizusok I see. Thank you!

  • @apokalypthoapokalypsys9573
    @apokalypthoapokalypsys9573 21 день тому

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

  • @2kreskimatmy
    @2kreskimatmy 21 день тому

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

  • @Trizzer89
    @Trizzer89 21 день тому

    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 21 день тому

      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 21 день тому

    i love this video

  • @TheRMeerkerk
    @TheRMeerkerk 21 день тому

    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.

  • @chickensoupproductions
    @chickensoupproductions 22 дні тому

    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 21 день тому

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

  • @themathhatter5290
    @themathhatter5290 22 дні тому

    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 22 дні тому

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

  • @czarelius
    @czarelius 22 дні тому

    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 22 дні тому

      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 22 дні тому

      @@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 22 дні тому

      ​​@@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 22 дні тому

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

    • @pedropesserl
      @pedropesserl 13 днів тому

      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 22 дні тому

    Thermonuclear warhead as the weapon of choice. Checkmate athiests

  • @pierreabbat6157
    @pierreabbat6157 22 дні тому

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

  • @wixwuby
    @wixwuby 22 дні тому

    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 23 дні тому

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

    • @pedropesserl
      @pedropesserl 13 днів тому

      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 13 днів тому

      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 13 днів тому

      @@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 13 днів тому

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

  • @obi-wankenobi1923
    @obi-wankenobi1923 23 дні тому

    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 21 день тому

      I'm Romanian too and I completely agree lol

  • @mega-supp
    @mega-supp 23 дні тому

    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 23 дні тому

    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 23 дні тому

      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 22 дні тому

      @@williamchurcher9645 for sure!

  • @diegosuarez5331
    @diegosuarez5331 23 дні тому

    Polyamath posted, hence I stop everything I am doing

  • @flamewings3224
    @flamewings3224 23 дні тому

    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 22 дні тому

      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 21 день тому

      @@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 21 день тому

      There are trainings for this type of problems

    • @enricorossi4683
      @enricorossi4683 20 днів тому

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

  • @MathHunter
    @MathHunter 23 дні тому

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