Mathcamp 2024 Qualifying Quiz Part 1 Math Jam, Problems 1-3
Go back to the Math Jam ArchiveThis Math Jam will discuss solutions to the first half of the 2024 Mathcamp Qualifying Quiz. Mathcamp is an intensive 5-week-long summer program for mathematically talented high school students. More than just a summer camp, Mathcamp is a vibrant community, made up of a wide variety of people who share a common love of learning and passion for mathematics. Join us tomorrow for the second half!
Copyright © 2025 AoPS Incorporated. This page is copyrighted material. You can view and print this page for your own use, but you cannot share the contents of this file with others.
Facilitator: AoPS Staff
Welcome to the Canada/USA Mathcamp Qualifying Quiz Math Jam! The Math Jam will begin at 7:00 pm ET (4:00 pm PT). We will cover problems 1-3 today and be back tomorrow for problems 4-6.
The classroom is moderated: students can type into the classroom, but only the moderators can choose a comment to drop into the classroom. So, when you send a message, it will not appear immediately, and may not appear at all.
This Math Jam will be led by our friends from Mathcamp!
Hello and welcome to the Canada/USA Mathcamp Qualifying Quiz Math Jam!
Before I introduce our guests, let me briefly explain how our online classroom works.
This room is moderated, which means that all your questions and comments come to the moderators. We may share your comments with the whole room if we so choose.
Also, you'll find that you can adjust the classroom windows in a variety of ways by clicking on the user dropdown menu in the top-right corner of the classroom.
Canada/USA Mathcamp is an intensive five-week-long summer program for high-school students interested in mathematics, designed to expose students to the beauty of advanced mathematical ideas and to new ways of thinking. You can learn more about Canada/USA Mathcamp here: www.mathcamp.org
Many AoPS instructors, assistants, and students are alumni of this outstanding program!
Each year, Mathcamp creates a Qualifying Quiz, which is the main component of the application process. If you haven't already seen it, you can find the 2024 Quiz problems at https://www.mathcamp.org/qualifying_quiz/
In this Math Jam, the following Mathcamp staff (all members of this year's Quiz committee) will discuss the problems and their solutions:
Tim Black (timblack) has been a camper, JC, mentor, and faculty at Mathcamp. This summer — his 15th at camp — he will be an academic coordinator. He received his Ph.D. in math and computer science from the University of Chicago, where he studied applications of group theory to complexity theory and error correcting codes.
Yasha Berchenko-Kogan (Yasha) has been a camper and a JC at Mathcamp. He is currently an assistant professor at the Florida Institute of Technology, studying differential geometry and numerical analysis.
Let's turn the room over to Tim and Yasha now to get us started!
Hi all! Thanks, Jo, for the introduction. I'm Tim!. I'm excited to get to talk about the qualifying quiz with you all today.
You are welcome and encouraged to put questions in the chat at any time!
We're covering problems 1–3 today, but we're actually going to start with problem 3.
Problem 3
3. Here is a curious fact you may not have known about mathematicians: when asked a yes-or-no question, number theorists will always tell the truth, while analysts will always lie. Be careful: if you ask someone a yes-or-no question, and they cannot answer either "yes" or "no" to it, then the universe explodes in paradox. For example, this happens if you ask an number theorist, "Is your answer to this question 'no'?"
a. What yes-or-no question can be asked to both a number theorist and an analyst to cause the universe to explode in both cases?
Wow, this hardly looks like a math problem!
But it actually does require some logical reasoning that is suspiciously mathematical, so we'll allow it!
Let's try to solve this problem together.
sus
A good place to start on a problem like this is to just start coming up with possible questions. Don't worry yet about whether the question you come up with "works" for the problem. The point is to just try something and see what happens. Think up some questions — I'll ask for them in a minute.
We can start with the the example question: "Is your answer to this question 'no'?". First, let's see what happens if we ask this question to a number theorist, who is supposed to always tell the truth.
If a number theorist answers "yes" to this question, is it a lie or the truth?
It would be a lie! The answer is not "no", but by saying "yes" a number theorist would be claiming that it is.
If a number theorist answers "no" to this question, is it a lie or the truth?
It's also a lie! This time, the answer is "no", but by saying "no", a number theorist is claiming it's not.
That's one that would make the universe explode!
These are the two things we need to check to see if the universe explodes: if the mathematician can't answer "yes" and can't answer "no", then the universe explodes.
In this case, a number theorist is supposed to supposed to tell the truth, but both "yes" and "no" would be a lie. So a number theorist can't give either answer, and the universe explodes.
Let's keep using the same example question: "Is your answer to this question 'no'?". Now, let's try asking it to an analyst, who is supposed to always lie.
If an analyst answers "yes" to this question, is it a lie or the truth?
It's a lie! (Which is good: the analyst is supposed to lie.)
If an analyst answers "no" to this question, is it a lie or the truth?
Again, it's a lie!
So, actually, an analyst has a choice in how to answer this question: they can say "yes" or "no", and either way they'll be telling a lie, which is exactly what they are supposed to do. So the universe does not explode if we ask this to an analyst.
It's all lies!
no explosion
![:( :(](https://artofproblemsolving.com/assets/images/smilies/classroom-frown.gif)
The problem wants us to find a question that will cause the universe to explode no matter which mathematician you ask it to. The example question causes the universe to explode when asked to a number theorist, but not to an analyst. What are some other questions we could ask? I don't care right now whether the questions actually cause the universe to explode or not; the point is just to explore.
Keep putting thoughts in the chat!
Are you lying?
Can either mathematician answer "Are you lying?"
yes
yes
yes
yes
Yes?
yes
Yes!
The number theorist can truthfully answer "no", while the analyst can lie by saying "no"
Are you hungry
What do you think about this? Can they answer "are you hungry?"
yes
yes
yes
yes
yes
Yes
yes
Sure!
I don't know if they are hungry, but presumably they know, and can simply tell the truth about it if they are a number theorist, or say the opposite if they are an analyst
If lying is telling the truth, have you ever told a lie?
What do we think of this question?
ngl pretty fire
Interesting
I also think it's interesting, but I'm not sure what it means!
One could say that lying inherently isn't telling the truth, so the truthful answer is always "yes"
Or one could say the question doesn't make sense
In any case, it doesn't feel like a very satisfying answer to the question, and indeed, the FAQ for this problem disallows it
The FAQ for the problem says: "Some questions just don't have clear answers, or don't have known answers, and these will not cause the universe to explode." I think this is fair; and in this particular case, the question really does have a true answer, even if a number theorist doesn't know what it is.
Okay, how about this question: "Am I thinking of a boat?". Does this cause the universe to explode when asked to a number theorist?
Oops I got ahead of myself
Here's the one where I think it is fair to disqualify it. The question really does have a true answer, even if a number theorist doesn't know what it is.
(By the way, yes, I was thinking of a boat)
![https://www.mathcamp.org/files/photos/insets/2012_SS_cookie_ferry.jpg](https://cdn.aops.com/images/c/1/c/c1c14979e6d6d1ad1e9fd9f3cb0b338d3d2c3efd.jpg)
We've learned something here: If a question is going to cause the universe to explode, it needs to depend on the answer. In other words, giving a different answer to the question needs to change the true answer to the question. The question needs to be self referential
TAU BOAT!
nice boat!
Can we come up with a question that causes the universe to explode when asked to an analyst? (Remember an analyst always lies.)
Are they selling cookies?
They are giving out cookies to campers doing math at TAU (Mathcamp's worktime and office hours)!
Is your answer to this question "yes"?
Is your answer to this question "yes?"
is your answer to this question "yes"?
is your answer to this question "yes"?
Sure, we can ask "Is your answer to this question 'yes'?".
If an analyst says "yes", they are telling the truth, because their answer to the question is indeed "yes". If they say "no", they are also telling the truth, because in this case the answer is not "yes". Either answer is the truth, but they are supposed to lie, so they can't give either answer. So the universe explodes.
Boom
boom
I think we're getting closer to a final answer. We have one question that causes the universe to explode when asked to a number theorist: "Is your answer to this question 'no'?". And we have one question that causes the universe to explode when asked to an analyst: "Is your answer to this question 'yes'?". Can we somehow combine these two questions into a single question that works for both?
can I have a cookie?
Hmm, I think I can truthfully answer "Can I have a cookie" with "no"p
![:( :(](https://artofproblemsolving.com/assets/images/smilies/classroom-frown.gif)
Going back to the task at hand: The two questions are identical except for the last word ("'no'" vs "'yes'"). Can we come up with a phrase that is equivalent to "'no'" for a number theorist but equivalent to "'yes'" for an analyst? If so, we could substitute that in to the question.
Is your answer to the question the same as the answer to "Are you an analyst"?
Right: "the true answer to whether you are an analyst" is "no" for a number theorist and "yes" for an analyst.
Putting it all together, we can ask the question "Is your answer to this question the same as the true answer to whether you are an analyst?"
For good measure, let's check what happens if you ask this question to a number theorist or analyst.
If a number theorist says "yes", then "your answer to this question" is "yes", while the "true answer to whether you are an analyst" is "no". These are not the same, so the number theorist lied by answering "yes".
If a number theorist says "no", then "your answer to this question" is "no", while the "true answer to whether you are an analyst" is "no". These are the same, so the number theorist lied by answering "no".
In summary, if you ask the question to a number theorist, answering either "yes" or "no" would be a lie, but a number theorist is supposed to tell the truth, so the universe explodes.
boom
my brain goes boom
is this math or just thinking really hard
If an analyst says "yes", then "your answer to this question" is "yes", while the "true answer to whether you are an analyst" is "yes". These are the same, so the analyst told the truth by answering "yes".
If an analyst says "no", then "your answer to this question" is "no", while the "true answer to whether you are an analyst" is "yes". These are not the same, so the analyst told the truth by answering "no".
To summarize, if you ask the question to an analyst, answering either "yes" or "no" is the truth, but an analyst is supposed to lie so the universe explodes.
yay universe go BOOM!!!
KABOOM
wowza
isn't math just thinking very hard @andrewwang?
So, we've come up with a question that satisfies the problem: "Is your answer to this question the same as the true answer to whether you are an analyst?"
Here are a couple of other questions that are equivalent to this one (they are essentially rephrasings):
- "Are you a number theorist xor is your answer to this question 'yes'?"
- "Is your answer to this question 'no' if and only if you are a number theorist?"
There's also a different question that I frequently came across while reading applications:
"Would the other type of mathematician answer 'yes' to this question?"
This question can work, but you have to be really careful about how you write about it. Actually, we have to be really careful about any question that refers to what a different mathematician would do. Here's why.
Let's say we ask this question to a number theorist. They, in their head, hypothesize about what would happen if they asked the question to an analyst. The analyst could say "yes" or "no", or they could cause the universe to explode. If, in their head, the number theorist decides that the analyst causes the universe to explode, then the number theorist can answer "no", in the sense of "no, the other type of mathematician doesn't answer 'yes' to this question, because they don't say anything, because their universe has exploded."
You can make the argument that this question works, but you need to be precise in describing how you are modeling the universe.
Any other thoughts on part (a)?
Would a question such as this work: Is your answer to this question neither a lie nor a truth? Or would that be going against the FAQ?
I think you just have to be very careful if you veer into unusual definitions
How might you go about laying down that precision?
We'll get an example of some careful reasoning in part (b)
On that note, let's move onto part (b)! You can still keep putting your questions in the chat.
b. To try to prevent the universe from exploding in paradox, logicians have decided to act as paradox detectors. When you ask a logician a yes-or-no question, the logician will answer "yes" if asking the question to a number theorist would cause the universe to explode, and "no" otherwise. For example, if you ask a logician, "Is your answer to this question 'no'?" the logician will answer "yes".
What yes-or-no question can be asked to a logician to cause the universe to explode?
This is getting pretty meta
This problem is also weird because when you ask a logician a question, the logician doesn't actually try to answer the question themself. They still reply with "yes" or "no", but that reply is not intended to be an answer to the question. Instead, it indicates whether the universe explodes if you ask the question to a number theorist.
Also, remember the universe explodes when someone can't say "yes" or "no". So we want a question where the logician can't respond "yes" or "no".
but why are we trying to explode the universe?
Maybe we're trying to figure out what not to do to avoid the universe from exploding?
Let's get our bearings. Just like in part (a), we can expect that the question we ask will again have to be self-referential: We saw in part (a) that a question that doesn't reference to its own answer can always be answered "yes" or "no". So, a the logician can just say "no" to a non-self-referential question.
Is it possible that one of the questions we considered in part (a) might also work for part (b)?
no
No
no
No? Why not?
no, the logician would just answer "yes"
No; Those are all "first level" paradoxes. We need to reference the paridox of the question in the question
we were always able to determine whether they would explode the universe for the number theorist and analyst
The questions either cause the universe to explode when asking the number theorist, or not
Right. The questions in part (a) came in two flavors: there were the questions that caused the universe to explode when asked to a number theorist, and those that didn't. A logician says "yes" to the first flavor of question, and "no" to the second flavor. But either way, the logician can say something.
So we need a question where a logician's answer to the question affects whether a number theorist can answer the question. We need a question that refers to a logician's answer.
And we already established that the question needs to refer to a number theorist's answer. So at this point, we could start playing around with questions that reference both a logician's answer and a number theorist's answer.
Here's another way to think of it. From part (a), we already know some questions that cause the universe to explode, and some that don't. For instance, asking a number theorist "Is your answer to this question 'no'?" causes the universe to explode, but asking a number theorist "Is your answer to this question 'yes'?" does not.
Can we come up with a question that is equivalent to "Is your answer to this question 'no'?" if the logician says "no" but equivalent to "Is your answer to this question 'yes'?" if the logician says "yes"?
If we could come up with such a question, then the number theorist does cause the universe to explode if the logician says "no", but the number theorist does not cause the universe to explode if the logician says "yes". Either way, the logician said the wrong thing!
Any ideas for what our final question could be?
Can both a theorist and a logician answer this question with the same answer?
Nice! The solution to this problem is to ask the question "Is your answer to this question the same as a logician's answer to this question?"
(Or another equivalent phrasing)
The idea is that we're again taking the questions "Is your answer to this question 'no'?" and "Is your answer to this question 'yes'?" and replacing the last word with something
"the logician's answer to this question" fits the bill
Let's check that this question works.
Here's an example of us being really careful with our casework.
To verify that this question works, we need to consider two possible universes: The universe where a logician says "yes" and the universe where a logician says "no".
In the universe where a logician says "yes":
If a number theorist says "yes", then "your answer to this question" is "yes" and "a logician's answer to this question" is "yes". These are the same, so the number theorist has told the truth by answering "yes".
It turns out the number theorist also has the option to say "no". But regardless, the number theorist can give a truthful answer, so the universe does not explode when this question is asked to the number theorist, so it was incorrect for the logician to say "yes".
In the universe where a logician says "no":
If a number theorist says "yes", then "your answer to this question" is "yes" while "a logician's answer to this question" is "no". These are not the same, so the number theorist has lied by answering "yes".
If a number theorist says "no", then "your answer to this question" is "no" and "a logician's answer to this question" is also "no". These are the same, so the number theorist has lied by answering "no".
The number theorist cannot answer "yes" or "no", so this universe explodes. But that means it was incorrect for the logician to say "no".
Putting it all together, the logician cannot correctly say "yes" or "no", so the universe explodes when this question is presented to a logician.
BOOM
ahh my brain is exploding
Thematic!
Kaboom
kaboom
boom
what did the universe ever do
this is so complicated haha! your answers are way more clear than mine were
It's supposed to be a challenge!
We hope you all had fun thinking about it, despite — or because — it's a challenge
now may i have a cookie?
Okay.
And that's it!
![:D :D](https://artofproblemsolving.com/assets/images/smilies/classroom-bigsmile.gif)
Once we came up with the questions, we could try to methodically step through the various cases to check that it worked, but coming up with the questions, and even just thinking about setup of the problem in the right way, can be challenging.
Any last questions or thoughts on this problem? We'll pause here another minute before we move on to the next problem.
can i have one too?
Sure, why not
Can I have a virtual cookie
and me?
Cookies for all (some assembly required)
Are you answering them as an analyst?
hmmm
With that, I'm going to hand things off to my friend (and former Mathcamp roommate) Yasha!
Hi everyone!
I'll present problems 1 and 2. For problem 1, this solution and the pretty pictures were written/made by Molly, our most prolific grader.
Problem 1
The picture below shows a variant of a famous paradoxical puzzle. On the left, we take two rectangles of area 60, and cut each one into two pieces. On the right, we rearrange the four pieces, and put them together into a single rectangle of area 119. How could this be?
![https://cdn.aops.com/images/5/6/4/564d225e747cb5e41da228cd8d482ecc06c1c4a0.png](https://cdn.aops.com/images/5/6/4/564d225e747cb5e41da228cd8d482ecc06c1c4a0.png)
a. Explain what's wrong.
Clearly, 60 + 60 = 120 = 119 + 1, so one unit of area is getting lost somewhere. There must be a place on the large rectangle where the four pieces overlap. Where is it?
consider the slopes
The slope of the diagonal line on the right is not constant.
The diagonal
along the diagonoal?
The diagonal
somewhere on the hypotenuses
The diagonal, the slopes don't match
in those suspiciously thick black lines!
The slope of the purple shape and the pink shape don't line up
in the middle
In the center
yeah the traingle slopes arent the same
Let's take a closer look at the diagonal.
![https://cdn.aops.com/images/3/c/9/3c9b19538caaaf8502f601722ec702d118c772a2.png](https://cdn.aops.com/images/3/c/9/3c9b19538caaaf8502f601722ec702d118c772a2.png)
The slope of the pink section is 5/12, and the slope of the purple section is 2/5. They're not the same, so the "diagonal" is not actually a straight line.
The shape made up by the pink and purple pieces combined is not a triangle - it is a quadrilateral that bulges slightly outward. Same with the shape made up by the blue and yellow pieces. These bulges overlap each other in a tiny sliver of area 1, accounting for the missing unit.
2.5 and 2.4 so close!!
12/5=2.4,5/2=2.5
Yup, the slopes being almost but not exactly equal is why it looks deceiving.
b. Although two 5 × 12 rectangles cannot really be rearranged into a 7 × 17 rectangle, it is possible to take two a × b rectangles and cut them as shown in the picture above to make a c × d rectangle, with no paradox. What should the lengths a, b, c, d be (up to scaling, of course)?
Without loss of generality, let's say a < b and c < d. Then we can label the rectangles as follows (ignoring the grid, we're just using the original diagram as a visual aid):
![https://cdn.aops.com/images/0/e/3/0e35d1836712efe8588cae2f519e7a48c99280c1.png](https://cdn.aops.com/images/0/e/3/0e35d1836712efe8588cae2f519e7a48c99280c1.png)
Can you express the value of d in terms of a and b?
a+b
a+b
$a+b$
a+b
$a+b$
a+b
a+b
should be $a+b$
a+b
a + b
a+b
Right - the bottom edge of the large rectangle has length d, and it's made up of a purple edge of length a and a pink edge of length b. So d = a+b.
Can you express the value of c in terms of a and b?
b-a
b-a
b-a
b-a
b-a
We can see from the large rectangle that the longer base of the purple trapezoid has length c. The shorter base matches up with the short leg of the pink triangle, so it has length a. Since the second small rectangle is cut into two congruent trapezoids, the lengths of the two bases must add up to b. b = c+a, so c = b-a.
Knowing this, we can label the large rectangle like so:
![https://cdn.aops.com/images/8/e/a/8ea6e787d77d04ef685c5cac25309557b3eddf0f.png](https://cdn.aops.com/images/8/e/a/8ea6e787d77d04ef685c5cac25309557b3eddf0f.png)
To prevent the problem from part (a), we have to pick values of a and b such that the slopes of the purple and pink sections are the same.
What equation does this give us?
so b/a = b+a/b-a
$\frac{b-2a}a=\frac ab$
$\frac{b-a}{a+b}=\frac{a}{b}$
a/b = (b-a)/(a+b)
(b-2a)/a=a/b
a/b = (b-a)/(a+b)
(b-2a)/(a) = a/b
$\frac{b-a}{a+b}= \frac{a}{b}$
$\dfrac{b-a}{a+b}=\dfrac{a}{b}$
(b-a)/(a+b)=a/b
$a/b$ = $(b-a)/(a+b)$
We get $\frac ab = \frac{b-2a}a$.
Alternatively and equivalently, using similar triangles, we can get the equation $\frac ab=\frac{b-a}{a+b}$.
this gives b^2 - ab = ab + a^2 -> a^2 + 2ab - b^2 = 0 which is a quadratic equation!!!!!
$b^2-a^2=2ab$
$b^2 - 2ba - a^2 = 0$
(a+b)(b-a)=2ab
(a+b)(a-b) = 2ab?
Make a quadratic and solve!
Can we solve for $b$ in terms of $a$?
$a^2+2ab-b^2=0$ so $\frac ba=1+\sqrt2$
yielding $\frac{b-a}{a}=\sqrt{2}$
$b=a(1+\sqrt{2})$
b = (sqrt2 + 1) x a
b = (sqrt2 + 1)a
a/(sqrt(2) - 1) = b
b=(√2+1)a
yes! $b = a(1+\sqrt2)$
We get $b = (1+\sqrt2)a$. (One way is to clear denominators and then use the quadratic formula.)
$(a,b,c,d)=(x,x+\sqrt2x,\sqrt2x,2x+\sqrt2x)$
From there, we get $c = b-a = \sqrt2 a$, and $d = a+b = (2+\sqrt2)a.$ For any positive value of a, these numbers will work, since the diagram can scale without a problem.
Note that when a = 5, b ≈ 12.07, c ≈ 7.07, and d ≈ 17.07. These are very close to the numbers in the paradoxical puzzle - thus why the illusion works so well.
and we can actually generalize!
29x70 and 41x99
Yes, now you can make lots of illusory triangles!
c. It is also possible to take three congruent rectangles, cut each one into two pieces, and rearrange them to form a single rectangle similar to the original three. How can we do this?
Try to find an answer that lets you create a paradoxical decomposition of your own!
Collectively, MathCamp's applicants this year came up with 7+ different correct decompositions for this problem! We don't have time to show all of them, but we encourage you to look for other valid solutions on your own time.
The simple answer is to stack three $1 \times \sqrt3$ rectangles to create a $3 \times \sqrt3$ rectangle... but that's boring and can't be used to create a paradoxical decomposition. So let's try something else.
By "extending" the decomposition from parts (a) and (b) and squeezing in a second pair of trapezoids, we can cut and rearrange three a x b rectangles like this:
![https://cdn.aops.com/images/2/4/6/2463ed0d35b3440f0a1340ff35d815923919f2a1.png](https://cdn.aops.com/images/2/4/6/2463ed0d35b3440f0a1340ff35d815923919f2a1.png)
Since the large rectangle is rotationally symmetric, it's clear that the second and third small triangles must be cut in the same way. Let's label the bases of the trapezoids like this:
![https://cdn.aops.com/images/a/3/e/a3e770767f47448ebfcf6123bce46f0d73d97b21.png](https://cdn.aops.com/images/a/3/e/a3e770767f47448ebfcf6123bce46f0d73d97b21.png)
What can you say about the values of x and y, in terms of a and b?
What is a and b?
a and b are the side lenghts of the small rectangles, with a being the smaller one
x+y=b
x = y = 1/2b
$x=y=\dfrac{b}{2}$
x + y = b
In the large rectangle, x and y match up to each other, so they must be equal. Also, they add up to b.
Thus, x = y = b/2.
What can you say about the values of z and w, in terms of a and b?
b=w+z?
$z = a, w = b - a, x = y = b/2$
w+z=b
z=a
z + w = b
z+w=b
z+w=b
In the large rectangle, z matches up with the short leg of the pink triangle, so z = a. Also, z and w add up to b, so w = b-a.
So we can label the large rectangle like this:
![https://cdn.aops.com/images/d/f/4/df4c1194583e07d181375cb82b6f60023a9f36f3.png](https://cdn.aops.com/images/d/f/4/df4c1194583e07d181375cb82b6f60023a9f36f3.png)
so by similar triangles a/b = (b-a)/(b+2a), another quadratic equation!
solving this one gives $b = (1+\sqrt{3})a$
Yup, in the interests of time I'm going to skip a lot of the steps here, but it's pretty similar to what we did in part (b).
We equate the slopes and do the algebra. In the end, we get $b = (1+\sqrt3)a$.
To get a paradoxical decomposition, we can use integers close to this $1:1+\sqrt3$ ratio. For example, take three 3x8 rectangles, cut one along the diagonal, and cut the other two so that z=3 and w=5. By rearranging them "as in the diagram above", we appear to make a 5x14 rectangle of area 70 out of three rectangles of area 24, and 2 units of area mysteriously go missing.
and this motivated me to use a $1 \times (1 + \sqrt{n})$ rectangle to make something similar for $n$ rectangles
Is it also possible to take n congruent rectangles, cut each one into two pieces and rearrange to form a single similar rectangle, with b = (1+sqrt(n))a?
I would guess that it generalizes that way, but I'd have to check.
Fun fact: you can find integers close to a $1:1+\sqrt3$ ratio by using the continued fraction expression for $1+\sqrt3$.
it does, i worked out the details
Awesome!
OK, onwards to problem 2. I actually wrote the initial version of this problem.
Problem 2
Kayla has two red boxes, two green boxes, and two blue boxes. Each of the six boxes contains a secret number. Kayla hands the boxes to Leo and asks him to write the letters A, a, B, b, C, and c, on the boxes. We will write #A, #a, #B, #b, #C, and #c to refer to the secret numbers inside these boxes.
From there, the boxes go to Maya, who opens the boxes and reports the differences #A−#a, #B−#b, and #C−#c, (in that order). Next, the boxes go to Nathan, who opens the boxes and reports the sum of the numbers in the red boxes, the sum of the numbers in the green boxes, and the sum of the numbers in the blue boxes (in that order). The resealed boxes, along with Maya's and Nathan's reports, are then handed back to Kayla, who must determine the numbers in each of the boxes.
Kayla expected Leo to label same-color boxes with the same letter, which would have made it easy for Kayla to figure the numbers: for example, knowing #A−#a from Maya and #A+#a from Nathan, Kayla could solve for #A and #a. However, to Kayla's surprise, Leo is color blind, so his labeling had nothing to do with the colors.
a. For which of the labelings that Leo used is it still possible for Kayla to determine the six secret numbers? (Kayla can see which colors have which labels on them.)
There's a lot to unpack here. It can help to make a diagram.
![](http://latex.artofproblemsolving.com/b/7/9/b79ee4ddd06b782264011da822a8c897d0f47320.png)
I've linked the red boxes with a red line segment, so, in this example, $A$ and $b$ are red.
So, in this example, Kayla knows:
* $A-a$, $B-b$, and $C-c$ from Maya's report, and
* $A+b$, $B+C$, and $c+a$ from Nathan's report.
(Note that I'm just writing $A$ instead of #A, and so forth.)
Kayla's task is to figure out all of the numbers from this information.
For a moment, let's just focus on this part of the diagram:
![](http://latex.artofproblemsolving.com/4/c/b/4cb889515abe942e562a98a23904412f6e80e9ca.png)
Given that we know $A-a$, $B-b$, and $A+b$, what else can we figure out? For example, can we figure out $A+B$? If so, how?
Add the last two.
Yes, just add B - b and A + b.
Yes, we can figure $A+B$ because $A+B=(A+b)+(B-b)$.
how did you determine that the red boxes were A and b ???
We're doing an example to get the hang of the problem.
By the end of it, we're going to have to be able to deal with all possible diagrams.
What about $a+b$? How can we figure that out from $A-a$, $B-b$, and $A+b$?
subtract first and last
Subtract A - a from A + b
We have $a+b=(A+b)-(A-a)$.
We can figure $a+b$ because $a+b=(A+b)-(A-a)$.
What about $a+B$?
Add a + b and B - b
add second and third and subtract first
second - first + third
$A+b+B-b-(A-a)$
(A+b)+(B-b)-(A-a)
Yes, using $a+B=(A+b)-(A-a)+(B-b)$.
(We can also get it from the stuff we've figured out already.)
Likewise, we can reverse this process: Assuming we know $A-a$ and $B-b$, then, given $A+B$, $a+b$, or $a+B$, we can figure out $A+b$.
We can conclude that it doesn't matter which of the $Aa$ boxes are linked to which of the $Bb$ boxes: The following situations all provide the same information as the original:
![](http://latex.artofproblemsolving.com/4/9/c/49c6de589ccdfdbee4ee3ad206c360f5392b794a.png)
So, we can simplify our diagram by drawing it like this:
![](http://latex.artofproblemsolving.com/4/3/e/43e27dcbe46cc303452a4950fa9427b32c7b0558.png)
With this simplification, the entire diagram looks like this:
![](http://latex.artofproblemsolving.com/9/a/e/9ae82e669ab4d1057d833699d437d2ee66d98d10.png)
So, this actually helps us a lot with regards to the earlier question about why I labeled specific boxes red. With the insight we just had, we can cover a lot of different cases with just one diagram.
As long as one of the $Aa$ boxes has the same color as one of the $Bb$ boxes, and one of the $Bb$ boxes has the same color as one of the $Cc$ boxes, and one of the $Cc$ boxes has the same color as one of the $Aa$ boxes, this diagram, and hence our reasoning for it, will apply.
But it doesn't matter exactly which boxes are the same color as which other boxes.
Even though this diagram no longer captures exactly which boxes are which color, it still completely captures what information is available to Kayla:
* The differences $A-a$, $B-b$, and $C-c$.
* The sums of any two boxes linked by a colored line.
Is it enough information for Kayla to figure out what all the numbers are? Let's, for a moment, just focus on the capital letters:
![](http://latex.artofproblemsolving.com/d/4/8/d48d7ab17ce6e30deb3e8ad23e1b71eac4ea456e.png)
Kayla knows $A+B$, $B+C$, and $C+A$. Can she solve for $A$? If so, how?
add all 3 divide by 2 and subtract the second number
Add the three numbers, divide the sum by 2, then subtract (B+C)
half of the entire sum and minus B+C
Subtract the first two, then add that to the 3rd
2A+2B+2C from adding them all then divide by 2 and subtract B+C
((A+B)-(B+C)+(C+A))/2
(A+B) + (C+A) - (B+C) = 2A
subtract B+C from A+B, add C+A, to get 2A=?, divide by 2
Yes, if we add $A+B$ and $C+A$, we get $2A+B+C$. Subtracting $B+C$, we get $2A$. Dividing by $2$, we get $A$. In summary:
$A=\frac12((A+B)+(C+A)-(B+C)).$
Adding everything to get $2(A+B+C)$ is also a great way to do it.
Then you divide by $2$ to get $A+B+C$, and then you subtract $B+C$ to get $A$.
She can similarly find $B$ and $C$. And, knowing $A-a$, and $A$, she can of course find $a$, and similarly $b$ and $c$.
Can we solve this with matrixes?
Yes, at its core, this is just a linear algebra problem.
Of course, we're not done yet: There are other possible diagrams. For example, here's what Kayla expected to happen:
![](http://latex.artofproblemsolving.com/7/0/3/7031bc1f416935545adc720f317a5bbd47e8de8d.png)
This diagram represents both $A$ and $a$ being red, both $B$ and $b$ being green, and both $C$ and $c$ being blue.
As the problem states, in this case, it's easy for Kayla to figure out $A$, since she knows both $A+a$ and $A-a$, so she can solve
$A=\frac12((A+a)+(A-a)).$
She can figure out the other variables similarly.
Are there any other kinds of diagrams that are possible?
Could we have a situation like $AB,ab,Cc$?
2 go to each other and the third is a loop
(A, a) and (B, c), (C, b)
1 more: Ab, Ba, Cc
In the first case we considered, $Aa$, $Bb$, and $Cc$ were all linked together. In the second case, they were all separate. But we can also have two linked together and one separate:
![](http://latex.artofproblemsolving.com/a/d/b/adbcde2ba5fc2e6abf061873c0477af1cd07736f.png)
Here, $C$ and $c$ are both blue, whereas one of $Aa$ is red and the other is green, and likewise for $Bb$.
Of course, with this diagram, Kayla can immediately figure out $C$ and $c$. So we really only need to focus on this part:
![](http://latex.artofproblemsolving.com/0/1/3/01333243fc308d388aa93959d2147016006f3d42.png)
Can Kayla figure out what $A$ is?
As before, we can focus just on the capital letters:
![](http://latex.artofproblemsolving.com/a/0/f/a0f5e7d210b1372aafab0a4f9f63255cea3d9799.png)
Given that Kayla knows $A+B$ and $B+A$, can she figure out $A$?
no
NO
no
no, A+B is B+A
No
no
No
no
No. For example, we could have $A=1$ and $B=-1$, or we could have $A=0$ and $B=0$. Kayla can't tell the difference.
The problem is that $B+A=A+B$, so the information she got is redundant.
We can build out a full example like so:
![](http://latex.artofproblemsolving.com/8/f/c/8fc5363b54bc9560711bf5f62af1554effc5d541.png)
In this case, all of the numbers Kayla receives from Maya and Nathan are zeros, so Kayla can't tell the difference between the above situation and the one where all the numbers are zeros:
![](http://latex.artofproblemsolving.com/8/1/3/813a968a183fb575d8f0d2e2893e4ffa231e592a.png)
Kayla can't figure out what the numbers are in this case.
Are any other diagrams possible?
nope
No, except for $A,B,C$ permutated.
AC, Bb? ac
Well, we could have a diagram like the previous one except where $Aa$ is by itself and $Bb$ and $Cc$ are linked, or where $Bb$ is by itself and $Aa$ and $Cc$ are linked. But these are essentially the same situation.
Other than that, there are no other possibilities. The colors link the letters into groups. They can either be
* one big group with all three letters,
* three small groups with just one letter, or
* two groups, one with two letters and one with just one letter.
In the first two cases, Kayla can solve for all of the numbers. In the third case, she cannot. That's it for part a.
b. Generalize your answer to a problem with 2n boxes of n different colors, labeled with n different uppercase and lowercase letters.
Any guesses on how we might generalize to more letters? Under what circumstances can Kayla figure out all the numbers? Under what circumstances is figuring out all the numbers impossible?
As before, the colors link the letters into groups. The groups are independent of each other: solving one group doesn't help us with the others.
So, if we can solve all of the groups, Kayla succeeds. If there's one group that cannot be solved, Kayla fails.
So, we must determine which linked groups can be solved, and which cannot.
In the previous part, we saw that a group of size three can be solved, a group of size one can be solved, but a group of size two cannot be solved.
My idea was when numbers are switched between odd numbers of pairs, she can solve it, and with even numbers of pairs she cannot
groups of odd size can be solved and groups of even size cannot
I would guess odd groups can be solved, and even cannot
it can't be even?
One guess could be that odd-size groups can be solved, but even-size groups cannot. This guess turns out to be correct.
But some of you guessed that groups of size 2 can't be solved, and others can. That's also a reasonable guess, but turns out to be not correct.
That's why we need to prove things! There are lots of reasonable guesses, but only some of them are right.
So, let's make a diagram. Each group looks like this:
![](http://latex.artofproblemsolving.com/6/4/3/6437daeb2866e8391ba5e2f353ae4ebaf634bda2.png)
As in the previous part, we can figure things out just by looking at the capital letters.
![](http://latex.artofproblemsolving.com/9/6/e/96e7ca3319de8116777dd9c747b57d8711cec922.png)
We know $A_1+A_2, A_2+A_3,\dotsc,A_n+A_1$.
Assuming $n$ is odd, how can we figure out $A_1$?
So the adding all numbers strategy only works when n is odd
Take half the sum and subtract $A_2+A_3+\dots+A_n$.
Sure, we add everything together, which gets us $2(A_1+A_2+\dotsb+A_n)$, since every number appears twice.
Then divide by two, getting $A_1+\dotsb+A_n$.
And then we subtract $(A_2+A_3)+(A_4+A_5)+\dotsb+(A_{n-1}+A_n)$, leaving us with $A_1$.
Note that for this to work the list $A_2,A_3,\dotsc,A_n$ has to have an even number of things in it, which works only because $n$ is odd.
I actually thought about this a different way.
Starting with $A_1+A_2$, we subtract $A_2+A_3$ to cancel out the $A_2$, obtaining $A_1-A_3$. Then we add $A_3+A_4$ to cancel out the $-A_3$, obtaining $A_1+A_4$. Then we subtract $A_4+A_5$, and so forth.
When we get to our last step, do we add $A_n+A_1$ or do we subtract $A_n+A_1$?
add?
depends on the parity of n
add
Well, we added $A_1+A_2$, subtracted $A_2+A_3$, and added $A_3+A_4$. So, when the first summand is $A_i$ for $i$ odd, we add, and when the first summand is $A_i$ for $i$ even, we subtract. Since $n$ is odd, we add $A_n+A_1$.
So, we have
$(A_1+A_2)-(A_2+A_3)+(A_3+A_4)\pm\dotsb+(A_n+A_1)$.
Almost everything cancels, and we are left with
$(A_1+A_2)-(A_2+A_3)+(A_3+A_4)\pm\dotsb+(A_n+A_1)=2A_1$.
Dividing by two, we can solve for $A_1$.
If n is odd, we add
If n is even, we subtract and get null information
Yes, for this solution method, too, it is crucial that $n$ is odd.
For even $n$, everything cancels out.
but if n even you need to subtract getting null!
But of course, just because our solution method fails when $n$ is even, doesn't necessarily mean that there's no solution when $n$ is even.
We will have to show that Kayla fails when $n$ is even separately.
To finish off the odd case, we just have one more remark:
As before, the same reasoning lets us solve for all of the $A_i$. And, since we know $A_i-a_i$, we can also solve for the $a_i$.
So Kayla can figure out all the numbers.
Is it fine if you use matrices for this?
Sure, at its core, this is a linear algebra problem, and you can use matrices to solve those.
Im happy i wasnt the only person to solve it with matrices
How could you use matrices to solve this?
I used matrices, so did you see a quicker general solution with those by someone else? Im just wondering because I'm sure there must have been an easier way
So, even though I wrote the initial version of this problem, other volunteers did the grading, so I don't actually know what people did!
At its core, this problem is a linear system of equations. So, once you learn how to solve those using matrices, you can apply that knowledge here.
But we don't expect Mathcamp applicants to have necessarily learned linear algebra, so the intended solution is definitely non-matrix.
But matrix solutions are great, too.
But we can also show there are infinitely many solutions to the system if we want to show $n$ even doesn't work.
wee caan dooo eeeveeen nooow?
Alright, let's move on to even. In fact, we don't need to find infinitely many solutions; just two different ones is enough.
Following the previous part, could we come up with an example where $A_1+A_2, A_2+A_3,\dotsc,A_n+A_1$ are all zero?
$A_k=(-1)^k$ and $n$ is even
n, -n, n, -n, ..., n, -n
What about alternating + and - 1?
Set them all equal to 0
$n, -n, n, -n, ..., n, -n$
alternating $\pm1$
yeah! just alternate $-1$s and $1$s!
Well, of course if we set all the $A_i$ to zero, then all these sums will be zero. But we can also make a nontrivial example by setting $A_i=(-1)^i$, so
$A_1=-1, A_2=1, A_3=-1,\dotsc$.
Is $A_n$ equal to $1$ or $-1$ in this case?
1
1
Since $n$ is even, $A_n=(-1)^n=1$, so the full sequence is
$A_1=-1, A_2=1, A_3=-1,\dotsc,A_n=1$.
1
Any two consecutive numbers sum to zero, including $A_n+A_1=0$. So, Kayla cannot tell the difference between this scenario and the one where all the numbers are zero.
To complete the example, we set the $a_i=(-1)^i$ as well.
![](http://latex.artofproblemsolving.com/c/e/a/ceaa6ad5169913cdffc24e96815d0954299e68cf.png)
In this example, Kayla will receive all zeros in her reports from Maya and Nathan, so she cannot tell apart the above scenario from the scenario where all of the secret numbers are zero.
So, to summarize: We group the boxes into uppercase/lowercase pairs. Then we link pairs of boxes if they share a color, thereby obtaining linked groups of uppercase/lowercase pairs. If each group contains an odd number of pairs, then Kayla succeeds. If any of the groups contains an even number of pairs, then Kayla fails.
Can there be a situation like that for n odd?
Nope! In fact, we proved that when we did the $n$ odd case.
When $n$ is odd, Kayla can figure things out. So if she gets reports of all zeros, she knows that all the secret numbers are, in fact, zero.
There's no way to make an example like this.
So, that's it for problem 2, which is the last problem for today (since we started with problem 3). Tomorrow some other Mathcamp volunteers will present problems 4-6.
I'll stick around for a little bit since there were some questions I didn't get to.
How do I solve using matrices and what is it
You can use matrices to solve systems of linear equations.
Systems of linear equations are talked about here: https://artofproblemsolving.com/wiki/index.php/System_of_equations#Solving_Linear_Systems
Unfortunately, they don't say too much about matrices there, other than that they are "Advanced Methods"
Here's another link I found Googling https://math.libretexts.org/Bookshelves/Algebra/Intermediate_Algebra_1e_(OpenStax)/04%3A_Systems_of_Linear_Equations/4.06%3A_Solve_Systems_of_Equations_Using_Matrices
The key word you're looking for is "Linear Algebra"
https://www.youtube.com/watch?v=uQhTuRlWMxw&list=PLZHQObOWTQDPD3MizzM2xVFitgF8hE_ab&index=7
That video helps with this specific problem
its 3blue1brown
Haven't watched this one but I know 3blue1brown is good.
What's $-3!$?
Well I'd say it's -6 since I think the factorial operation takes precedence over negation.
$(-3)!$ on the other hand...
Use the Gamma function!
Unfortunately, the Gamma function is defined on all complex numbers except for the non-positive integers.
So, sadly, we can define the factorial for pretty much everything except things like $(-3)!$.
3blue1brown is amazing
Can I have a cookie?
Yes! But if it's from me, it'd only be virtual. I'd recommend your pantry instead.
Can we move onto P3
We swapped the order and did that one first.
I think there will be a transcript of this though?
Yes! It'll be up soon after the Math Jam is over.
so all of them are done?
For today. 4-6 will be tomorrow.
what do we use fractional derivatives for? is it just for certain vector spaces? I'm very curious abt this
It comes up in partial differential equations.
In what cases is a forier transform (or however you spell it) more useful than a laplace transform?
Fourier transform is useful for steady state situations. Laplace transform is useful for immediate effect situations (e.g. you hit something)
when tomorrow?
Same time, which is 7pm Eastern and 4pm Pacific
for finding percentages of populations, do we always round down or do we round to the nearest whole number, my teacher said always round down but i'm not entirely sure
I don't think there's a universal rule. Which means that in your classroom your teacher's rule goes.
But, generally speaking, you might round not just to a whole number. For example, you might round 74.38% to 74.4%
In science-type situations you want to figure out the number of significant digits.
and round that way. Usually you round to the closest thing, whether it is down or up
Where did you get your avatar?
I was in high school when I set it, so I don't quite remember. But it's the escape key on the keyboard.
i meant like the amount of people given a percent and a population
Oh I see. Still, probably significant figures is the way to go, because for most things you don't have precise enough information to know down to the last person.
Like, it's not like we know exactly how many people are above 6 feet tall.
But we can estimate, but if so we'd probably say how many millions of people rather than exactly how many people.
can you prove if a DiffEQ is unsolvable?
Yes, there are ways to do that. You might even learn of examples in a regular college DiffEQ class if it's challenging enough.
If they ask like, how many people can this many popsicles serve, or something like that, I think you're supposed to round down because you can't serve a person with half a popsicle
Yeah, maybe that's the idea with always rounding down.
Anyways, that's all for today. Come back tomorrow for more Mathcamp volunteers and more Mathcamp problems!
Thank you all for coming! Over 500 students joined us today.
A special thanks to Yasha and Tim for leading us through problems 1-3!
Join us tomorrow for problems 4-6!
If you have questions for Mathcamp, you ask tomorrow or can contact them at www.mathcamp.org/contact.php
Finally, a transcript of this Math Jam will be posted soon here: www.aops.com/school/mathjams-transcripts
Copyright © 2025 AoPS Incorporated. This page is copyrighted material. You can view and print this page for your own use, but you cannot share the contents of this file with others.