There are exactly $77{,}000$ ordered quadruples $(a,b,c,d)$ such that $\gcd(a,b,c,d)=77$ and $\operatorname{lcm}(a,b,c,d)=n$. What is the smallest possible value of $n$?
恰好有 $77{,}000$ 个有序四元组 $(a,b,c,d)$ 满足 $\gcd(a,b,c,d)=77$ 且 $\operatorname{lcm}(a,b,c,d)=n$。问 $n$ 的最小可能值是多少?
Answer (D): Note that $\gcd(a,b,c,d)=77$ and $\operatorname{lcm}(a,b,c,d)=n$ if and only if $\gcd\!\left(\frac{a}{77},\frac{b}{77},\frac{c}{77},\frac{d}{77}\right)=1$ and $\operatorname{lcm}\!\left(\frac{a}{77},\frac{b}{77},\frac{c}{77},\frac{d}{77}\right)=\frac{n}{77}$. Thus there are $77{,}000$ ordered quadruples $(a,b,c,d)$ such that $\gcd(a,b,c,d)=1$ and $\operatorname{lcm}(a,b,c,d)=\frac{n}{77}$.
Let $m=\frac{n}{77}$ and suppose that $p$ is a prime that divides $m$. Let $A=A(p)$, $B=B(p)$, $C=C(p)$, $D=D(p)$, and $M=M(p)\ge1$ be the exponents of $p$ such that $p^A$, $p^B$, $p^C$, $p^D$, and $p^M$ are the largest powers of $p$ that divide $a$, $b$, $c$, $d$, and $m$, respectively. The gcd and lcm requirements are equivalent to $\min(A,B,C,D)=0$ and $\max(A,B,C,D)=M$. For a fixed value of $M$, there are $(M+1)^4$ quadruples $(A,B,C,D)$ with each entry in $\{0,1,\ldots,M\}$. There are $M^4$ of them for which $\min(A,B,C,D)\ge1$, and also $M^4$ of them such that $\max(A,B,C,D)\le M-1$. Finally, there are $(M-1)^4$ quadruples $(A,B,C,D)$ such that $\min(A,B,C,D)\ge1$ and $\max(A,B,C,D)\le M-1$. Thus the number of quadruples such that $\min(A,B,C,D)=0$ and $\max(A,B,C,D)=M$ is equal to
$$(M+1)^4-2M^4+(M-1)^4=12M^2+2=2(6M^2+1).$$
Multiplying these quantities over all primes that divide $m$ yields the total number of quadruples $(a,b,c,d)$ with the required properties. Thus
$$77{,}000=2^3\cdot5^3\cdot7\cdot11=\prod_{p\mid m}2\bigl(6(M(p))^2+1\bigr).$$
Note that $6(M(p))^2+1$ is odd and this product must contain three factors of $2$, so there must be exactly three primes that divide $m$. Let $p_1$, $p_2$, and $p_3$ be these primes. Note that $6\cdot1^2+1=7$, $6\cdot2^2+1=5^2$, and $6\cdot3^2+1=5\cdot11$. None of these could appear as a factor more than once because $77{,}000$ is not divisible by $7^2$, $5^4$, or $11^2$. Moreover, the product of these three is equal to $5^3\cdot7\cdot11$. All other factors of the form $6M^2+1$ are greater than these three, so without loss of generality the only solution is $M(p_1)=1$, $M(p_2)=2$, and $M(p_3)=3$. It follows that $m=p_1^1p_2^2p_3^3$, and the smallest value of $m$ occurs when $p_1=5$, $p_2=3$, and $p_3=2$. Therefore the smallest possible values of $m$ and $n$ are $5\cdot3^2\cdot2^3=360$ and $77(5\cdot3^2\cdot2^3)=27{,}720$, respectively.
答案(D):注意当且仅当 $\gcd\!\left(\frac{a}{77},\frac{b}{77},\frac{c}{77},\frac{d}{77}\right)=1$ 且 $\operatorname{lcm}\!\left(\frac{a}{77},\frac{b}{77},\frac{c}{77},\frac{d}{77}\right)=\frac{n}{77}$ 时,有 $\gcd(a,b,c,d)=77$ 且 $\operatorname{lcm}(a,b,c,d)=n$。因此,满足 $\gcd(a,b,c,d)=1$ 且 $\operatorname{lcm}(a,b,c,d)=\frac{n}{77}$ 的有序四元组 $(a,b,c,d)$ 一共有 $77{,}000$ 个。
令 $m=\frac{n}{77}$,并设 $p$ 是整除 $m$ 的一个素数。令 $A=A(p)$、$B=B(p)$、$C=C(p)$、$D=D(p)$、$M=M(p)\ge1$ 为 $p$ 的指数,使得 $p^A,p^B,p^C,p^D,p^M$ 分别是整除 $a,b,c,d,m$ 的最大 $p$ 的幂。则 gcd 与 lcm 的条件等价于 $\min(A,B,C,D)=0$ 且 $\max(A,B,C,D)=M$。对固定的 $M$,每个分量取自 $\{0,1,\ldots,M\}$ 的四元组 $(A,B,C,D)$ 共有 $(M+1)^4$ 个。其中满足 $\min(A,B,C,D)\ge1$ 的有 $M^4$ 个;满足 $\max(A,B,C,D)\le M-1$ 的也有 $M^4$ 个;同时满足 $\min(A,B,C,D)\ge1$ 且 $\max(A,B,C,D)\le M-1$ 的有 $(M-1)^4$ 个。因此满足 $\min(A,B,C,D)=0$ 且 $\max(A,B,C,D)=M$ 的个数为
$$(M+1)^4-2M^4+(M-1)^4=12M^2+2=2(6M^2+1).$$
把这些数量对所有整除 $m$ 的素数相乘,就得到满足要求的四元组 $(a,b,c,d)$ 的总数。因此
$$77{,}000=2^3\cdot5^3\cdot7\cdot11=\prod_{p\mid m}2\bigl(6(M(p))^2+1\bigr).$$
注意 $6(M(p))^2+1$ 是奇数,而该乘积必须包含三个因子 $2$,所以整除 $m$ 的素数恰好有三个。设它们为 $p_1,p_2,p_3$。又有 $6\cdot1^2+1=7$,$6\cdot2^2+1=5^2$,$6\cdot3^2+1=5\cdot11$。这些因子不可能重复出现,否则将导致 $77{,}000$ 可被 $7^2$、$5^4$ 或 $11^2$ 整除,这不成立。此外,这三个数的乘积等于 $5^3\cdot7\cdot11$。所有形如 $6M^2+1$ 的其他因子都大于这三个,因此不失一般性,唯一解为 $M(p_1)=1$、$M(p_2)=2$、$M(p_3)=3$。从而 $m=p_1^1p_2^2p_3^3$,且当 $p_1=5,p_2=3,p_3=2$ 时 $m$ 取最小值。因此 $m$ 与 $n$ 的最小可能值分别为 $5\cdot3^2\cdot2^3=360$ 与 $77(5\cdot3^2\cdot2^3)=27{,}720$。