Difference between revisions of "2019 AIME II Problems/Problem 10"
m (→Solution 2) |
(small tweaks) |
||
Line 3: | Line 3: | ||
==Solution 1== | ==Solution 1== | ||
− | Note that if <math>\tan \theta</math> is positive, then <math>\theta</math> is in the first or third quadrant, so <math>0^{\circ} < \theta < 90^{\circ} \pmod{180^{\circ}}</math>. Also notice that the only way <math>\tan{\left(2^{n}\theta\right)}</math> can be positive for all <math>n</math> that are multiples of <math>3</math> is when <math>2^0\theta, 2^3\theta, 2^6\theta</math>, etc. are all the same value <math>\pmod{180^{\circ}}</math>. This | + | Note that if <math>\tan \theta</math> is positive, then <math>\theta</math> is in the first or third quadrant, so <math>0^{\circ} < \theta < 90^{\circ} \pmod{180^{\circ}}</math>. Also notice that the only way <math>\tan{\left(2^{n}\theta\right)}</math> can be positive for all <math>n</math> that are multiples of <math>3</math> is when <math>2^0\theta, 2^3\theta, 2^6\theta</math>, etc. are all the same value <math>\pmod{180^{\circ}}</math>. (This also must be true in order for <math>\theta</math> to be unique.) This is the case if <math>8\theta = \theta \pmod{180^{\circ}}</math>, so <math>7\theta = 0^{\circ} \pmod{180^{\circ}}</math>. Therefore, the only possible values of <math>\theta</math> between <math>0^{\circ}</math> and <math>90^{\circ}</math> are <math>\frac{180}{7}^{\circ}</math>, <math>\frac{360}{7}^{\circ}</math>, and <math>\frac{540}{7}^{\circ}</math>. |
+ | |||
+ | <math>\frac{180}{7}^{\circ}</math> does not work since <math>\tan{2 \cdot \frac{180}{7}^{\circ}}</math> is positive, and <math>\frac{360}{7}^{\circ}</math> does not work because <math>\tan{4 \cdot \frac{360}{7}^{\circ}}</math> is positive. Thus, <math>\theta = \frac{540}{7}^{\circ}</math>, and a quick check verifies that it works. <math>540 + 7 = \boxed{547}</math>. | ||
==Solution 2== | ==Solution 2== |
Revision as of 19:09, 4 June 2020
Problem 10
There is a unique angle between
and
such that for nonnegative integers
, the value of
is positive when
is a multiple of
, and negative otherwise. The degree measure of
is
, where
and
are relatively prime integers. Find
.
Solution 1
Note that if is positive, then
is in the first or third quadrant, so
. Also notice that the only way
can be positive for all
that are multiples of
is when
, etc. are all the same value
. (This also must be true in order for
to be unique.) This is the case if
, so
. Therefore, the only possible values of
between
and
are
,
, and
.
does not work since
is positive, and
does not work because
is positive. Thus,
, and a quick check verifies that it works.
.
Solution 2
As in the previous solution, we note that is positive when
is in the first or third quadrant. In order for
to be positive for all
divisible by
, we must have
,
,
, etc to lie in the first or third quadrants. We already know that
. We can keep track of the range of
for each
by considering the portion in the desired quadrants, which gives
at which point we realize a pattern emerging. Specifically, the intervals repeat every
after
. We can use these repeating intervals to determine the desired value of
since the upper and lower bounds will converge to such a value (since it is unique, as indicated in the problem). Let's keep track of the lower bound.
Initially, the lower bound is (at
), then increases to
at
. This then becomes
at
,
at
,
at
,
at
. Due to the observed pattern of the intervals, the lower bound follows a partial geometric series. Hence, as
approaches infinity, the lower bound converges to
-ktong
Solution 3
Since ,
. Since
,
has to be in the second half of the interval (0, 90) ie (45, 90). Since
,
has to be in the second half of that interval ie (67.5, 90). And since
,
has to be in the first half of (67.5, 90). Inductively, the pattern repeats:
is in the first half of the second half of the second half of the first half of the second half of the second half... of the interval (0, 90). Consider the binary representation of numbers in the interval (0, 1). Numbers in the first half of the interval start with 0.0... and numbers in the second half start with 0.1... . Similarly, numbers in the second half of the second half start with 0.11... etc. So if we want a number in the first half of the second half of the second half... of the interval, we want its binary representation to be
. So we want the number which is 6/7 of the way through the interval (0, 90) so
and
Solution 4
With some simple arithmetic and guess and check, we can set the lower bound and upper bounds for the "first round of powers of two", which are
and
. Going on to the "second round of
powers of two, we set the new lower and upper bounds as
and
using some guess and check and bashing. Now, it is obvious that the bounds for the "zeroth round of
powers of two" are
and
, and notice that
and
and
.
This is obviously a geometric series, so setting
as
, we obtain
=
=
=
which simplifies to
. We can now finally subtract
from
and then we get
as the unique angle, so
is our answer.
-fidgetboss_4000
See Also
2019 AIME II (Problems • Answer Key • Resources) | ||
Preceded by Problem 9 |
Followed by Problem 11 | |
1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 • 9 • 10 • 11 • 12 • 13 • 14 • 15 | ||
All AIME Problems and Solutions |
The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions.