Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Difference between revisions of "1977 IMO Problems/Problem 4"
 
(One intermediate revision by the same user not shown)
Line 3: Line 3:
  
 
==Solution==
 
==Solution==
−
<math> f(x) = 1-\sqrt{a^2+b^2}\sin (x+arctan\frac{a}{b}) - \sqrt{A^2+B^2}\sin (2x+arctan\frac{A}{B}) \geq 0</math>.
+
<math> f(x) = 1-\sqrt{a^2+b^2}\sin (x+\arctan\frac{a}{b}) - \sqrt{A^2+B^2}\sin (2x+\arctan\frac{A}{B}) \geq 0</math>.
−
<math> f(x+\pi) = 1+\sqrt{a^2+b^2}\sin (x+arctan\frac{a}{b}) - \sqrt{A^2+B^2}\sin (2x+arctan\frac{A}{B}) \geq 0</math>
+
<math> f(x+\pi) = 1+\sqrt{a^2+b^2}\sin (x+\arctan\frac{a}{b}) - \sqrt{A^2+B^2}\sin (2x+\arctan\frac{A}{B}) \geq 0</math>
  
−
Therefore, <math> \sqrt{A^2+B^2}\sin (2x+arctan\frac{A}{B}) \leq 1</math>. Since this identity is true for any real <math> x</math>, let the sine term be one, <math> \longrightarrow A^2+B^2 \leq 1</math>.
+
Therefore, <math> \sqrt{A^2+B^2}\sin (2x+\arctan\frac{A}{B}) \leq 1</math>. Since this identity is true for any real <math> x</math>, let the sine term be one, <math> \longrightarrow A^2+B^2 \leq 1</math>.
  
 
To get cancellation on the rightmost terms, note <math> \sin (x+\pi/2) = \cos x, \sin (x-\pi/2) = -\cos x</math>.
 
To get cancellation on the rightmost terms, note <math> \sin (x+\pi/2) = \cos x, \sin (x-\pi/2) = -\cos x</math>.
  
−
<math> f(x+\pi/4) = 1-\sqrt{a^2+b^2}\sin (x+\pi/4+arctan\frac{a}{b}) - \sqrt{A^2+B^2}\cos2x+arctan\frac{A}{B}) \geq 0</math>.
+
<math> f(x+\pi/4) = 1-\sqrt{a^2+b^2}\sin (x+\pi/4+\arctan\frac{a}{b}) - \sqrt{A^2+B^2}\cos2x+\arctan\frac{A}{B}) \geq 0</math>.
−
<math> f(x-\pi/4) = 1-\sqrt{a^2+b^2}\sin (x-\pi/4+arctan\frac{a}{b}) + \sqrt{A^2+B^2}\cos2x+arctan\frac{A}{B}) \geq 0</math>.
+
<math> f(x-\pi/4) = 1-\sqrt{a^2+b^2}\sin (x-\pi/4+\arctan\frac{a}{b}) + \sqrt{A^2+B^2}\cos2x+\arctan\frac{A}{B}) \geq 0</math>.
  
−
Let <math> x+arctan\frac{a}{b} = y</math>.
+
Let <math> x+\arctan\frac{a}{b} = y</math>.
 
Then <math> \sqrt{a^2+b^2}(\sin (y+\pi/4) + \sin (y-\pi/4)) \leq 2</math>
 
Then <math> \sqrt{a^2+b^2}(\sin (y+\pi/4) + \sin (y-\pi/4)) \leq 2</math>
 
<math>\sqrt{a^2+b^2} \leq \dfrac{2}{\sqrt{2}(\sin y)}</math>. Since it's valid for all real <math> x</math> let <math> \sin y = 1</math>, and we are done.
 
<math>\sqrt{a^2+b^2} \leq \dfrac{2}{\sqrt{2}(\sin y)}</math>. Since it's valid for all real <math> x</math> let <math> \sin y = 1</math>, and we are done.

Latest revision as of 15:48, 29 January 2021

Problem

Let $a,b,A,B$ be given reals. We consider the function defined by\[f(x) = 1 - a \cdot \cos(x) - b \cdot \sin(x) - A \cdot \cos(2x) - B \cdot \sin(2x).\]Prove that if for any real number $x$ we have $f(x) \geq 0$ then $a^2 + b^2 \leq 2$ and $A^2 + B^2 \leq 1.$

Solution

$f(x) = 1-\sqrt{a^2+b^2}\sin (x+\arctan\frac{a}{b}) - \sqrt{A^2+B^2}\sin (2x+\arctan\frac{A}{B}) \geq 0$. $f(x+\pi) = 1+\sqrt{a^2+b^2}\sin (x+\arctan\frac{a}{b}) - \sqrt{A^2+B^2}\sin (2x+\arctan\frac{A}{B}) \geq 0$

Therefore, $\sqrt{A^2+B^2}\sin (2x+\arctan\frac{A}{B}) \leq 1$. Since this identity is true for any real $x$, let the sine term be one, $\longrightarrow A^2+B^2 \leq 1$.

To get cancellation on the rightmost terms, note $\sin (x+\pi/2) = \cos x, \sin (x-\pi/2) = -\cos x$.

$f(x+\pi/4) = 1-\sqrt{a^2+b^2}\sin (x+\pi/4+\arctan\frac{a}{b}) - \sqrt{A^2+B^2}\cos2x+\arctan\frac{A}{B}) \geq 0$. $f(x-\pi/4) = 1-\sqrt{a^2+b^2}\sin (x-\pi/4+\arctan\frac{a}{b}) + \sqrt{A^2+B^2}\cos2x+\arctan\frac{A}{B}) \geq 0$.

Let $x+\arctan\frac{a}{b} = y$. Then $\sqrt{a^2+b^2}(\sin (y+\pi/4) + \sin (y-\pi/4)) \leq 2$ $\sqrt{a^2+b^2} \leq \dfrac{2}{\sqrt{2}(\sin y)}$. Since it's valid for all real $x$ let $\sin y = 1$, and we are done.

The above solution was posted and copyrighted by aznlord1337. The original thread for this problem can be found here: [1]

See Also

1977 IMO (Problems) • Resources
Preceded by
Problem 3 		1 • 2 • 3 • 4 • 5 • 6 Followed by
Problem 5
All IMO Problems and Solutions
Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=1977_IMO_Problems/Problem_4&oldid=143950"