Professional Documents
Culture Documents
TrollContest IX
TrollContest IX
TrollContest IX
1. For which x ∈ R –if any– is it true that, for every positive integer n, it is possible to add
n
z }| {
a bunch of symbols from ⌊, ⌈, ⌋, ⌉ to the product x · x · . . . · x so that the resulting expression is
well-bracketed and evaluates to n (6 points).
∧A=
3. There are n printers working for H.A.U.L., each of which was given the task to print n
new printables for the company, one of each preestablished size, using the company printers,
and present them in the next meeting. Each of the n company printers can only print a specific
size of printable, and takes exactly one minute to print it. Moreover, these printers require con-
stant human contact, so a printer cannot print more than one printable at a time.
The printers like to procrastinate, so H.A.U.L. accounted for this and arranged a standard
printing procedure, so that each of them could print her printables during the last n minutes
before the meeting. However, without the company knowing, the printers decided to shuffle the
work between them: each printer has n printables, but not necessarily of different sizes, so the
standard printing procedure will no longer work for them.
The meeting starts in n2 minutes and no printable has been printed yet — they have been
procrastinating until now because they know that they still have time to print all the printables
before the meeting. Can they procrastinate longer? If so, for how much? (8 points)
4. Let be a commonly used angle and A be a point. An A-per- -diculator is a tool that,
given a line r through A and a point X not on r, drops the perpendicular line through X to r, but
then deforms space in such a way that each point on the line AX remains fixed and the line r
b
expands or contracts (without changing direction) so that AP X = , where P is the foot of the
recently created perpendicular. The rest of the plane deforms in a way collinearity is preserved.
Let ABC be an equilateral triangle. For every commonly used angle , prove that, after us-
ing an A-per- -diculator a finite number of times, we can construct a point that is the (current)
orthocentre of ABC (5 points).
5. Find all functions ξ : Q+ → Q+ such that for any positive integers p and q, the following
equality is satisfied (8 points):
p q
ξp = ξ (q)
q p
6. Let ABC be an acute triangle and P be the foot of the altitude from A. Let TA , TB and
′
TC be the tangency points of the incircle of ABC with BC, CA and AB, respectively, and TA ,
TB and TC′ be the tangency points of the excircles of ABC with the segments BC, CA and AB,
′
′ ′
respectively. Assume that there exists a circle passing through A, TA , TB and TC′ . Prove that
the lines TB TC , AP and the perpendicular to TB TC from TA concur (5 points). Moreover, prove
that
IP · IS
=
′
ITB · ITC′ ⌢
, where I is the incentre of ABC and S is the midpoint of the arc BC
2
ITA ITB · ITC
containing A (4 points).
Glossary
Natural numbers. 0 is a natural number.
Axiom of Choice. You are supposed to assume that the axiom of choice is true in all of
the problems of this contest.
Polyverse: a verse which only has pluriverses inside. Fun fact: you can obtain any
polyverse by repeatedly colliding, in some order and fashion, a bunch of nothing. Prove it!
(2 points)
Collisions.
i=1
, A collides additively, the result is a single verse
n
i
A containing all the verses in A1 , together with all the verses in A2 , and all the verses
in A3 , . . ., and all the verses in An , with the appropriate multiplicity, and we write
n
A = A1 + A2 + · · · + An or A = +A . i=1
i
verse A containing all possible additive collisions consisting of exactly one verse inside
n
i=1
i
A containing all possible multiplicative collisions consisting of exactly one verse inside
n
each Ai , and we write A = A1 ∧ A2 ∧ · · · ∧ An or A = ∧A .
i=1
i
′
IP · IS ITB · ITC′ IP S ′′
Caveman simplification. 2
= is not equivalent to = .
ITA ITB · ITC T TA
Constant human contact: holding down a button. What were you imagining?
m
z }| {
m-fold composition: to apply a function g m times: g (m)
(x) = g(g(g(· · · (g(x)) · · · )))
m
z }| {
Not to be confused with m-th power exponentiation: m
g (x) = g(x) · g(x) · . . . · g(x)
g(x)
.
..
m g(x) m
Nor tetration to the m: g(x) = g(x)g(x)
∂mg
Nor order m differentiation: g m) = ∂xm (x)
Construction. Given points are constructed points. Lines through two constructed points
are constructed lines. Intersections of constructed lines are constructed points. Outputs of
given tools are constructed objects. Only constructed objects can be inputs of tools.
Maths problem: scenario where you can suppose that planning a strategy and going from
printer to printer consumes no time.
Metaverse. For additive collisions, it’s a verse Z that satisfies X + Z = X for all verses
X. Mutatis mutandis, we define the metaverse for the other types of collision.
Incercle and excercles. Really, are you looking that up? Ask your teammates!
House functions:
• The floor of x is the only integer ⌊x⌋ that satisfies ⌊x⌋ ≤ x < ⌊x⌋ + 1.
• The wall of x is the only integer ⌊x⌉ that satisfies 2⌊x⌉ − 1 ≤ 2x < 2⌊x⌉ + 1.
• The ceiling of x is the only integer ⌈x⌉ that satisfies ⌊−x⌋ = −⌈x⌉.
• The roof of x is the only integer ⌈x⌋ that satisfies ⌊x⌉ + ⌈x⌋ = ⌊x⌋ + ⌈x⌉.
◦ ◦
Commonly√ used angle: an angle strictly between 0 and 180 whose sine and cosine are
n
of the form where n is a natural number.
2
Standard printing procedure: a procedure arranged so that the printers can simultane-
ously print their printables without interference. If you are curious, it consists of the i-th
printer printing its j-sized printable at minute j − i (mod n).
* Actually, only verses are allowed to be inside verses, and only finitely many. If you see rectangles inside one,
well, that’s because we usually use rectangles to represent verses.