Let w = e^ = (-1 + i*sqrt(3))/2 (a primitive cube root of unity).
| Identity | Value |
|---|---|
| 1 | |
| 1 + w + | 0 |
| w-bar = (-1 - i*sqrt(3))/2 | |
| w * | = 1 |
| |w| | 1 |
| arg(w) | 2*pi/3 |
| w^(-1) |
Useful derived identities:
- (1 - w)(1 - ) = 3
- (1 + w)(1 + ) = 1 -- since 1+w = - and 1+ = -w, product = = 1
- (1 - w + )(1 + w - ) = 4 -- using 1+w+=0
- a + bw + = 0 with a,b,c real implies a = b = c (if a,b,c are distinct, then they must satisfy specific conditions)
- + = (a+b)(a+bw)(a+)
- + + - 3abc = (a+b+c)(a+bw+)(a+)