这个:
n∑d∣n∑i=1⌊nd⌋[gcd(i,nd)=1]in\sum\limits_{d|n}\sum\limits_{i=1}^{\left\lfloor\frac{n}{d}\right\rfloor}[\gcd(i,\frac{n}{d})=1]ind∣n∑i=1∑⌊dn⌋[gcd(i,dn)=1]i
是怎么推到这个的:
n∑d∣n∑i=1d[gcd(i,d)=1]in\sum\limits_{d|n}\sum\limits_{i=1}^d[\gcd(i,d)=1]ind∣n∑i=1∑d[gcd(i,d)=1]i