The liar's guessing game is a game played between two players
and
. The rules of the game depend on two positive integers
and
which are known to both players.
At the start of the game
chooses integers
and
with
Player
keeps
secret, and truthfully tells
to player
. Player
now tries to obtain information about
by asking player
questions as follows: each question consists of
specifying an arbitrary set
of positive integers (possibly one specified in some previous question), and asking
whether
belongs to
. Player
may ask as many questions as he wishes. After each question, player
must immediately answer it with yes or no, but is allowed to lie as many times as she wants; the only restriction is that, among any
consecutive answers, at least one answer must be truthful.
After
has asked as many questions as he wants, he must specify a set
of at most
positive integers. If
belongs to
, then
wins; otherwise, he loses. Prove that:
1. If
then
can guarantee a win.
2. For all sufficiently large
, there exists an integer
such that
cannot guarantee a win.
Proposed by David Arthur, Canada




At the start of the game



















After






1. If


2. For all sufficiently large



Proposed by David Arthur, Canada
Given triangle
the point
is the centre of the excircle opposite the vertex
This excircle is tangent to the side
at
, and to the lines
and
at
and
, respectively. The lines
and
meet at
, and the lines
and
meet at
Let
be the point of intersection of the lines
and
, and let
be the point of intersection of the lines
and
Prove that
is the midpoint of 
(The excircle of
opposite the vertex
is the circle that is tangent to the line segment
, to the ray
beyond
, and to the ray
beyond
.)
Proposed by Evangelos Psychas, Greece























(The excircle of







Proposed by Evangelos Psychas, Greece
Let
be a triangle with
, and let
be the foot of the altitude from
. Let
be a point in the interior of the segment
. Let
be the point on the segment
such that
. Similarly, let
be the point on the segment
such that
. Let
be the point of intersection of
and
.
Show that
.
Proposed by Josef Tkadlec, Czech Republic















Show that

Proposed by Josef Tkadlec, Czech Republic