711 words
4 minutes
test01
2025-11-25

This is a test#

用于检测#

我可以用于写点步骤

∑i=1ngcd⁡(i,n)=∑i=1n∑d∣gcd⁡(i,n)φ(d)=∑i=1n∑d[d∣i][d∣n]φ(d)=∑d=1n[d∣n]φ(d)∑i=1n[d∣i]=∑d=1n[d∣n]φ(d)⌊nd⌋=∑d∣nφ(d)nd\begin{align} \sum_{i=1}^{n}\gcd(i,n) &=\sum_{i=1}^{n}\sum_{d\mid\gcd(i,n)}\varphi(d)\\ &=\sum_{i=1}^{n}\sum_{d}[d\mid i][d\mid n]\varphi(d)\\ &=\sum_{d=1}^{n}[d\mid n]\varphi(d)\sum_{i=1}^{n}[d\mid i]\\ &=\sum_{d=1}^{n}[d\mid n]\varphi(d)\lfloor\frac{n}{d}\rfloor\\ &=\sum_{d\mid n}\varphi(d)\frac{n}{d}\\ \end{align}∑i=1nlcm(i,n)=∑i=1ningcd⁡(i,n)=∑i=1n∑d[gcd⁡(i,n)=d]ind=∑i=1n∑d[gcd⁡(id,nd)=1]d⋅idnd=∑d=1n∑i=1n[gcd⁡(id,nd)=1]d⋅idnd=∑d=1nn∑i=1⌊nd⌋[gcd⁡(i,nd)=1]i=∑d=1nn∑i=1⌊nd⌋∑j∣gcd(i,nd)μ(j)i=∑d=1nn∑i=1⌊nd⌋∑j[j∣i][j∣nd]μ(j)i=∑d∣nn∑i=1d∑j[j∣i][j∣d]μ(j)i=n∑j=1nμ(j)∑d∣n[j∣d]∑i=1d[j∣i]i=n∑j=1nμ(j)∑d∣n[j∣d]∑k=1⌊dj⌋kj=n∑j=1njμ(j)∑d∣n[j∣d]∑k=1⌊dj⌋k=n∑j=1n∑d∣nμ(j)[j∣d]d(dj+1)2=n∑d∣n∑j∣dμ(j)d(dj+1)2=n2∑d∣nd∑j∣dμ(j)(dj+1)=n2∑d∣nd(∑j∣dμ(j)dj+[d=1])\begin{align} \sum_{i=1}^{n}lcm(i,n) &=\sum_{i=1}^{n}\frac{in}{\gcd(i,n)}\\ &=\sum_{i=1}^{n}\sum_{d}[\gcd(i,n)=d]\frac{in}{d}\\ &=\sum_{i=1}^{n}\sum_{d}[\gcd(\frac{i}{d},\frac{n}{d})=1]d\cdot\frac{i}{d}\frac{n}{d}\\ &=\sum_{d=1}^{n}\sum_{i=1}^{n}[\gcd(\frac{i}{d},\frac{n}{d})=1]d\cdot\frac{i}{d}\frac{n}{d}\\ &=\sum_{d=1}^{n}n\sum_{i=1}^{\lfloor\frac{n}{d}\rfloor}[\gcd(i,\frac{n}{d})=1]i\\ &=\sum_{d=1}^{n}n\sum_{i=1}^{\lfloor\frac{n}{d}\rfloor}\sum_{j\mid gcd(i,\frac{n}{d})}\mu(j)i\\ &=\sum_{d=1}^{n}n\sum_{i=1}^{\lfloor\frac{n}{d}\rfloor}\sum_{j}[j\mid i][j\mid \frac{n}{d}]\mu(j)i\\ &=\sum_{d\mid n}n\sum_{i=1}^{d}\sum_{j}[j\mid i][j\mid d]\mu(j)i\\ &=n\sum_{j=1}^{n}\mu(j)\sum_{d\mid n}[j\mid d]\sum_{i=1}^{d}[j\mid i]i\\ &=n\sum_{j=1}^{n}\mu(j)\sum_{d\mid n}[j\mid d]\sum_{k=1}^{\lfloor\frac{d}{j}\rfloor}kj\\ &=n\sum_{j=1}^{n}j\mu(j)\sum_{d\mid n}[j\mid d]\sum_{k=1}^{\lfloor\frac{d}{j}\rfloor}k\\ &=n\sum_{j=1}^{n}\sum_{d\mid n}\mu(j)[j\mid d]\frac{d(\frac{d}{j}+1)}{2}\\ &=n\sum_{d\mid n}\sum_{j\mid d}\mu(j)\frac{d(\frac{d}{j}+1)}{2}\\ &=\frac{n}{2}\sum_{d\mid n}d\sum_{j\mid d}\mu(j)(\frac{d}{j}+1)\\ &=\frac{n}{2}\sum_{d\mid n}d(\sum_{j\mid d}\mu(j)\frac{d}{j}+[d=1])\\ \end{align}∑i=1nlcm(i,n)=∑i=1ningcd⁡(i,n)=∑i=1n∑d[gcd⁡(i,n)=d]ind=∑i=1n∑d[gcd⁡(id,nd)=1]d⋅idnd=∑d=1n∑i=1n[gcd⁡(id,nd)=1]d⋅idnd=∑d=1nn∑i=1⌊nd⌋[gcd⁡(i,nd)=1]i=n∑d∣n∑i=1d[gcd⁡(i,d)=1]i=n∑d∣n(φ(d)d2+[d=1])\begin{align} \sum_{i=1}^{n}lcm(i,n) &=\sum_{i=1}^{n}\frac{in}{\gcd(i,n)}\\ &=\sum_{i=1}^{n}\sum_{d}[\gcd(i,n)=d]\frac{in}{d}\\ &=\sum_{i=1}^{n}\sum_{d}[\gcd(\frac{i}{d},\frac{n}{d})=1]d\cdot\frac{i}{d}\frac{n}{d}\\ &=\sum_{d=1}^{n}\sum_{i=1}^{n}[\gcd(\frac{i}{d},\frac{n}{d})=1]d\cdot\frac{i}{d}\frac{n}{d}\\ &=\sum_{d=1}^{n}n\sum_{i=1}^{\lfloor\frac{n}{d}\rfloor}[\gcd(i,\frac{n}{d})=1]i\\ &=n\sum_{d\mid n}\sum_{i=1}^{d}[\gcd(i,d)=1]i\\ &=n\sum_{d\mid n}(\frac{\varphi(d)d}{2}+[d=1])\\ \end{align}∑i=1nlcm(i,n)=∑i=1ningcd⁡(i,n)=∑i=1n∑d[gcd⁡(i,n)=d]ind=∑i=1n∑d[gcd⁡(id,nd)=1]d⋅idnd=∑d=1n∑i=1n[gcd⁡(id,nd)=1]d⋅idnd=∑d=1nn∑i=1⌊nd⌋[gcd⁡(i,nd)=1]i=∑d=1nn∑i=1⌊nd⌋∑j∣gcd(i,nd)μ(j)i=n∑d∣n∑j∣ndμ(j)∑i=1⌊ndj⌋ij\begin{align} \sum_{i=1}^{n}lcm(i,n) &=\sum_{i=1}^{n}\frac{in}{\gcd(i,n)}\\ &=\sum_{i=1}^{n}\sum_{d}[\gcd(i,n)=d]\frac{in}{d}\\ &=\sum_{i=1}^{n}\sum_{d}[\gcd(\frac{i}{d},\frac{n}{d})=1]d\cdot\frac{i}{d}\frac{n}{d}\\ &=\sum_{d=1}^{n}\sum_{i=1}^{n}[\gcd(\frac{i}{d},\frac{n}{d})=1]d\cdot\frac{i}{d}\frac{n}{d}\\ &=\sum_{d=1}^{n}n\sum_{i=1}^{\lfloor\frac{n}{d}\rfloor}[\gcd(i,\frac{n}{d})=1]i\\ &=\sum_{d=1}^{n}n\sum_{i=1}^{\lfloor\frac{n}{d}\rfloor}\sum_{j\mid gcd(i,\frac{n}{d})}\mu(j)i\\ &=n\sum_{d\mid n}\sum_{j\mid\frac{n}{d}}\mu(j)\sum_{i=1}^{\lfloor\frac{n}{dj}\rfloor}ij\\ \end{align}∑i=1nf(i)=∑i=1ni∑i∣k=∑i=1ni⌊ni⌋\begin{align} \sum_{i=1}^{n}f(i) &=\sum_{i=1}^{n}i\sum_{i\mid k}\\ &=\sum_{i=1}^{n}i\lfloor\frac{n}{i}\rfloor\\ \end{align}∑i=1nf(i)=∑i=1n∑i∣d1=∑i=1n⌊ni⌋\begin{align} \sum_{i=1}^{n}f(i) &=\sum_{i=1}^{n}\sum_{i\mid d}1\\ &=\sum_{i=1}^{n}\lfloor\frac{n}{i}\rfloor\\ \end{align}∑i=1n∑j=1n[gcd⁡(i,j)=1]=2∑i=1n∑j=1i[gcd⁡(i,j)=1]−1=2∑i=1nφ(i)−1\begin{align} \sum_{i=1}^{n}\sum_{j=1}^{n}[\gcd(i,j)=1] &=2\sum_{i=1}^{n}\sum_{j=1}^{i}[\gcd(i,j)=1]-1\\ &=2\sum_{i=1}^{n}\varphi(i)-1 \end{align}∑i=1n∑j=1m(2gcd⁡(i,j)−1)=2∑i=1n∑j=1mgcd⁡(i,j)−mn=2∑d=1min⁡(n,m)∑i=1⌊nd⌋∑j=1⌊md⌋d[gcd⁡(i,j)=1]−mn=2∑d=1min⁡(n,m)d∑i=1⌊nd⌋(∑j=1⌊nd⌋[gcd⁡(i,j)=1]+∑j=⌊nd⌋+1⌊md⌋[gcd⁡(i,j)=1])−mn=2∑d=1nd∑i=1⌊nd⌋∑j=⌊nd⌋+1⌊md⌋[gcd⁡(i,j)=1]+2∑d=1nd(2∑k=1⌊nd⌋φ(k)−1)−mn\begin{align} \sum_{i=1}^{n}\sum_{j=1}^{m}(2\gcd(i,j)-1) &=2\sum_{i=1}^{n}\sum_{j=1}^{m}\gcd(i,j)-mn\\ &=2\sum_{d=1}^{\min(n,m)}\sum_{i=1}^{\lfloor\frac{n}{d}\rfloor}\sum_{j=1}^{\lfloor\frac{m}{d}\rfloor}d[\gcd(i,j)=1]-mn\\ &=2\sum_{d=1}^{\min(n,m)}d\sum_{i=1}^{\lfloor\frac{n}{d}\rfloor}(\sum_{j=1}^{\lfloor\frac{n}{d}\rfloor}[\gcd(i,j)=1]+\sum_{j=\lfloor\frac{n}{d}\rfloor+1}^{\lfloor\frac{m}{d}\rfloor}[\gcd(i,j)=1])-mn\\ &=2\sum_{d=1}^{n}d\sum_{i=1}^{\lfloor\frac{n}{d}\rfloor}\sum_{j=\lfloor\frac{n}{d}\rfloor+1}^{\lfloor\frac{m}{d}\rfloor}[\gcd(i,j)=1]+2\sum_{d=1}^{n}d(2\sum_{k=1}^{\lfloor\frac{n}{d}\rfloor}\varphi(k)-1)-mn\\ \end{align}∑i=1n∑j=1m(2gcd⁡(i,j)−1)=2∑i=1n∑j=1mgcd⁡(i,j)−mn=2∑d=1min⁡(n,m)∑i=1⌊nd⌋∑j=1⌊md⌋d[gcd⁡(i,j)=1]−mn=2∑d=1nd∑i=1⌊nd⌋∑j=1⌊md⌋∑k∣gcd⁡(i,j)μ(k)−mn=2∑d=1nd∑k=1⌊nd⌋μ(k)∑i=1⌊nd⌋[k∣i]∑j=1⌊md⌋[k∣j]−mn=2∑d=1nd∑k=1⌊nd⌋μ(k)⌊⌊nd⌋k⌋⌊⌊md⌋k⌋−mn\begin{align} \sum_{i=1}^{n}\sum_{j=1}^{m}(2\gcd(i,j)-1) &=2\sum_{i=1}^{n}\sum_{j=1}^{m}\gcd(i,j)-mn\\ &=2\sum_{d=1}^{\min(n,m)}\sum_{i=1}^{\lfloor\frac{n}{d}\rfloor}\sum_{j=1}^{\lfloor\frac{m}{d}\rfloor}d[\gcd(i,j)=1]-mn\\ &=2\sum_{d=1}^{n}d\sum_{i=1}^{\lfloor\frac{n}{d}\rfloor}\sum_{j=1}^{\lfloor\frac{m}{d}\rfloor}\sum_{k\mid\gcd(i,j)}\mu(k)-mn\\ &=2\sum_{d=1}^{n}d\sum_{k=1}^{\lfloor\frac{n}{d}\rfloor}\mu(k)\sum_{i=1}^{\lfloor\frac{n}{d}\rfloor}[k\mid i]\sum_{j=1}^{\lfloor\frac{m}{d}\rfloor}[k\mid j]-mn\\ &=2\sum_{d=1}^{n}d\sum_{k=1}^{\lfloor\frac{n}{d}\rfloor}\mu(k)\lfloor\frac{\lfloor\frac{n}{d}\rfloor}{k}\rfloor\lfloor\frac{\lfloor\frac{m}{d}\rfloor}{k}\rfloor-mn\\ \end{align}∑i=1n∑j=1m[gcd⁡(i,j)=k]=∑i=1⌊nk⌋∑j=1⌊mk⌋[gcd⁡(i,j)=1]=∑i=1⌊nk⌋∑j=1⌊mk⌋∑d∣gcd⁡(i,j)μ(d)=∑d=1⌊nk⌋μ(d)∑i=1⌊nk⌋[d∣i]∑j=1⌊mk⌋[d∣j]=∑d=1⌊nk⌋μ(d)⌊⌊nk⌋d⌋⌊⌊mk⌋d⌋\begin{align} \sum_{i=1}^{n}\sum_{j=1}^{m}[\gcd(i,j)=k] &=\sum_{i=1}^{\lfloor\frac{n}{k}\rfloor}\sum_{j=1}^{\lfloor\frac{m}{k}\rfloor}[\gcd(i,j)=1]\\ &=\sum_{i=1}^{\lfloor\frac{n}{k}\rfloor}\sum_{j=1}^{\lfloor\frac{m}{k}\rfloor}\sum_{d\mid\gcd(i,j)}\mu(d)\\ &=\sum_{d=1}^{\lfloor\frac{n}{k}\rfloor}\mu(d)\sum_{i=1}^{\lfloor\frac{n}{k}\rfloor}[d\mid i]\sum_{j=1}^{\lfloor\frac{m}{k}\rfloor}[d\mid j]\\ &=\sum_{d=1}^{\lfloor\frac{n}{k}\rfloor}\mu(d)\lfloor\frac{\lfloor\frac{n}{k}\rfloor}{d}\rfloor\lfloor\frac{\lfloor\frac{m}{k}\rfloor}{d}\rfloor\\ \end{align}∑i=1n∑j=1nd(i)d(j)d(gcd⁡(i,j))=∑k=1n∑i=1⌊nk⌋∑j=1⌊mk⌋d(ik)d(jk)d(k)[gcd⁡(i,j)=1]=∑k=1n∑i=1⌊nk⌋∑j=1⌊mk⌋d(ik)d(jk)d(k)∑t∣gcd⁡(i,j)μ(t)=∑k=1nd(k)∑i=1⌊nk⌋d(ik)∑j=1⌊mk⌋d(jk)∑t=1⌊nk⌋[t∣i][t∣j]μ(t)=∑k=1nd(k)∑t=1⌊nk⌋∑i=1⌊nk⌋[t∣i]d(ik)∑j=1⌊mk⌋d(jk)[t∣j]μ(t)=∑k=1nd(k)∑t=1⌊nk⌋μ(t)∑i=1⌊⌊nk⌋t⌋d(itk)∑j=1⌊⌊mk⌋t⌋d(jtk)\begin{align} \sum_{i=1}^{n}\sum_{j=1}^{n}d(i)d(j)d(\gcd(i,j)) &=\sum_{k=1}^{n}\sum_{i=1}^{\lfloor\frac{n}{k}\rfloor}\sum_{j=1}^{\lfloor\frac{m}{k}\rfloor}d(ik)d(jk)d(k)[\gcd(i,j)=1]\\ &=\sum_{k=1}^{n}\sum_{i=1}^{\lfloor\frac{n}{k}\rfloor}\sum_{j=1}^{\lfloor\frac{m}{k}\rfloor}d(ik)d(jk)d(k)\sum_{t\mid\gcd(i,j)}\mu(t)\\ &=\sum_{k=1}^{n}d(k)\sum_{i=1}^{\lfloor\frac{n}{k}\rfloor}d(ik)\sum_{j=1}^{\lfloor\frac{m}{k}\rfloor}d(jk)\sum_{t=1}^{\lfloor\frac{n}{k}\rfloor}[t\mid i][t\mid j]\mu(t)\\ &=\sum_{k=1}^{n}d(k)\sum_{t=1}^{\lfloor\frac{n}{k}\rfloor}\sum_{i=1}^{\lfloor\frac{n}{k}\rfloor}[t\mid i]d(ik)\sum_{j=1}^{\lfloor\frac{m}{k}\rfloor}d(jk)[t\mid j]\mu(t)\\ &=\sum_{k=1}^{n}d(k)\sum_{t=1}^{\lfloor\frac{n}{k}\rfloor}\mu(t)\sum_{i=1}^{\lfloor\frac{\lfloor\frac{n}{k}\rfloor}{t}\rfloor}d(itk)\sum_{j=1}^{\lfloor\frac{\lfloor\frac{m}{k}\rfloor}{t}\rfloor}d(jtk)\\ \end{align}

上面的式子做不了,内存会爆,继续化简 令x=ktx=kt

=∑k=1nd(k)∑x=1,k∣xnμ(xk)∑i=1⌊nx⌋d(ix)∑j=1⌊nx⌋d(jx)=∑x=1n∑k∣xd(k)μ(xk)∑i=1⌊nx⌋d(ix)∑j=1⌊nx⌋d(jx)=∑x=1n∑i=1⌊nx⌋d(ix)∑j=1⌊nx⌋d(jx)\begin{align} &=\sum_{k=1}^{n}d(k)\sum_{x=1,k\mid x}^{n}\mu(\frac{x}{k})\sum_{i=1}^{\lfloor\frac{n}{x}\rfloor}d(ix)\sum_{j=1}^{\lfloor\frac{n}{x}\rfloor}d(jx)\\ &=\sum_{x=1}^{n}\sum_{k\mid x}d(k)\mu(\frac{x}{k})\sum_{i=1}^{\lfloor\frac{n}{x}\rfloor}d(ix)\sum_{j=1}^{\lfloor\frac{n}{x}\rfloor}d(jx)\\ &=\sum_{x=1}^{n}\sum_{i=1}^{\lfloor\frac{n}{x}\rfloor}d(ix)\sum_{j=1}^{\lfloor\frac{n}{x}\rfloor}d(jx)\\ \end{align}

p=mq+np=mq+n

∑k=1p−12⌊kqp⌋+∑k=1q−12⌊kpq⌋=∑k=1p−12⌊kqp⌋+∑k=1q−12⌊kpq⌋\begin{align} \sum_{k=1}^{\frac{p-1}{2}}\lfloor\frac{kq}{p}\rfloor+\sum_{k=1}^{\frac{q-1}{2}}\lfloor\frac{kp}{q}\rfloor &=\sum_{k=1}^{\frac{p-1}{2}}\lfloor\frac{kq}{p}\rfloor+\sum_{k=1}^{\frac{q-1}{2}}\lfloor\frac{kp}{q}\rfloor \end{align}

i≤kqp<i+1i\le\frac{kq}{p}<i+1 ip≤kq<ip+pip\le kq<ip+p ipq≤k<ip+pq\frac{ip}{q}\le k<\frac{ip+p}{q}

∑i=1n∑j=1m(n mod i)×(m mod j)=∑i=1n∑j=1m(n−i⌊ni⌋)(m−j⌊mj⌋)=∑i=1n∑j=1m(nm−nj⌊mj⌋−mi⌊ni⌋+ij⌊ni⌋⌊mj⌋)=∑i=1n∑j=1mmn−∑i=1nn∑j=1mj⌊mj⌋−∑i=1n∑j=1mmi⌊ni⌋+∑i=1n∑j=1mij⌊ni⌋⌊mj⌋=m2n2−n2∑j=1mj⌊mj⌋−m2∑i=1ni⌊ni⌋+∑i=1ni⌊ni⌋∑j=1mj⌊mj⌋\begin{align} \sum_{i=1}^{n}\sum_{j=1}^{m}(n\bmod i)\times(m\bmod j) &=\sum_{i=1}^{n}\sum_{j=1}^{m}(n-i\lfloor\frac{n}{i}\rfloor)(m-j\lfloor\frac{m}{j}\rfloor)\\ &=\sum_{i=1}^{n}\sum_{j=1}^{m}(nm-nj\lfloor\frac{m}{j}\rfloor-mi\lfloor\frac{n}{i}\rfloor+ij\lfloor\frac{n}{i}\rfloor\lfloor\frac{m}{j}\rfloor)\\ &=\sum_{i=1}^{n}\sum_{j=1}^{m}mn-\sum_{i=1}^{n}n\sum_{j=1}^{m}j\lfloor\frac{m}{j}\rfloor-\sum_{i=1}^{n}\sum_{j=1}^{m}mi\lfloor\frac{n}{i}\rfloor+\sum_{i=1}^{n}\sum_{j=1}^{m}ij\lfloor\frac{n}{i}\rfloor\lfloor\frac{m}{j}\rfloor\\ &=m^{2}n^{2}-n^{2}\sum_{j=1}^{m}j\lfloor\frac{m}{j}\rfloor-m^{2}\sum_{i=1}^{n}i\lfloor\frac{n}{i}\rfloor+\sum_{i=1}^{n}i\lfloor\frac{n}{i}\rfloor\sum_{j=1}^{m}j\lfloor\frac{m}{j}\rfloor\\ \end{align}∑i=1n(n mod i)(m mod i)=∑i=1n(n−i⌊ni⌋)(m−i⌊mi⌋)=∑i=1n(nm−i(m⌊ni⌋+n⌊mi⌋)+i2⌊ni⌋⌊mi⌋)\begin{align} \sum_{i=1}^{n}(n\bmod i)(m\bmod i) &=\sum_{i=1}^{n}(n-i\lfloor\frac{n}{i}\rfloor)(m-i\lfloor\frac{m}{i}\rfloor)\\ &=\sum_{i=1}^{n}(nm-i(m\lfloor\frac{n}{i}\rfloor+n\lfloor\frac{m}{i}\rfloor)+i^{2}\lfloor\frac{n}{i}\rfloor\lfloor\frac{m}{i}\rfloor) \end{align}∑k∈P∑i=1n∑j=1m[gcd⁡(i,j)=k]=∑k∈P∑d=1⌊nk⌋μ(d)⌊⌊nk⌋d⌋⌊⌊mk⌋d⌋=∑k∈P∑T=1,k∣Tnμ(Tk)⌊nT⌋⌊mT⌋=∑T=1n⌊nT⌋⌊mT⌋∑k∈P,k∣Tμ(Tk)\begin{align} \sum_{k\in P}\sum_{i=1}^{n}\sum_{j=1}^{m}[\gcd(i,j)=k] &=\sum_{k\in P}\sum_{d=1}^{\lfloor\frac{n}{k}\rfloor}\mu(d)\lfloor\frac{\lfloor\frac{n}{k}\rfloor}{d}\rfloor\lfloor\frac{\lfloor\frac{m}{k}\rfloor}{d}\rfloor\\ &=\sum_{k\in P}\sum_{T=1,k\mid T}^{n}\mu(\frac{T}{k})\lfloor\frac{n}{T}\rfloor\lfloor\frac{m}{T}\rfloor\\ &=\sum_{T=1}^{n}\lfloor\frac{n}{T}\rfloor\lfloor\frac{m}{T}\rfloor\sum_{k\in P,k\mid T}\mu(\frac{T}{k})\\ \end{align}∑i=1n∑j=1md(ij)=∑i=1n∑j=1md(i′j′gcd⁡(i,j)2)=∑i=1n∑j=1md(i′)d(j′)d(gcd(i,j)2)=∑k=1n∑i=1⌊nk⌋∑j=1⌊mk⌋d(i)d(j)d(k2)[gcd⁡(i,j)=1]=∑k=1nd(k2)∑i=1⌊nk⌋∑j=1⌊mk⌋d(i)d(j)∑t∣gcd⁡(i,j)μ(t)=∑k=1nd(k2)∑t=1⌊nk⌋μ(t)∑i=1⌊nkt⌋d(it)∑j=1⌊mkt⌋d(jt)=∑k=1nd(k2)f(⌊nk⌋,⌊mk⌋)\begin{align} \sum_{i=1}^{n}\sum_{j=1}^{m}d(ij) &=\sum_{i=1}^{n}\sum_{j=1}^{m}d(i'j'\gcd(i,j)^{2})\\ &=\sum_{i=1}^{n}\sum_{j=1}^{m}d(i')d(j')d(gcd(i,j)^{2})\\ &=\sum_{k=1}^{n}\sum_{i=1}^{\lfloor\frac{n}{k}\rfloor}\sum_{j=1}^{\lfloor\frac{m}{k}\rfloor}d(i)d(j)d(k^{2})[\gcd(i,j)=1]\\ &=\sum_{k=1}^{n}d(k^{2})\sum_{i=1}^{\lfloor\frac{n}{k}\rfloor}\sum_{j=1}^{\lfloor\frac{m}{k}\rfloor}d(i)d(j)\sum_{t\mid \gcd(i,j)}\mu(t)\\ &=\sum_{k=1}^{n}d(k^{2})\sum_{t=1}^{\lfloor\frac{n}{k}\rfloor}\mu(t)\sum_{i=1}^{\lfloor\frac{n}{kt}\rfloor}d(it)\sum_{j=1}^{\lfloor\frac{m}{kt}\rfloor}d(jt)\\ &=\sum_{k=1}^{n}d(k^{2})f(\lfloor\frac{n}{k}\rfloor,\lfloor\frac{m}{k}\rfloor)\\ \end{align}

令x=ktx=kt

=∑k=1nd(k)∑x=1,k∣xnμ(xk)∑i=1⌊nx⌋d(ix)∑j=1⌊nx⌋d(jx)=∑x=1n∑k∣xd(k)μ(xk)∑i=1⌊nx⌋d(ix)∑j=1⌊nx⌋d(jx)=∑x=1n∑i=1⌊nx⌋d(ix)∑j=1⌊nx⌋d(jx)\begin{align} &=\sum_{k=1}^{n}d(k)\sum_{x=1,k\mid x}^{n}\mu(\frac{x}{k})\sum_{i=1}^{\lfloor\frac{n}{x}\rfloor}d(ix)\sum_{j=1}^{\lfloor\frac{n}{x}\rfloor}d(jx)\\ &=\sum_{x=1}^{n}\sum_{k\mid x}d(k)\mu(\frac{x}{k})\sum_{i=1}^{\lfloor\frac{n}{x}\rfloor}d(ix)\sum_{j=1}^{\lfloor\frac{n}{x}\rfloor}d(jx)\\ &=\sum_{x=1}^{n}\sum_{i=1}^{\lfloor\frac{n}{x}\rfloor}d(ix)\sum_{j=1}^{\lfloor\frac{n}{x}\rfloor}d(jx)\\ \end{align}

p=mq+np=mq+n

∑k=1p−12⌊kqp⌋+∑k=1q−12⌊kpq⌋=∑k=1p−12⌊kqp⌋+∑k=1q−12⌊kpq⌋\begin{align} \sum_{k=1}^{\frac{p-1}{2}}\lfloor\frac{kq}{p}\rfloor+\sum_{k=1}^{\frac{q-1}{2}}\lfloor\frac{kp}{q}\rfloor &=\sum_{k=1}^{\frac{p-1}{2}}\lfloor\frac{kq}{p}\rfloor+\sum_{k=1}^{\frac{q-1}{2}}\lfloor\frac{kp}{q}\rfloor \end{align}

i≤kqp<i+1i\le\frac{kq}{p}<i+1 ip≤kq<ip+pip\le kq<ip+p ipq≤k<ip+pq\frac{ip}{q}\le k<\frac{ip+p}{q}

∑i=1n∑j=1m(n mod i)×(m mod j)=∑i=1n∑j=1m(n−i⌊ni⌋)(m−j⌊mj⌋)=∑i=1n∑j=1m(nm−nj⌊mj⌋−mi⌊ni⌋+ij⌊ni⌋⌊mj⌋)=∑i=1n∑j=1mmn−∑i=1nn∑j=1mj⌊mj⌋−∑i=1n∑j=1mmi⌊ni⌋+∑i=1n∑j=1mij⌊ni⌋⌊mj⌋=m2n2−n2∑j=1mj⌊mj⌋−m2∑i=1ni⌊ni⌋+∑i=1ni⌊ni⌋∑j=1mj⌊mj⌋\begin{align} \sum_{i=1}^{n}\sum_{j=1}^{m}(n\bmod i)\times(m\bmod j) &=\sum_{i=1}^{n}\sum_{j=1}^{m}(n-i\lfloor\frac{n}{i}\rfloor)(m-j\lfloor\frac{m}{j}\rfloor)\\ &=\sum_{i=1}^{n}\sum_{j=1}^{m}(nm-nj\lfloor\frac{m}{j}\rfloor-mi\lfloor\frac{n}{i}\rfloor+ij\lfloor\frac{n}{i}\rfloor\lfloor\frac{m}{j}\rfloor)\\ &=\sum_{i=1}^{n}\sum_{j=1}^{m}mn-\sum_{i=1}^{n}n\sum_{j=1}^{m}j\lfloor\frac{m}{j}\rfloor-\sum_{i=1}^{n}\sum_{j=1}^{m}mi\lfloor\frac{n}{i}\rfloor+\sum_{i=1}^{n}\sum_{j=1}^{m}ij\lfloor\frac{n}{i}\rfloor\lfloor\frac{m}{j}\rfloor\\ &=m^{2}n^{2}-n^{2}\sum_{j=1}^{m}j\lfloor\frac{m}{j}\rfloor-m^{2}\sum_{i=1}^{n}i\lfloor\frac{n}{i}\rfloor+\sum_{i=1}^{n}i\lfloor\frac{n}{i}\rfloor\sum_{j=1}^{m}j\lfloor\frac{m}{j}\rfloor\\ \end{align}∑i=1n(n mod i)(m mod i)=∑i=1n(n−i⌊ni⌋)(m−i⌊mi⌋)=∑i=1n(nm−i(m⌊ni⌋+n⌊mi⌋)+i2⌊ni⌋⌊mi⌋)\begin{align} \sum_{i=1}^{n}(n\bmod i)(m\bmod i) &=\sum_{i=1}^{n}(n-i\lfloor\frac{n}{i}\rfloor)(m-i\lfloor\frac{m}{i}\rfloor)\\ &=\sum_{i=1}^{n}(nm-i(m\lfloor\frac{n}{i}\rfloor+n\lfloor\frac{m}{i}\rfloor)+i^{2}\lfloor\frac{n}{i}\rfloor\lfloor\frac{m}{i}\rfloor) \end{align}∑k∈P∑i=1n∑j=1m[gcd⁡(i,j)=k]=∑k∈P∑d=1⌊nk⌋μ(d)⌊⌊nk⌋d⌋⌊⌊mk⌋d⌋=∑k∈P∑T=1,k∣Tnμ(Tk)⌊nT⌋⌊mT⌋=∑T=1n⌊nT⌋⌊mT⌋∑k∈P,k∣Tμ(Tk)\begin{align} \sum_{k\in P}\sum_{i=1}^{n}\sum_{j=1}^{m}[\gcd(i,j)=k] &=\sum_{k\in P}\sum_{d=1}^{\lfloor\frac{n}{k}\rfloor}\mu(d)\lfloor\frac{\lfloor\frac{n}{k}\rfloor}{d}\rfloor\lfloor\frac{\lfloor\frac{m}{k}\rfloor}{d}\rfloor\\ &=\sum_{k\in P}\sum_{T=1,k\mid T}^{n}\mu(\frac{T}{k})\lfloor\frac{n}{T}\rfloor\lfloor\frac{m}{T}\rfloor\\ &=\sum_{T=1}^{n}\lfloor\frac{n}{T}\rfloor\lfloor\frac{m}{T}\rfloor\sum_{k\in P,k\mid T}\mu(\frac{T}{k})\\ \end{align}∑i=1n∑j=1md(ij)=∑i=1n∑j=1m∑x∣i∑y∣j[gcd(x,y)=1]=∑x=1n∑y=1m⌊nx⌋⌊my⌋[gcd⁡(x,y)=1]=∑x=1n∑y=1m⌊nx⌋⌊my⌋∑d∣gcd(x,y)μ(d)=∑d=1nμ(d)∑x=1n[d∣x]⌊nx⌋∑y=1m[d∣y]⌊my⌋=∑d=1nμ(d)∑x=1⌊nd⌋⌊nxd⌋∑y=1⌊md⌋⌊myd⌋\begin{align} \sum_{i=1}^{n}\sum_{j=1}^{m}d(ij) &=\sum_{i=1}^{n}\sum_{j=1}^{m}\sum_{x\mid i}\sum_{y\mid j}[gcd(x,y)=1]\\ &=\sum_{x=1}^{n}\sum_{y=1}^{m}\lfloor\frac{n}{x}\rfloor\lfloor\frac{m}{y}\rfloor[\gcd(x,y)=1]\\ &=\sum_{x=1}^{n}\sum_{y=1}^{m}\lfloor\frac{n}{x}\rfloor\lfloor\frac{m}{y}\rfloor\sum_{d\mid gcd(x,y)}\mu(d)\\ &=\sum_{d=1}^{n}\mu(d)\sum_{x=1}^{n}[d\mid x]\lfloor\frac{n}{x}\rfloor\sum_{y=1}^{m}[d\mid y]\lfloor\frac{m}{y}\rfloor\\ &=\sum_{d=1}^{n}\mu(d)\sum_{x=1}^{\lfloor\frac{n}{d}\rfloor}\lfloor\frac{n}{xd}\rfloor\sum_{y=1}^{\lfloor\frac{m}{d}\rfloor}\lfloor\frac{m}{yd}\rfloor\\ \end{align}∑i=1n∑j=1nlcm(Ai,Aj)=2∑i=1n∑j=1i−1lcm(Ai,Aj)−∑i=1nAi=2∑i=1n∑j=1i−1AiAjgcd⁡(Ai,Aj)−∑i=1nAi=2∑i=1nAi∑j=1i−1Ajgcd⁡(Ai,Aj)−∑i=1nAi\begin{align} \sum_{i=1}^{n}\sum_{j=1}^{n}lcm(A_{i},A_{j}) &=2\sum_{i=1}^{n}\sum_{j=1}^{i-1}lcm(A_{i},A_{j})-\sum_{i=1}^{n}A_{i}\\ &=2\sum_{i=1}^{n}\sum_{j=1}^{i-1}\frac{A_{i}A_{j}}{\gcd(A_{i},A_{j})}-\sum_{i=1}^{n}A_{i}\\ &=2\sum_{i=1}^{n}A_{i}\sum_{j=1}^{i-1}\frac{A_{j}}{\gcd(A_{i},A_{j})}-\sum_{i=1}^{n}A_{i}\\ \end{align}

好神秘的做法,加一个出现次数就好做了

∑i=1N∑j=1Nlcm(Ai,Aj)=∑i=1n∑j=1nlcm(i,j)sisj=∑i=1n∑j=1nijgcd⁡(i,j)sisj=∑d=1n∑i=1n∑j=1nijdsisj[gcd⁡(i,j)=d]=∑d=1nd∑i=1⌊nd⌋isid∑j=1⌊nd⌋jsjd∑k∣gcd⁡(i,j)μ(k)=∑d=1nd∑k=1⌊nd⌋μ(k)k2(∑i=1⌊ndk⌋isidk)2=∑d=1nd∑d∣Qμ(Qd)(Qd)2(∑i=1⌊nQ⌋isiQ)2=∑Q=1nQ∑d∣Qdμ(d)(∑i=1⌊nQ⌋isiQ)2\begin{align} \sum_{i=1}^{N}\sum_{j=1}^{N}lcm(A_{i},A_{j}) &=\sum_{i=1}^{n}\sum_{j=1}^{n}lcm(i,j)s_{i}s_{j}\\ &=\sum_{i=1}^{n}\sum_{j=1}^{n}\frac{ij}{\gcd(i,j)}s_{i}s_{j}\\ &=\sum_{d=1}^{n}\sum_{i=1}^{n}\sum_{j=1}^{n}\frac{ij}{d}s_{i}s_{j}[\gcd(i,j)=d]\\ &=\sum_{d=1}^{n}d\sum_{i=1}^{\lfloor\frac{n}{d}\rfloor}is_{id}\sum_{j=1}^{\lfloor\frac{n}{d}\rfloor}js_{jd}\sum_{k\mid\gcd(i,j)}\mu(k)\\ &=\sum_{d=1}^{n}d\sum_{k=1}^{\lfloor\frac{n}{d}\rfloor}\mu(k)k^{2}(\sum_{i=1}^{\lfloor\frac{n}{dk}\rfloor}is_{idk})^{2}\\ &=\sum_{d=1}^{n}d\sum_{d\mid Q}\mu(\frac{Q}{d})(\frac{Q}{d})^{2}(\sum_{i=1}^{\lfloor\frac{n}{Q}\rfloor}is_{iQ})^{2}\\ &=\sum_{Q=1}^{n}Q\sum_{d\mid Q}d\mu(d)(\sum_{i=1}^{\lfloor\frac{n}{Q}\rfloor}is_{iQ})^{2}\\ \end{align}∏i=1n∏j=1nlcm(i,j)gcd⁡(i,j)=∏i=1n∏j=1nijgcd⁡(i,j)2=(n!)2n∏i=1n∏j=1n1gcd⁡(i,j)2=(n!)2n−2∏i=1n∏j=1i−11gcd⁡(i,j)4=(n!)2n−2(∏i=1n∏j=1i−11gcd⁡(i,j))4\begin{align} \prod_{i=1}^{n}\prod_{j=1}^{n}\frac{lcm(i,j)}{\gcd(i,j)} &=\prod_{i=1}^{n}\prod_{j=1}^{n}\frac{ij}{\gcd(i,j)^{2}}\\ &=(n!)^{2n}\prod_{i=1}^{n}\prod_{j=1}^{n}\frac{1}{\gcd(i,j)^{2}}\\ &=(n!)^{2n-2}\prod_{i=1}^{n}\prod_{j=1}^{i-1}\frac{1}{\gcd(i,j)^{4}}\\ &=(n!)^{2n-2}(\prod_{i=1}^{n}\prod_{j=1}^{i-1}\frac{1}{\gcd(i,j)})^{4}\\ \end{align}∏i=1n∏j=1i−11gcd⁡(i,j)=∏d=1n1df(d)\begin{align} \prod_{i=1}^{n}\prod_{j=1}^{i-1}\frac{1}{\gcd(i,j)} &=\prod_{d=1}^{n}\frac{1}{d^{f(d)}} \end{align}f(d)=∑i=1n∑j=1n[gcd⁡(i,j)=d]=∑i=1⌊nd⌋∑j=1⌊nd⌋[gcd⁡(i,j)=1]=2∑i=1⌊nd⌋∑j=1i−1[gcd⁡(i,j)=1]−1=2∑i=1⌊nd⌋φ(i)−1\begin{align} f(d) &=\sum_{i=1}^{n}\sum_{j=1}^{n}[\gcd(i,j)=d]\\ &=\sum_{i=1}^{\lfloor\frac{n}{d}\rfloor}\sum_{j=1}^{\lfloor\frac{n}{d}\rfloor}[\gcd(i,j)=1]\\ &=2\sum_{i=1}^{\lfloor\frac{n}{d}\rfloor}\sum_{j=1}^{i-1}[\gcd(i,j)=1]-1\\ &=2\sum_{i=1}^{\lfloor\frac{n}{d}\rfloor}\varphi(i)-1\\ \end{align}

杜教筛

id=1∗φid=1*\varphi∑i=1n(1∗φ)(i)=∑i=1n∑d∣i1(nd)φ(d)=∑d=1nφ(d)∑i=1⌊nd⌋=∑d=1n∑i=1⌊nd⌋φ(i)\begin{align} \sum_{i=1}^{n}(1*\varphi)(i) &=\sum_{i=1}^{n}\sum_{d\mid i}1(\frac{n}{d})\varphi(d)\\ &=\sum_{d=1}^{n}\varphi(d)\sum_{i=1}^{\lfloor\frac{n}{d}\rfloor}\\ &=\sum_{d=1}^{n}\sum_{i=1}^{\lfloor\frac{n}{d}\rfloor}\varphi(i)\\ \end{align}∑d=1n∑i=1⌊nd⌋φ(i)=∑i=1n(1∗φ)(i)=∑i=1ni=n(n+1)2\begin{align} \sum_{d=1}^{n}\sum_{i=1}^{\lfloor\frac{n}{d}\rfloor}\varphi(i) &=\sum_{i=1}^{n}(1*\varphi)(i)\\ &=\sum_{i=1}^{n}i\\ &=\frac{n(n+1)}{2}\\ \end{align}S(n)=n(n+1)2−∑d=2nS(⌊nd⌋)\begin{align} S(n)=\frac{n(n+1)}{2}-\sum_{d=2}^{n}S(\lfloor\frac{n}{d}\rfloor) \end{align}ε=1∗μ\varepsilon=1*\mu∑i=1n(1∗μ)(i)=∑i=1n∑d∣iμ(d)=∑d=1n∑i=1⌊nd⌋μ(i)\begin{align} \sum_{i=1}^{n}(1*\mu)(i) &=\sum_{i=1}^{n}\sum_{d\mid i}\mu(d)\\ &=\sum_{d=1}^{n}\sum_{i=1}^{\lfloor\frac{n}{d}\rfloor}\mu(i)\\ \end{align}S(n)=1−∑d=2nS(⌊nd⌋)\begin{align} S(n)=1-\sum_{d=2}^{n}S(\lfloor\frac{n}{d}\rfloor) \end{align}∑i=1n∑j=1nijgcd⁡(i,j)=∑d=1n∑i=1⌊nd⌋∑j=1⌊nd⌋ijd3[gcd⁡(i,j)=1]=∑d=1nd3∑i=1⌊nd⌋∑j=1⌊nd⌋ij∑k∣gcd⁡(i,j)μ(k)=∑d=1nd3∑k=1⌊nd⌋μ(k)∑i=1⌊ndk⌋ik∑j=1⌊ndk⌋jk=∑d=1nd3∑k=1⌊nd⌋k2μ(k)(∑i=1⌊ndk⌋i)2=∑d=1nd3∑k=1⌊nd⌋k2μ(k)s(⌊ndk⌋)=∑Q=1n∑d∣Qd3(Qd)2μ(Qd)s(⌊nQ⌋)=∑Q=1nQ2s(⌊nQ⌋)∑d∣Qdμ(Qd)=∑Q=1nQ2s(⌊nQ⌋)φ(Q)=∑Q=1ns(⌊nQ⌋)f(Q)\begin{align} \sum_{i=1}^{n}\sum_{j=1}^{n}ij\gcd(i,j) &=\sum_{d=1}^{n}\sum_{i=1}^{\lfloor\frac{n}{d}\rfloor}\sum_{j=1}^{\lfloor\frac{n}{d}\rfloor}ijd^{3}[\gcd(i,j)=1]\\ &=\sum_{d=1}^{n}d^{3}\sum_{i=1}^{\lfloor\frac{n}{d}\rfloor}\sum_{j=1}^{\lfloor\frac{n}{d}\rfloor}ij\sum_{k\mid\gcd(i,j)}\mu(k)\\ &=\sum_{d=1}^{n}d^{3}\sum_{k=1}^{\lfloor\frac{n}{d}\rfloor}\mu(k)\sum_{i=1}^{\lfloor\frac{n}{dk}\rfloor}ik\sum_{j=1}^{\lfloor\frac{n}{dk}\rfloor}jk\\ &=\sum_{d=1}^{n}d^{3}\sum_{k=1}^{\lfloor\frac{n}{d}\rfloor}k^{2}\mu(k)(\sum_{i=1}^{\lfloor\frac{n}{dk}\rfloor}i)^{2}\\ &=\sum_{d=1}^{n}d^{3}\sum_{k=1}^{\lfloor\frac{n}{d}\rfloor}k^{2}\mu(k)s(\lfloor\frac{n}{dk}\rfloor)\\ &=\sum_{Q=1}^{n}\sum_{d\mid Q}d^{3}(\frac{Q}{d})^{2}\mu(\frac{Q}{d})s(\lfloor\frac{n}{Q}\rfloor)\\ &=\sum_{Q=1}^{n}Q^{2}s(\lfloor\frac{n}{Q}\rfloor)\sum_{d\mid Q}d\mu(\frac{Q}{d})\\ &=\sum_{Q=1}^{n}Q^{2}s(\lfloor\frac{n}{Q}\rfloor)\varphi(Q)\\ &=\sum_{Q=1}^{n}s(\lfloor\frac{n}{Q}\rfloor)f(Q) \end{align}S(n)=∑i=1nf(i)=∑i=1ni2φ(i)S(n)=\sum_{i=1}^{n}f(i)=\sum_{i=1}^{n}i^{2}\varphi(i)∑i=1n(g∗f)(i)=∑i=1n∑d∣id2φ(d)g(id)=∑i=1n∑d∣ii2φ(d)=∑i=1ni2∑d∣iφ(d)=∑i=1ni3\begin{align} \sum_{i=1}^{n}(g*f)(i) &=\sum_{i=1}^{n}\sum_{d\mid i}d^{2}\varphi(d)g(\frac{i}{d})\\ &=\sum_{i=1}^{n}\sum_{d\mid i}i^{2}\varphi(d)\\ &=\sum_{i=1}^{n}i^{2}\sum_{d\mid i}\varphi(d)\\ &=\sum_{i=1}^{n}i^{3} \end{align}∑i=1n(g∗f)(i)=∑i=1n∑d∣if(d)g(id)=∑d=1ng(d)∑i=1⌊nd⌋f(i)=∑d=1ng(d)S(⌊nd⌋)\begin{align} \sum_{i=1}^{n}(g*f)(i) &=\sum_{i=1}^{n}\sum_{d\mid i}f(d)g(\frac{i}{d})\\ &=\sum_{d=1}^{n}g(d)\sum_{i=1}^{\lfloor\frac{n}{d}\rfloor}f(i)\\ &=\sum_{d=1}^{n}g(d)S(\lfloor\frac{n}{d}\rfloor)\\ \end{align}g(1)S(n)=∑i=1ni3−∑d=2ng(d)S(⌊nd⌋)\begin{align} g(1)S(n)=\sum_{i=1}^{n}i^{3}-\sum_{d=2}^{n}g(d)S(\lfloor\frac{n}{d}\rfloor) \end{align}ab<pq<cd\frac{a}{b}<\frac{p}{q}<\frac{c}{d}aqb<p<cqd\frac{aq}{b}<p<\frac{cq}{d}⌊aqb⌋+1≤p≤⌈cqd⌉\lfloor\frac{aq}{b}\rfloor+1\le p\le \lceil\frac{cq}{d}\rceil⌊aqb⌋≤p−1≤⌊cq−1d⌋\lfloor\frac{aq}{b}\rfloor\le p-1\le \lfloor\frac{cq-1}{d}\rfloorax+by≤cax+by\le cax≤c−byax\le c-byx≤⌊−by+ca⌋x\le\lfloor\frac{-by+c}{a}\rfloor∑i=0⌊cb⌋⌊−bi+ca⌋=∑i=0n⌊−(a⌊ba⌋+b mod a)i+ca⌋\begin{align} \sum_{i=0}^{\lfloor\frac{c}{b}\rfloor}\lfloor\frac{-bi+c}{a}\rfloor &=\sum_{i=0}^{n}\lfloor\frac{-(a\lfloor\frac{b}{a}\rfloor+b\bmod a)i+c}{a}\rfloor \end{align}∑i=0⌊cb⌋⌊−bi+ca⌋=∑i=0n∑j=0n[j≤⌊−bi+ca⌋]=∑i=0n∑j=0n[j≤⌈−bi+c+1a⌉−1]=∑i=0n∑j=0n[j+1≤−bi+c+1a]=∑i=0n∑j=0n[aj+a≤−bi+c+1]=∑i=0n∑j=0n[bi≤c−aj−a+1]=∑i=0n∑j=0n[i≤⌊−aj+c−a+1b⌋]=n+f′(−a,c−a+1,b,m)\begin{align} \sum_{i=0}^{\lfloor\frac{c}{b}\rfloor}\lfloor\frac{-bi+c}{a}\rfloor &=\sum_{i=0}^{n}\sum_{j=0}^{n}[j\le\lfloor\frac{-bi+c}{a}\rfloor]\\ &=\sum_{i=0}^{n}\sum_{j=0}^{n}[j\le\lceil\frac{-bi+c+1}{a}\rceil-1]\\ &=\sum_{i=0}^{n}\sum_{j=0}^{n}[j+1\le\frac{-bi+c+1}{a}]\\ &=\sum_{i=0}^{n}\sum_{j=0}^{n}[aj+a\le-bi+c+1]\\ &=\sum_{i=0}^{n}\sum_{j=0}^{n}[bi\le c-aj-a+1]\\ &=\sum_{i=0}^{n}\sum_{j=0}^{n}[i\le \lfloor\frac{-aj+c-a+1}{b}\rfloor]\\ &=n+f'(-a,c-a+1,b,m) \end{align}∑i=1n∑j=1m∑k=1pgcd⁡(ij,ik,jk)gcd⁡(i,j,k)(gcd⁡(i,j)gcd⁡(i,k)gcd⁡(j,k)+gcd⁡(i,k)gcd⁡(i,j)gcd⁡(j,k)+gcd(j,k)gcd⁡(i,j)gcd⁡(i,k))=∑d=1n∑i=1⌊nd⌋∑j=1⌊md⌋∑k=1⌊pd⌋gcd⁡(idjd,idkd,jdkd)gcd⁡(id,jd,kd)(gcd⁡(id,jd)gcd⁡(id,kd)gcd⁡(jd,kd)+gcd⁡(id,kd)gcd⁡(id,jd)gcd⁡(jd,kd)+gcd(jd,kd)gcd⁡(id,jd)gcd⁡(id,kd))[gcd⁡(i,j,k)=1]=∑d=1nd2∑i=1⌊nd⌋∑j=1⌊md⌋∑k=1⌊pd⌋gcd⁡(ij,ik,jk)(gcd⁡(i,j)gcd⁡(i,k)gcd⁡(j,k)+gcd⁡(i,k)gcd⁡(i,j)gcd⁡(j,k)+gcd(j,k)gcd⁡(i,j)gcd⁡(i,k))[gcd⁡(i,j,k)=1]=∑d=1nd2∑t=1⌊nd⌋∑i=1⌊ndt⌋∑j=1⌊mdt⌋[gcd⁡(i,j)=1]∑k=1⌊pd⌋[gcd⁡(k,t)=1]gcd⁡(i,k)gcd⁡(j,k)t(tgcd⁡(i,k)gcd⁡(j,k)+gcd⁡(i,k)tgcd⁡(j,k)+gcd(j,k)igcd⁡(i,k))=∑d=1nd2∑t=1⌊nd⌋∑i=1⌊ndt⌋∑j=1⌊mdt⌋∑x[x∣i][x∣j]μ(x)∑k=1⌊pd⌋∑y[y∣k][y∣t]μ(y)(gcd⁡(i,k)2+gcd⁡(j,k)2+t2)=∑d=1nd2∑y=1⌊nd⌋μ(y)∑t=1⌊ndy⌋∑x=1⌊ndty⌋μ(x)∑i=1⌊ndtxy⌋∑j=1⌊mdtxy⌋∑k=1⌊pdy⌋(gcd⁡(ix,k)2+gcd⁡(jx,k)2+t2)\begin{align} &\sum_{i=1}^{n}\sum_{j=1}^{m}\sum_{k=1}^{p}\gcd(ij,ik,jk)\gcd(i,j,k)(\frac{\gcd(i,j)}{\gcd(i,k)\gcd(j,k)}+\frac{\gcd(i,k)}{\gcd(i,j)\gcd(j,k)}+\frac{gcd(j,k)}{\gcd(i,j)\gcd(i,k)})\\ &=\sum_{d=1}^{n}\sum_{i=1}^{\lfloor\frac{n}{d}\rfloor}\sum_{j=1}^{\lfloor\frac{m}{d}\rfloor}\sum_{k=1}^{\lfloor\frac{p}{d}\rfloor}\gcd(idjd,idkd,jdkd)\gcd(id,jd,kd)(\frac{\gcd(id,jd)}{\gcd(id,kd)\gcd(jd,kd)}+\frac{\gcd(id,kd)}{\gcd(id,jd)\gcd(jd,kd)}+\frac{gcd(jd,kd)}{\gcd(id,jd)\gcd(id,kd)})[\gcd(i,j,k)=1]\\ &=\sum_{d=1}^{n}d^{2}\sum_{i=1}^{\lfloor\frac{n}{d}\rfloor}\sum_{j=1}^{\lfloor\frac{m}{d}\rfloor}\sum_{k=1}^{\lfloor\frac{p}{d}\rfloor}\gcd(ij,ik,jk)(\frac{\gcd(i,j)}{\gcd(i,k)\gcd(j,k)}+\frac{\gcd(i,k)}{\gcd(i,j)\gcd(j,k)}+\frac{gcd(j,k)}{\gcd(i,j)\gcd(i,k)})[\gcd(i,j,k)=1]\\ &=\sum_{d=1}^{n}d^{2}\sum_{t=1}^{\lfloor\frac{n}{d}\rfloor}\sum_{i=1}^{\lfloor\frac{n}{dt}\rfloor}\sum_{j=1}^{\lfloor\frac{m}{dt}\rfloor}[\gcd(i,j)=1]\sum_{k=1}^{\lfloor\frac{p}{d}\rfloor}[\gcd(k,t)=1]\gcd(i,k)\gcd(j,k)t(\frac{t}{\gcd(i,k)\gcd(j,k)}+\frac{\gcd(i,k)}{t\gcd(j,k)}+\frac{gcd(j,k)}{i\gcd(i,k)})\\ &=\sum_{d=1}^{n}d^{2}\sum_{t=1}^{\lfloor\frac{n}{d}\rfloor}\sum_{i=1}^{\lfloor\frac{n}{dt}\rfloor}\sum_{j=1}^{\lfloor\frac{m}{dt}\rfloor}\sum_{x}[x\mid i][x\mid j]\mu(x)\sum_{k=1}^{\lfloor\frac{p}{d}\rfloor}\sum_{y}[y\mid k][y\mid t]\mu(y)(\gcd(i,k)^{2}+\gcd(j,k)^{2}+t^{2})\\ &=\sum_{d=1}^{n}d^{2}\sum_{y=1}^{\lfloor\frac{n}{d}\rfloor}\mu(y)\sum_{t=1}^{\lfloor\frac{n}{dy}\rfloor}\sum_{x=1}^{\lfloor\frac{n}{dty}\rfloor}\mu(x)\sum_{i=1}^{\lfloor\frac{n}{dtxy}\rfloor}\sum_{j=1}^{\lfloor\frac{m}{dtxy}\rfloor}\sum_{k=1}^{\lfloor\frac{p}{dy}\rfloor}(\gcd(ix,k)^{2}+\gcd(jx,k)^{2}+t^{2})\\ \end{align}min{i+j,i+k,i+j}+min{i,j,k}=min{i,j}+min{i,k}+min{j,k}min\{i+j,i+k,i+j\}+min\{i,j,k\}=min\{i,j\}+min\{i,k\}+min\{j,k\}i+j+i=i+i+ji+j +i=i + i + j∑i=1n∑j=1m∑k=1pgcd⁡(ij,ik,jk)gcd⁡(i,j,k)(gcd⁡(i,j)gcd⁡(i,k)gcd⁡(j,k)+gcd⁡(i,k)gcd⁡(i,j)gcd⁡(j,k)+gcd(j,k)gcd⁡(i,j)gcd⁡(i,k))=∑i=1n∑j=1m∑k=1pgcd⁡(i,j)gcd⁡(j,k)gcd⁡(i,k)(gcd⁡(i,j)gcd⁡(i,k)gcd⁡(j,k)+gcd⁡(i,k)gcd⁡(i,j)gcd⁡(j,k)+gcd(j,k)gcd⁡(i,j)gcd⁡(i,k))=∑i=1n∑j=1m∑k=1p(gcd⁡(i,j)2+gcd⁡(j,k)2+gcd⁡(i,k)2)\begin{align} &\sum_{i=1}^{n}\sum_{j=1}^{m}\sum_{k=1}^{p}\gcd(ij,ik,jk)\gcd(i,j,k)(\frac{\gcd(i,j)}{\gcd(i,k)\gcd(j,k)}+\frac{\gcd(i,k)}{\gcd(i,j)\gcd(j,k)}+\frac{gcd(j,k)}{\gcd(i,j)\gcd(i,k)})\\ &=\sum_{i=1}^{n}\sum_{j=1}^{m}\sum_{k=1}^{p}\gcd(i,j)\gcd(j,k)\gcd(i,k)(\frac{\gcd(i,j)}{\gcd(i,k)\gcd(j,k)}+\frac{\gcd(i,k)}{\gcd(i,j)\gcd(j,k)}+\frac{gcd(j,k)}{\gcd(i,j)\gcd(i,k)})\\ &=\sum_{i=1}^{n}\sum_{j=1}^{m}\sum_{k=1}^{p}(\gcd(i,j)^{2}+\gcd(j,k)^{2}+\gcd(i,k)^{2})\\ \end{align}f(n,m,p)=∑i=1n∑j=1m∑k=1pgcd⁡(i,j)2=p∑d=1nd2∑i=1⌊nd⌋∑j=1⌊md⌋[gcd⁡(i,j)=1]=p∑d=1nd2∑k=1⌊nd⌋μ(k)∑i=1⌊ndk⌋∑j=1⌊mdk⌋=p∑Q=1n∑d∣Qd2μ(Qd)⌊nQ⌋⌊mQ⌋=p∑Q=1n⌊nQ⌋⌊mQ⌋∑d∣Qd2μ(Qd)\begin{align} f(n,m,p) &=\sum_{i=1}^{n}\sum_{j=1}^{m}\sum_{k=1}^{p}\gcd(i,j)^{2}\\ &=p\sum_{d=1}^{n}d^{2}\sum_{i=1}^{\lfloor\frac{n}{d}\rfloor}\sum_{j=1}^{\lfloor\frac{m}{d}\rfloor}[\gcd(i,j)=1]\\ &=p\sum_{d=1}^{n}d^{2}\sum_{k=1}^{\lfloor\frac{n}{d}\rfloor}\mu(k)\sum_{i=1}^{\lfloor\frac{n}{dk}\rfloor}\sum_{j=1}^{\lfloor\frac{m}{dk}\rfloor}\\ &=p\sum_{Q=1}^{n}\sum_{d\mid Q}d^{2}\mu(\frac{Q}{d})\lfloor\frac{n}{Q}\rfloor\lfloor\frac{m}{Q}\rfloor\\ &=p\sum_{Q=1}^{n}\lfloor\frac{n}{Q}\rfloor\lfloor\frac{m}{Q}\rfloor\sum_{d\mid Q}d^{2}\mu(\frac{Q}{d})\\ \end{align} ∏i=1A∏j=1B∏k=1C(lcm(i,j)gcd⁡(i,k))\begin{align} \prod_{i=1}^{A}\prod_{j=1}^{B}\prod_{k=1}^{C}(\frac{lcm(i,j)}{\gcd(i,k)}) \end{align}∏i=1A∏j=1B∏k=1Clcm(i,j)=(∏i=1A∏j=1Blcm(i,j))C\begin{align} \prod_{i=1}^{A}\prod_{j=1}^{B}\prod_{k=1}^{C}lcm(i,j) &=(\prod_{i=1}^{A}\prod_{j=1}^{B}lcm(i,j))^{C}\\ \end{align}∏i=1A∏j=1Blcm(i,j)=∏i=1A∏j=1Bijgcd⁡(i,j)=(∏i=1A∏j=1Bij)(∏i=1A∏j=1B1gcd⁡(i,j))=(B!)A(A!)B(∏i=1A∏j=1B1gcd⁡(i,j))=(B!)A(A!)B(∏d=1A1df(d))\begin{align} \prod_{i=1}^{A}\prod_{j=1}^{B}lcm(i,j) &=\prod_{i=1}^{A}\prod_{j=1}^{B}\frac{ij}{\gcd(i,j)}\\ &=(\prod_{i=1}^{A}\prod_{j=1}^{B}ij)(\prod_{i=1}^{A}\prod_{j=1}^{B}\frac{1}{\gcd(i,j)})\\ &=(B!)^{A}(A!)^{B}(\prod_{i=1}^{A}\prod_{j=1}^{B}\frac{1}{\gcd(i,j)})\\ &=(B!)^{A}(A!)^{B}(\prod_{d=1}^{A}\frac{1}{d^{f(d)}})\\ \end{align}f(d)=∑i=1A∑j=1B[gcd⁡(i,j)=d]=∑i=1⌊Ad⌋∑j=1⌊Bd⌋[gcd⁡(i,j)=1]=∑i=1⌊Ad⌋∑j=1⌊Bd⌋[gcd⁡(i,j)=1]=∑k=1⌊Ad⌋μ(k)⌊Adk⌋⌊Bdk⌋\begin{align} f(d) &=\sum_{i=1}^{A}\sum_{j=1}^{B}[\gcd(i,j)=d]\\ &=\sum_{i=1}^{\lfloor\frac{A}{d}\rfloor}\sum_{j=1}^{\lfloor\frac{B}{d}\rfloor}[\gcd(i,j)=1]\\ &=\sum_{i=1}^{\lfloor\frac{A}{d}\rfloor}\sum_{j=1}^{\lfloor\frac{B}{d}\rfloor}[\gcd(i,j)=1]\\ &=\sum_{k=1}^{\lfloor\frac{A}{d}\rfloor}\mu(k)\lfloor\frac{A}{dk}\rfloor\lfloor\frac{B}{dk}\rfloor\\ \end{align}∏i=1A∏j=1B∏k=1Cgcd⁡(i,k)=(∏i=1A∏k=1Cgcd⁡(i,k))B\begin{align} \prod_{i=1}^{A}\prod_{j=1}^{B}\prod_{k=1}^{C}\gcd(i,k) &=(\prod_{i=1}^{A}\prod_{k=1}^{C}\gcd(i,k))^{B}\\ \end{align}∏i=1A∏k=1Cgcd⁡(i,k)=∏i=1Adf(d)\begin{align} \prod_{i=1}^{A}\prod_{k=1}^{C}\gcd(i,k) &=\prod_{i=1}^{A}d^{f(d)} \end{align}∏i=1A∏j=1B∏k=1C(lcm(i,j)gcd⁡(i,k))ijk\begin{align} \prod_{i=1}^{A}\prod_{j=1}^{B}\prod_{k=1}^{C}(\frac{lcm(i,j)}{\gcd(i,k)})^{ijk} \end{align}∏i=1A∏j=1B∏k=1Clcm(i,j)ijk=(∏i=1A∏j=1Blcm(i,j)ij)C(C+1)2\begin{align} \prod_{i=1}^{A}\prod_{j=1}^{B}\prod_{k=1}^{C}lcm(i,j)^{ijk} &=(\prod_{i=1}^{A}\prod_{j=1}^{B}lcm(i,j)^{ij})^{\frac{C(C+1)}{2}} \end{align}h(n)=∏i=1niih(n)=\prod_{i=1}^{n}i^{i}∏i=1A∏j=1Blcm(i,j)ij=∏i=1A∏j=1B(ijgcd⁡(i,j))ij=∏i=1A∏j=1B(ij)ij∏i=1A∏j=1B(1gcd⁡(i,j))ij=∏i=1AiiB(B+1)2∏j=1Bjij∏i=1A∏j=1B(1gcd⁡(i,j))ij=h(A)B(B+1)2h(B)A(A+1)2∏i=1A∏j=1B(1gcd⁡(i,j))ij\begin{align} \prod_{i=1}^{A}\prod_{j=1}^{B}lcm(i,j)^{ij} &=\prod_{i=1}^{A}\prod_{j=1}^{B}(\frac{ij}{\gcd(i,j)})^{ij}\\ &=\prod_{i=1}^{A}\prod_{j=1}^{B}(ij)^{ij}\prod_{i=1}^{A}\prod_{j=1}^{B}(\frac{1}{\gcd(i,j)})^{ij}\\ &=\prod_{i=1}^{A}i^{i\frac{B(B+1)}{2}}\prod_{j=1}^{B}j^{ij}\prod_{i=1}^{A}\prod_{j=1}^{B}(\frac{1}{\gcd(i,j)})^{ij}\\ &=h(A)^{\frac{B(B+1)}{2}}h(B)^{\frac{A(A+1)}{2}}\prod_{i=1}^{A}\prod_{j=1}^{B}(\frac{1}{\gcd(i,j)})^{ij}\\ \end{align}g(d)=∑i=1n∑j=1mij[gcd⁡(i,j)=d]=∑i=1⌊nd⌋∑j=1⌊md⌋idjd[gcd⁡(i,j)=1]=d2∑k=1⌊nd⌋μ(k)k2∑i=1⌊ndk⌋i∑j=1⌊mdk⌋j\begin{align} g(d)=\sum_{i=1}^{n}\sum_{j=1}^{m}ij[\gcd(i,j)=d] &=\sum_{i=1}^{\lfloor\frac{n}{d}\rfloor}\sum_{j=1}^{\lfloor\frac{m}{d}\rfloor}idjd[\gcd(i,j)=1]\\ &=d^{2}\sum_{k=1}^{\lfloor\frac{n}{d}\rfloor}\mu(k)k^{2}\sum_{i=1}^{\lfloor\frac{n}{dk}\rfloor}i\sum_{j=1}^{\lfloor\frac{m}{dk}\rfloor}j\\ \end{align}∏i=1A∏j=1B∏k=1C(lcm(i,j)gcd⁡(i,k))gcd⁡(i,j,k)\begin{align} \prod_{i=1}^{A}\prod_{j=1}^{B}\prod_{k=1}^{C}(\frac{lcm(i,j)}{\gcd(i,k)})^{\gcd(i,j,k)} \end{align}∏i=1A∏j=1B∏k=1C(ijgcd⁡(i,j))gcd⁡(i,j,k)=∏i=1A∏j=1B∏k=1C(ij)gcd⁡(i,j,k)∏i=1A∏j=1B∏k=1C(1gcd⁡(i,j))gcd⁡(i,j,k)\begin{align} \prod_{i=1}^{A}\prod_{j=1}^{B}\prod_{k=1}^{C}(\frac{ij}{\gcd(i,j)})^{\gcd(i,j,k)} &=\prod_{i=1}^{A}\prod_{j=1}^{B}\prod_{k=1}^{C}(ij)^{\gcd(i,j,k)}\prod_{i=1}^{A}\prod_{j=1}^{B}\prod_{k=1}^{C}(\frac{1}{\gcd(i,j)})^{\gcd(i,j,k)} \end{align}∏i=1A∏j=1B∏k=1Cigcd⁡(i,j,k)=∏i=1A∏j=1B∏k=1Cigcd⁡(i,j,k)\begin{align} \prod_{i=1}^{A}\prod_{j=1}^{B}\prod_{k=1}^{C}i^{\gcd(i,j,k)} &=\prod_{i=1}^{A}\prod_{j=1}^{B}\prod_{k=1}^{C}i^{\gcd(i,j,k)}\\ \end{align}F(i)=∑j=1B∑k=1Cgcd⁡(i,j,k)=∑d∣id∑j=1⌊Bd⌋∑k=1⌊Cd⌋[gcd⁡(i/d,j,k)=1]=∑d∣id∑t=1⌊Bd⌋∑j=1⌊Bdt⌋∑k=1⌊Cdt⌋[gcd⁡(i/d,t)=1][gcd⁡(j,k)=1]\begin{align} F(i)=\sum_{j=1}^{B}\sum_{k=1}^{C}\gcd(i,j,k) &=\sum_{d\mid i}d\sum_{j=1}^{\lfloor\frac{B}{d}\rfloor}\sum_{k=1}^{\lfloor\frac{C}{d}\rfloor}[\gcd(i/d,j,k)=1]\\ &=\sum_{d\mid i}d\sum_{t=1}^{\lfloor\frac{B}{d}\rfloor}\sum_{j=1}^{\lfloor\frac{B}{dt}\rfloor}\sum_{k=1}^{\lfloor\frac{C}{dt}\rfloor}[\gcd(i/d,t)=1][\gcd(j,k)=1]\\ \end{align}G(d)=∑i=1⌊nd⌋∑j=1⌊md⌋[gcd⁡(i,j)=1]∑k=1pgcd⁡(d,k)G(d)=\sum_{i=1}^{\lfloor\frac{n}{d}\rfloor}\sum_{j=1}^{\lfloor\frac{m}{d}\rfloor}[\gcd(i,j)=1]\sum_{k=1}^{p}\gcd(d,k)∏i=1A∏j=1B∏k=1C(lcm(i,j)gcd⁡(i,k))f(type)=∏i=1A∏j=1B∏k=1C(ijgcd⁡(i,j)gcd⁡(i,k))f(type)\begin{align} \prod_{i=1}^{A}\prod_{j=1}^{B}\prod_{k=1}^{C}(\frac{lcm(i,j)}{\gcd(i,k)})^{f(type)} &=\prod_{i=1}^{A}\prod_{j=1}^{B}\prod_{k=1}^{C}(\frac{ij}{\gcd(i,j)\gcd(i,k)})^{f(type)} \end{align}F(A,type)=∏i=1A∏j=1B∏k=1Cif(type)F(A,type)=\prod_{i=1}^{A}\prod_{j=1}^{B}\prod_{k=1}^{C}i^{f(type)}G(A,B,type)=∏i=1A∏j=1B∏k=1Cgcd⁡(i,j)f(type)G(A,B,type)=\prod_{i=1}^{A}\prod_{j=1}^{B}\prod_{k=1}^{C}\gcd(i,j)^{f(type)}F(A,0)=∏i=1A∏j=1B∏k=1Ci=∏i=1AiBC=(A!)BC\begin{align} F(A,0)=\prod_{i=1}^{A}\prod_{j=1}^{B}\prod_{k=1}^{C}i &=\prod_{i=1}^{A}i^{BC}\\ &=(A!)^{BC} \end{align}G(A,B,0)=∏i=1A∏j=1B∏k=1Cgcd⁡(i,j)=∏d=1Ad∑i=1A∑j=1B∑k=1C[gcd⁡(i,j)=d]=∏d=1AdC∑i=1A∑j=1B[gcd⁡(i,j)=d]=∏d=1AdC∑i=1A/d∑j=1B/d[gcd⁡(i,j)=1]=∏d=1AdC∑t=1A/dμ(t)∑i=1Atd∑j=1Btd=(∏d=1Ad∑t=1A/dμ(t)⌊Atd⌋⌊Btd⌋)C=(∏T=1A∏d∣Tdμ(Td)⌊AT⌋⌊BT⌋)C=(∏T=1A(∏d∣Tdμ(Td))⌊AT⌋⌊BT⌋)C\begin{align} G(A,B,0)=\prod_{i=1}^{A}\prod_{j=1}^{B}\prod_{k=1}^{C}\gcd(i,j) &=\prod_{d=1}^{A}d^{\sum_{i=1}^{A}\sum_{j=1}^{B}\sum_{k=1}^{C}[\gcd(i,j)=d]}\\ &=\prod_{d=1}^{A}d^{C\sum_{i=1}^{A}\sum_{j=1}^{B}[\gcd(i,j)=d]}\\ &=\prod_{d=1}^{A}d^{C\sum_{i=1}^{A/d}\sum_{j=1}^{B/d}[\gcd(i,j)=1]}\\ &=\prod_{d=1}^{A}d^{C\sum_{t=1}^{A/d}\mu(t)\sum_{i=1}^{\frac{A}{td}}\sum_{j=1}^{\frac{B}{td}}}\\ &=(\prod_{d=1}^{A}d^{\sum_{t=1}^{A/d}\mu(t)\lfloor\frac{A}{td}\rfloor\lfloor\frac{B}{td}\rfloor})^{C}\\ &=(\prod_{T=1}^{A}\prod_{d\mid T }d^{\mu(\frac{T}{d})\lfloor\frac{A}{T}\rfloor\lfloor\frac{B}{T}\rfloor})^{C}\\ &=(\prod_{T=1}^{A}(\prod_{d\mid T }d^{\mu(\frac{T}{d})})^{\lfloor\frac{A}{T}\rfloor\lfloor\frac{B}{T}\rfloor})^{C}\\ \end{align}F(A,1)=∏i=1A∏j=1B∏k=1Ciijk=∏i=1A∏j=1BiijC(C+1)2=∏i=1AiiB(B+1)2C(C+1)2=(∏i=1Aii)B(B+1)2C(C+1)2=(∏i=1Aii)S1(B)S2(C)\begin{align} F(A,1)=\prod_{i=1}^{A}\prod_{j=1}^{B}\prod_{k=1}^{C}i^{ijk} &=\prod_{i=1}^{A}\prod_{j=1}^{B}i^{ij\frac{C(C+1)}{2}}\\ &=\prod_{i=1}^{A}i^{i\frac{B(B+1)}{2}\frac{C(C+1)}{2}}\\ &=(\prod_{i=1}^{A}i^i)^{\frac{B(B+1)}{2}\frac{C(C+1)}{2}}\\ &=(\prod_{i=1}^{A}i^i)^{S_{1}(B)S_{2}(C)}\\ \end{align}G(A,B,1)=∏i=1A∏j=1B∏k=1Cgcd⁡(i,j)ijk=(∏i=1A∏j=1Bgcd⁡(i,j)ij)S1(C)=(∏d=1Ad∑i=1A∑j=1Bij[gcd⁡(i,j)=d])S1(C)=(∏d=1Add2∑i=1A/t∑j=1B/tij[gcd⁡(i,j)=1])S1(C)=(∏d=1Add2∑t=1A/dμ(t)∑i=1A/dt∑j=1B/dtitjt)S1(C)=(∏d=1Add2∑t=1A/dμ(t)t2S1(⌊Adt⌋)S1(⌊Bdt⌋))S1(C)=(∏T=1A∏d∣Tdμ(Td)T2S1(⌊AT⌋)S1(⌊BT⌋))S1(C)=(∏T=1A(∏d∣Tdμ(Td)T2)S1(⌊AT⌋)S1(⌊BT⌋)S1(C)\begin{align} G(A,B,1)=\prod_{i=1}^{A}\prod_{j=1}^{B}\prod_{k=1}^{C}\gcd(i,j)^{ijk} &=(\prod_{i=1}^{A}\prod_{j=1}^{B}\gcd(i,j)^{ij})^{S_{1}(C)}\\ &=(\prod_{d=1}^{A}d^{\sum_{i=1}^{A}\sum_{j=1}^{B}ij[\gcd(i,j)=d]})^{S_{1}(C)}\\ &=(\prod_{d=1}^{A}d^{d^{2}\sum_{i=1}^{A/t}\sum_{j=1}^{B/t}ij[\gcd(i,j)=1]})^{S_{1}(C)}\\ &=(\prod_{d=1}^{A}d^{d^{2}\sum_{t=1}^{A/d}\mu(t)\sum_{i=1}^{A/dt}\sum_{j=1}^{B/dt}itjt})^{S_{1}(C)}\\ &=(\prod_{d=1}^{A}d^{d^{2}\sum_{t=1}^{A/d}\mu(t)t^{2}S_{1}(\lfloor\frac{A}{dt}\rfloor)S_{1}(\lfloor\frac{B}{dt}\rfloor)})^{S_{1}(C)}\\ &=(\prod_{T=1}^{A}\prod_{d\mid T}d^{\mu(\frac{T}{d})T^{2}S_{1}(\lfloor\frac{A}{T}\rfloor)S_{1}(\lfloor\frac{B}{T}\rfloor)})^{S_{1}(C)}\\ &=(\prod_{T=1}^{A}(\prod_{d\mid T}d^{\mu(\frac{T}{d})T^{2}})^{S_{1}(\lfloor\frac{A}{T}\rfloor)S_{1}(\lfloor\frac{B}{T}\rfloor})^{S_{1}(C)}\\ \end{align}F(A,2)=∏i=1A∏j=1B∏k=1Cigcd⁡(i,j,k)=∏d=1A∏i=1A/d(id)d∑j=1B/d∑k=1C/d[gcd⁡(j,k)=1]=∏d=1A∏t=1A/d∏i=1A/td(itd)dμ(t)∑j=1B/dt∑k=1C/dt=∏d=1A∏t=1A/d∏i=1A/td(itd)dμ(t)⌊Bdt⌋⌊Cdt⌋=∏T=1A(∏d∣T(⌊AT⌋!T⌊AT⌋)dμ(Td))⌊BT⌋⌊CT⌋=∏T=1A((⌊AT⌋!T⌊AT⌋)φ(T))⌊BT⌋⌊CT⌋=∏T=1A(Tφ(T))⌊AT⌋⌊BT⌋⌊CT⌋∏T=1A((⌊AT⌋!)φ(T))⌊BT⌋⌊CT⌋\begin{align} F(A,2)=\prod_{i=1}^{A}\prod_{j=1}^{B}\prod_{k=1}^{C}i^{\gcd(i,j,k)} &=\prod_{d=1}^{A}\prod_{i=1}^{A/d}(id)^{d\sum_{j=1}^{B/d}\sum_{k=1}^{C/d}[\gcd(j,k)=1]}\\ &=\prod_{d=1}^{A}\prod_{t=1}^{A/d}\prod_{i=1}^{A/td}(itd)^{d\mu(t)\sum_{j=1}^{B/dt}\sum_{k=1}^{C/dt}}\\ &=\prod_{d=1}^{A}\prod_{t=1}^{A/d}\prod_{i=1}^{A/td}(itd)^{d\mu(t)\lfloor\frac{B}{dt}\rfloor\lfloor\frac{C}{dt}\rfloor}\\ &=\prod_{T=1}^{A}(\prod_{d\mid T}(\lfloor\frac{A}{T}\rfloor!T^{\lfloor\frac{A}{T}\rfloor})^{d\mu(\frac{T}{d})})^{\lfloor\frac{B}{T}\rfloor\lfloor\frac{C}{T}\rfloor}\\ &=\prod_{T=1}^{A}((\lfloor\frac{A}{T}\rfloor!T^{\lfloor\frac{A}{T}\rfloor})^{\varphi(T)})^{\lfloor\frac{B}{T}\rfloor\lfloor\frac{C}{T}\rfloor}\\ &=\prod_{T=1}^{A}(T^{\varphi(T)})^{\lfloor\frac{A}{T}\rfloor\lfloor\frac{B}{T}\rfloor\lfloor\frac{C}{T}\rfloor} \prod_{T=1}^{A}((\lfloor\frac{A}{T}\rfloor!)^{\varphi(T)})^{\lfloor\frac{B}{T}\rfloor\lfloor\frac{C}{T}\rfloor}\\ \end{align}G(A,B,2)=∏i=1A∏j=1B∏k=1Cgcd⁡(i,j)gcd⁡(i,j,k)=∏d=1A∏i=1A/d∏j=1B/d(dgcd⁡(i,j))d∑k=1C/d[gcd⁡(i,j,k)=1]=∏d=1A∏i=1A/d∏j=1B/d(dgcd⁡(i,j))d∑k=1C/d∑t∣gcd⁡(i,j,k)μ(t)=∏t=1A∏d=1A/t∏i=1A/dt∏j=1B/dt(dtgcd⁡(i,j))μ(t)d∑k=1C/dt=∏t=1A∏d=1A/t∏i=1A/dt∏j=1B/dt(dtgcd⁡(i,j))μ(t)d⌊Cdt⌋=∏t=1A∏d=1A/t∏i=1A/dt∏j=1B/dt(dt)μ(t)d⌊Cdt⌋∏t=1A∏d=1A/t∏i=1A/dt∏j=1B/dt(gcd⁡(i,j))μ(t)d⌊Cdt⌋=∏T=1A∏d∣T(T)μ(t)d⌊AT⌋⌊BT⌋⌊CT⌋∏g=1A∏t=1A/g∏d=1A/tg∏i=1A/dtg∏j=1B/dtg(g)[gcd⁡(i,j)=1]μ(t)d⌊Cdt⌋=∏T=1A(T)φ(T)⌊AT⌋⌊BT⌋⌊CT⌋∏h=1A∏g=1A∏t=1A/g∏d=1A/tg(g)μ(h)μ(t)d⌊Cdt⌋⌊Adtgh⌋⌊Bdtgh⌋\begin{align} G(A,B,2)=\prod_{i=1}^{A}\prod_{j=1}^{B}\prod_{k=1}^{C}\gcd(i,j)^{\gcd(i,j,k)} &=\prod_{d=1}^{A}\prod_{i=1}^{A/d}\prod_{j=1}^{B/d}(d\gcd(i,j))^{d\sum_{k=1}^{C/d}[\gcd(i,j,k)=1]}\\ &=\prod_{d=1}^{A}\prod_{i=1}^{A/d}\prod_{j=1}^{B/d}(d\gcd(i,j))^{d\sum_{k=1}^{C/d}\sum_{t\mid\gcd(i,j,k)}\mu(t)}\\ &=\prod_{t=1}^{A}\prod_{d=1}^{A/t}\prod_{i=1}^{A/dt}\prod_{j=1}^{B/dt}(dt\gcd(i,j))^{\mu(t)d\sum_{k=1}^{C/dt}}\\ &=\prod_{t=1}^{A}\prod_{d=1}^{A/t}\prod_{i=1}^{A/dt}\prod_{j=1}^{B/dt}(dt\gcd(i,j))^{\mu(t)d\lfloor\frac{C}{dt}\rfloor}\\ &=\prod_{t=1}^{A}\prod_{d=1}^{A/t}\prod_{i=1}^{A/dt}\prod_{j=1}^{B/dt}(dt)^{\mu(t)d\lfloor\frac{C}{dt}\rfloor}\prod_{t=1}^{A}\prod_{d=1}^{A/t}\prod_{i=1}^{A/dt}\prod_{j=1}^{B/dt}(\gcd(i,j))^{\mu(t)d\lfloor\frac{C}{dt}\rfloor}\\ &=\prod_{T=1}^{A}\prod_{d\mid T}(T)^{\mu(t)d\lfloor\frac{A}{T}\rfloor\lfloor\frac{B}{T}\rfloor\lfloor\frac{C}{T}\rfloor} \prod_{g=1}^{A}\prod_{t=1}^{A/g}\prod_{d=1}^{A/tg}\prod_{i=1}^{A/dtg}\prod_{j=1}^{B/dtg}(g)^{[\gcd(i,j)=1]\mu(t)d\lfloor\frac{C}{dt}\rfloor}\\ &=\prod_{T=1}^{A}(T)^{\varphi(T)\lfloor\frac{A}{T}\rfloor\lfloor\frac{B}{T}\rfloor\lfloor\frac{C}{T}\rfloor} \prod_{h=1}^{A}\prod_{g=1}^{A}\prod_{t=1}^{A/g}\prod_{d=1}^{A/tg}(g)^{\mu(h)\mu(t)d\lfloor\frac{C}{dt}\rfloor\lfloor\frac{A}{dtgh}\rfloor\lfloor\frac{B}{dtgh}\rfloor}\\ \end{align}

把后面那一坨拿出来

∏h=1A∏g=1A/h∏t=1A/gh∏d=1A/tgh(g)μ(h)μ(t)d⌊Cdt⌋⌊Adtgh⌋⌊Bdtgh⌋=∏Q=1A∏g∣Q∏t=1A/Q∏d=1A/tQ(g)μ(Qg)μ(t)d⌊Cdt⌋⌊AdtQ⌋⌊BdtQ⌋=∏Q=1A∏g∣Q∏T=1A/Q∏d∣T(g)μ(Qg)μ(t)d⌊CT⌋⌊ATQ⌋⌊BTQ⌋=∏Q=1A∏g∣Q(∏T=1A/Q∏d∣T(g)μ(Td)d⌊CT⌋⌊ATQ⌋⌊BTQ⌋)μ(Qg)=∏Q=1A∏g∣Q((g)∑T=1A/Q∑d∣Tμ(Td)d⌊CT⌋⌊ATQ⌋⌊BTQ⌋)μ(Qg)=∏T=1C(∏Q=1A/T∏g∣Qgμ(Qg)⌊ATQ⌋⌊BTQ⌋)φ(T)⌊CT⌋=∏T=1C(∏Q=1A/T(∏g∣Qgμ(Qg))⌊A/TQ⌋⌊B/TQ⌋)φ(T)⌊CT⌋\begin{align} \prod_{h=1}^{A}\prod_{g=1}^{A/h}\prod_{t=1}^{A/gh}\prod_{d=1}^{A/tgh}(g)^{\mu(h)\mu(t)d\lfloor\frac{C}{dt}\rfloor\lfloor\frac{A}{dtgh}\rfloor\lfloor\frac{B}{dtgh}\rfloor} &=\prod_{Q=1}^{A}\prod_{g\mid Q}\prod_{t=1}^{A/Q}\prod_{d=1}^{A/tQ}(g)^{\mu(\frac{Q}{g})\mu(t)d\lfloor\frac{C}{dt}\rfloor\lfloor\frac{A}{dtQ}\rfloor\lfloor\frac{B}{dtQ}\rfloor}\\ &=\prod_{Q=1}^{A}\prod_{g\mid Q}\prod_{T=1}^{A/Q}\prod_{d\mid T}(g)^{\mu(\frac{Q}{g})\mu(t)d\lfloor\frac{C}{T}\rfloor\lfloor\frac{A}{TQ}\rfloor\lfloor\frac{B}{TQ}\rfloor}\\ &=\prod_{Q=1}^{A}\prod_{g\mid Q}(\prod_{T=1}^{A/Q}\prod_{d\mid T}(g)^{\mu(\frac{T}{d})d\lfloor\frac{C}{T}\rfloor\lfloor\frac{A}{TQ}\rfloor\lfloor\frac{B}{TQ}\rfloor})^{\mu(\frac{Q}{g})}\\ &=\prod_{Q=1}^{A}\prod_{g\mid Q}((g)^{\sum_{T=1}^{A/Q}\sum_{d\mid T}\mu(\frac{T}{d})d\lfloor\frac{C}{T}\rfloor\lfloor\frac{A}{TQ}\rfloor\lfloor\frac{B}{TQ}\rfloor})^{\mu(\frac{Q}{g})}\\ &=\prod_{T=1}^{C}(\prod_{Q=1}^{A/T}\prod_{g\mid Q}g^{\mu(\frac{Q}{g})\lfloor\frac{A}{TQ}\rfloor\lfloor\frac{B}{TQ}\rfloor})^{\varphi(T)\lfloor\frac{C}{T}\rfloor}\\ &=\prod_{T=1}^{C}(\prod_{Q=1}^{A/T}(\prod_{g\mid Q}g^{\mu(\frac{Q}{g})})^{\lfloor\frac{A/T}{Q}\rfloor\lfloor\frac{B/T}{Q}\rfloor})^{\varphi(T)\lfloor\frac{C}{T}\rfloor}\\ \end{align}⌊dr⌋=⌊dpq⌋\lfloor d\sqrt r\rfloor=\lfloor d\frac{p}{q}\rfloor(−1)k=1−2(k mod 2)=1−2(k−2⌊k2⌋)=1−2k+4⌊k2⌋(-1)^{k}=1-2(k\bmod2)=1-2(k-2\lfloor\frac{k}{2}\rfloor)=1-2k+4\lfloor\frac{k}{2}\rfloorf(a,b,c,n)=∑i=1n⌊ar+bci⌋f(a,b,c,n)=\sum_{i=1}^{n}\lfloor\frac{a\sqrt r+b}{c}i\rfloor

t=ar+bct=\frac{a\sqrt r+b}{c}

f(a,b,c,n)=∑i=1n⌊ti⌋=∑i=1n⌊ti−⌊t⌋i+⌊t⌋i⌋=∑i=1n⌊t⌋i+∑i=1n⌊(t−⌊t⌋)i⌋=⌊t⌋n(n+1)2+∑i=1n⌊(ar+bc−⌊t⌋)i⌋=⌊t⌋n(n+1)2+f(a,b−c⌊t⌋,c,n)\begin{align} f(a,b,c,n) &=\sum_{i=1}^{n}\lfloor ti\rfloor\\ &=\sum_{i=1}^{n}\lfloor ti-\lfloor t\rfloor i+\lfloor t\rfloor i\rfloor\\ &=\sum_{i=1}^{n}\lfloor t\rfloor i+\sum_{i=1}^{n}\lfloor (t-\lfloor t\rfloor) i\rfloor\\ &=\lfloor t\rfloor\frac{n(n+1)}{2} +\sum_{i=1}^{n}\lfloor (\frac{a\sqrt r+b}{c}-\lfloor t\rfloor) i\rfloor\\ &=\lfloor t\rfloor\frac{n(n+1)}{2}+f(a,b-c\lfloor t\rfloor,c,n) \end{align}

小于1

f(a,b,c,n)=∑i=1n⌊ti⌋=∑i=1n∑j=1⌊tn⌋[j<⌊ti⌋]=∑i=1n∑j=1⌊tn⌋[j<ti]=∑i=1n∑j=1⌊tn⌋[i>jt]=∑i=1n∑j=1⌊tn⌋[i>⌊jt⌋]=∑j=1⌊tn⌋(n−⌊jt⌋)=n⌊tn⌋−∑i=1⌊tn⌋⌊it⌋=n⌊tn⌋−∑i=1⌊tn⌋⌊car+bi⌋=n⌊tn⌋−∑i=1⌊tn⌋⌊acr−bca2r−b2i⌋=n⌊tn⌋−f(ac,−bc,a2r−b2,⌊tn⌋)\begin{align} f(a,b,c,n) &=\sum_{i=1}^{n}\lfloor ti\rfloor\\ &=\sum_{i=1}^{n}\sum_{j=1}^{\lfloor tn\rfloor}[j<\lfloor ti\rfloor]\\ &=\sum_{i=1}^{n}\sum_{j=1}^{\lfloor tn\rfloor}[j<ti]\\ &=\sum_{i=1}^{n}\sum_{j=1}^{\lfloor tn\rfloor}[i>\frac{j}{t}]\\ &=\sum_{i=1}^{n}\sum_{j=1}^{\lfloor tn\rfloor}[i>\lfloor\frac{j}{t}\rfloor]\\ &=\sum_{j=1}^{\lfloor tn\rfloor}(n-\lfloor\frac{j}{t}\rfloor)\\ &=n\lfloor tn\rfloor-\sum_{i=1}^{\lfloor tn\rfloor}\lfloor\frac{i}{t}\rfloor\\ &=n\lfloor tn\rfloor-\sum_{i=1}^{\lfloor tn\rfloor}\lfloor\frac{c}{a\sqrt r+b}i\rfloor\\ &=n\lfloor tn\rfloor-\sum_{i=1}^{\lfloor tn\rfloor}\lfloor\frac{ac\sqrt r-bc}{a^{2}r-b^{2}}i\rfloor\\ &=n\lfloor tn\rfloor-f(ac,-bc,a^{2}r-b^{2},\lfloor tn\rfloor) \end{align}n=∏i=1spiein=\prod_{i=1}^{s}p_{i}^{e_{i}}n=p=1×p−−−>0n=p=1\times p--->0

令f(n)f(n)表示nn被拆成互不相同的数之和的方案数
f(1)=0,f(2)=0,f(3)=1,f(4)=1,f(5)=2,f(6)=3,f(7)=4f(1)=0,f(2)=0,f(3)=1,f(4)=1,f(5)=2,f(6)=3,f(7)=4
7=1+6=2+5=3+4=1+2+47=1+6=2+5=3+4=1+2+4

Ci+xPi=Cj+xPj+yMC_{i}+xP_{i}=C_{j}+xP_{j}+yM(Pi−Pj)x−My=Cj−Ci(P_{i}-P_{j})x-My=C_{j}-C{i}

检查是否有非负整数解

ax+by=c,x=x0+b,y=y0−aax+by=c,x=x_{0}+b,y=y_{0}-aax\equiv c(\bmod b) $$ 这里有问题

n=2^{e_{2}}5^{e_{5}}t,f(n,N)=\lfloor\frac{N}{t}\rfloor

\begin{align} \sum_{i=1}^{n}f(n) &=\sum_{e_{2}=0}\sum_{e_{5}=0}\sum_{i=1}^{\lfloor\frac{n}{2^{e_{2}}\times5^{e_{5}}}\rfloor}[\gcd(i,10)=1]\lfloor\frac{n}{i}\rfloor\ &=\sum_{e_{2}=0}\sum_{e_{5}=0}(F(m)-F(m/2)-F(m/5)+F(m/10))\ \end{align}

F(n)=\sum_{i=1}^{n}\lfloor\frac{n}{i}\rfloor

换一种更直接的枚举方式换一种更直接的枚举方式

\begin{align} \sum_{i=1}^{n}f(n) &=\sum_{t=1}^{n}\lfloor\frac{n}{t}\rfloor\times G(\lfloor\frac{n}{t}\rfloor) \end{align}

连续一段求和时,注意$t$既不是2的倍数,也不是5的倍数

\binom{n}{k}\bmod 2=\nu_{2}(n!)-\nu_{2}(k!)-\nu_{2}((n-k)!)=0?1:0

\begin{align} \prod_{i=l}^{r}lcm(a_{i},x) &=(\prod_{i=l}^{r}a_{i}x)\times(\prod_{i=l}^{r}\gcd(a_{i},x))^{-1} \end{align}

x=\prod_{i=1}^{s}p_{i}^{e_{i}}

i->2i(\bmod n+1)

i\times 2^{M}\equiv L(\bmod n+1)

i\equiv L\times (2^{-1})^{M}\equiv L\times(\frac{n+2}{2})^{M}(\bmod n+1)

g^{\sum_{i\mid s}\binom{s}{i}}