Problems

A set is a collection of objects of any specified kind, the objects are called elements or members, the objects in one set cannot repeat, namely \(\{1,2,3\}\) and \(\{1,2,2,2,3\}\) are identical sets. We denote a set by a capital letter \(A\), or \(B\) and write \(x\in A\) if \(x\) is an element of \(A\), and \(x\notin A\) if it is not. The notation \(A=\{a,b,c,...\}\) means that the set \(A\) consists of the elements \(a,b,c,...\). The empty or void set, \(\emptyset\), has no elements. If all elements of \(A\) are also in \(B\), then we call \(A\) a subset of \(B\) and we write \(A\subseteq B\). It is an axiom that the sets \(A\) and \(B\) are equal \(A=B\) if they have the same elements. Namely, \(A\) is a subset of \(B\) and \(B\) is a subset of \(A\) at the same time.
For any sets \(A\) and \(B\), we define their union \(A\cup B\), intersection \(A\cap B\), and the difference \(A-B\) as follows:

• the union \(A\cup B\) is the set of all elements that belong to \(A\) or \(B\);

• the intersection \(A\cap B\) is the set of elements that belong to both \(A\) and \(B\);

• the difference \(A-B\) consists of those \(x \in A\) that are do not belong to \(B\).

Sometimes it is useful to draw sets as Venn diagrams, on the diagram below the pink circle represents the set \(A\), the yellow circle represents the set \(B\), the orange part is the intersection \(A\cap B\), the pink part is \(A-B\), the yellow part is \(B-A\), and the whole picture is the union \(A\cup B\).

There are various ways to prove mathematical statements. One of the possible methods which might come in handy in certain situations is called proof by contradiction. To prove a statement we first assume that the statement is false and then deduce something that contradicts either the condition, or the assumption itself, or just common sense. Due to the contradiction, we have to conclude that the first assumption must have been wrong, so the statement is actually true.

A closely related method is called contrapositive proof. An example should make the idea quite clear. Consider the statement “if the joke is funny, then I will be laughing". Another completely equivalent way of saying it would be “if I am not laughing, then the joke is not funny". The second statement is known as the contrapositive of the first statement.

We can often prove a statement by proving its contrapositive. Many statements are proven by deriving a contradiction. However, one can often rewrite them as either a direct proof or a contrapositive proof.

Let’s take a look at both of these techniques.

Let’s play some games today! We will play a classic game known as nim, which is thought to be one of the oldest games.

Typically people play nim using matchsticks, though stones and coins are popular too. There are a few heaps of matchsticks in nim. Players take turns to remove matchsticks from a heap of their choosing. The player can remove any number of matchsticks they wish from that heap. Whoever has no matchsticks left to take loses.

This following position will be written as \(\text{Nim}(3,3,3)\):

As another example, this is \(\text{Nim}(1,2,3,4)\):

We will omit heaps of size zero, so \(\text{Nim}(3,0,3,0,3)\) is the same as \(\text{Nim}(3,3,3)\).

Nim is important because a large class of games are equivalent to it despite its simple appearance. The interested reader should look up "Sprague-Grundy Theorem".

Let us introduce a few terms that will be helpful for analyzing games. A game \(G\) consists of some positions and a set of rules. A position \(g\) in the game \(G\) is called a winning position if the player starting this turn has a winning strategy. This means as long as the player starting this turn continues to play optimally, the second player has to lose. Conversely, a position \(g\) is a losing position if the player starting this turn has no winning strategy.

A useful common problem-solving strategy is to divide a problem into cases. We can divide the problem into familiar and unfamiliar cases; easy and difficult cases; typical and extreme cases etc. The division is sometimes suggested by the problem, but oftentimes requires a bit of work first.

If you are stuck on a problem or you are not sure where to begin, gathering data by trying out easy or typical cases first might help you with the following (this list is not exhaustive):

1. Gaining intuition of the problem

2. Isolating the difficulties

3. Quantifying progress on the problem

4. Setting up or completing inductive arguments

Let us take a look at this strategy in action.

A circle is inscribed into the triangle \(ABC\) with sides \(BC=6, AC=10\) and \(AB= 12\). A line tangent to the circle intersects two longer sides of the triangle \(AB\) and \(AC\) at the points \(F\) and \(G\) respectively. Find the perimeter of the triangle \(AFG\).

Liam saw an unusual clock in the museum: the clock had no digits, and it’s not clear how the clock should be rotated. That is, we know that \(1\) is the next digit clockwise from \(12\), \(2\) is the next digit clockwise from \(1\), and so on. Moreover all the arrows (hour, minute, and second) have the same length, so it’s not clear which is which. What time does the clock show?

Two circles are tangent to each other and the smaller circle with the center \(A\) is located inside the larger circle with the center \(C\). The radii \(CD\) and \(CE\) are tangent to the smaller circle and the angle \(\angle DCE = 60^{\circ}\). Find the ratio of the radii of the circles.

For positive real numbers \(a,b,c\) prove the inequality: \[(a^2b + b^2c + c^2a)(ab^2 + bc^2 + ca^2)\geq 9a^2b^2c^2.\]

Due to a mistake in the bakery, a cake that was supposed to be shaped as two concentric pieces (like on the right diagram below) came out like the left diagram below. Find the smallest number of pieces the cake should be cut into in order to rearrange the pieces into the cake on the right side of the picture.

Note that the cake is \(\textit{not}\) tiered like a wedding cake, but is shaped like a cylinder with a flat top. Curved cuts are allowed.

Katie and Charlotte had \(4\) sheets of paper. They cut some of the sheets into \(4\) pieces. They then cut some of the newly obtained papersheets also into \(4\) pieces. They did this several more times, cutting a piece of paper into \(4\). In the end they counted the number of sheets. Could this number be \(2024\)?