Positive Integer is Sum of Consecutive Positive Integers iff not Power of 2/Examples/18

From ProofWiki
Jump to navigation Jump to search

Examples of Use of Positive Integer is Sum of Consecutive Positive Integers iff not Power of 2

$18$ is not a power of $2$.

In fact, it has $3$ and $9$ as its odd factors.

Hence by the construction, we can express $18$ as:

\(\ds 18\) \(=\) \(\ds 5 + 6 + 7\)
\(\ds 18\) \(=\) \(\ds \paren {-2} + \paren {-1} + 0 + 1 + 2 + 3 + 4 + 5 + 6\)
\(\ds \) \(=\) \(\ds 3 + 4 + 5 + 6\) after cancellation