Auswertung von ∑(a,b,c)∈T2a3b5c∑(a,b,c)∈T2a3b5c\sum_{(a,b,c)\in T}\frac{2^a}{3^b 5^c} , für TTT die Menge aller positiven ganzzahligen Tripel (a,b,c)(a,b,c)(a,b,c), die ein Dreieck bilden

Die Hauptschwierigkeiten dieses Problems sind die Behandlung der Dreiecksungleichungen:

$$a+b > c, b+c > a, c+a > b$$ Die Schönheit der Ravi-Substitution (erwähnt von @maveric im Kommentar) $$a = v + w, b = u + w, c = u + v$$ steht unter Ravi-Ersatz,

$a, b, c$erfüllt die Dreiecksungleichungen genau dann, wenn$u,v,w$sind positive Zahlen.

Will man alle ganzzahligen Kombinationen von durchlaufen$a,b,c$die ein Dreieck ergeben, man läuft einfach$u,v,w$durch alle positiven ganzzahligen Kombinationen oder positiven halbzahligen Kombinationen

$$(u,v,w) = \text{ one of }\begin{cases} (i+1, j+1, k+1 )\\ \\ (i+\frac12+i,j+\frac12,k+\frac12) \end{cases} \quad\text{ for }i,j, k\in \mathbb{N}$$

Dies verwandelt die schreckliche Summe in eine geometrische Reihe.

$$\begin{align} \sum\limits_{(a,b,c)\,\in\,T}\;\frac{2^a}{3^b 5^c} = &\left(\frac{2^2}{15^2} + \frac{2}{15}\right)\sum_{i=0}^\infty\sum_{j=0}^\infty\sum_{k=0}^\infty \frac{2^{j+k}}{3^{i+k}5^{i+j}}\\ = & \frac{34}{225}\sum_{i=0}^\infty \left(\frac{1}{15}\right)^i \sum_{j=0}^\infty \left(\frac{2}{5}\right)^j \sum_{k=0}^\infty \left(\frac{2}{3}\right)^k\\ = &\frac{34}{225}\left(\frac{1}{1 - \frac{1}{15}}\right) \left(\frac{1}{1 - \frac{2}{5}}\right)\left(\frac{1}{1 - \frac{2}{3}}\right)\\ = & \frac{17}{21} \end{align}$$

Naive Lösung

Beachten Sie, dass$(a,b,c)\in\mathbb{Z}_{>0}^3$ist in$T$iff$|b-c|<a<b+c$. Daher, wenn

$$S(p,q,r):=\sum_{(a,b,c)\in T}\,p^aq^br^c\,,$$ Wo$p,q,r\in\mathbb{C}$mit$|qr|<1$,$|rp|<1$, Und$|pq|<1$, Dann $$S(p,q,r)=\sum_{b=1}^\infty\,q^b\,\sum_{c=1}^\infty\,r^c\,\sum_{a=|b-c|+1}^{b+c-1}\,p^a\,.$$ Ohne Beschränkung der Allgemeinheit können wir davon ausgehen$p\neq \pm 1$. Das ist, $$S(p,q,r)=\sum_{b=1}^\infty\,q^b\,\sum_{c=1}^\infty\,r^c\,\left(\frac{p^{|b-c|+1}-p^{b+c}}{1-p}\right)\,.$$ Folglich $$S(p,q,r)=\small\frac{1}{1-p}\,\left(p\sum_{b=1}^\infty\,(qr)^b\,\sum_{c={b}}^\infty\,(pr)^{c-b}+p\,\sum_{b=1}^\infty\,(qr)^b\,\sum_{c=1}^{b-1}\,\left(\frac{p}{r}\right)^{b-c}-\sum_{b=1}^\infty\,(pq)^b\,\sum_{c=1}^\infty\,(pr)^c\right)\,.\tag{*}$$ Wenn$p\neq r$, Dann $$S(p,q,r)=\small\frac{1}{1-p}\,\Biggl(p\,\left(\frac{qr}{1-qr}\right)\,\left(\frac{1}{1-pr}\right)+p\,\sum_{b=1}^\infty\,(qr)^b\,\frac{\frac{p}{r}-\left(\frac{p}{r}\right)^{b}}{1-\frac{p}{r}}-\left(\frac{pq}{1-pq}\right)\,\left(\frac{pr}{1-pr}\right)\Biggr)\,.$$ Ergo, z$p\neq r$, wir haben $$\begin{align}S(p,q,r)&=\frac{1}{1-p}\,\Biggl(p\,\left(\frac{qr}{1-qr}\right)\,\left(\frac{1}{1-pr}\right)+p\,\left(\frac{\frac{p}{r}}{1-\frac{p}{r}}\right)\,\left(\frac{qr}{1-qr}\right)\\&\phantom{aaaaa}-p\,\left(\frac{1}{1-\frac{p}{r}}\right)\,\left(\frac{pq}{1-pq}\right)-\left(\frac{pq}{1-pq}\right)\,\left(\frac{pr}{1-pr}\right)\Biggr)\,.\end{align}$$ Wenn wir den Ausdruck vereinfachen, erhalten wir $$S(p,q,r)=\frac{pqr\,(1+pqr)}{(1-qr)\,(1-rp)\,(1-pq)}\tag{#}$$ Wenn$p\neq r$..

Wenn$p=r$, dann können Sie die Kontinuität verwenden, um zu schließen, dass (#) gilt. Alternativ haben wir von (*)

$$S(p,q,p)=\small\frac{1}{1-p}\,\left(p\sum_{b=1}^\infty\,(pq)^b\,\sum_{c={b}}^\infty\,(p^2)^{c-b}+p\,\sum_{b=1}^\infty\,(b-1)\,(pq)^b-\sum_{b=1}^\infty\,(pq)^b\,\sum_{c=1}^\infty\,(p^2)^c\right)\,.$$ Das ist, $$S(p,q,p)=\small\frac{1}{1-p}\,\Biggl(p\,\left(\frac{pq}{1-pq}\right)\,\left(\frac{1}{1-p^2}\right)+p\,\left(\frac{pq}{1-pq}\right)^2-\left(\frac{pq}{1-pq}\right)\,\left(\frac{p^2}{1-p^2}\right)\Biggr)\,.$$ Beim Vereinfachen erhalten wir $$S(p,q,p)=\frac{p^2q\,(1+p^2q)}{(1-p^2)\,(1-pq)^2}\,,$$ was mit (#) übereinstimmt.

Nun, in diesem speziellen Problem,$p=2$,$q=\dfrac{1}{3}$, Und$r=\dfrac{1}{5}$. Daher durch (#),

$$S\left(2,\frac13,\frac15\right)=\frac{17}{21}\,.$$ Ich war versucht, Ravis Substitutionen zu verwenden, wollte aber veranschaulichen, dass ein direkter Ansatz nicht so schlecht ist.

$\newcommand{\bbx}[1]{\,\bbox[15px,border:1px groove navy]{\displaystyle{#1}}\,} \newcommand{\braces}[1]{\left\lbrace\,{#1}\,\right\rbrace} \newcommand{\bracks}[1]{\left\lbrack\,{#1}\,\right\rbrack} \newcommand{\dd}{\mathrm{d}} \newcommand{\ds}[1]{\displaystyle{#1}} \newcommand{\expo}[1]{\,\mathrm{e}^{#1}\,} \newcommand{\ic}{\mathrm{i}} \newcommand{\mc}[1]{\mathcal{#1}} \newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\pars}[1]{\left(\,{#1}\,\right)} \newcommand{\partiald}[3][]{\frac{\partial^{#1} #2}{\partial #3^{#1}}} \newcommand{\root}[2][]{\,\sqrt[#1]{\,{#2}\,}\,} \newcommand{\totald}[3][]{\frac{\mathrm{d}^{#1} #2}{\mathrm{d} #3^{#1}}} \newcommand{\verts}[1]{\left\vert\,{#1}\,\right\vert}$

$\ds{\sum_{\pars{a,b,c}\ \in\ T} {2^{a} \over 3^{b}5^{c}}:\ {\LARGE ?}\qquad \\[2mm] T \equiv \braces{\pars{a,b,c}\ \mid\ a,b,c \in \mathbb{N}_{\geq 1}\ \mbox{and}\ \verts{b - c} < a < b + c}}$

Ich werde evaluieren

$$\begin{align} &\bbox[10px,#ffd]{\sum_{a = 1}^{\infty}\sum_{b = 1}^{\infty} \sum_{c = 1}^{\infty}{x^{a} \over y^{b}z^{c}} \bracks{\vphantom{\large A}\verts{b - c} < a < b + c}} \\[5mm] = &\ \sum_{a = 1}^{\infty}\sum_{b = 1}^{\infty} \sum_{c = 1}^{\infty}{x^{a} \over y^{b}z^{c}} \bracks{b < c}\bracks{\vphantom{\large A}c - b < a < c + b} \\[2mm] + &\ \sum_{a = 1}^{\infty}\sum_{b = 1}^{\infty} \sum_{c = 1}^{\infty}{x^{a} \over \pars{yz}^{b}} \bracks{b = c}\bracks{\vphantom{\large A}a < 2b} \\[2mm] + &\ \sum_{a = 1}^{\infty}\sum_{b = 1}^{\infty} \sum_{c = 1}^{\infty}{x^{a} \over y^{b}z^{c}} \bracks{b > c}\bracks{\vphantom{\large A}b - c < a < b + c} \\[5mm] = &\ \overbrace{\sum_{b = 1}^{\infty}{1 \over y^{b}} \sum_{c = b + 1}^{\infty}{1 \over z^{c}} \sum_{a = c - b + 1}^{c + b - 1}x^{a}} ^{\mbox{See expression}\ {\large\eqref{2}}}\ +\ \overbrace{\sum_{b = 1}^{\infty}{1 \over \pars{yz}^{b}} \sum_{a = 1}^{2b - 1}x^{a}} ^{\mbox{See expression}\ {\large\eqref{3}}} \\[2mm] + &\ \underbrace{\quad\sum_{a = 1}^{\infty}\sum_{b = 1}^{\infty} \sum_{c = 1}^{\infty}{x^{a} \over y^{b}z^{c}} \bracks{b > c}\bracks{\vphantom{\large A}b - c < a < b + c}\quad} _{\ds{\mbox{It's equal to the}\ first\ term\ \mbox{under the exchange}\ y \leftrightarrow z}} \label{1}\tag{1} \end{align}$$

---

Der erste Term der RHS wird zu: $$\begin{align} &\bbox[#ffd,10px]{\sum_{b = 1}^{\infty}{1 \over y^{b}} \sum_{c = b + 1}^{\infty}{1 \over z^{c}} \sum_{a = c - b + 1}^{c + b - 1}x^{a}} = \sum_{b = 1}^{\infty}{1 \over y^{b}} \sum_{c = b + 1}^{\infty}{1 \over z^{c}}\, x^{c - b + 1}\,{x^{2b - 1} - 1 \over x - 1} \\[5mm] = &\ \sum_{b = 1}^{\infty}{1 \over y^{b}} \,{x^{b} - x^{-b + 1} \over x - 1} \sum_{c = b + 1}^{\infty}\pars{x \over z}^{c} \\[5mm] = &\ {1 \over x - 1}\sum_{b = 1}^{\infty} \,\bracks{\pars{x \over y}^{b} - {x \over \pars{xy}^{b}}} {\pars{x/z}^{b + 1} \over 1 - x/z} \\[5mm] = &\ {z \over \pars{x - 1}\pars{z - x}}\sum_{b = 1}^{\infty} \,\bracks{{x \over z}\pars{x^{2} \over yz}^{b} - {x^{2} \over z} \pars{1 \over yz}^{b}} \\[5mm] = &\ {z \over \pars{x - 1}\pars{z - x}} \,\bracks{{x \over z}{x^{2}/\pars{yz} \over 1 - x^{2}/\pars{yz}} - {x^{2} \over z}{1/\pars{yz} \over 1 - 1/\pars{yz}}} \\[5mm] = &\ \bbx{{x^{3} \over \pars{x - 1}\pars{z - x}\pars{yz - x^{2}}} - {x^{2} \over \pars{x - 1}\pars{z - x}\pars{yz - 1}}} \label{2}\tag{2} \end{align}$$

---

Die zweite Amtszeit der RHS in $\eqref{1}$wird von gegeben $$\begin{align} &\bbox[10px,#ffd]{\sum_{b = 1}^{\infty}{1 \over \pars{yz}^{b}}\, \sum_{a = 1}^{2b - 1}x^{a}} = \sum_{b = 1}^{\infty}\pars{1 \over yz}^{b}\, x\,{x^{2b - 1} - 1 \over x - 1} \\[5mm] = &\ {1 \over x - 1}\bracks{% \sum_{b = 1}^{\infty}\pars{x^{2} \over yz}^{b} - x\sum_{b = 1}^{\infty}\pars{1 \over yz}^{b}} \\[5mm] = &\ {1 \over x - 1}\bracks{% {x^{2}/\pars{yz} \over 1 - x^{2}/\pars{yz}} - x\,{1/\pars{yz} \over 1 - 1/\pars{yz}}} \\[5mm] = &\ \bbx{{1 \over x - 1}\pars{% {x^{2} \over yz - x^{2}} -{x \over yz - 1}}} \label{3}\tag{3} \end{align}$$

---

Das letzte Semester in $\eqref{1}$RHS wird, wie oben ausgeführt, mit der Vermittlungsstelle gefunden$\ds{y \leftrightarrow z}$In $\eqref{2}$.

Das Endergebnis wird durch gegeben

$$\bbx{\bbox[10px,#ffd]{\sum_{a = 1}^{\infty}\sum_{b = 1}^{\infty} \sum_{c = 1}^{\infty}{x^{a} \over y^{b}z^{c}} \bracks{\vphantom{\large A}\verts{b - c} < a < b + c}} = {x\pars{x + yz} \over \pars{x - y}\pars{x - z}\pars{yz - 1}}}$$

Wenn$\ds{x = 2\,,\ y = 3}$Und$\ds{z = 5}$, wird der obige Ausdruck reduziert zu:

$$\bbx{\sum_{\pars{a,b,c}\ \in\ T} {2^{a} \over 3^{b}5^{c}} = {17 \over 21}}$$

Keine Antwort, aber zu viel für einen Kommentar.

Fall 1.$a=b=c, S_1=\sum_{n=1}^\infty{\left(\cfrac 2{15}\right)^n}$Das ist der einfache Fall;

Fall 2.$\displaystyle a=b\ne c, S_2=\sum_{(a,c)\in U}\left(\cfrac{2^a}{3^a5^c}+\cfrac{2^a}{3^c5^a}+\cfrac{2^c}{3^a5^a}\right)=\sum_{i=1}^\infty\left(\cfrac{2^i}{3^i}\left(\sum_{j=1}^{2i-1, j\ne i}\cfrac 1{5^j}\right)+\cdots+\cdots\right)$,

mit$U$die Menge ganzzahliger Tupel, die mit der ersten Einheit, den Seiten, ein gleichschenkliges Dreieck bilden können.

Fall 3.$a< b < c$,$S_3=$Summe von 6 Termen (Permutation von 3) für jedes Tripel von$a,b,c$befriedigend$a+b>c$

$S_3$bedarf weiterer Untersuchung.$S_1, S_2$ist fast da. Gesamt=$S_1+S_2+S_3$