返回题库

AIME 1990 · 第 10 题

AIME 1990 — Problem 10

专题
Contest Math
难度
L4
来源
AIME

题目详情

Problem

The sets A={z:z18=1}A = \{z : z^{18} = 1\} and B={w:w48=1}B = \{w : w^{48} = 1\} are both sets of complex roots of unity. The set C={zw:zA and wB}C = \{zw : z \in A ~ \text{and} ~ w \in B\} is also a set of complex roots of unity. How many distinct elements are in CC_{}^{}?

解析

Solution

Solution 1

The least common multiple of 1818 and 4848 is 144144, so define n=e2πi/144n = e^{2\pi i/144}. We can write the numbers of set AA as {n8,n16,n144}\{n^8, n^{16}, \ldots n^{144}\} and of set BB as {n3,n6,n144}\{n^3, n^6, \ldots n^{144}\}. nxn^x can yield at most 144144 different values. All solutions for zwzw will be in the form of n8k1+3k2n^{8k_1 + 3k_2}.

88 and 33 are relatively prime, and by the Chicken McNugget Theorem, for two relatively prime integers a,ba,b, the largest number that cannot be expressed as the sum of multiples of a,ba,b is ababa \cdot b - a - b. For 3,83,8, this is 1313; however, we can easily see that the numbers 145145 to 157157 can be written in terms of 3,83,8. Since the exponents are of roots of unities, they reduce mod144\mod{144}, so all numbers in the range are covered. Thus the answer is 144\boxed{144}.

Comment of S1

Using Chicken McNugget Theorem and the property of complex numbers for reasoning is sharp, but note that the Frobenius Number is only constrained to positive integer pairs. Please check on "Comment of S2" below to see how to use Diophantine equation to make a simple deduction. ~ Will_Dai

Solution 2

The 18 and 48th roots of 11 can be found by De Moivre's Theorem. They are cis(2πk118)\text{cis}\,\left(\frac{2\pi k_1}{18}\right) and cis(2πk248)\text{cis}\,\left(\frac{2\pi k_2}{48}\right) respectively, where cisθ=cosθ+isinθ\text{cis}\,\theta = \cos \theta + i \sin \theta and k1k_1 and k2k_2 are integers from 00 to 1717 and 00 to 4747, respectively.

zw=cis(πk19+πk224)=cis(8πk1+3πk272)zw = \text{cis}\,\left(\frac{\pi k_1}{9} + \frac{\pi k_2}{24}\right) = \text{cis}\,\left(\frac{8\pi k_1 + 3 \pi k_2}{72}\right). Since the trigonometric functions are periodic every 2π2\pi, there are at most 722=14472 \cdot 2 = \boxed{144} distinct elements in CC. As above, all of these will work.

Comment on S2

By the property of Diophantine equation, given a problem to find integers xx and yy so that ax+by=cax + by = c for some integer constants aa, bb, cc: if gcd(a,b)=1\gcd(a, b) = 1, then any arbitrary integer cc could by formed with some combination of integers (x,y)(x, y). Double checking the constraints of k1k_1 and k2k_2, we realize that all integers of [0,143][0, 143] can be formed by 8k1+3k28k_1 + 3k_2, yielding the answer of 144144. ~Will_Dai

Solution 3

The values in polar form will be (1,20x)(1, 20x) and (1,7.5x)(1, 7.5x). Multiplying these gives (1,27.5x)(1, 27.5x). Then, we get 27.527.5, 5555, 82.582.5, 110110, ...... up to 39603960 (lcm(55,360))    3960255=144(\text{lcm}(55,360)) \implies \frac{3960 \cdot 2}{55}=\boxed{144}.

Video Solution!

https://www.youtube.com/watch?v=hdamWTu_F94