Olympiad problems

1994 IMO, 5

Tags: function , algebra , functional equation , IMO , IMO 1994 , increasing functions , david monk

Let $ S$ be the set of all real numbers strictly greater than −1. Find all functions $ f: S \to S$ satisfying the two conditions: (a) $ f(x \plus{} f(y) \plus{} xf(y)) \equal{} y \plus{} f(x) \plus{} yf(x)$ for all $ x, y$ in $ S$; (b) $ \frac {f(x)}{x}$ is strictly increasing on each of the two intervals $ \minus{} 1 < x < 0$ and $ 0 < x$.

1988 IMO Longlists, 77

Tags: algebra , functional equation , binary representation , function , IMO , IMO 1988 , david monk

A function $ f$ defined on the positive integers (and taking positive integers values) is given by: $ \begin{matrix} f(1) \equal{} 1, f(3) \equal{} 3 \\ f(2 \cdot n) \equal{} f(n) \\ f(4 \cdot n \plus{} 1) \equal{} 2 \cdot f(2 \cdot n \plus{} 1) \minus{} f(n) \\ f(4 \cdot n \plus{} 3) \equal{} 3 \cdot f(2 \cdot n \plus{} 1) \minus{} 2 \cdot f(n), \end{matrix}$ for all positive integers $ n.$ Determine with proof the number of positive integers $ \leq 1988$ for which $ f(n) \equal{} n.$

1994 IMO Shortlist, 3

Tags: function , algebra , functional equation , IMO , IMO 1994 , increasing functions , david monk

Let $ S$ be the set of all real numbers strictly greater than −1. Find all functions $ f: S \to S$ satisfying the two conditions: (a) $ f(x \plus{} f(y) \plus{} xf(y)) \equal{} y \plus{} f(x) \plus{} yf(x)$ for all $ x, y$ in $ S$; (b) $ \frac {f(x)}{x}$ is strictly increasing on each of the two intervals $ \minus{} 1 < x < 0$ and $ 0 < x$.

1988 IMO Shortlist, 26

Tags: algebra , functional equation , binary representation , function , IMO , IMO 1988 , david monk

A function $ f$ defined on the positive integers (and taking positive integers values) is given by: $ \begin{matrix} f(1) \equal{} 1, f(3) \equal{} 3 \\ f(2 \cdot n) \equal{} f(n) \\ f(4 \cdot n \plus{} 1) \equal{} 2 \cdot f(2 \cdot n \plus{} 1) \minus{} f(n) \\ f(4 \cdot n \plus{} 3) \equal{} 3 \cdot f(2 \cdot n \plus{} 1) \minus{} 2 \cdot f(n), \end{matrix}$ for all positive integers $ n.$ Determine with proof the number of positive integers $ \leq 1988$ for which $ f(n) \equal{} n.$

1988 IMO, 3

Tags: algebra , functional equation , binary representation , function , IMO , IMO 1988 , david monk

A function $ f$ defined on the positive integers (and taking positive integers values) is given by: $ \begin{matrix} f(1) \equal{} 1, f(3) \equal{} 3 \\ f(2 \cdot n) \equal{} f(n) \\ f(4 \cdot n \plus{} 1) \equal{} 2 \cdot f(2 \cdot n \plus{} 1) \minus{} f(n) \\ f(4 \cdot n \plus{} 3) \equal{} 3 \cdot f(2 \cdot n \plus{} 1) \minus{} 2 \cdot f(n), \end{matrix}$ for all positive integers $ n.$ Determine with proof the number of positive integers $ \leq 1988$ for which $ f(n) \equal{} n.$

1998 IMO Shortlist, 1

Tags: number theory , Divisibility , polynomial , IMO , IMO 1998 , david monk , Hi

Determine all pairs $(x,y)$ of positive integers such that $x^{2}y+x+y$ is divisible by $xy^{2}+y+7$.

1993 IMO, 2

Tags: geometry , circumcircle , quadrilateral , area , IMO , IMO 1993 , david monk

Let $A$, $B$, $C$, $D$ be four points in the plane, with $C$ and $D$ on the same side of the line $AB$, such that $AC \cdot BD = AD \cdot BC$ and $\angle ADB = 90^{\circ}+\angle ACB$. Find the ratio \[\frac{AB \cdot CD}{AC \cdot BD}, \] and prove that the circumcircles of the triangles $ACD$ and $BCD$ are orthogonal. (Intersecting circles are said to be orthogonal if at either common point their tangents are perpendicuar. Thus, proving that the circumcircles of the triangles $ACD$ and $BCD$ are orthogonal is equivalent to proving that the tangents to the circumcircles of the triangles $ACD$ and $BCD$ at the point $C$ are perpendicular.)

1998 IMO, 4

Tags: number theory , Divisibility , polynomial , IMO , IMO 1998 , david monk , Hi

Determine all pairs $(x,y)$ of positive integers such that $x^{2}y+x+y$ is divisible by $xy^{2}+y+7$.

1986 IMO, 2

Tags: function , algebra , functional equation , IMO , IMO 1986 , david monk

Find all functions $f$ defined on the non-negative reals and taking non-negative real values such that: $f(2)=0,f(x)\ne0$ for $0\le x<2$, and $f(xf(y))f(y)=f(x+y)$ for all $x,y$.

1993 IMO Shortlist, 7

Tags: geometry , circumcircle , quadrilateral , area , IMO , IMO 1993 , david monk

Let $A$, $B$, $C$, $D$ be four points in the plane, with $C$ and $D$ on the same side of the line $AB$, such that $AC \cdot BD = AD \cdot BC$ and $\angle ADB = 90^{\circ}+\angle ACB$. Find the ratio \[\frac{AB \cdot CD}{AC \cdot BD}, \] and prove that the circumcircles of the triangles $ACD$ and $BCD$ are orthogonal. (Intersecting circles are said to be orthogonal if at either common point their tangents are perpendicuar. Thus, proving that the circumcircles of the triangles $ACD$ and $BCD$ are orthogonal is equivalent to proving that the tangents to the circumcircles of the triangles $ACD$ and $BCD$ at the point $C$ are perpendicular.)