Go backward to Examples Go up to Top Go forward to Example: Decimal Number Representation |
(sum1 <= i <= 9 (x-i)2) = (x-1)2 + (sum2 <= i <= 9 (x-i)2)
(sum1 <= i <= n xi) = (sum1 <= i <= n /\ iseven(i) xi) + (sum1 <= i <= n /\ isodd(i) xi)
Identities which are true for every x.