複素数 極形式の積商みたいなことをベクトルでは何でしないんですか?