2026/059) Show that the product of two positive integers of the form $a^2+ab+b^2$ has the same form.

Let two integers be $a^2+ab+b^2$ and $c^2+cd+d^2$

We have

$a^2+ab+b^2 = (a-b\omega)(a-b\omega^2)\cdots(1)$ where $\omega$ is complex cube root of 1

And

$c^2+cd+b^2 = (c-d\omega)(c-d\omega^2)\cdots(2)$ 

 Multiplying (1) by (2) we get

 $(a^2+ab+b^2)( c^2+cd+d^2) = (a-b\omega)(a-b\omega^2)(c-d\omega)(c-d\omega^2)$

Now as $\omega$ is cube root of 1 so we have

$\omega^2+\omega+1 = 0$

Or 

$\omega^2 = - (1+\omega)\cdot(3)$

Also

 $\omega = - (1+\omega^2)\cdot(4)$ 

Now get us calculate $(a-b\omega)(c-d\omega)$

$(a-b\omega)(c-d\omega) = ac -\omega(ad + bc) + bd\omega^2$

$= ac -\omega(ad+bc) -bd(1+\omega)$ from (3)

$= (ac-bd) -\omega(ad+bc+bd)\cdots(5)$

 

Now get us calculate $(a-b\omega^2)(c-d\omega^2)$

$(a-b\omega^2)(c-d\omega^2) = ac -\omega^2(ad + bc) + bd\omega^4$

$= ac -\omega^2(ad+bc) +bd(\omega)$ as $\omega^3=1$ 

$= (ac -\omega(ad+bc) +bd(1+\omega^2)$ from (4)

 $= (ac-bd) -\omega^2(ad+bc+bd)\cdots(6)$

Now   $(a^2+ab+b^2)( c^2+cd+d^2) = (a-b\omega)(a-b\omega^2)(c-d\omega)(c-d\omega^2)$

$=(a-b\omega)(c-d\omega)(a-b\omega^2)(c-d\omega^2)$

$=((ac-bd) -\omega(ad+bc+bd))((ac-bd) -\omega^2(ad+bc+bd))$

$=((ac-bd)^3 +(ac-bd)(ad+bc+db)+(ad+bc+db)^3$                               using $x^3+y^3=(x-\omega y)(x-\omega^2 y)$

= $m^2+mn + n^2$ where  $m= ac-bd$ and $n = ad+bc+bd$

Hence proved