Power formulas include
(1)
| |||
(2)
| |||
(3)
|
and
(4)
| |||
(5)
| |||
(6)
|
(Beyer 1987, p. 140). Formulas of these types can also be given analytically as
(7)
| |||
(8)
| |||
(9)
| |||
(10)
|
where is a binomial coefficient.
Additional useful power identities include
(11)
|
which the Wolfram Language's FullSimplify command unfortunately does not know about.