summatoryIdentity
P43790
predicate
Indicates that two expressions are identically equal when summed over a specified range, typically expressing an equality between a summation and an equivalent closed-form or alternative summation.
Sample triples (2)
| Subject | Object |
|---|---|
| Euler’s totient function φ(n) | ∑_{d|n} φ(d) = n ⓘ |
| Euler’s totient function φ(n) | ∑_{d|n} φ(n/d) = n ⓘ |