Olympiad problems

1975 IMO Shortlist, 12

Consider on the first quadrant of the trigonometric circle the arcs $AM_1 = x_1,AM_2 = x_2,AM_3 = x_3, \ldots , AM_v = x_v$ , such that $x_1 < x_2 < x_3 < \cdots < x_v$. Prove that \[\sum_{i=0}^{v-1} \sin 2x_i - \sum_{i=0}^{v-1} \sin (x_i- x_{i+1}) < \frac{\pi}{2} + \sum_{i=0}^{v-1} \sin (x_i + x_{i+1})\]

1963 IMO Shortlist, 5

Tags: trigonometric identities , trig identities , trigonometric equation , algebra , polynomial , trigonometry

Prove that $\cos{\frac{\pi}{7}}-\cos{\frac{2\pi}{7}}+\cos{\frac{3\pi}{7}}=\frac{1}{2}$

1967 IMO Shortlist, 6

Tags: series summation , trigonometric identities , trigonometry , algebra

Prove the identity \[\sum\limits_{k=0}^n\binom{n}{k}\left(\tan\frac{x}{2}\right)^{2k}\left(1+\frac{2^k}{\left(1-\tan^2\frac{x}{2}\right)^k}\right)=\sec^{2n}\frac{x}{2}+\sec^n x\] for any natural number $n$ and any angle $x.$

1974 IMO Longlists, 8

Tags: equation , algebra , trigonometric substitution , trigonometric identities , trigonometry

Let $x, y, z$ be real numbers each of whose absolute value is different from $\frac{1}{\sqrt 3}$ such that $x + y + z = xyz$. Prove that \[\frac{3x - x^3}{1-3x^2} + \frac{3y - y^3}{1-3y^2} + \frac{3z -z^3}{1-3z^2} = \frac{3x - x^3}{1-3x^2} \cdot \frac{3y - y^3}{1-3y^2} \cdot \frac{3z - z^3}{1-3z^2}\]

1967 IMO Longlists, 35

Tags: series summation , trigonometric identities , algebra , trigonometry

Prove the identity \[\sum\limits_{k=0}^n\binom{n}{k}\left(\tan\frac{x}{2}\right)^{2k}\left(1+\frac{2^k}{\left(1-\tan^2\frac{x}{2}\right)^k}\right)=\sec^{2n}\frac{x}{2}+\sec^n x\] for any natural number $n$ and any angle $x.$

1994 Korea National Olympiad, Problem 3

Tags: trigonometry , trigonometric identities , geometry

Let $\alpha,\beta ,\gamma$ be the angles of $\triangle ABC$. a) Show that $cos^2\alpha +cos^2\beta +cos^2 \gamma =1-2cos\alpha cos\beta cos\gamma$ . b) Given that $cos\alpha : cos\beta : cos\gamma = 39 : 33 : 25$, find $sin\alpha : sin\beta : sin\gamma$ .

1969 IMO Longlists, 16

Tags: trigonometry , trigonometric identities , geometry , convex quadrilateral

$(CZS 5)$ A convex quadrilateral $ABCD$ with sides $AB = a, BC = b, CD = c, DA = d$ and angles $\alpha = \angle DAB, \beta = \angle ABC, \gamma = \angle BCD,$ and $\delta = \angle CDA$ is given. Let $s = \frac{a + b + c +d}{2}$ and $P$ be the area of the quadrilateral. Prove that $P^2 = (s - a)(s - b)(s - c)(s - d) - abcd \cos^2\frac{\alpha +\gamma}{2}$

1966 IMO Shortlist, 25

Tags: trigonometric identities , equation , trigonometry , algebra

Prove that \[\tan 7 30^{\prime }=\sqrt{6}+\sqrt{2}-\sqrt{3}-2.\]

1973 IMO Shortlist, 15

Tags: trigonometric identities , algebra , trigonometry , polynomial

Prove that for all $n \in \mathbb N$ the following is true: \[2^n \prod_{k=1}^n \sin \frac{k \pi}{2n+1} = \sqrt{2n+1}\]

1983 IMO Shortlist, 22

Tags: equation , trigonometric identities , trigonometric equation , trigonometry , number theory

Let $n$ be a positive integer having at least two different prime factors. Show that there exists a permutation $a_1, a_2, \dots , a_n$ of the integers $1, 2, \dots , n$ such that \[\sum_{k=1}^{n} k \cdot \cos \frac{2 \pi a_k}{n}=0.\]

1970 IMO Longlists, 8

Tags: geometry , trigonometry , polygon , trigonometric identities

Consider a regular $2n$-gon and the $n$ diagonals of it that pass through its center. Let $P$ be a point of the inscribed circle and let $a_1, a_2, \ldots , a_n$ be the angles in which the diagonals mentioned are visible from the point $P$. Prove that \[\sum_{i=1}^n \tan^2 a_i = 2n \frac{\cos^2 \frac{\pi}{2n}}{\sin^4 \frac{\pi}{2n}}.\]

1960 IMO, 3

Tags: trigonometry , geometry , circumcircle , trigonometric identities

In a given right triangle $ABC$, the hypotenuse $BC$, of length $a$, is divided into $n$ equal parts ($n$ and odd integer). Let $\alpha$ be the acute angel subtending, from $A$, that segment which contains the mdipoint of the hypotenuse. Let $h$ be the length of the altitude to the hypotenuse fo the triangle. Prove that: \[ \tan{\alpha}=\dfrac{4nh}{(n^2-1)a}. \]

1966 German National Olympiad, 5

Tags: trigonometry , equation , trigonometric identities , algebra

Prove that \[\tan 7 30^{\prime }=\sqrt{6}+\sqrt{2}-\sqrt{3}-2.\]

1983 IMO Longlists, 63

Tags: equation , trigonometric identities , trigonometric equation , trigonometry , number theory

Let $n$ be a positive integer having at least two different prime factors. Show that there exists a permutation $a_1, a_2, \dots , a_n$ of the integers $1, 2, \dots , n$ such that \[\sum_{k=1}^{n} k \cdot \cos \frac{2 \pi a_k}{n}=0.\]

1969 IMO Shortlist, 38

Tags: trigonometry , algebra , series summation , trigonometric identities

$(HUN 5)$ Let $r$ and $m (r \le m)$ be natural numbers and $Ak =\frac{2k-1}{2m}\pi$. Evaluate $\frac{1}{m^2}\displaystyle\sum_{k=1}^{m}\displaystyle\sum_{l=1}^{m}\sin(rA_k)\sin(rA_l)\cos(rA_k-rA_l)$

1967 IMO Shortlist, 5

Tags: algebra , trigonometry , triangle , trigonometric identities

Show that a triangle whose angles $A$, $B$, $C$ satisfy the equality \[ \frac{\sin^2 A + \sin^2 B + \sin^2 C}{\cos^2 A + \cos^2 B + \cos^2 C} = 2 \] is a rectangular triangle.

1966 IMO Longlists, 61

Tags: algebra , trigonometry , induction , trigonometric identities

Prove that for every natural number $n$, and for every real number $x \neq \frac{k\pi}{2^t}$ ($t=0,1, \dots, n$; $k$ any integer) \[ \frac{1}{\sin{2x}}+\frac{1}{\sin{4x}}+\dots+\frac{1}{\sin{2^nx}}=\cot{x}-\cot{2^nx} \]

1963 IMO, 5

Tags: trigonometry , trig identities , algebra , polynomial , trigonometric equation , trigonometric identities

Prove that $\cos{\frac{\pi}{7}}-\cos{\frac{2\pi}{7}}+\cos{\frac{3\pi}{7}}=\frac{1}{2}$

1979 IMO Longlists, 33

Tags: trigonometry , inequalities , inequality , geometric inequality , trigonometric identities

Show that $\frac{20}{60} <\sin 20^{\circ} < \frac{21}{60}.$

1970 IMO Shortlist, 1

Tags: geometry , polygon , trigonometric identities , trigonometry

Consider a regular $2n$-gon and the $n$ diagonals of it that pass through its center. Let $P$ be a point of the inscribed circle and let $a_1, a_2, \ldots , a_n$ be the angles in which the diagonals mentioned are visible from the point $P$. Prove that \[\sum_{i=1}^n \tan^2 a_i = 2n \frac{\cos^2 \frac{\pi}{2n}}{\sin^4 \frac{\pi}{2n}}.\]

1967 IMO Longlists, 28

Tags: trigonometry , calculus , parameterization , trigonometric identities , algebra

Find values of the parameter $u$ for which the expression \[y = \frac{ \tan(x-u) + \tan(x) + \tan(x+u)}{ \tan(x-u)\tan(x)\tan(x+u)}\] does not depend on $x.$

1974 IMO Shortlist, 9

Tags: trigonometry , equation , trigonometric identities , trigonometric substitution , algebra

Let $x, y, z$ be real numbers each of whose absolute value is different from $\frac{1}{\sqrt 3}$ such that $x + y + z = xyz$. Prove that \[\frac{3x - x^3}{1-3x^2} + \frac{3y - y^3}{1-3y^2} + \frac{3z -z^3}{1-3z^2} = \frac{3x - x^3}{1-3x^2} \cdot \frac{3y - y^3}{1-3y^2} \cdot \frac{3z - z^3}{1-3z^2}\]

1969 IMO Shortlist, 16

Tags: geometry , trigonometry , convex quadrilateral , trigonometric identities

$(CZS 5)$ A convex quadrilateral $ABCD$ with sides $AB = a, BC = b, CD = c, DA = d$ and angles $\alpha = \angle DAB, \beta = \angle ABC, \gamma = \angle BCD,$ and $\delta = \angle CDA$ is given. Let $s = \frac{a + b + c +d}{2}$ and $P$ be the area of the quadrilateral. Prove that $P^2 = (s - a)(s - b)(s - c)(s - d) - abcd \cos^2\frac{\alpha +\gamma}{2}$

1960 IMO Shortlist, 3

Tags: circumcircle , geometry , trigonometry , trigonometric identities

In a given right triangle $ABC$, the hypotenuse $BC$, of length $a$, is divided into $n$ equal parts ($n$ and odd integer). Let $\alpha$ be the acute angel subtending, from $A$, that segment which contains the mdipoint of the hypotenuse. Let $h$ be the length of the altitude to the hypotenuse fo the triangle. Prove that: \[ \tan{\alpha}=\dfrac{4nh}{(n^2-1)a}. \]

1966 IMO, 4

Tags: algebra , trigonometry , induction , trigonometric identities

Prove that for every natural number $n$, and for every real number $x \neq \frac{k\pi}{2^t}$ ($t=0,1, \dots, n$; $k$ any integer) \[ \frac{1}{\sin{2x}}+\frac{1}{\sin{4x}}+\dots+\frac{1}{\sin{2^nx}}=\cot{x}-\cot{2^nx} \]