set {|a + bω + cω²|² : a,b,c distinct non-zero integers} equals underlinehspace2cm.
ω3=1,1+ω+ω2=0
a, b, c distinct non-zero integers
z=a+bω+cω2
To find: the set of all possible values of ∣z∣2
1. ∣z∣2 via zzˉ
2. use 1+ω+ω2=0
3. sum of squares; write the set
1+ω+ω2=0
∣z∣2=zzˉ,zˉ=a+bω2+cω
∣z∣2=(a+bω+cω2)(a+bω2+cω)
a⋅a=a2,(bω)(bω2)=b2ω3=b2,(cω2)(cω)=c2ω3=c2
cross terms=(ab+bc+ca)(ω+ω2)
∣z∣2=a2+b2+c2−ab−bc−ca
∣z∣2=21[(a−b)2+(b−c)2+(c−a)2]
a,b,c distinct⇒(a−b),(b−c),(c−a)=0
(a−b)+(b−c)+(c−a)=0
min=21(1+1+4)=3(e.g. a,b,c=2,3,4)
(a,b,c)=(1,2,4): ∣z∣2=21(1+4+9)=7
∣z∣2≡a2+b2+c2+2(ab+bc+ca)=(a+b+c)2(mod3)
⇒∣z∣2≡0 or 1(mod3)
x=a−b, y=b−c⇒∣z∣2=x2+xy+y2
xy(x+y)=0
any x2+xy+y2, xy(x+y)=0, is attainable (choose c large)
{3,7,12,13,19,21,27,28,…}
{x2+xy+y2:x,y∈Z, xy(x+y)=0}