1996 French Mathematical Olympiad

Problem 1

Consider a triangle $ABC$ and points $D,E,F,G,H,I$ in the plane such that $ABED$, $BCGF$ and $ACHI$ are squares exterior to the triangle. Prove that points $D,E,F,G,H,I$ are concyclic if and only if one of the following two statements hold: (i) $ABC$ is an equilateral triangle. (ii) $ABC$ is an isosceles right triangle.

Problem 2

Let $a$ be an odd natural number and $b$ be a positive integer. We define a sequence of reals $(u_n)$ as follows: $u_0=b$ and, for all $n\in\mathbb N_0$, $u_{n+1}$ is $\frac{u_n}2$ if $u_n$ is even and $a+u_n$ otherwise. (a) Prove that one can find an element of $u_n$ smaller than $a$. (b) Prove that the sequence is eventually periodic.

Problem 3

(a) Let there be given a rectangular parallelepiped. Show that some four of its vertices determine a tetrahedron whose all faces are right triangles. (b) Conversely, prove that every tetrahedron whose all faces are right triangles can be obtained by selecting four vertices of a rectangular parallelepiped. (c) Now investigate such tetrahedra which also have at least two isosceles faces. Given the length $a$ of the shortest edge, compute the lengths of the other edges.

Problem 4

(a) A function $f$ is defined by $f(x)=x^x$ for all $x>0$. Find the minimum value of $f$. (b) If $x$ and $y$ are two positive real numbers, show that $x^y+y^x>1$.

Problem 5

Let $n$ be a positive integer. We say that a natural number $k$ has the property $C_n$ if there exist $2k$ distinct positive integers $a_1,b_1,\ldots,a_k,b_k$ such that the sums $a_1+b_1,\ldots,a_k+b_k$ are distinct and strictly smaller than $n$. (a) Prove that if $k$ has the property $C_n$ then $k\le \frac{2n-3}{5}$. (b) Prove that $5$ has the property $C_{14}$. (c) If $(2n-3)/5$ is an integer, prove that it has the property $C_n$.