複素数体の逆元
a + b・i の逆元は -a - b・i です。積の逆元は、(1/( a2 + b2 ))(a - b ・i) です。

積の逆元は1/(a + b・i)じゃだめなのですか?