olymmath

SIMON-MARAIS 2022

Simon Marais Mathematics Competition 2022.

Official paper

The official paper in 2 languages

English (a) · English (b)

Paper A

A1

  • Paper A

Let ABCDABCD be a unit square, and let PP be a point inside triangle ABCABC. Let EE and FF be the points on ABAB and ADAD, respectively, such that AEPFAEPF is a rectangle. Let xx and yy denote the lengths of AEAE and AFAF, respectively.

Determine a two-variable polynomial f(x,y)f(x,y) with the property that the area of AEPFAEPF is greater than the area of each of the quadrilaterals EBCPEBCP and FPCDFPCD if and only if f(x,y)>0f(x,y) > 0.

Answer, solutions and source

A2

  • Paper A

Let nn be a positive integer, and let SS be a set with 2n2^n elements. Let A1,A2,…,AnA_1, A_2, \ldots, A_n be randomly and independently chosen subsets of SS, where each possible subset of SS is chosen with equal probability. Let PnP_n be the probability that

A1∪A2∪⋯∪An=SandA1∩A2∩⋯∩An=∅.A_1 \cup A_2 \cup \cdots \cup A_n = S \quad \text{and} \quad A_1 \cap A_2 \cap \cdots \cap A_n = \emptyset.

Prove that lim⁡n→∞Pn=1e2\lim_{n \to \infty} P_n = \frac{1}{e^2}.

Answer, solutions and source

A3

  • Paper A

Let 0<a<10 < a < 1 be a fixed real number. Show that there are at least two values of xx in the interval (0,1)(0,1) such that

∫0x(sin⁡(πsin⁡πt22)+2πarcsin⁡(2πarcsin⁡t)−2t)dt=12(a−2πarcsin⁡(2πarcsin⁡a))(sin⁡(πsin⁡πa22)−a).\int_0^x \left( \sin \left( \frac{\pi \sin \frac{\pi t}{2}}{2} \right) + \frac{2}{\pi} \arcsin \left( \frac{2}{\pi} \arcsin t \right) - 2t \right) \mathrm{d}t = \frac{1}{2} \left( a - \frac{2}{\pi} \arcsin \left( \frac{2}{\pi} \arcsin a \right) \right) \left( \sin \left( \frac{\pi \sin \frac{\pi a}{2}}{2} \right) - a \right).

Answer, solutions and source

A4

  • Paper A

Let nn be a positive integer, and let q≥3q \geq 3 be an odd integer such that every prime factor of qq is larger than nn. Prove that

1n!(q−1)n∏i=1n(qi−1)\frac{1}{n! (q-1)^n} \prod_{i=1}^{n} (q^i - 1)

is an integer that has no prime factor in common with q−12\frac{q-1}{2}.

Answer, solutions and source

Paper B

B1

  • Paper B

Let A>1A > 1 be a real number. Determine all pairs (m,n)(m, n) of positive integers for which there exists a positive real number xx such that (1+x)m=(1+Ax)n(1 + x)^m = (1 + Ax)^n.

Answer, solutions and source

B2

  • Paper B

Let a,b,a, b, and cc be real numbers, and let PP be the polynomial

P(x)=x6+ax4+bx2+c.P(x) = x^6 + ax^4 + bx^2 + c.

Suppose that there is a unique circle Γ\Gamma in the complex plane such that all of the roots of PP lie on Γ\Gamma. Prove that b3=a3cb^3 = a^3c.

Answer, solutions and source

B3

  • Paper B

Ari and Sam are playing a game in which they take turns breaking a block of chocolate in two and eating one of the pieces. At each stage of the game the block of chocolate is a rectangle with integer side lengths. On each player’s turn, they break the block of chocolate into two such rectangles along a horizontal or vertical line, and eat the piece with smaller area. (If the two pieces have the same area they may eat either one.) The game ends when the block of chocolate is a 1×11 \times 1 rectangle, and the winner is the last player to take their turn breaking the chocolate in two.

At the start of the game the block of chocolate is a 58×202258 \times 2022 rectangle. If Ari goes first, which player has a winning strategy?

Answer, solutions and source

B4

  • Paper B

The following problem is open in the sense that the answer to part (b) is not currently known. A solution to part (a) will be awarded 7 points. Up to 7 additional points may be awarded for progress on part (b).

Let a0,a1,a2,…a_0, a_1, a_2, \ldots and b0,b1,b2,…b_0, b_1, b_2, \ldots be two sequences of positive integers, satisfying a0b0≥600a_0b_0 \geq 600 and

an+1=an+2⋅⌊bn/20⌋,a_{n+1} = a_n + 2 \cdot \lfloor b_n/20 \rfloor,

bn+1=bn+3⋅⌊an/30⌋,b_{n+1} = b_n + 3 \cdot \lfloor a_n/30 \rfloor,

for all n≥0n \geq 0.

(a) Prove that there exists a nonnegative integer NN such that

−13≤an−bn≤23,-13 \leq a_n - b_n \leq 23,

for all n≥Nn \geq N.

(b) Must there exist a nonnegative integer nn such that an=bna_n = b_n?

Here ⌊x⌋\lfloor x \rfloor denotes the greatest integer less than or equal to xx.

Answer, solutions and source