Maths Olympiad Prep

Library / /304 of 520

Algebra Difficulty 3.4 AMC 10/12 Find the answer

Define the "companion function" of a non-zero vector OM=(a,b)\overrightarrow {OM} = (a, b) as f(x)=asinx+bcosxf(x) = a\sin x + b\cos x (xRx \in \mathbb{R}), and the vector OM=(a,b)\overrightarrow {OM} = (a, b) is called the "companion vector" of the function f(x)=asinx+bcosxf(x) = a\sin x + b\cos x (xRx \in \mathbb{R}), where OO is the origin of coordinates. Denote the set of all vectors' "companion functions" in the plane as SS.
(1) Let h(x)=3cos(x+π6)+3cos(π3x)h(x) = \sqrt{3}\cos(x + \frac{\pi}{6}) + 3\cos(\frac{\pi}{3} - x) (xRx \in \mathbb{R}), please determine whether the function h(x)h(x) has a companion vector OM\overrightarrow {OM}. If it exists, find the collinear unit vector with OM\overrightarrow {OM}; if not, please explain why.
(2) Given a point M(a,b)M(a, b) satisfying ba(0,3]\frac{b}{a} \in (0, \sqrt{3}], the "companion function" f(x)f(x) of the vector OM\overrightarrow {OM} attains its maximum value at x=x0x = x_0, find the range of values for tan2x0\tan 2x_0.

A number or a short expression. Spacing and $ signs are ignored.

Solution

Solution:
(1) h(x)=3cos(x+π6)+3cos(π3x)=3cos(x+π6)+3cos[π2(x+π6)]=3cos(x+π6)+3sin(x+π6)h(x) = \sqrt{3}\cos(x + \frac{\pi}{6}) + 3\cos(\frac{\pi}{3} - x) = \sqrt{3}\cos(x + \frac{\pi}{6}) + 3\cos[\frac{\pi}{2} - (x + \frac{\pi}{6})] = \sqrt{3}\cos(x + \frac{\pi}{6}) + 3\sin(x + \frac{\pi}{6}),
Therefore, the function h(x)h(x) has a companion vector OM=(3,3)\overrightarrow {OM} = (3, \sqrt{3}),
Therefore, the collinear unit vector with OM\overrightarrow {OM} is (32,12)\left( \frac{\sqrt{3}}{2}, \frac{1}{2} \right).
(2) The companion function f(x)f(x) of OM\overrightarrow {OM} is f(x)=asinx+bcosx=a2+b2sin(x+φ)f(x) = a\sin x + b\cos x = \sqrt{a^2 + b^2}\sin(x + \varphi),
where cosφ=aa2+b2\cos\varphi = \frac{a}{\sqrt{a^2 + b^2}}, sinφ=ba2+b2\sin\varphi = \frac{b}{\sqrt{a^2 + b^2}}
When x+φ=2kπ+π2x + \varphi = 2k\pi + \frac{\pi}{2}, kZk \in \mathbb{Z}, i.e., x0=2kπ+π2φx_0 = 2k\pi + \frac{\pi}{2} - \varphi, kZk \in \mathbb{Z}, f(x)f(x) attains its maximum value,
Therefore, tanx0=tan(2kπ+π2φ)=cotφ=ab\tan x_0 = \tan(2k\pi + \frac{\pi}{2} - \varphi) = \cot\varphi = \frac{a}{b},
Therefore, tan2x0=2tanx01tan2x0=2×ab1(ab)2=2baab\tan 2x_0 = \frac{2\tan x_0}{1 - \tan^2 x_0} = \frac{2 \times \frac{a}{b}}{1 - (\frac{a}{b})^2} = \frac{2}{\frac{b}{a} - \frac{a}{b}}.
Let m=bam = \frac{b}{a},
then tan2x0=2m1m\tan 2x_0 = \frac{2}{m - \frac{1}{m}}, m[0,3]m \in [0, \sqrt{3}],
Therefore, 1m33\frac{1}{m} \geq \frac{\sqrt{3}}{3},
Therefore, 1m33- \frac{1}{m} \leq - \frac{\sqrt{3}}{3},
Therefore, m1m(0,233]m - \frac{1}{m} \in (0, \frac{2\sqrt{3}}{3}],
Therefore, tan2x0(,0)[3,+)\tan 2x_0 \in (-\infty, 0) \cup \left[\sqrt{3}, +\infty\right).

Thus, the final answers are:
(1) The collinear unit vector with OM\overrightarrow {OM} is (32,12)\boxed{\left( \frac{\sqrt{3}}{2}, \frac{1}{2} \right)}.
(2) The range of values for tan2x0\tan 2x_0 is (,0)[3,+)\boxed{(-\infty, 0) \cup \left[\sqrt{3}, +\infty\right)}.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.