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.