>>920
除法の原理からすれば 5 = 2 * Q + R を満たすQ,R（但しR:0,1のどれか)ですから、別に複素数にまで拡大しなくても整数の世界で求められますよ。
もうちょっとちゃんといえばgcdですけど。