Maths Olympiad Prep

Library / HMMT February /1041 of 1302

HMMT February

Algebra Difficulty 5.6 AIME, harder Find the answer

Compute ∑a1=0∞∑a2=0∞⋯∑a7=0∞a1+a2+⋯+a73a1+a2+⋯+a7 \sum_{a_{1}=0}^{\infty} \sum_{a_{2}=0}^{\infty} \cdots \sum_{a_{7}=0}^{\infty} \frac{a_{1}+a_{2}+\cdots+a_{7}}{3^{a_{1}+a_{2}+\cdots+a_{7}}}

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

Note that, since this is symmetric in a1a_{1} through a7a_{7}, ∑a1=0∞∑a2=0∞⋯∑a7=0∞a1+a2+⋯+a73a1+a2+⋯+a7=7∑a1=0∞∑a2=0∞⋯∑a7=0∞a13a1+a2+⋯+a7=7(∑a1=0∞a13a1)(∑a=0∞13a)6 \sum_{a_{1}=0}^{\infty} \sum_{a_{2}=0}^{\infty} \cdots \sum_{a_{7}=0}^{\infty} \frac{a_{1}+a_{2}+\cdots+a_{7}}{3^{a_{1}+a_{2}+\cdots+a_{7}}} =7 \sum_{a_{1}=0}^{\infty} \sum_{a_{2}=0}^{\infty} \cdots \sum_{a_{7}=0}^{\infty} \frac{a_{1}}{3^{a_{1}+a_{2}+\cdots+a_{7}}} =7\left(\sum_{a_{1}=0}^{\infty} \frac{a_{1}}{3^{a_{1}}}\right)\left(\sum_{a=0}^{\infty} \frac{1}{3^{a}}\right)^{6} If S=∑a3aS=\sum \frac{a}{3^{a}}, then 3S−S=∑13a=3/23 S-S=\sum \frac{1}{3^{a}}=3 / 2, so S=3/4S=3 / 4. It follows that the answer equals 7⋅34⋅(32)6=153092567 \cdot \frac{3}{4} \cdot\left(\frac{3}{2}\right)^{6}=\frac{15309}{256}. Alternatively, let f(z)=∑a1=0∞∑a2=0∞⋯∑a7=0∞za1+a2+⋯+a7f(z)=\sum_{a_{1}=0}^{\infty} \sum_{a_{2}=0}^{\infty} \cdots \sum_{a_{7}=0}^{\infty} z^{a_{1}+a_{2}+\cdots+a_{7}}. Note that we can rewrite f(z)=(∑a=0∞za)7=1(1−z)7f(z)=\left(\sum_{a=0}^{\infty} z^{a}\right)^{7}=\frac{1}{(1-z)^{7}}. Furthermore, note that zf′(z)=∑a1=0∞∑a2=0∞⋯∑a7=0∞(a1+a2+⋯+a7)za1+a2+⋯+a7z f^{\prime}(z)=\sum_{a_{1}=0}^{\infty} \sum_{a_{2}=0}^{\infty} \cdots \sum_{a_{7}=0}^{\infty}\left(a_{1}+a_{2}+\cdots+\right. \left.a_{7}\right) z^{a_{1}+a_{2}+\cdots+a_{7}}, so the sum in question is simply f′(1/3)3\frac{f^{\prime}(1 / 3)}{3}. Since f′(x)=7(1−z)8f^{\prime}(x)=\frac{7}{(1-z)^{8}}, it follows that the sum is equal to 7⋅3728=15309256\frac{7 \cdot 3^{7}}{2^{8}}=\frac{15309}{256}.

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

Source: Omni-MATH, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.