MathDB
Problems
Contests
International Contests
IMO Longlists
1985 IMO Longlists
24
24
Part of
1985 IMO Longlists
Problems
(1)
Inequality with sine
Source:
9/13/2010
Let
d
≥
1
d \geq 1
d
≥
1
be an integer that is not the square of an integer. Prove that for every integer
n
≥
1
,
n \geq 1,
n
≥
1
,
(
n
d
+
1
)
⋅
∣
sin
(
n
π
d
)
∣
≥
1
(n \sqrt d +1) \cdot | \sin(n \pi \sqrt d )| \geq 1
(
n
d
+
1
)
⋅
∣
sin
(
nπ
d
)
∣
≥
1
inequalities
trigonometry
inequalities unsolved
algebra