(1)(2)S=21∣Im(ωz)∣,ωz=ω+1∣ω∣2=ω+13.Imω+13=2i(ω+1)(ω+1)3(ω−ω),(ω+1)(ω+1)=∣ω+1∣2>0,S=4(ω+1)(ω+1)3∣ω−ω∣.ω=x+iy,x2+y2=3,∣ω+1∣2=4+2x=2(x+2),S=4(x+2)3∣y∣,S2=16(x+2)29(3−x2).3(x+2)2−(3−x2)=(2x+3)2≧0,S2≦1627,S≦433.等号は x=−23,y=±23 で成立。∣ω+1∣=1,OA=3,OB=∣ω+1∣∣ω∣=3,AB=∣ω−z∣=ω+1ω2=3,cos∠AOB=2333+3−9=−21,∠AOB=120∘.
複素平面の面積公式から S=21∣Im(ωz)∣。条件より ωz=3/(ω+1) で、分母は ∣ω+1∣2>0。ω=x+iy とおくと x2+y2=3、S2=9(3−x2)/(16(x+2)2)。恒等式 3(x+2)2−(3−x2)=(2x+3)2 から S≦33/4。x=−3/2,y=±3/2 で等号が実現する。このとき三辺は OA=OB=3,AB=3 で、余弦定理から頂角は 120∘。