返回题库

AIME 2000 II · 第 15 题

AIME 2000 II — Problem 15

专题
Contest Math
难度
L4
来源
AIME

题目详情

Problem

Find the least positive integer nn such that

1sin45sin46+1sin47sin48++1sin133sin134=1sinn.\frac 1{\sin 45^\circ\sin 46^\circ}+\frac 1{\sin 47^\circ\sin 48^\circ}+\cdots+\frac 1{\sin 133^\circ\sin 134^\circ}=\frac 1{\sin n^\circ}.
解析

Solution 1

We apply the identity

1sinnsin(n+1)=1sin1sin(n+1)cosnsinncos(n+1)sinnsin(n+1)=1sin1(cosnsinncos(n+1)sin(n+1))=1sin1(cotncot(n+1)).\begin{aligned} \frac{1}{\sin n \sin (n+1)} &= \frac{1}{\sin 1} \cdot \frac{\sin (n+1) \cos n - \sin n \cos (n+1)}{\sin n \sin (n+1)} \\ &= \frac{1}{\sin 1} \cdot \left(\frac{\cos n}{\sin n} - \frac{\cos (n+1)}{\sin (n+1)}\right) \\ &= \frac{1}{\sin 1} \cdot \left(\cot n - \cot (n+1)\right). \end{aligned} The motivation for this identity arises from the need to decompose those fractions, possibly into telescoping.

Thus our summation becomes

k=23671sin(2k1)sin2k=1sin1(cot45cot46+cot47+cot133cot134).\sum_{k=23}^{67} \frac{1}{\sin (2k-1) \sin 2k} = \frac{1}{\sin 1} \left(\cot 45 - \cot 46 + \cot 47 - \cdots + \cot 133 - \cot 134 \right). Since cot(180x)=cotx\cot (180 - x) = - \cot x, the summation simply reduces to 1sin1(cot45cot90)=10sin1=1sin1\frac{1}{\sin 1} \cdot \left( \cot 45 - \cot 90 \right) = \frac{1 - 0}{\sin 1} = \frac{1}{\sin 1^{\circ}}. Therefore, the answer is 001\boxed{001}.

Solution 2

We can make an approximation by observing the following points:

The average term is around the 60's which gives 43\frac{4}{3}.

There are 45 terms, so the approximate sum is 60.

Therefore, sin(n)\sin(n^\circ) equals approximately 160\frac{1}{60}.

Recall that the approximation of sin(x)\sin(x) in radians is x if x is close to zero. In this case x is close to zero. Converting to radians we see that sin(1)\sin(1) in degrees is about sin157\frac{1}{57} in radians, or is about 157\frac{1}{57} because of the approximation. What we want is apparently close to that so we make the guess that n is equal to 1 degree. Basically, it boils down to the approximation of sin(1)=160\sin(1)=\frac{1}{60} in degrees, convert to radians and use the small angle approximation sin(x)=x\sin(x)=x.

~edited for clarity by fermat_sLastAMC

Solution 3 (Alternate Finish)

Let S be the sum of the sequence. We begin the same as in Solution 1 to get Ssin(1)=cot(45)cot(46)+cot(47)cot(48)+...+cot(133)cot(134)S\sin(1)=\cot(45)-\cot(46)+\cot(47)-\cot(48)+...+\cot(133)-\cot(134). Observe that this "almost telescopes," if only we had some extra terms. Consider adding the sequence 1sin(46)sin(47)+1sin(48)sin(49)+...+1sin(134)sin(135)\frac{1}{\sin(46)\sin(47)}+\frac{1}{\sin(48)\sin(49)}+...+\frac{1}{\sin(134)\sin(135)}. By the identity sin(x)=sin(180x)\sin(x)=\sin(180-x), this sequence is equal to the original one, simply written backwards. By the same logic as before, we may rewrite this sequence as Ssin(1)=cot(46)cot(47)+cot(48)cot(49)+...+cot(134)cot(135)S\sin(1)=\cot(46)-\cot(47)+\cot(48)-\cot(49)+...+\cot(134)-\cot(135), and when we add the two sequences, they telescope to give 2Ssin(1)=cot(45)cot(135)=22S\sin(1)=\cot(45)-\cot(135)=2. Hence, S=1sin(1)S=\frac{1}{\sin(1^\circ)}, and our angle is 001\boxed{001}.

~keeper1098

Solution 4

First, multiply sinn\sin n^{\circ} on both sides.

sinnsinmsin(m+1)=sin(k+nk)sinmsin(m+1)=sin(k+n)cosksinkcos(k+n)sinmsin(m+1)\begin{aligned} \frac{\sin n^\circ}{\sin m^\circ \sin (m+1)^\circ} &= \frac{\sin (k+n-k)^\circ}{\sin m^\circ \sin (m+1)^\circ} \\ &= \frac{\sin (k+n)^\circ \cos k^\circ - \sin k^\circ \cos (k+n)^\circ}{\sin m^\circ \sin (m+1)^\circ} \end{aligned} Let k=mk = m since kk is could be any number.

 sin(k+n)cosksinmsin(m+1)sinkcos(k+n)sinmsin(m+1)=sin(m+n)cosmsinmsin(m+1)sinmcos(m+n)sinmsin(m+1)\begin{aligned} &\quad \ \frac{\sin (k+n)^\circ \cos k^\circ}{\sin m^\circ \sin (m+1)^\circ} - \frac{\sin k^\circ \cos (k+n)^\circ}{\sin m^\circ \sin (m+1)^\circ} \\[0.5em] &=\frac{\sin (m+n)^\circ \cos m^\circ}{\sin m^\circ \sin (m+1)^\circ} - \frac{\sin m^\circ \cos (m+n)^\circ}{\sin m^\circ \sin (m+1)^\circ} \end{aligned}

Lemma

$n$ is equal to $1$.

Proof

=sin(m+1)cosmsinmsin(m+1)sinmcos(m+1)sinmsin(m+1)=cosmsinmcos(m+1)sin(m+1)=cotmcot(m+1)\begin{aligned} &=\frac{\sin (m+1)^\circ \cos m^\circ}{\sin m^\circ \sin (m+1)^\circ} - \frac{\sin m^\circ \cos (m+1)^\circ}{\sin m^\circ \sin (m+1)^\circ} \\[0.5em] &=\frac{\cos m^\circ}{\sin m^\circ} - \frac{\cos (m+1)^\circ}{\sin (m+1)^\circ} \\[0.5em] &= \cot m^\circ - \cot (m+1)^\circ \end{aligned} The sum of all numbers could be written. Moreover, notice that cotα+cotβ=0\cot\alpha + \cot\beta = 0 if α+β=180\alpha + \beta = 180^\circ.

 cot45cot46+cot47cot48+cot132+cot133cot134=(cot45+cot47++cot89+cot91++cot133)(cot46++cot88+cot90+cot92++cot134)=cot45cot90=1\begin{aligned} &\quad \ \cot 45^\circ - \cot 46^\circ + \cot 47^\circ - \cot 48^\circ + \cdots - \cot 132^\circ + \cot 133^\circ - \cot 134^\circ \\ &= (\cot 45^\circ + \cot 47^\circ + \cdots + \cot 89^\circ + \cot 91^\circ + \dots + \cot 133^\circ) \\ &\qquad\qquad\qquad\qquad\qquad\qquad - (\cot 46^\circ + \dots + \cot 88^\circ + \cot 90^\circ + \cot 92^\circ + \dots + \cot 134^\circ) \\ &= \cot 45^\circ - \cot 90^\circ \\ &= 1 \end{aligned} Because 1=11 = 1, the lemma is true.

Q.E.D.

nn could be 1. Moreover, there are no smaller positive integer less than 1 to test. Thus, the least positive integer nn that satisfies the given condition is 001\boxed{001}.

~MaPhyCom